Ample line bundle

Ample line bundle

In algebraic geometry, a very ample line bundle is one with enough global sections to set up an embedding of its base variety or manifold M into projective space. An ample line bundle is one such that some positive power is very ample. Globally generated sheaves are those with enough sections to define a morphism to projective space.

Contents

Introduction

Inverse image of line bundle and hyperplane divisors

Given a morphism f\ :\ X \to Y, any vector bundle \mathcal F on Y, or more generally any sheaf in \mathcal O_Y modules, eg. a coherent sheaf, can be pulled back to X, (see Inverse image functor). This construction preserves the condition of being a line bundle, and more generally the rank.

The notions described in this article are related to this construction in the case of morphisms to projective spaces

f : X \to \mathbb P^N,  and \mathcal F = \mathcal O(1) \in \mathrm{Pic}(\mathbb P^N),

the line bundle corresponding to the hyperplane divisor, whose sections are the 1-homogeneous regular functions. See Algebraic geometry of projective spaces#Divisors and twisting sheaves.

Sheaves generated by their global sections

Let X be a scheme or a complex manifold and F a sheaf on X. One says that F is generated by (finitely many) global sections  a_i \in F(X), if every stalk of F is generated as a module over the stalk of the structure sheaf by the germs of the ai. For example, if F happens to be a line bundle, i.e. locally free of rank 1, this amounts to having finitely many global sections, such that for any point x in X, there is at least one section not vanishing at this point. In this case a choice of such global generators a0, ..., an gives a morphism

f: XPn, x ↦ [a0(x): ... : an(x)],

such that the pullback f*(O(1)) is F (Note that this evaluation makes sense when F is a subsheaf of the constant sheaf of rational functions on X). The converse statement is also true: given such a morphism f, the pullback of O(1) is generated by its global sections (on X).

Very ample line bundles

Given a scheme X over a base scheme S or a complex manifold, a line bundle (or in other words an invertible sheaf, that is, a locally free sheaf of rank one) L on X is said to be very ample, if there is an immersion i : X → PnS, the n-dimensional projective space over S for some n, such that the pullback of the standard twisting sheaf O(1) on PnS is isomorphic to L:

i*(O(1)) ≅ L.

Hence this notion is a special case of the previous one, namely a line bundle is very ample if it is globally generated and the morphism given by some global generators is an immersion.

Given a very ample sheaf L on X and a coherent sheaf F, a theorem of Serre shows that (the coherent sheaf) F ⊗ L⊗n is generated by finitely many global sections for sufficiently large n. This in turn implies that global sections and higher (Zariski) cohomology groups

Hi(X, F)

are finitely generated. This is a distinctive feature of the projective situation. For example, for the affine n-space Ank over a field k, global sections of the structure sheaf O are polynomials in n variables, thus not a finitely generated k-vector space, whereas for Pnk, global sections are just constant functions, a one-dimensional k-vector space.

Definitions

The notion of ample line bundles L is slightly weaker than very ample line bundles: L is called ample if some tensor power L⊗n is very ample. This is equivalent to the following definition: L is ample if for any coherent sheaf F on X, there exists an integer n(F), such that FLn is generated by its global sections.

An equivalent, maybe more intuitive, definition of the ampleness of the line bundle \mathcal L is its having a positive tensorial power that is very ample. In other words, for m \gg 0 there exists projective embeddings j: X \to \mathbb P^N such that \mathcal L^{\otimes n} = j^* (\mathcal O(1)), that is the zero divisors of global sections of \mathcal L^{\otimes n} are hyperplane sections.

This definition makes sense for the underlying divisors (Cartier divisors) D; an ample D is one where nD moves in a large enough linear system. Such divisors form a cone in all divisors of those that are, in some sense, positive enough. The relationship with projective space is that the D for a very ample L corresponds to the hyperplane sections (intersection with some hyperplane) of the embedded M.

The equivalence between the two definitions is credited to Jean-Pierre Serre in Faisceaux algébriques cohérents.

Criteria for ampleness of line bundles

Intersection theory

To decide in practice when a Cartier divisor D corresponds to an ample line bundle, there are some geometric criteria.

For curves, a divisor D is very ample if and only if l(D) = 2 + l(DAB) whenever A and B are points. By the Riemann–Roch theorem every divisor of degree at least 2g&nsbp;+ 1 satisfies this condition so is very ample. This implies that a divisor is ample if and only if it has positive degree. The canonical divisor of degree 2g − 2 is very ample if and only if the curve is not a hyperelliptic curve.

