A duality theorem for proper smooth n-dimensional algebraic or complex-analytic spaces giving a natural perfect pairing between the cohomology of a coherent sheaf and the cohomology of its dual twisted by the canonical (dualizing) sheaf, typically expressed as H^i(X,F) ≅ Hom(H^{n-i}(X, ω_X ⊗ F^∨), k)^* or an isomorphism H^i(X,F)^* ≅ H^{n-i}(X, ω_X ⊗ F^∨).

Principle

Existence of a dualizing sheaf ω_X and a trace (or Serre) pairing; coherent cohomology in complementary degrees pairs into the top-degree cohomology and then into the base field via the trace, producing the duality isomorphism under properness and smoothness hypotheses.

Demonstration

Example: for a smooth projective curve C of genus g, Serre duality gives H^0(C,L)^* ≅ H^1(C, ω_C ⊗ L^∨), so sections of a line bundle are dual to cohomology in degree one with the canonical twist; this underlies classical Riemann–Roch computations.

Misapplication

Applying Serre duality on nonproper or highly singular spaces without a well-behaved dualizing complex, or ignoring necessary coherence conditions; treating the dualizing sheaf as trivial in contexts where it is not globally defined or not invertible.

Consequence

Enables dimension counts and dualities in cohomological calculations, underpins Riemann–Roch and vanishing theorems, and provides Serre functors in derived categories which identify adjoints and autoequivalences.

Reversal

Verdier duality generalizes Serre duality to derived categories and to possibly singular or noncompact settings by replacing coherent cohomology with derived pushforwards and using the dualizing complex; conversely, Serre duality is the coherent, smooth proper case specialization of Verdier duality.

Boundary

Requires properness and smoothness (or at least a well-understood dualizing complex) and coherent sheaves; fails in general for nonproper spaces, noncoherent coefficients, or when singularities destroy a simple dualizing sheaf description.

Semantic Tension

Often compared with Poincaré duality in topology: both pair complementary degree cohomology, but Serre duality uses the algebraic/analytic dualizing sheaf and coherent cohomology rather than singular cohomology and orientation classes.

Synthesis

Serre duality identifies cohomology groups in complementary degrees via the dualizing sheaf and a trace pairing, turning geometric canonical data into algebraic dualities that drive dimension formulas and derived-category Serre functors.