Jump to content

Serre duality

From Wikipedia, the free encyclopedia

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

[edit]

Algebraic theorem

[edit]

Let X be a smooth variety of dimension n over a field k. Define the canonical line bundle to be the bundle of n-forms on X, the top exterior power of the cotangent bundle:

Suppose in addition that X is proper (for example, projective) over k. Then Serre duality says: for an algebraic vector bundle E on X and an integer i, there is a natural isomorphism:

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:

As in Poincaré duality, the isomorphism in Serre duality comes from the cup product in sheaf cohomology. Namely, the composition of the cup product with a natural trace map on is a perfect pairing:

The trace map is the analog for coherent sheaf cohomology of integration in de Rham cohomology.[1]

Differential-geometric theorem

[edit]

Serre also proved the same duality statement for X a compact complex manifold and E a holomorphic vector bundle.[2] 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 .

Algebraic curves

[edit]

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).[3] That is more concrete, since of a line bundle is simply its space of sections.

Serre duality is especially relevant to the Riemann–Roch theorem for curves. For a line bundle L of degree d on a curve X of genus g, the Riemann–Roch theorem says that:

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

[edit]

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:

of finite-dimensional k-vector spaces.[4] Here the Ext group is taken in the abelian category of -modules. This includes the previous statement, since is isomorphic to when E is a vector bundle.

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:[5]

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:[6]

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

[edit]

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 duality

[edit]

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 .[7]

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.[8]

Serre duality holds more generally for proper algebraic spaces over a field.[9]

Notes

[edit]
  1. ^ Huybrechts (2005), exercise 3.2.3.
  2. ^ Serre (1955); Huybrechts (2005), Proposition 4.1.15.
  3. ^ For a curve, Serre duality is simpler but still nontrivial. One proof is given in Tate (1968).
  4. ^ Hartshorne (1977), Theorem III.7.6.
  5. ^ Hartshorne (1977), proof of Proposition III.7.5; Stacks Project, Tag 0A9X.
  6. ^ Hartshorne (1977), Theorem III.7.11; Stacks Project, Tag 0BQZ.
  7. ^ Hartshorne (1966), Corollary VII.3.4(c); Stacks Project, Tag 0B6I; Stacks Project, Tag 0B6S.
  8. ^ Huybrechts (2006), Definition 1.28, Theorem 3.12.
  9. ^ Stacks Project, Tag 0E58.

References

[edit]
[edit]