A formalism in the derived category (and coherent/compact contexts) that describes a duality between pushforward and extraordinary pullback functors: for a suitably finite-type morphism f, there is an adjunction between Rf_* and f^! implemented via a relative dualizing complex, generalizing Serre and Verdier duality.

Principle

Existence of a dualizing complex ω_f and functorial adjunction Rf_* RHom(–, f^!O_Y) ≅ RHom(Rf_*(–), O_Y) encapsulates how cohomology with compact support or coherent cohomology transforms under proper maps; coherence and finiteness hypotheses ensure the relevant derived functors preserve boundedness.

Demonstration

For a proper smooth morphism f: X → Y of relative dimension d between smooth projective varieties, f^!O_Y ≅ ω_{X/Y}[d] and Grothendieck duality recovers Serre duality on fibers and global adjunctions between Rf_* and f^! on coherent sheaves.

Misapplication

Treating the duality as an isomorphism of naive pushforwards without derived or dualizing-complex shifts, applying it without finiteness/properness hypotheses, or ignoring necessary coherence conditions leads to incorrect statements.

Consequence

Provides a conceptual and computational tool to transfer cohomological data across morphisms, yields trace maps and duality pairings, and underlies base-change and compatibility results used in deformation theory and intersection theory.

Reversal

Reversing the picture emphasizes f^! as the 'correct' way to pull back dualizing data: whereas ordinary pullback f^* is left adjoint to Rf_*, the extraordinary pullback f^! is right adjoint after applying duality, revealing dual perspectives on pushforwards and pullbacks.

Boundary

Valid under hypotheses such as properness, finite Tor-dimension, or more generally for separated morphisms of finite type between noetherian schemes with coherent dualizing complexes; statements must be adjusted for non-noetherian, infinite-type, or wild stacky contexts.

Semantic Tension

Tension exists between Grothendieck duality, Serre duality (a special case on smooth projective varieties), and Verdier duality (for constructible sheaves): these share a common pattern but differ in hypotheses, categories, and the nature of dualizing objects.

Synthesis

Grothendieck duality packages a derived adjunction mediated by a dualizing complex that generalizes Serre and Verdier dualities, furnishing trace maps and a principled account of how cohomology transforms under proper, finite-type morphisms.