Coherent sheaf

Last updated

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

Contents

Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank.

Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf.

Definitions

A quasi-coherent sheaf on a ringed space is a sheaf of -modules that has a local presentation, that is, every point in has an open neighborhood in which there is an exact sequence

for some (possibly infinite) sets and .

A coherent sheaf on a ringed space is a sheaf of -modules satisfying the following two properties:

  1. is of finite type over , that is, every point in has an open neighborhood in such that there is a surjective morphism for some natural number ;
  2. for any open set , any natural number , and any morphism of -modules, the kernel of is of finite type.

Morphisms between (quasi-)coherent sheaves are the same as morphisms of sheaves of -modules.

The case of schemes

When is a scheme, the general definitions above are equivalent to more explicit ones. A sheaf of -modules is quasi-coherent if and only if over each open affine subscheme the restriction is isomorphic to the sheaf associated to the module over . When is a locally Noetherian scheme, is coherent if and only if it is quasi-coherent and the modules above can be taken to be finitely generated.

On an affine scheme , there is an equivalence of categories from -modules to quasi-coherent sheaves, taking a module to the associated sheaf . The inverse equivalence takes a quasi-coherent sheaf on to the -module of global sections of .

Here are several further characterizations of quasi-coherent sheaves on a scheme. [1]

Theorem  Let be a scheme and an -module on it. Then the following are equivalent.

  • is quasi-coherent.
  • For each open affine subscheme of , is isomorphic as an -module to the sheaf associated to some -module .
  • There is an open affine cover of such that for each of the cover, is isomorphic to the sheaf associated to some -module.
  • For each pair of open affine subschemes of , the natural homomorphism
is an isomorphism.
  • For each open affine subscheme of and each , writing for the open subscheme of where is not zero, the natural homomorphism
is an isomorphism. The homomorphism comes from the universal property of localization.

Properties

On an arbitrary ringed space quasi-coherent sheaves do not necessarily form an abelian category. On the other hand, the quasi-coherent sheaves on any scheme form an abelian category, and they are extremely useful in that context. [2]

On any ringed space , the coherent sheaves form an abelian category, a full subcategory of the category of -modules. [3] (Analogously, the category of coherent modules over any ring is a full abelian subcategory of the category of all -modules.) So the kernel, image, and cokernel of any map of coherent sheaves are coherent. The direct sum of two coherent sheaves is coherent; more generally, an -module that is an extension of two coherent sheaves is coherent. [4]

A submodule of a coherent sheaf is coherent if it is of finite type. A coherent sheaf is always an -module of finite presentation, meaning that each point in has an open neighborhood such that the restriction of to is isomorphic to the cokernel of a morphism for some natural numbers and . If is coherent, then, conversely, every sheaf of finite presentation over is coherent.

The sheaf of rings is called coherent if it is coherent considered as a sheaf of modules over itself. In particular, the Oka coherence theorem states that the sheaf of holomorphic functions on a complex analytic space is a coherent sheaf of rings. The main part of the proof is the case . Likewise, on a locally Noetherian scheme , the structure sheaf is a coherent sheaf of rings. [5]

Basic constructions of coherent sheaves

Vector bundles in this sheaf-theoretic sense over a scheme are equivalent to vector bundles defined in a more geometric way, as a scheme with a morphism and with a covering of by open sets with given isomorphisms over such that the two isomorphisms over an intersection differ by a linear automorphism. [6] (The analogous equivalence also holds for complex analytic spaces.) For example, given a vector bundle in this geometric sense, the corresponding sheaf is defined by: over an open set of , the -module is the set of sections of the morphism . The sheaf-theoretic interpretation of vector bundles has the advantage that vector bundles (on a locally Noetherian scheme) are included in the abelian category of coherent sheaves.
this is because restricted to the vanishing locus of the two polynomials has two-dimensional fibers, and has one-dimensional fibers elsewhere.
[9]
Since this sheaf has non-trivial stalks, but zero global sections, this cannot be a quasi-coherent sheaf. This is because quasi-coherent sheaves on an affine scheme are equivalent to the category of modules over the underlying ring, and the adjunction comes from taking global sections.

Functoriality

Let be a morphism of ringed spaces (for example, a morphism of schemes). If is a quasi-coherent sheaf on , then the inverse image -module (or pullback) is quasi-coherent on . [10] For a morphism of schemes and a coherent sheaf on , the pullback is not coherent in full generality (for example, , which might not be coherent), but pullbacks of coherent sheaves are coherent if is locally Noetherian. An important special case is the pullback of a vector bundle, which is a vector bundle.

If is a quasi-compact quasi-separated morphism of schemes and is a quasi-coherent sheaf on , then the direct image sheaf (or pushforward) is quasi-coherent on . [2]

