In algebraic geometry, a branch of mathematics, Serre duality is a duality for the coherent sheaf cohomology of algebraic varieties, proved by Jean-Pierre Serre. The basic version applies to vector bundles on a smooth projective variety, but Alexander Grothendieck found wide generalizations, for example to singular varieties. On an n-dimensional variety, the theorem says that a cohomology group is the dual space of another one, . Serre duality is the analog for coherent sheaf cohomology of Poincaré duality in topology, with the canonical line bundle replacing the orientation sheaf.
The Serre duality theorem is also true in complex geometry more generally, for compact complex manifolds that are not necessarily projective complex algebraic varieties. In this setting, the Serre duality theorem is an application of Hodge theory for Dolbeault cohomology, and may be seen as a result in the theory of elliptic operators.
These two different interpretations of Serre duality coincide for non-singular projective complex algebraic varieties, by an application of Dolbeault's theorem relating sheaf cohomology to Dolbeault cohomology.
Serre duality for vector bundles
of finite-dimensional k-vector spaces. Here denotes the tensor product of vector bundles. It follows that the dimensions of the two cohomology groups are equal:
Serre also proved the same duality statement for X a compact complex manifold and E a holomorphic vector bundle. Here, the Serre duality theorem is a consequence of Hodge theory. Namely, on a compact complex manifold equipped with a Riemannian metric, there is a Hodge star operator
where . Additionally, since is complex, there is a splitting of the complex differential forms into forms of type . The Hodge star operator (extended complex-linearly to complex-valued differential forms) interacts with this grading as
Notice that the holomorphic and anti-holomorphic indices have switched places. There is a conjugation on complex differential forms which interchanges forms of type and , and if one defines the conjugate-linear Hodge star operator by then we have
Using the conjugate-linear Hodge star, one may define a Hermitian -inner product on complex differential forms, by
where now is an -form, and in particular a complex-valued -form, and can therefore be integrated on with respect to its canonical orientation. Furthermore, suppose is a Hermitian holomorphic vector bundle. Then the Hermitian metric gives a conjugate-linear isomorphism between and its dual vector bundle, say . Defining , one obtains an isomorphism
where consists of smooth -valued complex differential forms. Using the pairing between and given by and , one can therefore define a Hermitian -inner product on such -valued forms by
where here means wedge product of differential forms and using the pairing between and given by .
The Hodge theorem for Dolbeault cohomology asserts that if we define
where is the Dolbeault operator of and is its formal adjoint with respect to the inner product, then
On the left is Dolbeault cohomology, and on the right is the vector space of harmonic -valued differential forms defined by
Using this description, the Serre duality theorem can be stated as follows: The isomorphism induces a complex linear isomorphism
This can be easily proved using the Hodge theory above. Namely, if is a cohomology class in with unique harmonic representative , then
with equality if and only if . In particular, the complex linear pairing
between and is non-degenerate, and induces the isomorphism in the Serre duality theorem.
The statement of Serre duality in the algebraic setting may be recovered by taking , and applying Dolbeault's theorem, which states that
where on the left is Dolbeault cohomology and on the right sheaf cohomology, where denotes the sheaf of holomorphic -forms. In particular, we obtain
where we have used that the sheaf of holomorphic -forms is just the canonical bundle of .
A fundamental application of Serre duality is to algebraic curves. (Over the complex numbers, it is equivalent to consider compact Riemann surfaces.) For a line bundle L on a smooth projective curve X over a field k, the only possibly nonzero cohomology groups are and . Serre duality describes the group in terms of an group (for a different line bundle). That is more concrete, since of a line bundle is simply its space of sections.
Using Serre duality, this can be restated in more elementary terms:
The latter statement (expressed in terms of divisors) is in fact the original version of the theorem from the 19th century. This is the main tool used to analyze how a given curve can be embedded into projective space and hence to classify algebraic curves.
Example: Every global section of a line bundle of negative degree is zero. Moreover, the degree of the canonical bundle is . Therefore, Riemann-Roch implies that for a line bundle L of degree , is equal to . When the genus g is at least 2, it follows by Serre duality that . Here is the first-order deformation space of X. This is the basic calculation needed to show that the moduli space of curves of genus g has dimension .
Serre duality for coherent sheaves
Another formulation of Serre duality holds for all coherent sheaves, not just vector bundles. As a first step in generalizing Serre duality, Grothendieck showed that this version works for schemes with mild singularities, Cohen–Macaulay schemes, not just smooth schemes.
Namely, for a Cohen-Macaulay scheme X of pure dimension n over a field k, Grothendieck defined a coherent sheaf on X called the dualizing sheaf. (Some authors call this sheaf .) Suppose in addition that X is proper over k. For a coherent sheaf E on X and an integer i, Serre duality says that there is a natural isomorphism
In order to use this result, one has to determine the dualizing sheaf explicitly, at least in special cases. When X is smooth over k, is the canonical line bundle defined above. More generally, if X is a Cohen–Macaulay subscheme of codimension r in a smooth scheme Y over k, then the dualizing sheaf can be described as an Ext sheaf:
When X is a local complete intersection of codimension r in a smooth scheme Y, there is a more elementary description: the normal bundle of X in Y is a vector bundle of rank r, and the dualizing sheaf of X is given by
In this case, X is a Cohen–Macaulay scheme with a line bundle, which says that X is Gorenstein.
Example: Let X be a complete intersection in projective space over a field k, defined by homogeneous polynomials of degrees . (To say that this is a complete intersection means that X has dimension .) There are line bundles O(d) on for integers d, with the property that homogeneous polynomials of degree d can be viewed as sections of O(d). Then the dualizing sheaf of X is the line bundle
by the adjunction formula. For example, the dualizing sheaf of a plane curve X of degree d is .
Complex moduli of Calabi-Yau Threefolds
In particular, we can compute the number of complex deformations, equal to for a quintic threefold in , a Calabi-Yau variety, using Serre duality. Since the Calabi-Yau property ensures Serre duality shows us that showing the number of complex moduli is equal to in the Hodge diamond. Of course, the last statement depends on the Bogomolev-Tian-Todorov theorem which states every deformation on a Calabi-Yau is unobstructed.
Grothendieck's theory of coherent duality is a broad generalization of Serre duality, using the language of derived categories. For any scheme X of finite type over a field k, there is an object of the bounded derived category of coherent sheaves on X, , called the dualizing complex of X over k. Formally, is the exceptional inverse image , where f is the given morphism . When X is Cohen–Macaulay of pure dimension n, is ; that is, it is the dualizing sheaf discussed above, viewed as a complex in (cohomological) degree −n. In particular, when X is smooth over k, is the canonical line bundle placed in degree −n.
Using the dualizing complex, Serre duality generalizes to any proper scheme X over k. Namely, there is a natural isomorphism of finite-dimensional k-vector spaces
for any object E in .
More generally, for a proper scheme X over k, an object E in , and F a perfect complex in , one has the elegant statement:
Here the tensor product means the derived tensor product, as is natural in derived categories. (To compare with previous formulations, note that can be viewed as .) When X is also smooth over k, every object in is a perfect complex, and so this duality applies to all E and F in . The statement above is then summarized by saying that is a Serre functor on for X smooth and proper over k.
- Huybrechts (2005), exercise 3.2.3.
- Serre (1955); Huybrechts (2005), Proposition 4.1.15.
- For a curve, Serre duality is simpler but still nontrivial. One proof is given in Tate (1968).
- Hartshorne (1977), Theorem III.7.6.
- Hartshorne (1977), proof of Proposition III.7.5; Stacks Project, Tag 0A9X.
- Hartshorne (1977), Theorem III.7.11; Stacks Project, Tag 0BQZ.
- Hartshorne (1966), Corollary VII.3.4(c); Stacks Project, Tag 0B6I; Stacks Project, Tag 0B6S.
- Huybrechts (2006), Definition 1.28, Theorem 3.12.
- Stacks Project, Tag 0E58.
- Hartshorne, Robin (1977), Algebraic geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
- Hartshorne, Robin (1966), Residues and duality, Lecture Notes in Mathematics, 20, Berlin, New York: Springer-Verlag, ISBN 978-3-540-03603-6, MR 0222093
- 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, ISBN 3-540-21290-6, MR 2093043
- Huybrechts, Daniel (2006), Fourier–Mukai transforms in algebraic geometry, Oxford University Press, ISBN 978-0199296866, MR 2244106
- Serre, Jean-Pierre (1955), "Un théorème de dualité", Commentarii Mathematici Helvetici, 29: 9–26, doi:10.1007/BF02564268, MR 0067489
- Tate, John (1968), "Residues of differentials on curves" (PDF), Annales Scientifiques de l'École Normale Supérieure, Série 4, 1: 149–159, doi:10.24033/asens.1162, ISSN 0012-9593, MR 0227171
- The Stacks Project Authors, The Stacks Project