View source for Coherent sheaf

{{Short description|Generalization of vector bundles}}
In mathematics, especially in [[algebraic geometry]] and the theory of [[complex manifold]]s, '''coherent sheaves''' are a class of [[Sheaf (mathematics)|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.

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 [[kernel (category theory)|kernels]], [[image (mathematics)|images]], and [[cokernel]]s. 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 [[section of a sheaf|section]]s of a given coherent sheaf.

== Definitions ==
A '''quasi-coherent sheaf''' on a [[ringed space]] <math>(X, \mathcal O_X)</math> is a sheaf <math>\mathcal F</math> of <math>\mathcal O_X</math>-[[sheaf of modules|modules]] that has a local presentation, that is, every point in <math>X</math> has an [[open neighborhood]] <math>U</math> in which there is an [[exact sequence]]
:<math>\mathcal{O}_X^{\oplus I}|_{U} \to \mathcal{O}_X^{\oplus J}|_{U} \to \mathcal{F}|_{U} \to 0</math>
for some (possibly infinite) sets <math>I</math> and <math>J</math>.

A '''coherent sheaf''' on a [[ringed space]] <math>(X, \mathcal O_X)</math> is a sheaf <math>\mathcal F</math> of <math>\mathcal O_X</math>-[[sheaf of modules|modules]] satisfying the following two properties:
# <math>\mathcal F</math> is of ''finite type'' over <math>\mathcal O_X</math>, that is, every point in <math>X</math> has an open neighborhood <math>U</math> in <math>X</math> such that there is a surjective morphism <math>\mathcal{O}_X^n|_{U} \to \mathcal{F}|_{U} </math> for some natural number <math>n</math>;
# for any open set <math>U\subseteq X</math>, any natural number <math>n</math>, and any morphism <math>\varphi: \mathcal{O}_X^n|_{U} \to \mathcal{F}|_{U} </math> of <math>\mathcal O_X</math>-modules, the kernel of <math>\varphi</math> is of finite type.

Morphisms between (quasi-)coherent sheaves are the same as morphisms of sheaves of <math>\mathcal O_X</math>-modules.

=== The case of schemes ===

When <math>X</math> is a scheme, the general definitions above are equivalent to more explicit ones. A sheaf <math>\mathcal F</math> of <math>\mathcal O_X</math>-modules is '''quasi-coherent''' if and only if over each open [[affine scheme|affine subscheme]] <math>U=\operatorname{Spec} A</math> the restriction <math>\mathcal F|_U</math> is isomorphic to the sheaf <math>\tilde{M}</math> [[Sheaf associated to a module|associated]] to the module <math>M=\Gamma(U, \mathcal F)</math> over <math>A</math>. When <math>X</math> is a locally Noetherian scheme, <math>\mathcal F</math> is '''coherent''' if and only if it is quasi-coherent and the modules <math>M</math> above can be taken to be [[finitely generated module|finitely generated]].

On an affine scheme <math>U = \operatorname{Spec} A</math>, there is an [[equivalence of categories]] from <math>A</math>-modules to quasi-coherent sheaves, taking a module <math>M</math> to the associated sheaf <math>\tilde{M}</math>. The inverse equivalence takes a quasi-coherent sheaf <math>\mathcal F</math> on <math>U</math> to the <math>A</math>-module <math>\mathcal F(U)</math> of global sections of <math>\mathcal F</math>.

Here are several further characterizations of quasi-coherent sheaves on a scheme.<ref>{{harvnb|Mumford|1999|loc=Ch. III, § 1, Theorem-Definition 3}}.</ref>
{{math_theorem|math_statement=Let <math>X</math> be a scheme and <math>\mathcal F</math> an <math>\mathcal O_X</math>-module on it. Then the following are equivalent.
* <math>\mathcal F</math> is quasi-coherent.
* For each open affine subscheme <math>U</math> of <math>X</math>, <math>\mathcal F|_U</math> is isomorphic as an <math>\mathcal O_U</math>-module to the sheaf <math>\tilde M</math> associated to some <math>\mathcal O(U)</math>-module <math>M</math>.
* There is an open affine cover <math>\{U_\alpha \}</math> of <math>X</math> such that for each <math>U_\alpha</math> of the cover, <math>\mathcal F|_{U_\alpha}</math> is isomorphic to the sheaf associated to some <math>\mathcal O(U_\alpha)</math>-module.
* For each pair of open affine subschemes <math>V\subseteq U</math> of <math>X</math>, the natural homomorphism
*:<math>\mathcal O(V) \otimes_{\mathcal O(U)} \mathcal F(U) \to \mathcal F(V), \, f \otimes s \mapsto f\cdot s|_V</math>
:is an isomorphism.
*For each open affine subscheme <math>U = \operatorname{Spec} A</math> of <math>X</math> and each <math>f\in A</math>, writing <math>U_f</math> for the open subscheme of <math>U</math> where <math>f</math> is not zero, the natural homomorphism
*:<math>\mathcal F(U)\bigg[\frac{1}{f}\bigg] \to \mathcal F(U_f)</math>
:is an isomorphism. The homomorphism comes from the universal property of [[localization of a module|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 (mathematics)|scheme]] form an abelian category, and they are extremely useful in that context.<ref name=St01LA>{{Citation | title=Stacks Project, Tag 01LA | url=http://stacks.math.columbia.edu/tag/01LA}}.</ref>

On any ringed space <math>X</math>, the coherent sheaves form an abelian category, a [[full subcategory]] of the category of <math>\mathcal O_X</math>-modules.<ref name=St01BU>{{Citation | title=Stacks Project, Tag 01BU | url=http://stacks.math.columbia.edu/tag/01BU}}.</ref> (Analogously, the category of [[coherent module]]s over any ring <math>A</math> is a full abelian subcategory of the category of all <math>A</math>-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 <math>\mathcal O_X</math>-module that is an [[extension of modules|extension]] of two coherent sheaves is coherent.<ref>{{harvnb|Serre|1955|loc=§13}}</ref>

A submodule of a coherent sheaf is coherent if it is of finite type. A coherent sheaf is always an <math>\mathcal O_X</math>-module of ''finite presentation'', meaning that each point <math>x</math> in <math>X</math> has an open neighborhood <math>U</math> such that the restriction <math>\mathcal F|_U</math> of <math>\mathcal F</math> to <math>U</math> is isomorphic to the cokernel of a morphism <math>\mathcal O_X^n|_U \to \mathcal O_X^m|_U</math> for some natural numbers <math>n</math> and <math>m</math>. If <math>\mathcal O_X</math> is coherent, then, conversely, every sheaf of finite presentation over <math>\mathcal O_X</math> is coherent.

The sheaf of rings <math>\mathcal O_X</math> 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 function]]s on a [[complex analytic space]] <math>X</math> is a coherent sheaf of rings. The main part of the proof is the case <math>X = \mathbf C^n</math>. Likewise, on a [[Noetherian scheme|locally Noetherian scheme]] <math>X</math>, the structure sheaf <math>\mathcal O_X</math> is a coherent sheaf of rings.<ref>{{harvnb|Grothendieck|Dieudonné|1960|loc=Corollaire 1.5.2}}</ref>

==Basic constructions of coherent sheaves==
* An <math>\mathcal O_X</math>-module <math>\mathcal F</math> on a ringed space <math>X</math> is called '''locally free of finite rank''', or a '''[[vector bundle]]''', if every point in <math>X</math> has an open neighborhood <math>U</math> such that the restriction <math>\mathcal F|_U</math> is isomorphic to a finite direct sum of copies of <math>\mathcal O_X|_U</math>. If  <math>\mathcal F</math> is free of the same rank <math>n</math> near every point of <math>X</math>, then the vector bundle <math>\mathcal F</math> is said to be of rank <math>n</math>.
:Vector bundles in this sheaf-theoretic sense over a scheme <math>X</math> are equivalent to vector bundles defined in a more geometric way, as a scheme <math>E</math> with a morphism <math>\pi: E\to X</math> and with a covering of <math>X</math> by open sets <math>U_\alpha</math> with given isomorphisms <math>\pi^{-1}(U_\alpha) \cong \mathbb A^n \times U_\alpha</math> over <math>U_\alpha</math> such that the two isomorphisms over an intersection <math>U_\alpha \cap U_\beta</math> differ by a linear automorphism.<ref>{{harvnb|Hartshorne|1977|loc=Exercise II.5.18}}</ref> (The analogous equivalence also holds for complex analytic spaces.) For example, given a vector bundle <math>E</math> in this geometric sense, the corresponding sheaf <math>\mathcal F</math> is defined by: over an open set <math>U</math> of <math>X</math>, the <math>\mathcal O(U)</math>-module <math>\mathcal F(U)</math> is the set of [[section (fiber bundle)|section]]s of the morphism <math>\pi^{-1}(U) \to U</math>. 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.

*Locally free sheaves come equipped with the standard <math>\mathcal O_X</math>-module operations, but these give back locally free sheaves.{{vague|date=May 2018}}
<!-- Some definitions are unclear like <math>\mathcal O(a)</math>, which need not be locally free in general
*If we take the dual of <math>\mathcal O_X(a)</math> for a projective scheme <math>X</math> this is isomorphic to <math>\mathcal O_X(-a)</math>.
*Given locally free sheaves <math>\mathcal E,\mathcal E'</math> there is the locally-free sheaf <math>\mathcal{H}om_{\mathcal O_X}(\mathcal E,\mathcal E')</math> called the '''hom-sheaf''' defined by <math>\mathcal{H}om_{\mathcal{O}_X}(\mathcal{E},\mathcal{E}')(U) \cong \text{Hom}_{\mathcal{O}_X|_U}(\mathcal{E}|_U,\mathcal{E}'|_U)</math>. If <math>\mathcal{E}=\mathcal{E}'</math>, then this sheaf of rings is denoted as <math>\mathcal{End}(\mathcal{E})</math>. In many case the hom-sheaf is readily computably: over a projective scheme <math>X</math> we have that <math>\mathcal{H}om_{\mathcal{O}_X}(\mathcal{O}_X(a),\mathcal{O}_X(b))
 \cong \mathcal{O}_X(b-a)</math>. Using this fact we can find that the endomorphism ring of <math>\mathcal{E} = \mathcal{O}_X(a)\oplus \mathcal{O}_X(b)</math> can be represented as the matrix algebra
:<math>
\mathcal{E}nd_{\mathcal{O}_X}(\mathcal{E})(X)= \text{End}(\mathcal{E}) =\begin{bmatrix}
\Gamma(\mathcal{O}_X) & \Gamma(\mathcal{O}_X(a-b)) \\
\Gamma(\mathcal{O}_X(b-a)) & \Gamma(\mathcal{O}_X)
\end{bmatrix}
</math>
*We can also find that the tensor product of the line bundles <math>\mathcal{O}_{X}(a)\otimes\mathcal{O}_X(b) \cong \mathcal{O}_X(a+b)</math>
*Using the fact that <math>\wedge^2 \mathcal{O}(a) \cong 0</math> and the fact that <math>\mathcal{E}\otimes \mathcal{E} \cong \text{Sym}^2(\mathcal{E})\oplus\wedge^2\mathcal{E}</math> we can see that
:<math>
\begin{align}
\bigwedge^2 (\mathcal{O}_X(a)\oplus \mathcal{O}_X(b)) &\cong \mathcal{O}_X(a+b) \\
\text{Sym}^2(\mathcal{O}_X(a)\oplus \mathcal{O}_X(b)) &\cong \mathcal{O}_X(2a)\oplus \mathcal{O}_X(2b)
\end{align}
</math> -->

*Let <math>X = \operatorname{Spec}(R)</math>, <math>R</math> a Noetherian ring. Then vector bundles on <math>X</math> are exactly the sheaves associated to finitely generated [[projective module]]s over <math>R</math>, or (equivalently) to finitely generated [[flat module]]s over <math>R</math>.<ref name=St00NV>{{Citation | title=Stacks Project, Tag 00NV | url=http://stacks.math.columbia.edu/tag/00NV}}.</ref>
*Let <math>X = \operatorname{Proj}(R)</math>, <math>R</math> a Noetherian <math>\N</math>-graded ring, be a [[projective scheme]] over a Noetherian ring <math>R_0</math>. Then each <math>\Z</math>-graded <math>R</math>-module <math>M</math> determines a quasi-coherent sheaf <math>\mathcal F</math> on <math>X</math> such that <math>\mathcal F|_{\{ f \ne 0 \}}</math> is the sheaf associated to the <math>R[f^{-1}]_0</math>-module <math>M[f^{-1}]_0</math>, where <math>f</math> is a homogeneous element of <math>R</math> of positive degree and <math>\{f \ne 0 \} = \operatorname{Spec} R[f^{-1}]_0</math> is the locus where <math>f</math> does not vanish.
*For example, for each integer <math>n</math>, let <math>R(n)</math> denote the graded <math>R</math>-module given by <math>R(n)_l =R_{n+l}</math>. Then each <math>R(n)</math> determines the quasi-coherent sheaf <math>\mathcal O_X(n)</math> on <math>X</math>. If <math>R</math> is generated as <math>R_0</math>-algebra by <math>R_1</math>, then <math>\mathcal O_X(n)</math> is a line bundle (invertible sheaf) on <math>X</math> and <math>\mathcal O_X(n)</math> is the <math>n</math>-th tensor power of <math>\mathcal O_X(1)</math>. In particular, <math>\mathcal O_{\mathbb{P}^n}(-1)</math> is called the [[tautological line bundle]] on the projective <math>n</math>-space.
*A simple example of a coherent sheaf on <math>\mathbb{P}^2</math> that is not a vector bundle is given by the cokernel in the following sequence
::<math>\mathcal{O}(1) \xrightarrow{\cdot (x^2-yz,y^3 + xy^2 - xyz)} \mathcal{O}(3)\oplus \mathcal{O}(4) \to \mathcal{E} \to 0</math>
:this is because <math>\mathcal{E}</math> restricted to the vanishing locus of the two polynomials has two-dimensional fibers, and has one-dimensional fibers elsewhere.

* [[Ideal sheaf|Ideal sheaves]]: If <math>Z</math> is a closed subscheme of a locally Noetherian scheme <math>X</math>, the sheaf <math>\mathcal I_{Z/X}</math> of all regular functions vanishing on <math>Z</math> is coherent. Likewise, if <math>Z</math> is a closed analytic subspace of a complex analytic space <math>X</math>, the ideal sheaf <math>\mathcal I_{Z/X}</math> is coherent.
* The structure sheaf <math>\mathcal O_Z</math> of a closed subscheme <math>Z</math> of a locally Noetherian scheme <math>X</math> can be viewed as a coherent sheaf on <math>X</math>. To be precise, this is the [[direct image sheaf]] <math>i_*\mathcal O_Z</math>, where <math>i: Z \to X</math> is the inclusion. Likewise for a closed analytic subspace of a complex analytic space. The sheaf <math>i_*\mathcal O_Z</math> has fiber (defined below) of dimension zero at points in the open set <math>X-Z</math>, and fiber of dimension 1 at points in <math>Z</math>. There is a [[short exact sequence]] of coherent sheaves on <math>X</math>:
::<math>0\to \mathcal I_{Z/X} \to \mathcal O_X \to i_*\mathcal O_Z \to 0.</math>

*Most operations of [[linear algebra]] preserve coherent sheaves. In particular, for coherent sheaves <math>\mathcal F</math> and <math>\mathcal G</math> on a ringed space <math>X</math>, the [[tensor product]] sheaf <math>\mathcal F \otimes_{\mathcal O_X}\mathcal G</math> and the [[sheaf hom|sheaf of homomorphisms]] <math>\mathcal Hom_{\mathcal O_X}(\mathcal F, \mathcal G)</math> are coherent.<ref>{{harvnb|Serre|1955|loc=§14}}</ref>
*A simple '''non-example of a quasi-coherent sheaf''' is given by the extension by zero functor. For example, consider <math>i_!\mathcal{O}_X</math> for
::<math>X = \operatorname{Spec}(\Complex[x,x^{-1}]) \xrightarrow{i} \operatorname{Spec}(\Complex[x])=Y</math><ref>{{harvnb|Hartshorne|1977}}</ref>
: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 <math>f: X\to Y</math> be a morphism of ringed spaces (for example, a [[morphism of schemes]]). If <math>\mathcal F</math> is a quasi-coherent sheaf on <math>Y</math>, then the [[inverse image sheaf|inverse image]] <math>\mathcal O_X</math>-module (or '''pullback''') <math>f^*\mathcal F</math> is quasi-coherent on <math>X</math>.<ref name=St01BG>{{Citation | title=Stacks Project, Tag 01BG | url=http://stacks.math.columbia.edu/tag/01BG}}.</ref> For a morphism of schemes <math>f: X\to Y</math> and a coherent sheaf <math>\mathcal F</math> on <math>Y</math>, the pullback <math>f^*\mathcal F</math> is not coherent in full generality (for example, <math>f^*\mathcal O_Y = \mathcal O_X</math>, which might not be coherent), but pullbacks of coherent sheaves are coherent if <math>X</math> is locally Noetherian. An important special case is the pullback of a vector bundle, which is a vector bundle.

If <math>f: X\to Y</math> is a [[quasi-compact]] [[Glossary of scheme theory#Separated and proper morphisms|quasi-separated]] morphism of schemes and <math>\mathcal F</math> is a quasi-coherent sheaf on <math>X</math>, then the direct image sheaf (or '''pushforward''') <math>f_*\mathcal F</math> is quasi-coherent on <math>Y</math>.<ref name=St01LA/>

The direct image of a coherent sheaf is often not coherent. For example, for a [[field (mathematics)|field]] <math>k</math>, let <math>X</math> be the affine line over <math>k</math>, and consider the morphism <math>f: X\to \operatorname{Spec}(k)</math>; then the direct image <math>f_*\mathcal O_X</math> is the sheaf on <math>\operatorname{Spec}(k)</math> associated to the polynomial ring <math>k[x]</math>, which is not coherent because <math>k[x]</math> has infinite dimension as a <math>k</math>-vector space. On the other hand, the direct image of a coherent sheaf under a [[proper morphism]] is coherent, by [[Coherent sheaf cohomology#Finite-dimensionality of cohomology|results of Grauert and Grothendieck]].

==Local behavior of coherent sheaves==
An important feature of coherent sheaves <math>\mathcal F</math> is that the properties of <math>\mathcal F</math> at a point <math>x</math> control the behavior of <math>\mathcal F</math> in a neighborhood of <math>x</math>, more than would be true for an arbitrary sheaf. For example, [[Nakayama's lemma]] says (in geometric language) that if <math>\mathcal F</math> is a coherent sheaf on a scheme <math>X</math>, then the '''fiber''' <math>\mathcal F_x\otimes_{\mathcal O_{X,x}} k(x)</math> of <math> F</math> at a point <math>x</math> (a vector space over the residue field <math>k(x)</math>) is zero if and only if the sheaf <math>\mathcal F</math> is zero on some open neighborhood of <math>x</math>. A related fact is that the dimension of the fibers of a coherent sheaf is [[Semi-continuity|upper-semicontinuous]].<ref>{{harvnb|
Hartshorne|1977|loc=Example III.12.7.2}}</ref> 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 <math>\mathcal F</math> on a scheme <math>X</math> is a vector bundle if and only if its [[Stalk of a sheaf|stalk]] <math>\mathcal F_x</math> is a [[free module]] over the local ring <math>\mathcal O_{X,x}</math> for every point <math>x</math> in <math>X</math>.<ref>{{harvnb|Grothendieck|Dieudonné|1960||loc=Ch. 0, 5.2.7}}</ref>

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 scheme|reduced]] locally Noetherian scheme, however, a coherent sheaf is a vector bundle if and only if its rank is locally constant.<ref>{{harvnb|Eisenbud|1995|loc=Exercise 20.13}}</ref>

==Examples of vector bundles==
For a morphism of schemes <math>X\to Y</math>, let <math>\Delta: X\to X\times_Y X</math> be the [[diagonal morphism]], which is a [[closed immersion]] if <math>X</math> is [[separated scheme|separated]] over <math>Y</math>. Let <math>\mathcal I</math> be the ideal sheaf of <math>X</math> in <math>X\times_Y X</math>. Then the sheaf of '''[[Kähler differential|differentials]]''' <math>\Omega^1_{X/Y}</math> can be defined as the pullback <math>\Delta^*\mathcal I</math> of <math>\mathcal I</math> to <math>X</math>. Sections of this sheaf are called [[differential form|1-forms]] on <math>X</math> over <math>Y</math>, and they can be written locally on <math>X</math> as finite sums <math>\textstyle\sum f_j\, dg_j</math> for regular functions <math>f_j</math> and <math>g_j</math>. If <math>X</math> is locally of finite type over a field <math>k</math>, then <math>\Omega^1_{X/k}</math> is a coherent sheaf on <math>X</math>.

If <math>X</math> is [[smooth scheme|smooth]] over <math>k</math>, then <math>\Omega^1</math> (meaning <math>\Omega^1_{X/k}</math>) is a vector bundle over <math>X</math>, called the '''[[cotangent bundle]]''' of <math>X</math>. Then the '''[[tangent bundle]]''' <math>TX</math> is defined to be the dual bundle <math>(\Omega^1)^*</math>. For <math>X</math> smooth over <math>k</math> of dimension <math>n</math> everywhere, the tangent bundle has rank <math>n</math>.

If <math>Y</math> is a smooth closed subscheme of a smooth scheme <math>X</math> over <math>k</math>, then there is a short exact sequence of vector bundles on <math>Y</math>:
:<math>0\to TY \to TX|_Y \to N_{Y/X}\to 0,</math>
which can be used as a definition of the '''[[normal bundle]]''' <math>N_{Y/X}</math> to <math>Y</math> in <math>X</math>.

For a smooth scheme <math>X</math> over a field <math>k</math> and a natural number <math>i</math>, the vector bundle <math>\Omega^i</math> of [[differential form|''i''-forms]] on <math>X</math> is defined as the <math>i</math>-th [[exterior power]] of the cotangent bundle, <math>\Omega^i = \Lambda^i \Omega^1</math>. For a smooth [[algebraic variety|variety]] <math>X</math> of dimension <math>n</math> over <math>k</math>, the '''[[canonical bundle]]''' <math>K_X</math> means the line bundle <math>\Omega^n</math>. Thus sections of the canonical bundle are algebro-geometric analogs of [[volume form]]s on <math>X</math>. For example, a section of the canonical bundle of affine space <math>\mathbb A^n</math> over <math>k</math>
can be written as
:<math>f(x_1,\ldots,x_n) \; dx_1 \wedge\cdots\wedge dx_n,</math>
where <math>f</math> is a polynomial with coefficients in <math>k</math>.

Let <math>R</math> be a commutative ring and <math>n</math> a natural number. For each integer <math>j</math>, there is an important example of a line bundle on projective space <math>\mathbb P^n</math> over <math>R</math>, called <math>\mathcal O(j)</math>. To define this, consider the morphism of <math>R</math>-schemes
:<math>\pi: \mathbb A^{n+1}-0\to \mathbb P^n</math>
given in coordinates by <math>(x_0,\ldots,x_n) \mapsto [x_0,\ldots,x_n]</math>. (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 <math>\mathcal O(j)</math> over an open subset <math>U</math> of <math>\mathbb P^n</math> is defined to be a regular function <math>f</math> on <math>\pi^{-1}(U)</math> that is homogeneous of degree <math>j</math>, meaning that
:<math>f(ax)=a^jf(x)</math>
as regular functions on (<math>\mathbb A^{1} - 0) \times \pi^{-1}(U)</math>. For all integers <math>i</math> and <math>j</math>, there is an isomorphism <math>\mathcal O(i) \otimes \mathcal O(j) \cong \mathcal O(i+j)</math> of line bundles on <math>\mathbb P^n</math>.

In particular, every [[homogeneous polynomial]] in <math>x_0,\ldots,x_n</math> of degree <math>j</math> over <math>R</math> can be viewed as a global section of <math>\mathcal O(j)</math> over <math>\mathbb P^n</math>. 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 <math>\mathcal O(j)</math>.<ref>{{harvnb|Hartshorne|1977|loc=Corollary II.5.16}}</ref> 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 <math>\mathbb P^n</math> over <math>R</math> are just the "constants" (the ring <math>R</math>), and so it is essential to work with the line bundles <math>\mathcal O(j)</math>.

[[Jean-Pierre Serre|Serre]] gave an algebraic description of all coherent sheaves on projective space, more subtle than what happens for affine space. Namely, let <math>R</math> be a Noetherian ring (for example, a field), and consider the polynomial ring <math>S = R[x_0,\ldots,x_n]</math> as a [[graded ring]] with each <math>x_i</math> having degree 1. Then every finitely generated graded <math>S</math>-module <math>M</math> has an [[Proj construction#The sheaf associated to a graded module|associated]] coherent sheaf <math>\tilde M</math> on <math>\mathbb P^n</math> over <math>R</math>. Every coherent sheaf on <math>\mathbb P^n</math> arises in this way from a finitely generated graded <math>S</math>-module <math>M</math>. (For example, the line bundle <math>\mathcal O(j)</math> is the sheaf associated to the <math>S</math>-module <math>S</math> with its grading lowered by <math>j</math>.) But the <math>S</math>-module <math>M</math> that yields a given coherent sheaf on <math>\mathbb P^n</math> is not unique; it is only unique up to changing <math>M</math> by graded modules that are nonzero in only finitely many degrees. More precisely, the abelian category of coherent sheaves on <math>\mathbb P^n</math> is the [[quotient of an abelian category|quotient]] of the category of finitely generated graded <math>S</math>-modules by the [[Serre subcategory]] of modules that are nonzero in only finitely many degrees.<ref name=St01YR>{{Citation | title=Stacks Project, Tag 01YR | url=http://stacks.math.columbia.edu/tag/01YR}}.</ref>

The tangent bundle of projective space <math>\mathbb P^n</math> over a field <math>k</math> can be described in terms of the line bundle <math>\mathcal O(1)</math>. Namely, there is a short exact sequence, the [[Euler sequence]]:
:<math> 0\to \mathcal O_{\mathbb P^n}\to \mathcal O(1)^{\oplus \; n+1}\to T\mathbb P^n\to 0.</math>
It follows that the canonical bundle <math>K_{\mathbb P^n}</math> (the dual of the [[determinant line bundle]] of the tangent bundle) is isomorphic to <math>\mathcal O(-n-1)</math>. 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]] <math>\mathcal O(1)</math> 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-<math>d</math> hypersurface <math>X \subseteq \mathbb{P}^n</math> defined by the homogeneous polynomial <math>f</math> of degree <math>d</math>. Then, there is an exact sequence
:<math>0 \to \mathcal O_X(-d) \to i^*\Omega_{\mathbb{P}^n} \to \Omega_X \to 0 </math>
where the second map is the pullback of differential forms, and the first map sends
:<math> \phi \mapsto d(f\cdot \phi)</math>
Note that this sequence tells us that <math>\mathcal O(-d)</math> is the conormal sheaf of <math>X</math> in <math>\mathbb P^n</math>. Dualizing this yields the exact sequence
:<math> 0 \to T_X \to i^*T_{\mathbb{P}^n} \to \mathcal O(d) \to 0</math>
hence <math>\mathcal O(d)</math> is the normal bundle of <math>X</math> in <math>\mathbb P^n</math>. If we use the fact that given an exact sequence
:<math>0 \to \mathcal E_1 \to \mathcal E_2 \to \mathcal E_3 \to 0</math>
of vector bundles with ranks <math>r_1</math>,<math>r_2</math>,<math>r_3</math>, there is an isomorphism
:<math>\Lambda^{r_2}\mathcal E_2 \cong \Lambda^{r_1}\mathcal E_1\otimes \Lambda^{r_3}\mathcal E_3</math>
of line bundles, then we see that there is the isomorphism
:<math>i^*\omega_{\mathbb P^n} \cong \omega_X\otimes \mathcal O_X(-d)</math>
showing that
:<math>\omega_X \cong \mathcal O_X(d - n -1)</math>

== Serre construction and vector bundles ==
One useful technique for constructing rank 2 vector bundles is the Serre construction<ref>{{Cite journal|last=Serre|first=Jean-Pierre|date=1960–1961|title=Sur les modules projectifs|url=http://www.numdam.org/item/SD_1960-1961__14_1_A2_0/|journal=Séminaire Dubreil. Algèbre et théorie des nombres|language=fr|volume=14|issue=1|pages=1–16}}</ref><ref name=":0">{{Cite journal|last=Gulbrandsen|first=Martin G.|date=2013-05-20|title=Vector Bundles and Monads On Abelian Threefolds|url=https://www.ux.uis.no/~martingg/papers/abmonad.pdf|journal=[[Communications in Algebra]]|volume=41|issue=5|pages=1964–1988|doi=10.1080/00927872.2011.645977|issn=0092-7872|arxiv=0907.3597}}</ref><sup>pg 3</sup> which establishes a correspondence between rank 2 vector bundles <math>\mathcal{E}</math> on a smooth projective variety <math>X</math> and codimension 2 subvarieties <math>Y</math> using a certain <math>\text{Ext}^1</math>-group calculated on <math>X</math>. This is given by a cohomological condition on the line bundle <math>\wedge^2\mathcal{E}</math> (see below).

The correspondence in one direction is given as follows: for a section <math>s \in \Gamma(X,\mathcal{E})</math> we can associated the vanishing locus <math>V(s) \subseteq X</math>. If <math>V(s)</math> is a codimension 2 subvariety, then

# It is a local complete intersection, meaning if we take an affine chart <math>U_i \subseteq X</math> then <math>s|_{U_i} \in \Gamma(U_i,\mathcal{E})</math> can be represented as a function <math>s_i:U_i \to \mathbb{A}^2</math>, where <math>s_i(p) = (s_i^1(p), s_i^2(p))</math> and <math>V(s)\cap U_i = V(s_i^1,s_i^2)</math>
# The line bundle <math>\omega_X\otimes \wedge^2\mathcal{E}|_{V(s)}</math> is isomorphic to the canonical bundle <math>\omega_{V(s)}</math> on <math>V(s)</math>

In the other direction,<ref>{{Cite journal|last=Hartshorne|first=Robin|year=1978|title=Stable Vector Bundles of Rank 2 on P3|url=https://eudml.org/doc/163199|journal=[[Mathematische Annalen]]|volume=238|issue=3 |pages=229–280|doi=10.1007/BF01420250 |url-access=subscription}}</ref> for a codimension 2 subvariety <math>Y \subseteq X</math> and a line bundle <math>\mathcal{L} \to X</math> such that

# <math>H^1(X,\mathcal{L}) = H^2(X,\mathcal{L}) = 0</math>
# <math>\omega_Y \cong (\omega_X\otimes\mathcal{L})|_Y</math>

there is a canonical isomorphism<blockquote><math>\text{Hom}((\omega_X\otimes\mathcal{L})|_Y,\omega_Y) \cong \text{Ext}^1(\mathcal{I}_Y\otimes\mathcal{L}, \mathcal{O}_X)</math>,</blockquote>which is functorial with respect to inclusion of codimension <math>2</math> 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 <math>s \in \text{Hom}((\omega_X\otimes\mathcal{L})|_Y,\omega_Y)</math> that is an isomorphism there is a corresponding locally free sheaf <math>\mathcal{E}</math> of rank 2 that fits into a short exact sequence<blockquote><math>0 \to \mathcal{O}_X \to \mathcal{E} \to \mathcal{I}_Y\otimes\mathcal{L} \to 0</math></blockquote>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 vector bundles|moduli of stable vector bundles]] in many specific cases, such as on [[Abelian variety|principally polarized abelian varieties]]<ref name=":0" /> and [[K3 surface]]s.<ref>{{Cite book|last1=Huybrechts|first1=Daniel|url=https://www.cambridge.org/core/books/geometry-of-moduli-spaces-of-sheaves/E69325DA1892E9BA762E354C4C64E337|title=The Geometry of Moduli Spaces of Sheaves|last2=Lehn|first2=Manfred|date=2010|publisher=Cambridge University Press|isbn=978-0-521-13420-0|edition=2|series=Cambridge Mathematical Library|location=Cambridge|pages=123–128, 238–243|doi=10.1017/cbo9780511711985}}</ref>

==Chern classes and algebraic ''K''-theory==
A vector bundle <math>E</math> on a smooth variety <math>X</math> over a field has [[Chern class]]es in the [[Chow ring]] of <math>X</math>, <math>c_i(E)</math> in <math>CH^i(X)</math> for <math>i\geq 0</math>.<ref>{{harvnb|Fulton|1998|loc=§3.2 and Example 8.3.3}}</ref> These satisfy the same formal properties as Chern classes in topology. For example, for any short exact sequence
:<math>0\to A \to B \to C \to 0</math>
of vector bundles on <math>X</math>, the Chern classes of <math>B</math> are given by
:<math>c_i(B) = c_i(A)+c_1(A)c_{i-1}(C)+\cdots+c_{i-1}(A)c_1(C)+c_i(C).</math>

It follows that the Chern classes of a vector bundle <math>E</math> depend only on the class of <math>E</math> in the [[Grothendieck group]] <math>K_0(X)</math>. By definition, for a scheme <math>X</math>, <math>K_0(X)</math> is the quotient of the free abelian group on the set of isomorphism classes of vector bundles on <math>X</math> by the relation that <math>[B] = [A] + [C]</math> for any short exact sequence as above. Although <math>K_0(X)</math> is hard to compute in general, [[algebraic K-theory]] provides many tools for studying it, including a sequence of related groups <math>K_i(X)</math> for integers <math>i>0</math>.

A variant is the group <math>G_0(X)</math> (or <math>K_0'(X)</math>), the [[Grothendieck group]] of coherent sheaves on <math>X</math>. (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 <math>K_0(X)\to G_0(X)</math> is an isomorphism if <math>X</math> is a [[regular scheme|regular]] separated Noetherian scheme, using that every coherent sheaf has a finite [[resolution (algebra)|resolution]] by vector bundles in that case.<ref>
{{harvnb|Fulton|1998|loc=B.8.3}}</ref> 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 <math>X</math> is said to have the '''resolution property''' if every coherent sheaf on <math>X</math> has a surjection from some vector bundle on <math>X</math>. 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 <math>\mathcal E</math> on a Noetherian scheme is quasi-isomorphic in the derived category to the complex of vector bundles :<math>\mathcal E_k \to \cdots \to \mathcal E_1 \to \mathcal E_0</math>
we can compute the total Chern class of <math>\mathcal E</math> with
:<math>c(\mathcal E) = c(\mathcal E_0)c(\mathcal E_1)^{-1} \cdots c(\mathcal E_k)^{(-1)^k}</math>

For example, this formula is useful for finding the Chern classes of the sheaf representing a subscheme of <math>X</math>. If we take the projective scheme <math>Z</math> associated to the ideal <math>(xy,xz) \subseteq \mathbb C[x,y,z,w]</math>, then
:<math>c(\mathcal O_Z) = \frac{c(\mathcal O)c(\mathcal O(-3))}{c(\mathcal O(-2)\oplus \mathcal O(-2))}</math>
since there is the resolution
:<math>0 \to \mathcal O(-3) \to \mathcal O(-2)\oplus\mathcal O(-2) \to \mathcal O \to \mathcal O_Z \to 0</math>
over <math>\mathbb{CP}^3</math>.

== 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 <math>p: E \to X, \, q: F \to X</math>, by definition, a bundle homomorphism <math>\varphi: E \to F</math> is a [[scheme morphism]] over <math>X</math> (i.e., <math>p = q \circ \varphi</math>) such that, for each geometric point <math>x</math> in <math>X</math>, <math>\varphi_x: p^{-1}(x) \to q^{-1}(x)</math> is a linear map of rank independent of <math>x</math>. Thus, it induces the sheaf homomorphism <math>\widetilde{\varphi}: \mathcal E \to \mathcal F</math> of constant rank between the corresponding locally free <math>\mathcal O_X</math>-modules (sheaves of dual sections). But there may be an <math>\mathcal O_X</math>-module homomorphism that does not arise this way; namely, those not having constant rank.

In particular, a subbundle <math>E \subseteq F</math> is a subsheaf (i.e., <math>\mathcal E</math> is a subsheaf of <math>\mathcal F</math>). But the converse can fail; for example, for an effective Cartier divisor <math>D</math> on <math>X</math>, <math>\mathcal O_X(-D) \subseteq \mathcal O_X</math> 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. [[Ofer Gabber|Gabber]] showed that, in fact, the quasi-coherent sheaves on any scheme form a particularly well-behaved abelian category, a [[Grothendieck category]].<ref name=St077K>{{Citation | title=Stacks Project, Tag 077K | url=http://stacks.math.columbia.edu/tag/077K}}.</ref> A quasi-compact quasi-separated scheme <math>X</math> (such as an algebraic variety over a field) is determined up to isomorphism by the abelian category of quasi-coherent sheaves on <math>X</math>, by Rosenberg, generalizing a result of [[Pierre Gabriel|Gabriel]].<ref>{{harvnb|Antieau|2016|loc=Corollary 4.2}}</ref>

==Coherent cohomology==
{{main|Coherent sheaf 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 characteristic]]s of coherent sheaves such as the [[Riemann–Roch theorem]].

==See also==
* [[Picard group]]
* [[Divisor (algebraic geometry)]]
* [[Reflexive sheaf]]
* [[Quot scheme]]
* [[Twisted sheaf]]
* [[Essentially finite vector bundle]]
* [[Bundle of principal parts]]
* [[Gabriel–Rosenberg reconstruction theorem]]
* [[Pseudo-coherent sheaf]]
* [[Quasi-coherent sheaf on an algebraic stack]]

==Notes==
{{Reflist|30em}}

==References==

*{{Citation|author1-first=Benjamin|author1-last=Antieau|title=A reconstruction theorem for abelian categories of twisted sheaves|journal=[[Journal für die reine und angewandte Mathematik]]|volume=2016|year=2016|issue=712 |pages=175–188|doi=10.1515/crelle-2013-0119 | mr=3466552|arxiv=1305.2541}}
*{{eom|id=c/c022980|title=Coherent algebraic sheaf|first=V. I. |last= Danilov}}
*{{Citation|author1-first=Hans|author1-last=Grauert|author1-link=Grauert|author2-first=Reinhold|author2-last=Remmert|author2-link=Reinhold Remmert|title=Coherent Analytic Sheaves|series=Grundlehren der mathematischen Wissenschaften |publisher=[[Springer-Verlag]]|year=1984|volume=265 |isbn=3-540-13178-7|mr=0755331|doi=10.1007/978-3-642-69582-7}}
*{{Citation | author1-last=Eisenbud | author1-first=David | author1-link=David Eisenbud | title=Commutative Algebra with a View toward Algebraic Geometry | year=1995 | publisher=[[Springer-Verlag]] | series=[[Graduate Texts in Mathematics]] | volume=150 | location=Berlin, New York | isbn=978-0-387-94268-1 | mr=1322960 | doi=10.1007/978-1-4612-5350-1}}
* {{Citation | last1=Fulton | first1=William | author1-link=William Fulton (mathematician) | title=Intersection Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-98549-7 | mr=1644323 | year=1998 | doi=10.1007/978-1-4612-1700-8| doi-access=free }}
*Sections 0.5.3 and 0.5.4 of {{EGA|book=I}}
*{{Hartshorne AG}}
*{{cite book | last=Mumford | first=David | author-link=David Mumford | year=1999 | title=The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians | series=Lecture Notes in Mathematics | volume=1358 | edition=2nd | publisher=[[Springer-Verlag]] | doi=10.1007/b62130 | isbn=354063293X | mr=1748380}}
*{{eom|id=c/c022990|title=Coherent analytic sheaf|first=A.L.|last= Onishchik}}
*{{Springer|title=Coherent sheaf|id=C/c023020|first=A.L.|last= Onishchik}}
*{{Citation|author1-first=Jean-Pierre|author1-last=Serre|author1-link=Jean-Pierre Serre|title=Faisceaux algébriques cohérents|journal=[[Annals of Mathematics]]|volume=61|pages=197–278|year=1955|issue=2 |doi=10.2307/1969915|jstor=1969915 |mr=0068874}}

==External links==
*{{Citation | author1=The Stacks Project Authors | title=The Stacks Project  | url=http://stacks.math.columbia.edu/}}
*Part V of {{Citation | author1-first=Ravi | author1-last=Vakil | author1-link=Ravi Vakil | title=The Rising Sea | url=http://math.stanford.edu/~vakil/216blog/}}

[[Category:Algebraic geometry]]
[[Category:Sheaf theory]]
[[Category:Vector bundles]]
[[Category:Topological methods of algebraic geometry]]
[[Category:Complex manifolds]]