##  [Serre Duality](/serre-duality-0) 

 Definition

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

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

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

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

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

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

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

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

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.