The direct image of a coherent sheaf is often not coherent. For example, for a field , let be the affine line over , and consider the morphism ; then the direct image is the sheaf on associated to the polynomial ring , which is not coherent because has infinite dimension as a -vector space. On the other hand, the direct image of a coherent sheaf under a proper morphism is coherent, by results of Grauert and Grothendieck.

Local behavior of coherent sheaves

An important feature of coherent sheaves is that the properties of at a point control the behavior of in a neighborhood of , more than would be true for an arbitrary sheaf. For example, Nakayama's lemma says (in geometric language) that if is a coherent sheaf on a scheme , then the fiber of at a point (a vector space over the residue field ) is zero if and only if the sheaf is zero on some open neighborhood of . A related fact is that the dimension of the fibers of a coherent sheaf is upper-semicontinuous. [11] Thus a coherent sheaf has constant rank on an open set, while the rank can jump up on a lower-dimensional closed subset.

In the same spirit: a coherent sheaf on a scheme is a vector bundle if and only if its stalk is a free module over the local ring for every point in . [12]

On a general scheme, one cannot determine whether a coherent sheaf is a vector bundle just from its fibers (as opposed to its stalks). On a reduced locally Noetherian scheme, however, a coherent sheaf is a vector bundle if and only if its rank is locally constant. [13]

Examples of vector bundles

For a morphism of schemes , let be the diagonal morphism, which is a closed immersion if is separated over . Let be the ideal sheaf of in . Then the sheaf of differentials can be defined as the pullback of to . Sections of this sheaf are called 1-forms on over , and they can be written locally on as finite sums for regular functions and . If is locally of finite type over a field , then is a coherent sheaf on .

If is smooth over , then (meaning ) is a vector bundle over , called the cotangent bundle of . Then the tangent bundle is defined to be the dual bundle . For smooth over of dimension everywhere, the tangent bundle has rank .

If is a smooth closed subscheme of a smooth scheme over , then there is a short exact sequence of vector bundles on :

which can be used as a definition of the normal bundle to in .

For a smooth scheme over a field and a natural number , the vector bundle of i-forms on is defined as the -th exterior power of the cotangent bundle, . For a smooth variety of dimension over , the canonical bundle means the line bundle . Thus sections of the canonical bundle are algebro-geometric analogs of volume forms on . For example, a section of the canonical bundle of affine space over can be written as

where is a polynomial with coefficients in .

Let be a commutative ring and a natural number. For each integer , there is an important example of a line bundle on projective space over , called . To define this, consider the morphism of -schemes

given in coordinates by . (That is, thinking of projective space as the space of 1-dimensional linear subspaces of affine space, send a nonzero point in affine space to the line that it spans.) Then a section of over an open subset of is defined to be a regular function on that is homogeneous of degree , meaning that

