Serre duality

E253115

Serre duality is a fundamental theorem in algebraic geometry that generalizes classical duality for Riemann surfaces to higher-dimensional projective varieties, relating cohomology groups of coherent sheaves via a dualizing sheaf.

All labels observed (8)

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf duality theorem
theorem in algebraic geometry
appearsIn EGA III
Hartshorne Algebraic Geometry
appliesTo coherent sheaves
projective varieties
proper schemes
assumes base field often algebraically closed
context coherent cohomology
derived categories of coherent sheaves
sheaf cohomology
dimensionCondition n = dim X
field algebraic geometry
formulation Ext^i(F,ω_X) is dual to H^{n-i}(X,F)
generalizes Poincaré duality for Riemann surfaces
classical duality for Riemann surfaces
hasVariant Serre duality for curves
linked to: Serre duality

Serre duality for higher-dimensional varieties
linked to: Serre duality

Serre duality for surfaces
linked to: Serre duality
historicalPeriod mid 20th century
implies finiteness of cohomology for coherent sheaves on proper schemes
symmetry properties of H^i and H^{n-i}
involves Grothendieck duality theory
canonical line bundle
dualizing sheaf
isSpecialCaseOf Grothendieck–Verdier duality
mathematicsSubjectClassification 14F05
14F17
namedAfter Jean-Pierre Serre
pairingType perfect pairing of finite-dimensional k-vector spaces
relatedConcept Serre functor
linked to: Serre duality

Serre vanishing theorem
canonical divisor
dualizing complex
relatedTo Hodge theory on algebraic varieties
Riemann–Roch theorem
relates Ext-groups and cohomology groups
cohomology groups of coherent sheaves
global sections and top-degree cohomology
requires finite-dimensional cohomology groups over the base field
properness of the variety or scheme
states for a smooth projective variety X over a field k and a coherent sheaf F on X, H^i(X,F) is dual to H^{n-i}(X,F^∨ ⊗ ω_X)
linked to: Serre duality
usedFor Riemann–Roch type formulas
classification of line bundles on curves
computing dimensions of cohomology groups
proving vanishing theorems
study of canonical models of varieties
uses Serre duality pairing
linked to: Serre duality

How these facts were elicited

Referenced by (10)

Full triples — surface form annotated when it differs from this entity's canonical label.

Jean-Pierre Serre notableWork Serre duality
Riemann–Roch theorem hasKeyConcept Serre duality (in modern formulations)
linked to: Serre duality
Serre duality states for a smooth projective variety X over a field k and a coherent sheaf F on X, H^i(X,F) is dual to H^{n-i}(X,F^∨ ⊗ ω_X)
linked to: Serre duality
Serre duality uses Serre duality pairing
linked to: Serre duality
Serre duality hasVariant Serre duality for curves
linked to: Serre duality
Serre duality hasVariant Serre duality for surfaces
linked to: Serre duality
Serre duality hasVariant Serre duality for higher-dimensional varieties
linked to: Serre duality
Serre duality relatedConcept Serre functor
linked to: Serre duality
Grothendieck duality generalizes Serre duality
Grothendieck duality relatedConcept Serre duality