Namespaces
Variants
Actions

Difference between revisions of "Coherent algebraic sheaf"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(gather refs)
 
(2 intermediate revisions by 2 users 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 [[Vector bundle|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|finiteness theorems]] (in algebraic geometry), asserting the finiteness of the dimensions of the cohomology spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229801.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229802.png" />, of a coherent sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229803.png" /> on a complete variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229804.png" />; b) the [[Riemann–Roch theorem|Riemann–Roch theorem]], which calculates the Euler–Poincaré characteristic of a coherent algebraic sheaf; c) theorems of Serre type (see [[Affine scheme|Affine scheme]]) or Kodaira vanishing theorems (cf. [[Kodaira theorem|Kodaira theorem]]) (see [[#References|[4]]], [[#References|[5]]]); d) duality theorems (see [[Duality|Duality]] in algebraic geometry) relating the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229805.png" />-dimensional and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229806.png" />-dimensional cohomology spaces of sheaves on a smooth variety of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229807.png" />; e) the [[Künneth formula|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|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|Lefschetz theorem]], which compares the properties of a variety and its hyperplane section.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229808.png" /> is replaced by a family of varieties, that is, to the case of a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c0229809.png" />. In this case, the cohomology spaces are replaced by the sheaves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c02298010.png" /> of the derived direct image functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022980/c02298011.png" />; here an important role is played by the behaviour of these sheaves under a [[Base change|base change]].
+
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|Quasi-coherent sheaf]]; [[Cohomology|Cohomology]] with values in a sheaf.
+
See also [[Quasi-coherent sheaf]]; [[Cohomology]] with values in a sheaf.
  
 
====References====
 
====References====
<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</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)</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</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D. Mumford,   "Pathologies III" ''Amer. J. Math.'' , '''89''' : 1 (1967) pp. 94–104</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</TD></TR></table>
+
<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éométrie 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>
 +
<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}}
 
 
====Comments====
 
 
 
 
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Hartshorne,  "Algebraic geometry" , Springer  (1977)</TD></TR></table>
 

Latest revision as of 15:59, 18 July 2024

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éométrie 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
[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
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article