sheaf spanned
|
This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (December 2009) |
In mathematics, a sheaf spanned by global sections is a sheaf F on a locally ringed space X, with structure sheaf OX that is of a rather simple type. Assume F is a sheaf of abelian groups. Then it is asserted that if A is the abelian group of global sections, i.e.
- A = Γ(F,X)
then for any open set U of X, ρ(A) spans F(U) as an OU-module. Here
- ρ = ρX,U
is the restriction map. In words, all sections of F are locally generated by the global sections.
An example of such a sheaf is that associated in algebraic geometry to an R-module M, R being any commutative ring, on the spectrum of a ring Spec(R). Another example: according to Cartan's theorem A, any coherent sheaf on a Stein manifold is spanned by global sections.
[edit] See also
In the theory of schemes, a related notion is ample line bundle.
