Serre duality

Serre duality is a foundational theorem in Algebraic geometry that establishes a duality between coherent sheaf cohomology groups on a proper variety and Hom spaces into a canonical object. It provides a categorical and computational bridge between global sections and top-degree cohomology, underpinning many results in the theories of Grothendieck, Hirzebruch–Riemann–Roch, Grothendieck duality, and the study of moduli such as Jacobians and Picard varieties. The theorem has influenced developments across Number theory, Complex geometry, and Representation theory.

Statement and variants

The classical statement for a smooth projective projective variety over an algebraically closed field asserts that for a coherent sheaf F on an n-dimensional smooth projective variety X there is a natural nondegenerate pairing H^i(X,F) × Ext^{n-i}(F, ω_X) → H^n(X, ω_X) → k, where ω_X denotes the canonical line bundle. This yields isomorphisms H^i(X,F) ≅ Hom_k(Ext^{n-i}(F, ω_X), k). Variants include versions for singular schemes, relative forms for a proper morphism f: X → S with f_*(−) and f^! in the context of derived functors, and analytic formulations for compact Complex manifolds using Dolbeault cohomology. The relative formulation interacts with the Grothendieck duality theorem and with dualizing complexes introduced in the work of Alexander Grothendieck, Jean-Louis Verdier, and Spencer Bloch.

Historical context and motivation

Origins trace to duality phenomena discovered in classical Algebraic topology and complex analysis, such as Poincaré duality for manifolds and Serre’s own work linking coherent cohomology to algebraic properties of projective varieties. Jean-Pierre Serre formulated the duality in early contributions to coherent sheaves that shaped Sheaf theory and the theory of Spectral sequences used by later authors. Subsequent extension and formalization were driven by Grothendieck’s program in the Séminaire de Géométrie Algébrique and later by Verdier’s work on derived categories during the era that included figures such as Alexander Grothendieck, Jean-Pierre Serre, Pierre Deligne, and Jean-Louis Verdier. Applications in the classification of algebraic curves connected Serre duality to the work of Bernhard Riemann, Felix Klein, and the formulation of moduli spaces like Moduli space of curves.

Proofs and key ideas

Proofs use sheaf cohomology, injective resolutions, and dualizing objects. Serre’s original argument leveraged coherent sheaf cohomology and properties of projective space with the aid of the Čech cohomology approach and twisting by the ample line bundle O(1) on projective space to reduce to global generation arguments. Grothendieck reframed the result using dualizing complexes and derived categories, employing the formalism of right and left derived functors and the six operations developed in the EGA and SGA seminars. Analytic proofs for compact complex manifolds use Hodge theory, the Dolbeault complex, and Serre’s GAGA principle comparing algebraic and analytic categories, with techniques from Henri Cartan, Kiyoshi Oka, and Kunihiko Kodaira. Verdier’s approach via derived categories and triangulated functors clarifies naturality and functoriality; later expositions by Robin Hartshorne distilled these ideas in accessible form, relating Ext groups and local cohomology via local duality theorems.

Applications and examples

On a smooth projective curve C of genus g the duality identifies H^0(C, L) with the dual of H^1(C, ω_C ⊗ L^∨), recovering classical Riemann–Roch relations used by Riemann and Abel in the theory of Abelian integrals. For surfaces and higher-dimensional varieties it underlies computations in the Hirzebruch–Riemann–Roch and the study of canonical models in the Minimal model program related to work by Shigefumi Mori and Yuri Manin. In moduli theory, Serre duality controls deformation-obstruction theories for sheaves and complexes on varieties appearing in the work of Maxim Kontsevich and Richard Thomas, and it is essential in virtual fundamental class constructions used by Dustin Abramovich and Kai Behrend. In arithmetic geometry, duality principles inspired by Serre duality appear in the cohomology of arithmetic schemes considered by John Tate and in the study of L-functions via the work of Pierre Deligne.

Generalizations and related dualities

Generalizations include Grothendieck duality for proper morphisms between schemes, local duality theorems connecting local cohomology and injective hulls influenced by Matlis duality, and Poincaré duality for oriented manifolds. Verdier duality in the derived category of constructible sheaves on topological spaces provides an analogue for sheaf-theoretic contexts encountered in the work of Pierre Deligne and Alexandre Grothendieck, while Serre duality’s role in derived algebraic geometry ties into advances by Jacob Lurie and Bertrand Toen. Further extensions appear in noncommutative geometry settings related to Maxim Kontsevich’s homological mirror symmetry conjectures and in categorical frameworks such as Calabi–Yau categories and Fukaya category dualities studied by Paul Seidel.

Category:Algebraic geometry