Cone of curves

In mathematics, the cone of curves (sometimes the Kleiman-Mori cone) of an algebraic variety X {displaystyle X} is a combinatorial invariant of importance to the birational geometry of X {displaystyle X} . In mathematics, the cone of curves (sometimes the Kleiman-Mori cone) of an algebraic variety X {displaystyle X} is a combinatorial invariant of importance to the birational geometry of X {displaystyle X} . Let X {displaystyle X} be a proper variety. By definition, a (real) 1-cycle on X {displaystyle X} is a formal linear combination C = ∑ a i C i {displaystyle C=sum a_{i}C_{i}} of irreducible, reduced and proper curves C i {displaystyle C_{i}} , with coefficients a i ∈ R {displaystyle a_{i}in mathbb {R} } . Numerical equivalence of 1-cycles is defined by intersections: two 1-cycles C {displaystyle C} and C ′ {displaystyle C'} are numerically equivalent if C ⋅ D = C ′ ⋅ D {displaystyle Ccdot D=C'cdot D} for every Cartier divisor D {displaystyle D} on X {displaystyle X} . Denote the real vector space of 1-cycles modulo numerical equivalence by N 1 ( X ) {displaystyle N_{1}(X)} . We define the cone of curves of X {displaystyle X} to be where the C i {displaystyle C_{i}} are irreducible, reduced, proper curves on X {displaystyle X} , and [ C i ] {displaystyle } their classes in N 1 ( X ) {displaystyle N_{1}(X)} . It is not difficult to see that N E ( X ) {displaystyle NE(X)} is indeed a convex cone in the sense of convex geometry. One useful application of the notion of the cone of curves is the Kleiman condition, which says that a (Cartier) divisor D {displaystyle D} on a complete variety X {displaystyle X} is ample if and only if D ⋅ x > 0 {displaystyle Dcdot x>0} for any nonzero element x {displaystyle x} in N E ( X ) ¯ {displaystyle {overline {NE(X)}}} , the closure of the cone of curves in the usual real topology. (In general, N E ( X ) {displaystyle 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 {displaystyle X} , find a (mildly singular) variety X ′ {displaystyle X'} which is birational to X {displaystyle X} , and whose canonical divisor K X ′ {displaystyle K_{X'}} 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 {displaystyle X} to X ′ {displaystyle X'} as a sequence of steps, each of which can be thought of as contraction of a K X {displaystyle K_{X}} -negative extremal ray of N E ( X ) {displaystyle NE(X)} . This process encounters difficulties, however, whose resolution necessitates the introduction of the flip. 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 {displaystyle X} be a smooth projective variety. Then 1. There are countably many rational curves C i {displaystyle C_{i}} on X {displaystyle X} , satisfying 0 < − K X ⋅ C i ≤ dim ⁡ X + 1 {displaystyle 0<-K_{X}cdot C_{i}leq operatorname {dim} X+1} , and