as regular functions on (. For all integers and , there is an isomorphism of line bundles on .

In particular, every homogeneous polynomial in of degree over can be viewed as a global section of over . Note that every closed subscheme of projective space can be defined as the zero set of some collection of homogeneous polynomials, hence as the zero set of some sections of the line bundles . [14] This contrasts with the simpler case of affine space, where a closed subscheme is simply the zero set of some collection of regular functions. The regular functions on projective space over are just the "constants" (the ring ), and so it is essential to work with the line bundles .

Serre gave an algebraic description of all coherent sheaves on projective space, more subtle than what happens for affine space. Namely, let be a Noetherian ring (for example, a field), and consider the polynomial ring as a graded ring with each having degree 1. Then every finitely generated graded -module has an associated coherent sheaf on over . Every coherent sheaf on arises in this way from a finitely generated graded -module . (For example, the line bundle is the sheaf associated to the -module with its grading lowered by .) But the -module that yields a given coherent sheaf on is not unique; it is only unique up to changing by graded modules that are nonzero in only finitely many degrees. More precisely, the abelian category of coherent sheaves on is the quotient of the category of finitely generated graded -modules by the Serre subcategory of modules that are nonzero in only finitely many degrees. [15]

The tangent bundle of projective space over a field can be described in terms of the line bundle . Namely, there is a short exact sequence, the Euler sequence:

It follows that the canonical bundle (the dual of the determinant line bundle of the tangent bundle) is isomorphic to . This is a fundamental calculation for algebraic geometry. For example, the fact that the canonical bundle is a negative multiple of the ample line bundle means that projective space is a Fano variety. Over the complex numbers, this means that projective space has a Kähler metric with positive Ricci curvature.

Vector bundles on a hypersurface

Consider a smooth degree- hypersurface defined by the homogeneous polynomial of degree . Then, there is an exact sequence

where the second map is the pullback of differential forms, and the first map sends

Note that this sequence tells us that is the conormal sheaf of in . Dualizing this yields the exact sequence

hence is the normal bundle of in . If we use the fact that given an exact sequence

of vector bundles with ranks ,,, there is an isomorphism

of line bundles, then we see that there is the isomorphism

showing that

Serre construction and vector bundles

One useful technique for constructing rank 2 vector bundles is the Serre construction [16] [17] pg 3 which establishes a correspondence between rank 2 vector bundles on a smooth projective variety and codimension 2 subvarieties using a certain -group calculated on . This is given by a cohomological condition on the line bundle (see below).

The correspondence in one direction is given as follows: for a section we can associated the vanishing locus . If is a codimension 2 subvariety, then

  1. It is a local complete intersection, meaning if we take an affine chart then can be represented as a function , where and
  2. The line bundle is isomorphic to the canonical bundle on

In the other direction, [18] for a codimension 2 subvariety and a line bundle such that

there is a canonical isomorphism

,

which is functorial with respect to inclusion of codimension subvarieties. Moreover, any isomorphism given on the left corresponds to a locally free sheaf in the middle of the extension on the right. That is, for that is an isomorphism there is a corresponding locally free sheaf of rank 2 that fits into a short exact sequence

This vector bundle can then be further studied using cohomological invariants to determine if it is stable or not. This forms the basis for studying moduli of stable vector bundles in many specific cases, such as on principally polarized abelian varieties [17] and K3 surfaces. [19]

Chern classes and algebraic K-theory

A vector bundle on a smooth variety over a field has Chern classes in the Chow ring of , in for . [20] These satisfy the same formal properties as Chern classes in topology. For example, for any short exact sequence

of vector bundles on , the Chern classes of are given by

It follows that the Chern classes of a vector bundle depend only on the class of in the Grothendieck group . By definition, for a scheme , is the quotient of the free abelian group on the set of isomorphism classes of vector bundles on by the relation that for any short exact sequence as above. Although is hard to compute in general, algebraic K-theory provides many tools for studying it, including a sequence of related groups for integers .

A variant is the group (or ), the Grothendieck group of coherent sheaves on . (In topological terms, G-theory has the formal properties of a Borel–Moore homology theory for schemes, while K-theory is the corresponding cohomology theory.) The natural homomorphism is an isomorphism if is a regular separated Noetherian scheme, using that every coherent sheaf has a finite resolution by vector bundles in that case. [21] For example, that gives a definition of the Chern classes of a coherent sheaf on a smooth variety over a field.

More generally, a Noetherian scheme is said to have the resolution property if every coherent sheaf on has a surjection from some vector bundle on . For example, every quasi-projective scheme over a Noetherian ring has the resolution property.

Applications of resolution property

Since the resolution property states that a coherent sheaf on a Noetherian scheme is quasi-isomorphic in the derived category to the complex of vector bundles : we can compute the total Chern class of with

For example, this formula is useful for finding the Chern classes of the sheaf representing a subscheme of . If we take the projective scheme associated to the ideal , then

since there is the resolution

over .

Bundle homomorphism vs. sheaf homomorphism

When vector bundles and locally free sheaves of finite constant rank are used interchangeably, care must be given to distinguish between bundle homomorphisms and sheaf homomorphisms. Specifically, given vector bundles , by definition, a bundle homomorphism is a scheme morphism over (i.e., ) such that, for each geometric point in , is a linear map of rank independent of . Thus, it induces the sheaf homomorphism of constant rank between the corresponding locally free -modules (sheaves of dual sections). But there may be an -module homomorphism that does not arise this way; namely, those not having constant rank.

In particular, a subbundle is a subsheaf (i.e., is a subsheaf of ). But the converse can fail; for example, for an effective Cartier divisor on , is a subsheaf but typically not a subbundle (since any line bundle has only two subbundles).

The category of quasi-coherent sheaves

The quasi-coherent sheaves on any fixed scheme form an abelian category. Gabber showed that, in fact, the quasi-coherent sheaves on any scheme form a particularly well-behaved abelian category, a Grothendieck category. [22] A quasi-compact quasi-separated scheme (such as an algebraic variety over a field) is determined up to isomorphism by the abelian category of quasi-coherent sheaves on , by Rosenberg, generalizing a result of Gabriel. [23]

Coherent cohomology

The fundamental technical tool in algebraic geometry is the cohomology theory of coherent sheaves. Although it was introduced only in the 1950s, many earlier techniques of algebraic geometry are clarified by the language of sheaf cohomology applied to coherent sheaves. Broadly speaking, coherent sheaf cohomology can be viewed as a tool for producing functions with specified properties; sections of line bundles or of more general sheaves can be viewed as generalized functions. In complex analytic geometry, coherent sheaf cohomology also plays a foundational role.

Among the core results of coherent sheaf cohomology are results on finite-dimensionality of cohomology, results on the vanishing of cohomology in various cases, duality theorems such as Serre duality, relations between topology and algebraic geometry such as Hodge theory, and formulas for Euler characteristics of coherent sheaves such as the Riemann–Roch theorem.

See also

Notes

  1. Mumford 1999 , Ch. III, § 1, Theorem-Definition 3.
  2. 1 2 Stacks Project, Tag 01LA .
  3. Stacks Project, Tag 01BU .
  4. Serre 1955 , §13
  5. Grothendieck & Dieudonné 1960 , Corollaire 1.5.2
  6. Hartshorne 1977 , Exercise II.5.18
  7. Stacks Project, Tag 00NV .
  8. Serre 1955 , §14
  9. Hartshorne 1977
  10. Stacks Project, Tag 01BG .
  11. Hartshorne 1977 , Example III.12.7.2
  12. Grothendieck & Dieudonné 1960 , Ch. 0, 5.2.7
  13. Eisenbud 1995 , Exercise 20.13
  14. Hartshorne 1977 , Corollary II.5.16
  15. Stacks Project, Tag 01YR .
  16. Serre, Jean-Pierre (1960–1961). "Sur les modules projectifs". Séminaire Dubreil. Algèbre et théorie des nombres (in French). 14 (1): 1–16.
  17. 1 2 Gulbrandsen, Martin G. (2013-05-20). "Vector Bundles and Monads On Abelian Threefolds" (PDF). Communications in Algebra . 41 (5): 1964–1988. arXiv: 0907.3597 . doi:10.1080/00927872.2011.645977. ISSN   0092-7872.
  18. Hartshorne, Robin (1978). "Stable Vector Bundles of Rank 2 on P3". Mathematische Annalen . 238: 229–280.
  19. Huybrechts, Daniel; Lehn, Manfred (2010). The Geometry of Moduli Spaces of Sheaves. Cambridge Mathematical Library (2 ed.). Cambridge: Cambridge University Press. pp. 123–128, 238–243. doi:10.1017/cbo9780511711985. ISBN   978-0-521-13420-0.
  20. Fulton 1998 , §3.2 and Example 8.3.3
  21. Fulton 1998 , B.8.3
  22. Stacks Project, Tag 077K .
  23. Antieau 2016 , Corollary 4.2

Related Research Articles

In mathematics, a sheaf is a tool for systematically tracking data attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set.

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

<span class="mw-page-title-main">Projective variety</span>

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative". The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors, there is an equivalent notion of an ample divisor.

<span class="mw-page-title-main">Grothendieck–Riemann–Roch theorem</span>

In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.

In algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that locally, regular functions on Z can be extended to X. The latter condition can be formalized by saying that is surjective.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are derived from the notion of divisibility in the integers and algebraic number fields.

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective varieties. The construction, while not functorial, is a fundamental tool in scheme theory.

In algebraic geometry, a Noetherian scheme is a scheme that admits a finite covering by open affine subsets , where each is a Noetherian ring. More generally, a scheme is locally Noetherian if it is covered by spectra of Noetherian rings. Thus, a scheme is Noetherian if and only if it is locally Noetherian and compact. As with Noetherian rings, the concept is named after Emmy Noether.

In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.

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.

This is a glossary of algebraic geometry.

In algebraic geometry, the Quot scheme is a scheme parametrizing sheaves on a projective scheme. More specifically, if X is a projective scheme over a Noetherian scheme S and if F is a coherent sheaf on X, then there is a scheme whose set of T-points is the set of isomorphism classes of the quotients of that are flat over T. The notion was introduced by Alexander Grothendieck.

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times the restriction of s for any f in O(U) and s in F(U).

In algebraic geometry, given a morphism f: XS of schemes, the cotangent sheaf on X is the sheaf of -modules that represents S-derivations in the sense: for any -modules F, there is an isomorphism

In algebraic geometry, the dualizing sheaf on a proper scheme X of dimension n over a field k is a coherent sheaf together with a linear functional

In mathematics, derived noncommutative algebraic geometry, the derived version of noncommutative algebraic geometry, is the geometric study of derived categories and related constructions of triangulated categories using categorical tools. Some basic examples include the bounded derived category of coherent sheaves on a smooth variety, , called its derived category, or the derived category of perfect complexes on an algebraic variety, denoted . For instance, the derived category of coherent sheaves on a smooth projective variety can be used as an invariant of the underlying variety for many cases. Unfortunately, studying derived categories as geometric objects of themselves does not have a standardized name.

References