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 (15)

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 ⓘ
Verdier duality → relatedTo → Serre duality ⓘ
Serre vanishing theorem → relatedTo → Serre duality ⓘ
Hartshorne Algebraic Geometry → subject → Serre duality ⓘ
EGA III → topic → Serre duality ⓘ