Cone of curves

Cone of curves

In mathematics, the cone of toot (sometimes the Kleiman-Mori cone) of an algebraic variety X is a combinatorial invariant of much importance to the birational geometry of X.

Contents

Definition

Let X be a proper variety. By definition, a (real) 1-cycle on X is a formal linear combination C=\sum a_iC_i of irreducible, reduced and proper curves Ci, with coefficients a_i \in \mathbb{R}. Numerical equivalence of 1-cycles is defined by intersections: two 1-cycles C and C' are numerically equivalent if C \cdot D = C' \cdot D for every Cartier divisor D on X. Denote the real vector space of 1-cycles modulo numerical equivalence by N1(X).

We define the cone of curves of X to be

NE(X) = \left\{\sum a_i[C_i], \ 0 \leq a_i \in \mathbb{R} \right\}

where the Ci are irreducible, reduced, proper curves on X, and [Ci] their classes in N1(X). It is not difficult to see that NE(X) is indeed a convex cone in the sense of convex geometry.

Applications

One useful application of the notion of the cone of curves is the Kleiman condition, which says that a (Cartier) divisor D on a complete variety X is ample if and only if D \cdot x > 0 for any nonzero element x in \overline{NE(X)}, the closure of the cone of curves in the usual real topology. (In general, NE(X) need not be closed, so taking the closure here is important.)

A more involved example is the role played by the cone of curves in the theory of minimal models of algebraic varieties. Briefly, the goal of that theory is as follows: given a (mildly singular) projective variety X, find a (mildly singular) variety X' which is birational to X, and whose canonical divisor KX' is nef. The great breakthrough of the early 1980s (due to Mori and others) was to construct (at least morally) the necessary birational map from X to X' as a sequence of steps, each of which can be thought of as contraction of a Kx-negative extremal ray of NE(X). This process encounters difficulties, however, whose resolution necessitates the introduction of the flip.

A structure theorem

The above process of contractions could not proceed without the fundamental result on the structure of the cone of curves known as the Cone Theorem. The first version of this theorem, for smooth varieties, is due to Mori; it was later generalised to a larger class of varieties by Kollár, Reid, Shokurov, and others. Mori's version of the theorem is as follows:

Cone Theorem. Let X be a smooth projective variety. Then

1. There are countably many rational curves Ci on X, satisfying 0< -K_X \cdot C_i \leq \operatorname{dim} X +1 , and

\overline{NE(X)} = \overline{NE(X)}_{K_X\geq 0} + \sum_i \mathbf{R}_{\geq0} [C_i].

2. For any positive real number \epsilon and any ample divisor H,

\overline{NE(X)} = \overline{NE(X)}_{K_X+\epsilon H\geq0} + \sum \mathbf{R}_{\geq0} [C_i],

where the sum in the last term is finite.

The first assertion says that, in the closed half-space of N1(X) where intersection with KX is nonnegative, we know nothing, but in the complementary half-space, the cone is spanned by some countable collection of curves which are quite special: they are rational, and their 'degree' is bounded very tightly by the dimension of X. The second assertion then tells us more: it says that, away from the hyperplane \{C : K_X \cdot C = 0\}, extremal rays of the cone cannot accumulate.


If in addition the variety X is defined over a field of characteristic 0, we have the following assertion, sometimes referred to as the Contraction Theorem:

3. Let F \subset \overline{NE(X)} be an extremal face of the cone of curves on which KX is negative. Then there is a unique morphism \operatorname{cont}_F : X \rightarrow Z to a projective variety Z, such that (\operatorname{cont}_F)_* \mathcal{O}_X = \mathcal{O}_Z and an irreducible curve C in X is mapped to a point by \operatorname{cont}_F if and only if [C] \in F.

References

  • Lazarsfeld, R., Positivity in Algebraic Geometry I, Springer-Verlag, 2004. ISBN 3-540-22533-1
  • Kollár, J. and Mori, S., Birational Geometry of Algebraic Varieties, Cambridge University Press, 1998. ISBN 0-521-63277-3

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Cone cell — Neuron: Cone Cell Normalized responsivity spectra of human cone cells, S, M, and L types NeuroLex ID …   Wikipedia

  • cone — [1] A bearing race that curves to the inside of a circle of ball bearings and works in conjunction with a cup. [2] In welding, it is the inner visible flame shape of a neutral or near neutral flame. Also see bearing cone inner cone …   Dictionary of automotive terms

  • Convex cone — In linear algebra, a convex cone is a subset of a vector space over an ordered field that is closed under linear combinations with positive coefficients. A convex cone (light blue). Inside of it, the light red convex cone consists of all points… …   Wikipedia

  • World line — In physics, the world line of an object is the unique path of that object as it travels through 4 dimensional spacetime.The concept of world line is distinguished from the concept of orbit or trajectory (such as an orbit in space or a trajectory… …   Wikipedia

  • 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… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Minimal model program — In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its… …   Wikipedia

  • Minimal model (birational geometry) — In algebraic geometry, more specifically in the field of birational geometry, the theory of minimal models is part of the birational classification of algebraic varieties. Its goal is to construct, given a variety satisying certain restrictions,… …   Wikipedia

  • Steven Kleiman — Infobox Scientist name = Steven Lawrence Kleiman birth date = birth date|1942|03|31 birth place = Boston, USA death date = death place = field = Mathematician work institution = Massachusetts Institute of Technology alma mater = Massachusetts… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

Share the article and excerpts

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