In algebraic geometry, a branch of mathematics, Serre duality is a duality present on non-singular projective algebraic varieties V of dimension n (and in greater generality for vector bundles and further, for coherent sheaves). It shows that a cohomology group Hi is the dual space of another one, Hn−i.
In the case for holomorphic vector bundle E over a smooth compact complex manifold V, the statement is in the form:
in which V is not necessarily projective.
The case of algebraic curves was already implicit in the Riemann-Roch theorem. For a curve C the coherent groups Hi vanish for i > 1; but H1 does enter implicitly. In fact, the basic relation of the theorem involves l(D) and l(K−D), where D is a divisor and K is a divisor of the canonical class. After Serre we recognise l(K−D) as the dimension of H1(D), where now D means the line bundle determined by the divisor D. That is, Serre duality in this case relates groups H1(D) and H0(KD*), and we are reading off dimensions (notation: K is the canonical line bundle, D* is the dual line bundle, and juxtaposition is the tensor product of line bundles).
In this formulation the Riemann-Roch theorem can be viewed as a computation of the Euler characteristic of a sheaf
- h0(D) − h1(D),
in terms of the genus of the curve, which is
and the degree of D. It is this expression that can be generalised to higher dimensions.
Serre duality of curves is therefore something very classical; but it has an interesting light to cast. For example, in Riemann surface theory, the deformation theory of complex structures is studied classically by means of quadratic differentials (namely sections of L(K2)). The deformation theory of Kunihiko Kodaira and D. C. Spencer identifies deformations via H1(T), where T is the tangent bundle sheaf K*. The duality shows why these approaches coincide.
Equidimensional projective schemes
There is an analogue of Serre duality for equidimensional projective schemes over an algebraically closed field : if we suppose is very ample (meaning it gives the embedding of into ) there is a sheaf called the dualizing sheaf such that for every coherent sheaf there are functorial maps
which are isomorphisms. These dualizing sheaves can be computed as
where is the codimension of in . If is a local complete intersection, then the Koszul complex of can be used to compute this Ext group (since it is a locally-free resolution of ), giving
where is the ideal sheaf of .
Consider a local complete intersection with presentation given by the ideal generated by forms of degrees . Then,
giving us that
Since we get
as the dualizing sheaf. For example, the dualizing sheaf of a plane curve of degree is given by . This is a special case of the proof of the adjunction formula, which uses the second fundamental (conormal) exact sequence. This sequence is exact on the left when is (locally) a complete intersection.
Origin and generalisations
The origin of the theory lies in Serre's earlier work on several complex variables. In the generalisation of Alexander Grothendieck, Serre duality becomes a part of coherent duality in a much broader setting. While the role of K above in general Serre duality is played by the determinant line bundle of the cotangent bundle, when V is a manifold, in full generality K cannot merely be a single sheaf in the absence of some hypothesis of non-singularity on V. The formulation in full generality uses a derived category and Ext functors, to allow for the fact that K is now represented by a chain complex of sheaves, namely, the dualizing complex. Nevertheless, the statement of the theorem is recognisably Serre's.
- Hartshorne, Robin. Algebraic Geometry. pp. 241–243.
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052, see Ch. III.7
- Hazewinkel, Michiel, ed. (2001) , "Duality", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
- Huybrechts, Daniel (2005), Complex geometry, Berlin: Springer-Verlag, see p. 171.
- Tate, John (1968), "Residues of differentials on curves" (PDF), Annales Scientifiques de l'École Normale Supérieure, Série 4, 1: 149–159, ISSN 0012-9593 contains a proof for Serre duality for curves
- Serre duality at the weblog Rigorous trivialities
- A link between Poincaré and Serre dualities via Hodge theory on Stack exchange