Coherent sheaf

Please help improve this article or section by expanding it. Further information might be found on the talk page or at requests for expansion. (May 2007)

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are specific class of sheaves having particularly manageable properties closely linked to the geometrical properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometrical information. In addition, there is a related concept of quasi-coherent sheaves. Many results and properties in algebraic geometry and complex analytic geometry are both formulated in terms of coherent sheaves and their cohomology.

Coherent sheaves can be seen as a generalization of (sheaves of sections of) vector bundles. They form a category closed under usual operations such as taking kernels, cokernels and finite direct sums. In addition, under suitable compactness conditions they are preserved under maps of the underlying spaces and have finite dimensional cohomology spaces.

Definition

A coherent sheaf on a ringed space Failed to parse (Missing texvc executable; please see math/README to configure.): (X,\mathcal{O}_X)

is a sheaf Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}
of Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X

-modules with the following two properties:

1. Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}

is of finite type over Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X

, i.e., if for any point Failed to parse (Missing texvc executable; please see math/README to configure.): x\in X

there is an open neighbourhood Failed to parse (Missing texvc executable; please see math/README to configure.): U\subset X
such that the restriction Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}|_U
of Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}
to Failed to parse (Missing texvc executable; please see math/README to configure.): U
is generated by a finite number of sections (in other words, there is a surjective morphism Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X^n|_U \to \mathcal{F}|_U

); and

1. for any open set Failed to parse (Missing texvc executable; please see math/README to configure.): U\subset X

, any Failed to parse (Missing texvc executable; please see math/README to configure.): n\in\mathbb{N}

and any morphism Failed to parse (Missing texvc executable; please see math/README to configure.): \phi\colon \mathcal{O}_X^n|_U \to \mathcal{F}|_U
of Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X

-modules, the kernel of Failed to parse (Missing texvc executable; please see math/README to configure.): \phi

is of finite type.

The sheaf of rings Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X

is coherent if it is coherent considered as a sheaf of modules over itself. Important examples of coherent sheaves of rings include the sheaf of germs of holomorphic functions on a  complex manifolds and the structure sheaf of a Noetherian scheme from algebraic geometry.

A coherent sheaf is always a sheaf of finite presentation, or in other words each point Failed to parse (Missing texvc executable; please see math/README to configure.): x\in X

has an open  neighbourhood Failed to parse (Missing texvc executable; please see math/README to configure.): U
such that the restriction Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}|_U
of Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}
to Failed to parse (Missing texvc executable; please see math/README to configure.): U
is isomorphic to the cokernel of a morphism Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X^n|_U \to \mathcal{O}_X^m|_U
for some integers Failed to parse (Missing texvc executable; please see math/README to configure.): n
and Failed to parse (Missing texvc executable; please see math/README to configure.): m

. If Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X

is coherent, then the converse is true and each sheaf of finite presentation over Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X
is coherent.

For a sheaf of rings Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O} , a sheaf Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}

of Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}

-modules is said to be quasi-coherent if it has a local presentation, i.e. if there exist an open cover by Failed to parse (Missing texvc executable; please see math/README to configure.): U_i

of the topological space and an exact sequence

Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}|_{U_i}^{I_i} \to \mathcal{O}|_{U_i}^{J_i} \to \mathcal{F}|_{U_i} \to 0.

For an affine variety X with (affine) coordinate ring R, there exists a covariant equivalence of categories between that of quasi-coherent sheaves and sheaf morphisms on the one hand, and R-modules and module homomorphisms on the other hand. In case the ring R is Noetherian, coherent sheaves correspond exactly to finitely generated modules.

Coherence in sheaves makes some lemmata from commutative algebra work, e.g. Nakayama's lemma, which states that if Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}

is a coherent sheaf, then the fiber Failed to parse (Missing texvc executable; please see math/README to configure.): k(x)\otimes_{\mathcal{O}_{X,x}} \mathcal{F}_x=0
if and only if there is a neighborhood Failed to parse (Missing texvc executable; please see math/README to configure.): U
of Failed to parse (Missing texvc executable; please see math/README to configure.): x
so that Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{F}|_U=0

.

The role played by coherent sheaves is as a class of sheaves, say on an algebraic variety or complex manifold, that is more general than the locally free sheaf — such as invertible sheaf, or sheaf of sections of a (holomorphic) vector bundle — but still with manageable properties. The generality is desirable, to be able to take kernels and cokernels of morphisms, for example, without moving outside the given class of sheaves. To put that more formally, suppose one wants, given a short exact sequence of sheaves, to be able to infer that if any two are in a class of sheaves, then the third should be. Then the coherent sheaves are the smallest such class containing Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}_X . This makes consideration of them natural from the perspective of homological algebra.

Examples of coherent sheaves

• On noetherian schemes, the structure sheaf O_X itself.
• Sheaves of sections in vector bundles.
• Ideal sheaves: If Z is a closed complex subspace of a complex analytic space X, the sheaf I_Z of all holomorphic functions vanishing on Z is coherent.
• Structure sheaves of subspaces.

Coherent cohomology

The sheaf cohomology theory of coherent sheaves is called coherent cohomology. It is one of the major and most fruitful applications of sheaves, and its results connect quickly with classical theories.

Using previous works of Schwartz, Cartan and Serre proved that compact complex manifolds have the property that their sheaf cohomology for any coherent sheaf consists of vector spaces of finite dimension. This result had been proved previously by Kodaira for the particular case of locally free sheaves. According to testimonies, it seems that at that time the usefulness of such a result was rather unclear. An algebraic version of this theorem was proved by Serre. Relative versions of this result for a proper morphism were proved, by Grothendieck in the algebraic case, and by Grauert and Remmert in the analytic case. For example Grothendieck's result concerns the functor

Rf_*

or push-forward, in sheaf cohomology. (It is the right derived functor of the direct image of a sheaf.) For a proper morphism in the sense of scheme theory, it was shown that this functor sends coherent sheaves to coherent sheaves. The Serre result is the case of a morphism to a point.

The duality theory in scheme theory that extends Serre duality is called coherent duality (also called Grothendieck duality). Under some mild conditions of finiteness, the sheaf of Kähler differentials on an algebraic variety is a coherent sheaf Ω¹. When the variety is non-singular its 'top' exterior power acts as the dualising object; and it is locally free (effectively it is the sheaf of sections of the cotangent bundle, when working over the complex numbers, but that is a statement that requires more precision since only holomorphic 1-forms count as sections). The successful extension of the theory beyond this case was a major step.de:Kohärente Garbe ko:일관된 층 he:אלומה קוהרנטית