Coherent sheaf cohomology
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another.
Much of algebraic geometry and complex analytic geometry is formulated in terms of coherent sheaves and their cohomology.
Coherent sheaves
Coherent sheaves can be seen as a generalization of vector bundles. There is a notion of a coherent analytic sheaf on a complex analytic space, and an analogous notion of a coherent algebraic sheaf on a scheme. In both cases, the given space comes with a sheaf of rings , the sheaf of holomorphic functions or regular functions, and coherent sheaves are defined as a full subcategory of the category of -modules (that is, sheaves of -modules).
Vector bundles such as the tangent bundle play a fundamental role in geometry. More generally, for a closed subvariety of with inclusion , a vector bundle on determines a coherent sheaf on , the direct image sheaf , which is zero outside . In this way, many questions about subvarieties of can be expressed in terms of coherent sheaves on .
Unlike vector bundles, coherent sheaves (in the analytic or algebraic case) form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. On a scheme, the quasi-coherent sheaves are a generalization of coherent sheaves, including the locally free sheaves of infinite rank.
Sheaf cohomology
For a sheaf of abelian groups on a topological space , the sheaf cohomology groups for integers are defined as the right derived functors of the functor of global sections, . As a result, is zero for , and can be identified with . For any short exact sequence of sheaves , there is a long exact sequence of cohomology groups:[1]
If is a sheaf of -modules on a scheme , then the cohomology groups (defined using the underlying topological space of ) are modules over the ring of regular functions. For example, if is a scheme over a field , then the cohomology groups are -vector spaces. The theory becomes powerful when is a coherent or quasi-coherent sheaf, because of the following sequence of results.
Vanishing theorems in the affine case
Complex analysis was revolutionized by Cartan's theorems A and B in 1953. These results say that if is a coherent analytic sheaf on a Stein space , then is spanned by its global sections, and for all . (A complex space is Stein if and only if it is isomorphic to a closed analytic subspace of for some .) These results generalize a large body of older work about the construction of complex analytic functions with given singularities or other properties.
In 1955, Serre introduced coherent sheaves into algebraic geometry (at first over an algebraically closed field, but that restriction was removed by Grothendieck). The analogs of Cartan's theorems hold in great generality: if is a quasi-coherent sheaf on an affine scheme , then is spanned by its global sections, and for .[2] This is related to the fact that the category of quasi-coherent sheaves on an affine scheme is equivalent to the category of -modules, with the equivalence taking a sheaf to the -module . In fact, affine schemes are characterized among all quasi-compact schemes by the vanishing of higher cohomology for quasi-coherent sheaves.[3]
Čech cohomology and the cohomology of projective space
As a consequence of the vanishing of cohomology for affine schemes: for a separated scheme , an affine open covering of , and a quasi-coherent sheaf on , the cohomology groups are isomorphic to the Čech cohomology groups with respect to the open covering .[2] In other words, knowing the sections of on all finite intersections of the affine open subschemes determines the cohomology of with coefficients in .
Using Čech cohomology, one can compute the cohomology of projective space with coefficients in any line bundle. Namely, for a field , a positive integer , and any integer , the cohomology of projective space over with coefficients in the line bundle is given by:[4]
In particular, this calculation shows that the cohomology of projective space over with coefficients in any line bundle has finite dimension as a -vector space.
The vanishing of these cohomology groups above dimension is a very special case of Grothendieck's vanishing theorem: for any sheaf of abelian groups on a Noetherian topological space of dimension , for all .[5] This is especially useful for a Noetherian scheme (for example, a variety over a field) and a quasi-coherent sheaf.
Sheaf cohomology of plane-curves
Given a smooth projective plane curve of degree , the sheaf cohomology can be readily computed using a long exact sequence in cohomology. First note that for the embedding there is the isomorphism of cohomology groups
since is exact. This means that the short exact sequence of coherent sheaves
on , called the ideal sequence[6], can be used to compute cohomology via the long exact sequence in cohomology. The sequence reads as
which can be simplified using the previous computations on projective space. For simplicity, assume the base ring is (or any algebraically closed field). Then there are the isomorphisms
which shows that of the curve is a finite dimensional vector space of rank
- .
Künneth Theorem
There is an analogue of the Künneth formula in coherent sheaf cohomology for products of varieties.[7] Given quasi-compact schemes with affine-diagonals over a field , (e.g. separated schemes), and let and , then there is an isomorphism
where are the canonical projections of to .
Computing sheaf cohomology of curves
In , a generic section of defines a curve , giving the ideal sequence
Then, the long exact sequence reads as
giving
Since is the genus of the curve, we can use the Künneth formula to compute its Betti numbers. This is
which is of rank
[8]
for . In particular, if is defined by the vanishing locus of a generic section of , it is of genus
hence a curve of any genus can be found inside of .
Finite-dimensionality
For a proper scheme over a field and any coherent sheaf on , the cohomology groups have finite dimension as -vector spaces.[9] In the special case where is projective over , this is proved by reducing to the case of line bundles on projective space, discussed above. In the general case of a proper scheme over a field, Grothendieck proved the finiteness of cohomology by reducing to the projective case, using Chow's lemma.
The finite-dimensionality of cohomology also holds in the analogous situation of coherent analytic sheaves on any compact complex space, by a very different argument. Cartan and Serre proved finite-dimensionality in this analytic situation using a theorem of Schwartz on compact operators in Fréchet spaces. Relative versions of this result for a proper morphism were proved by Grothendieck (for locally Noetherian schemes) and by Grauert (for complex analytic spaces). Namely, for a proper morphism (in the algebraic or analytic setting) and a coherent sheaf on , the higher direct image sheaves are coherent.[10] When is a point, this theorem gives the finite-dimensionality of cohomology.
The finite-dimensionality of cohomology leads to many numerical invariants for projective varieties. For example, if is a smooth projective curve over an algebraically closed field , the genus of is defined to be the dimension of the -vector space . When is the field of complex numbers, this agrees with the genus of the space of complex points in its classical (Euclidean) topology. (In that case, is a closed oriented surface.) Among many possible higher-dimensional generalizations, the geometric genus of a smooth projective variety of dimension is the dimension of , and the arithmetic genus (according to one convention[11]) is the alternating sum
Serre duality
Serre duality is an analog of Poincaré duality for coherent sheaf cohomology. In this analogy, the canonical bundle plays the role of the orientation sheaf. Namely, for a smooth proper scheme of dimension over a field , there is a natural trace map , which is an isomorphism if is geometrically connected, meaning that the base change of to an algebraic closure of is connected. Serre duality for a vector bundle on says that the product
is a perfect pairing for every integer .[12] In particular, the -vector spaces and have the same (finite) dimension. (Serre also proved Serre duality for holomorphic vector bundles on any compact complex manifold.) Grothendieck duality theory includes generalizations to any coherent sheaf and any proper morphism of schemes, although the statements become less elementary.
For example, for a smooth projective curve over an algebraically closed field , Serre duality implies that the dimension of the space of 1-forms on is equal to the genus of (the dimension of ).
GAGA theorems
GAGA theorems relate algebraic varieties over the complex numbers to the corresponding analytic spaces. For a scheme X of finite type over C, there is a functor from coherent algebraic sheaves on X to coherent analytic sheaves on the associated analytic space Xan. The key GAGA theorem (by Grothendieck, generalizing Serre's theorem on the projective case) is that if X is proper over C, then this functor is an equivalence of categories. Moreover, for every coherent algebraic sheaf E on a proper scheme X over C, the natural map
of (finite-dimensional) complex vector spaces is an isomorphism for all i.[13] (The first group here is defined using the Zariski topology, and the second using the classical (Euclidean) topology.) For example, the equivalence between algebraic and analytic coherent sheaves on projective space implies Chow's theorem that every closed analytic subspace of CPn is algebraic.
Vanishing theorems
Serre's vanishing theorem says that for any ample line bundle on a proper scheme over a Noetherian ring, and any coherent sheaf on , there is an integer such that for all , the sheaf is spanned by its global sections and has no cohomology in positive degrees.[14][15]
Although Serre's vanishing theorem is useful, the inexplicitness of the number can be a problem. The Kodaira vanishing theorem is an important explicit result. Namely, if is a smooth projective variety over a field of characteristic zero, is an ample line bundle on , and a canonical bundle, then
for all . Note that Serre's theorem guarantees the same vanishing for large powers of . Kodaira vanishing and its generalizations are fundamental to the classification of algebraic varieties and the minimal model program. Kodaira vanishing fails over fields of positive characteristic.[16]
Hodge theory
The Hodge theorem relates coherent sheaf cohomology to singular cohomology (or de Rham cohomology). Namely, if is a smooth complex projective variety, then there is a canonical direct-sum decomposition of complex vector spaces:
for every . The group on the left means the singular cohomology of in its classical (Euclidean) topology, whereas the groups on the right are cohomology groups of coherent sheaves, which (by GAGA) can be taken either in the Zariski or in the classical topology. The same conclusion holds for any smooth proper scheme over , or for any compact Kähler manifold.
For example, the Hodge theorem implies that the definition of the genus of a smooth projective curve as the dimension of , which makes sense over any field , agrees with the topological definition (as half the first Betti number) when is the complex numbers. Hodge theory has inspired a large body of work on the topological properties of complex algebraic varieties.
Riemann–Roch theorems
For a proper scheme X over a field k, the Euler characteristic of a coherent sheaf E on X is the integer
The Euler characteristic of a coherent sheaf E can be computed from the Chern classes of E, according to the Riemann–Roch theorem and its generalizations, the Hirzebruch–Riemann–Roch theorem and the Grothendieck–Riemann–Roch theorem. For example, if L is a line bundle on a smooth proper geometrically connected curve X over a field k, then
where deg(L) denotes the degree of L.
When combined with a vanishing theorem, the Riemann–Roch theorem can often be used to determine the dimension of the vector space of sections of a line bundle. Knowing that a line bundle on X has enough sections, in turn, can be used to define a map from X to projective space, perhaps a closed immersion. This approach is essential for classifying algebraic varieties.
The Riemann–Roch theorem also holds for holomorphic vector bundles on a compact complex manifold, by the Atiyah–Singer index theorem.
Growth
Dimensions of cohomology groups on a scheme of dimension n can grow up at most like a polynomial of degree n.
Let X be a projective scheme of dimension n and D a divisor on X. If is any coherent sheaf on X then
for every i.
For a higher cohomology of nef divisor D on X;
Applications
Given a scheme X over a field k, deformation theory studies the deformations of X to infinitesimal neighborhoods. The simplest case, concerning deformations over the ring of dual numbers, examines whether there is a scheme XR over Spec R such that the special fiber
is isomorphic to the given X. Coherent sheaf cohomology with coefficients in the tangent sheaf controls this class of deformations of X, provided X is smooth. Namely,
- isomorphism classes of deformations of the above type are parametrized by the first coherent cohomology ,
- there is an element (called the obstruction class) in which vanishes if and only if a deformation of X over Spec R as above exists.
Notes
- ^ (Hartshorne 1977, (III.1.1A) and section III.2.)
- ^ a b Stacks Project, Tag 01X8.
- ^ Stacks Project, Tag 01XE.
- ^ (Hartshorne 1977, Theorem III.5.1.)
- ^ (Hartshorne 1977, Theorem III.2.7.)
- ^ Hochenegger, Andreas (2019). "Introduction to derived categories of coherent sheaves". In Andreas Hochenegger; Manfred Lehn; Paolo Stellari (eds.). Birational Geometry of Hypersurfaces. Lecture Notes of the Unione Matematica Italiana. Vol. 26. pp. 267–295. arXiv:1901.07305. Bibcode:2019arXiv190107305H. doi:10.1007/978-3-030-18638-8_7. ISBN 978-3-030-18637-1. S2CID 119721183.
- ^ "Section 33.29 (0BEC): Künneth formula—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-02-23.
- ^ Vakil. "FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 35 AND 36" (PDF).
- ^ Stacks Project, Tag 02O3.
- ^ (Grothendieck & Dieudonné 1961, (EGA 3) 3.2.1), (Grauert & Remmert 1984, Theorem 10.4.6.)
- ^ (Serre 1955, section 80.)
- ^ (Hartshorne 1977, Theorem III.7.6.)
- ^ (Grothendieck & Raynaud 2003, (SGA 1) Exposé XII.)
- ^ (Hartshorne 1977, Theorem II.5.17 and Proposition III.5.3.)
- ^ (Grothendieck & Dieudonné 1961, (EGA 3) Theorem 2.2.1)
- ^ Michel Raynaud. Contre-exemple au vanishing theorem en caractéristique p > 0. In C. P. Ramanujam - a tribute, Tata Inst. Fund. Res. Studies in Math. 8, Berlin, New York: Springer-Verlag, (1978), pp. 273-278.
References
- Cartan, Henri; Serre, Jean-Pierre (1953). "Un théorème de finitude concernant les variétés analytiques compactes". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences de Paris. 237: 128–130. Zbl 0050.17701.
- Grauert, Hans; Remmert, Reinhold (1984), Coherent Analytic Sheaves, Grundlehren der mathematischen Wissenschaften, vol. 265, Springer-Verlag, doi:10.1007/978-3-642-69582-7, ISBN 3-540-13178-7, MR 0755331
- Grothendieck, Alexandre; Raynaud, Michèle (2003) [1971], Séminaire de Géométrie Algébrique du Bois Marie – 1960–61 – Revêtements étales et groupe fondamental (SGA 1) (Documents Mathématiques 3), Paris: Société Mathématique de France, arXiv:math.AG/0206203, ISBN 978-2-85629-141-2, MR 2017446
- Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
- Serre, Jean-Pierre (1955), "Faisceaux algébriques cohérents" (PDF), Annals of Mathematics, 61 (2): 197–278, doi:10.2307/1969915, JSTOR 1969915, MR 0068874
- Parshin, A.N. (2001) [1994], "Finiteness theorems", Encyclopedia of Mathematics, EMS Press
- Grauert, Hans; Remmert, Reinhold (2004). "The Finiteness Theorem". Theory of Stein Spaces. Classics in Mathematics. pp. 186–203. doi:10.1007/978-3-642-18921-0_8. ISBN 978-3-540-00373-1.
External links
- The Stacks Project Authors, The Stacks Project