The Nakai–Moishezon criterion (Nakai 1963, Moishezon 1964) states that a Cartier divisor D on a proper scheme X over an algebraically closed field is ample if and only if Ddim(Y).Y > 0 for every closed integral subscheme Y of X. In the special case of curves this says that a divisor is ample if and only if it has positive degree, and for a smooth projective algebraic surface S, the Nakai–Moishezon criterion states that D is ample if and only if its self-intersection number D.D is strictly positive, and for any irreducible curve C on S we have D.C > 0.

The Kleiman condition states that for any complete algebraic scheme X, a divisor D on X is ample if and only if D.C > 0 for any nonzero element C in the closure of NE(X), the cone of curves of X. In other words a divisor is ample if and only if it is in the interior of the real cone generated by nef divisors.

Nagata (1959) constructed divisors on surfaces that have positive intersection with every curve, but are not ample. This shows that the condition D.D > 0 cannot be omitted in the Nakai–Moishezon criterion, and it is necessary to use the closure of NE(X) rather than NE(X) in the Kleiman condition.

Seshadri (1972, Remark 7.1, p. 549) showed that a line bundle L on a complete algebraic scheme is ample if and only if there is some positive ε such that deg(L|C) ≥ εm(C) for all integral curves C in X, where m(C) is the maximum of the multiplicities at the points of C.

Sheaves cohomology

The theorem of Cartan-Serre-Grothendieck states that for a line bundle \mathcal L on a variety X, the following conditions are equivalent:

  • \mathcal L is ample
  • for m big enough, \mathcal L^{\otimes m} is very ample
  • for any coherent sheaf \mathcal F on X, the sheaf \mathcal F \otimes \mathcal L^{\otimes m} is generated by global sections, for m big enough
  • for any coherent sheaf \mathcal F on X, the higher cohomology groups H^i(X, \mathcal F \otimes \mathcal L^{\otimes m}), \ i \geq 1 vanish for m big enough.

Generalizations

Vector bundles of higher rank

A locally free sheaf (vector bundle) F on a variety is called ample if the invertible sheaf \mathcal{O}(1) on \mathbb{P}(F) is ample Hartshorne (1966).

Ample vector bundles inherit many of the properties of ample line bundles.

Big line bundles

An important generalization, notably in birational geometry, is that of a big line bundle. A line bundle \mathcal L on X is said to be big if the equivalent following conditions are satisfied:

  • \mathcal L is the tensor product of an ample line bundle and an effective line bundle
  • the Hilbert polynomial of the finitely generated graded ring \bigoplus_{k=0}^\infty \Gamma (X, \mathcal L ^{\otimes k}) has degree the dimension of X
  • the rational mapping of the total system of divisors X \to \mathbb P \Gamma (X, \mathcal L^{\otimes k}) is birational on its image for k \gg 0.

The interest of this notion is its stability with respect to rational transformations.

See also

General algebraic geometry

Ampleness in complex geometry

References

Study references

Research texts


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Nef line bundle — A line bundle on an algebraic variety is said to be nef (short for numerically effective or numerically eventually free ), if the degree of the restriction to any algebraic curve of the variety is non negative. In particular, every ample line… …   Wikipedia

  • Canonical bundle — In mathematics, the canonical bundle of a non singular algebraic variety V of dimension n is the line bundle which is the nth exterior power of the cotangent bundle Ω on V. Over the complex numbers, it is the determinant bundle of holomorphic n… …   Wikipedia

  • Néron–Tate height — In number theory, the Néron–Tate height (or canonical height) is a quadratic form on the Mordell Weil group of rational points of an abelian variety defined over a global field. It is named after André Néron and John Tate. Contents 1 Definition… …   Wikipedia

  • Positive form — In complex geometry, the term positive form refers to several classes of real differential formsof Hodge type (p, p) . (1,1) forms Real ( p , p ) forms on a complex manifold M are forms which are of type ( p , p ) and real,that is, lie in the… …   Wikipedia

  • Equations defining abelian varieties — In mathematics, the concept of abelian variety is the higher dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension d ge; …   Wikipedia

  • Linear system of divisors — A linear system of divisors algebraicizes the classic geometric notion of a family of curves, as in the Apollonian circles. In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Homogeneous coordinate ring — In algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring R = K[X0, X1, X2, ..., XN]/I where I is the homogeneous ideal… …   Wikipedia

  • Ehrhart polynomial — In mathematics, a integral polytope has an associated Ehrhart polynomial which encodes the relationship between the volume of a polytope and the number of integer points the polytope contains. The theory of Ehrhart polynomials can be seen as a… …   Wikipedia

  • Numerically effective — A line bundle on an algebraic variety is said to be numerically effective (in short, nef ), if the degree of the restriction to any algebraic curve of the variety is non negative.In particular, every ample line bundle is nef.Similarly, a Cartier… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”