# Difference between revisions of "Coherent algebraic sheaf"

(Importing text file) |
(TeX done) |
||

(One intermediate revision by one other user not shown) | |||

Line 1: | Line 1: | ||

A coherent sheaf of modules on an algebraic variety or scheme. The structure sheaf of a Noetherian scheme and, in particular, of an algebraic variety is coherent. | A coherent sheaf of modules on an algebraic variety or scheme. The structure sheaf of a Noetherian scheme and, in particular, of an algebraic variety is coherent. | ||

− | Coherent algebraic sheaves are a convenient tool of investigating algebraic varieties. Intuitively, a coherent algebraic sheaf can be regarded as a continuous algebraic system of linear spaces on a variety (see [[ | + | Coherent algebraic sheaves are a convenient tool of investigating algebraic varieties. Intuitively, a coherent algebraic sheaf can be regarded as a continuous algebraic system of linear spaces on a variety (see [[Vector bundle]] on an algebraic variety) and arises in the consideration of linear and algebraic families of divisors, imbeddings of varieties in a projective space, differential forms, vector fields and automorphisms, deformations of varieties and subvarieties, in one word, in the linearization of all kinds of problems in algebraic geometry (see [[#References|[3]]]). Here the results are stated in terms of the cohomology of coherent algebraic sheaves. The cohomology theory of coherent algebraic sheaves includes: a) [[finiteness theorems]] (in algebraic geometry), asserting the finiteness of the dimensions of the cohomology spaces $H^i(X,\mathcal{F})$, $i \ge 0$, of a coherent sheaf $\mathcal F$ on a complete variety $X$; b) the [[Riemann–Roch theorem]], which calculates the Euler–Poincaré characteristic of a coherent algebraic sheaf; c) theorems of Serre type (see [[Affine scheme]]) or Kodaira vanishing theorems (cf. [[Kodaira theorem]]) (see [[#References|[4]]], [[#References|[5]]]); d) duality theorems (see [[Duality]] in algebraic geometry) relating the $i$-dimensional and the $(n-i)$-dimensional cohomology spaces of sheaves on a smooth variety of dimension $n$; e) the [[Künneth formula]], giving an expression for the homology spaces of certain sheaves on a product of varieties; f) comparison of theorems in algebraic geometry with other theorems on cohomology — analytic, formal, étale; and g) a theory of [[local cohomology]], useful in the study of coherent algebraic sheaves on incomplete varieties. One of the most important of its applications relates to the [[Lefschetz theorem]], which compares the properties of a variety and its hyperplane section. |

− | Many results generalize to the case when the single variety | + | Many results generalize to the case when the single variety $X$ is replaced by a family of varieties, that is, to the case of a morphism $f : X \to Y$. In this case, the cohomology spaces are replaced by the sheaves $R^n f_*$ of the derived direct image functor $f_*$; here an important role is played by the behaviour of these sheaves under a [[base change]]. |

− | See also [[ | + | See also [[Quasi-coherent sheaf]]; [[Cohomology]] with values in a sheaf. |

====References==== | ====References==== | ||

− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table> |

− | + | <TR><TD valign="top">[1]</TD> <TD valign="top"> J.-P. Serre, "Faisceaux algébriques cohérents" ''Ann. of Math.'' , '''61''' (1955) pp. 197–278 {{MR|0068874}} {{ZBL|0067.16201}} </TD></TR> | |

− | + | <TR><TD valign="top">[2]</TD> <TD valign="top"> A. Grothendieck, "Eléments de géometrie algébrique 3" ''Pub. Math. IHES'' , '''11, 17''' (1961)</TD></TR> | |

+ | <TR><TD valign="top">[3]</TD> <TD valign="top"> D. Mumford, "Lectures on curves on an algebraic surface" , Princeton Univ. Press (1966) {{MR|0209285}} {{ZBL|0187.42701}} </TD></TR> | ||

+ | <TR><TD valign="top">[4]</TD> <TD valign="top"> K. Kodaira, "On a differential-geometric method in the theory of stacks" ''Proc. Nat. Acad. Sci. USA'' , '''39''' (1953) pp. 1268–1273 {{MR|66693}} {{ZBL|0053.11701}} </TD></TR> | ||

+ | <TR><TD valign="top">[5]</TD> <TD valign="top"> D. Mumford, "Pathologies III" ''Amer. J. Math.'' , '''89''' : 1 (1967) pp. 94–104 {{MR|0217091}} {{ZBL|0146.42403}} </TD></TR> | ||

+ | <TR><TD valign="top">[6]</TD> <TD valign="top"> I.V. Dolgachev, "Abstract algebraic geometry" ''J. Soviet Math.'' , '''2''' (1974) pp. 264–303 ''Itogi Nauk. i Tekhn. Algebra. Geom. Topol.'' , '''10''' (1972) pp. 47–112 {{MR|}} {{ZBL|1068.14059}} </TD></TR> | ||

+ | </table> | ||

====Comments==== | ====Comments==== | ||

Line 16: | Line 21: | ||

====References==== | ====References==== | ||

− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table> |

+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR> | ||

+ | </table> | ||

+ | |||

+ | {{TEX|done}} |

## Latest revision as of 18:20, 17 April 2017

A coherent sheaf of modules on an algebraic variety or scheme. The structure sheaf of a Noetherian scheme and, in particular, of an algebraic variety is coherent.

Coherent algebraic sheaves are a convenient tool of investigating algebraic varieties. Intuitively, a coherent algebraic sheaf can be regarded as a continuous algebraic system of linear spaces on a variety (see Vector bundle on an algebraic variety) and arises in the consideration of linear and algebraic families of divisors, imbeddings of varieties in a projective space, differential forms, vector fields and automorphisms, deformations of varieties and subvarieties, in one word, in the linearization of all kinds of problems in algebraic geometry (see [3]). Here the results are stated in terms of the cohomology of coherent algebraic sheaves. The cohomology theory of coherent algebraic sheaves includes: a) finiteness theorems (in algebraic geometry), asserting the finiteness of the dimensions of the cohomology spaces $H^i(X,\mathcal{F})$, $i \ge 0$, of a coherent sheaf $\mathcal F$ on a complete variety $X$; b) the Riemann–Roch theorem, which calculates the Euler–Poincaré characteristic of a coherent algebraic sheaf; c) theorems of Serre type (see Affine scheme) or Kodaira vanishing theorems (cf. Kodaira theorem) (see [4], [5]); d) duality theorems (see Duality in algebraic geometry) relating the $i$-dimensional and the $(n-i)$-dimensional cohomology spaces of sheaves on a smooth variety of dimension $n$; e) the Künneth formula, giving an expression for the homology spaces of certain sheaves on a product of varieties; f) comparison of theorems in algebraic geometry with other theorems on cohomology — analytic, formal, étale; and g) a theory of local cohomology, useful in the study of coherent algebraic sheaves on incomplete varieties. One of the most important of its applications relates to the Lefschetz theorem, which compares the properties of a variety and its hyperplane section.

Many results generalize to the case when the single variety $X$ is replaced by a family of varieties, that is, to the case of a morphism $f : X \to Y$. In this case, the cohomology spaces are replaced by the sheaves $R^n f_*$ of the derived direct image functor $f_*$; here an important role is played by the behaviour of these sheaves under a base change.

See also Quasi-coherent sheaf; Cohomology with values in a sheaf.

#### References

[1] | J.-P. Serre, "Faisceaux algébriques cohérents" Ann. of Math. , 61 (1955) pp. 197–278 MR0068874 Zbl 0067.16201 |

[2] | A. Grothendieck, "Eléments de géometrie algébrique 3" Pub. Math. IHES , 11, 17 (1961) |

[3] | D. Mumford, "Lectures on curves on an algebraic surface" , Princeton Univ. Press (1966) MR0209285 Zbl 0187.42701 |

[4] | K. Kodaira, "On a differential-geometric method in the theory of stacks" Proc. Nat. Acad. Sci. USA , 39 (1953) pp. 1268–1273 MR66693 Zbl 0053.11701 |

[5] | D. Mumford, "Pathologies III" Amer. J. Math. , 89 : 1 (1967) pp. 94–104 MR0217091 Zbl 0146.42403 |

[6] | I.V. Dolgachev, "Abstract algebraic geometry" J. Soviet Math. , 2 (1974) pp. 264–303 Itogi Nauk. i Tekhn. Algebra. Geom. Topol. , 10 (1972) pp. 47–112 Zbl 1068.14059 |

#### Comments

#### References

[a1] | R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001 |

**How to Cite This Entry:**

Coherent algebraic sheaf.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Coherent_algebraic_sheaf&oldid=14140