Absolute Poincar\'e duality in \'etale cohomology
We extend Poincar\'e duality in \'etale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms.