ACC for minimal lengths of extremal rays for surfaces. Evgeny Mayanskiy arxiv:1410.6590v1 [math.ag] 4 Oct 014 November 7, 017 Abstract We prove that the lengths of extremal rays of log canonical Fano surfaces with Picard number one satisfy the ascending chain condition. This confirms the -dimensional case of a conjecture stated by Fujino and Ishitsuka in [7]. 1 Introduction. Fix n and a DCC set I R. Consider the set F n (I) of all log canonical pairs (X, ), where X is a normal Q-factorial projective variety of dimension n and Picard number one, the coefficients of the Q-divisor are in I and (K X + ) is ample. Given (X, ) F n (I), define l(x, ) > 0 to be the minimal intersection number (K X + ) C for curves C on X. Fujino and Ishitsuka formulated the following conjecture in [7]. Conjecture (cf. [7]). Given n and a DCC set I, the set satisfies ACC. { l(x, ) (X, ) F n (I) } R This Conjecture was verified for toric Fano varieties with I = in [7]. The purpose of this note is to check this Conjecture in the case n = and I =. Let X be a normal projective surface with log canonical singularities such that K X is ample and the Picard number ρ(x) is 1. Denote by l(x) > 0 the minimal intersection number K X C for curves C on X. Let F be the set of all such surfaces X. The main result of this note is the following Theorem. Theorem. The set { l(x) X F } R satisfies ACC. 1
Our proof of Theorem follows the same scheme as the proof by Alexeev of a similar result on fractional indices of log del Pezzo surfaces [1] and depends significantly on some ideas of Nikulin [1], [14]. We use freely the notation and terminology from [1]. ACC means ascending chain condition, DCC means descending chain condition. Given a normal projective surface X, we denote by f: Y X its minimal resolution and by π: Y Z a minimal model. ρ(x) denotes the Picard number of X. InSectionweverifycertainboundsonthePicardnumbersofminimalresolutionsofsurfaces with ample anti-canonical bundles. These bounds were established earlier by Alexeev [1]. In order to verify them, we use a natural generalization of log terminal systems studied by Nikulin (see [1]). This generalization is spelled out in the Appendix. In Section 4 we apply the Picard number bounds to prove our main Theorem. Section is devoted to examples. Bounds on the Picard numbers of del Pezzo surfaces. In this Section we study bounds on the Picard numbers of certain surfaces largely following the paper [1] by Alexeev. We do not prove any new results here. Definition. For any ǫ > 0 let DP ǫ denote the set of all normal projective log canonical surfaces X such that K X is ample and moreover K X C ǫ for every curve C on X. (This is a variant of the Condition DP(ǫ) of Alexeev from [1],.1.) Remark. IfX isanormalnon-rational projectivelogcanonicalsurfacewithample K X, then X is the contraction of the section with negative self-intersection of Y = P E (E) E, where E is a normalized rank locally free sheaf on a smooth elliptic curve E and the parameter e = deg(e). In particular, ρ(y) = for the minimal resolution Y of such a surface X. (See [5], Theorem or [8], Theorem.1.) For any X DP ǫ (with the minimal resolution f: Y X) one constructs the ampleness polytope M(Y) of Y in a hyperbolic space L(Y) as follows (see [14]). Consider the cone V(Y) = { x NS(Y) Z R x > 0 } in the vector space generated by the Neron-Severi group NS(Y) of Y. Take V + (Y) to be the connected component of V(Y) containing an ample divisor class and define L(Y) = V + (Y)/R +, where R + is the group of positive reals acting on V + (Y) by multiplication. For any δ NS(Y) Z R with δ < 0 one defines the half-space H + δ = { R+ x L(Y) x δ 0 }.
The ampleness polytope of Y is defined as M(Y) = H + δ L(Y), where the intersection is taken over the set of all integral curves δ on Y with negative selfintersection. Assume that ρ(y). Then by [14], Lemma. and Lemma A..0, M(Y) is a convex polytope with acute angles, finitely many faces and finite volume. Such polytopes are interesting to us because of the following result. Combinatorial Theorem ([14], Lemma.4) Let L be a hyperbolic space and M L a convex polytope with acute angles, finite volume and finitely many faces such that its Gram graph Γ(M) (formed by the vectors orthogonal to the facets) satisfies the following conditions: a) Every Lanner subgraph of Γ(M) has at most l vertices; b) For every connected elliptic subgraph of Γ(M) with n vertices, the number of pairs of its vertices with distance d l between them is at most C 1 n, and the number of pairs of its vertices with distance d between them, where l < d l, is at most C n. Then dim(l) 96(C 1 +C /)+68. The following Theorem was proved in [1], Theorem. (see [], Remark 5.5). By a remark in the beginning of this Section we may assume in the proof that the surface X DP ǫ is rational (and more generally that ρ(y) ) throughout the proof. Theorem 1 (Alexeev, cf. [1], Theorem., [], Remark 5.5). There in an integer A > 0 such that for any ǫ > 0 and any X DP ǫ, the Picard number of the minimal resolution f: Y X satisfies the bound ρ(y) A (1+1/ǫ). Proof: Alexeev s argument in [1] goes through in our case. However, in order to apply it literally, we need a slight generalization of Nikulin s theory of log terminal systems ([1]). The notion we need is that of log canonical systems. Their theory can be developed parallelly to the theory of log terminal systems of Nikulin and is spelled out in the Appendix. The argument in [1] is based on a bound on the dimension of the hyperbolic space admitting a polytope with certain properties. Namely, it uses the Combinatorial Theorem quoted above, where the hyperbolic space L = L(Y) and the polytope M = M(Y) L(Y) L were defined above.
Combinatorial Theorem says in this case that certain properties of the Gram graph of the ampleness polytope M(Y) of Y imply an upper bound on the Picard number ρ(y) (see [14] and [1], Theorem.). In [1] Alexeev checked these properties in the case, when X has log terminal singularities (and satisfies the Condition DP(ǫ)), [1], Theorem.1 and Theorem.15. The same argument works in our situation. As we have already remarked, one may assumethatx DP ǫ isrational. Henceithasonlyrationalsingularities(by[8], Corollary1.9). One uses the results of the Appendix (a generalization of Nikulin s theory of log terminal systems of vectors from [1] to the log canonical case) and checks that Alexeev s proof of [1], Theorem.1 and Theorem.15 goes through in our case as well. This implies that the Gram graph of the ampleness polytope M(Y) of Y enjoys the properties needed to derive the bound on the Picard number ρ(y) from the Combinatorial Theorem. QED We will derive Theorem from Theorem 1 and the alternative in the following Corollary, which was proved by Alexeev in [1], []. Corollary (Alexeev, [], Lemma 4.1, [1], Lemma 4.). Fix ǫ > 0. Then for any N > 0 large enough (for the chosen ǫ) there is M > 0 with the following property. Given X DP ǫ with the minimal resolution f: Y X, whose exceptional locus consists of the integral curves F 1,..., F r, we have (1) F i M for all i; or ρ(y) N and either () there is a birational morphism Y F n for some n N (here F n = P(O O(n)) denotes a Hirzebruch surface) such that any integral curve on Y with negative selfintersection is either the strict transform of the ( n)-curve on F n, or maps to a fiber of the fibration F n P 1 ; or () Y = P E (E), where E is a normalized rank locally free sheaf on a smooth elliptic curve E and the parameter e = deg(e) N, r = 1 and F 1 is the section with negative self-intersection of the fibration P E (E) E. Examples. Before we continue to the proof of Theorem, let us consider two examples. Example 1. Take n. Let X n F be the surface obtained by contracting the ( n)-curve of the Hirzebruch surface F n : f: Y = F n X n. 4
Denote by L the general fiber of the fibration g: F n P 1 and by B the ( n)-section of g. and Note that K Y = ( ) B +( n ) L f (K Xn ) = K Y + ( 1 ) B. n Then l(x n ) = (f K Xn ) L = ( 1 n) = 1+ n. We see that the set { l(x n ) n } satisfies ACC and does not satisfy DCC. Example. Let E be a smooth elliptic curve, e and E a normalized rank locally free sheaf on E such that deg(e) = e. Let X e F be the surface obtained by contracting the section with negative self-intersection of Y = P E (E) E: f: Y = P E (E) X e. Denote by L the general fiber of the fibration g: P E (E) E and by B the ( e)-section of g. Note that Then l(x e ) = (f K Xe ) L = 1. f (K Xe ) = K Y +B. We see that the set { l(x e ) E, E, e = deg(e) } satisfies ACC. 4 Proof of Theorem. Fix ǫ > 0 and take N > 0 large enough (for Corollary to hold). Let DP 1 ǫ DP ǫ be the subset consisting of rational X DP ǫ with Picard number ρ(x) = 1 and DP f ǫ DP 1 ǫ be the subset consisting of X DP ǫ for which alternative () of Corollary holds (and ρ(x) = 1). Given X DP f ǫ, we will denote by π: Y Z = F n the birational morphism from Corollary, g: Y P 1 the resulting P 1 -fibration and L the general fiber of g. Consider the following sets: A = { K Y X DP ǫ }, B 0 = { K X X DP1 ǫ \DPf ǫ }, 5
B = { (f K X ) C X DPǫ f, C is an integral curve on Y,C < 0 or C is a fiber of g }. Lemma. (1) A and B 0 are finite; () B satisfies ACC. Proof: (1) Let X DP ǫ. Consider the codiscrepancy formula: f K X = K Y + i α i F i, where F i are the irreducible components of the exceptional locus of the minimal resolution f: Y X. The coefficients α i [0,1] Q are determined from the linear system: α i (F i F j ) = K Y F j. i ItfollowsfromCorollarythatasX DP 1 ǫ \DP f ǫ, theintegers(f i F j ), (K Y F i = F i ) belong to a finite subset of Z (determined by ǫ and N). Hence as X DP 1 ǫ \DP f ǫ, the coefficients α i belong to a finite set of rationals. Since K X = K Y (K Y + i α i F i ) = K Y + i α i (K Y F i ), the finiteness of A implies the finiteness of B 0. Let us show that A is finite. We may assume that X DP ǫ is rational. By Noether s formula, KY in a finite set of integers (determined by ǫ). Hence A is finite. = 10 ρ(y) lies () Let X DP f ǫ. Let F 0 be the strict transform (via π) on Y of the ( n)-curve on Z = F n and m = F 0 > 0. Let F 1,..., F p be the components of the fibers of g with self-intersection F i. Then f contracts exactly F 0, F 1,..., F p. Consider the codiscrepancy formula: f K X = K Y + p α i F i, i=0 where α i [0,1] Q. 6
The coefficients α i can be computed from the following system of linear equations: α 0 β 0 A α 1... = β 1..., α p β p where A = ( (F i F j )) i,j is (the negative of) the intersection matrix of the curves F i and β j = K Y F j = Fj for every j. We know from Corollary that (assuming ǫ and N fixed) the set of all possible values of p, β 1,..., β p, F i F j, F 0 F j, i,j 1, is a finite set of integers. By substituting F 1,..., F p with their suitable R-linear combinations, we may rewrite A in the following form: m a 1...... a p a 1 1. A =... 0.. 0.. a p 1 (i.e. we diagonalized the symmetric positive definite matrix ( F i F j ) i,j 1 ). Hence the coefficients (α 0,α 1,...α p ) in the respective codiscrepancy formula form the solution of the linear system m a 1...... a p a 1 1.... 0.. 0.. a p 1 α 0 α 1... α p = m b 1... b p Here a i, b j run over a finite set of reals (as X runs over DP f ǫ ).. Since 1 a 1 a. a 1 m a... a p a 1 a. A 1 1 = a a 1 a m a 1 m a 1... a a... a p. p a a 1 a a a........... we compute: a p a 1 a p a a p. α 0 = m a 1b 1... a p b p m a 1... a p [0,1]., 7
By Corollary every integral curve C on Y with negative self-intersection is either one of F i or is a ( 1)-curve in a fiber of g. In the former case (f K X ) C = 0. Since ρ(x) = 1, every reducible fiber of g contains exactly one ( 1)-curve. Upto adding a linear combination of F 1,..., F p, such a curve C is numerically equivalent to λ L, where λ Q is an element of a finite set of rationals (determined by ǫ and N). In particular, (f K X ) C = λ ( f K X ) L = λ ( α 0 ). From the expression for α 0 above we see that α 0 1 as m. Hence the set of all possible values of α 0 [0,1] satisfies DCC. We conclude that B satisfies ACC. QED Now we are ready to prove the main result of this note. Theorem. Conjecture holds for n = and I =. Proof: Arguing by contradiction, it is enough to show that for any ǫ > 0, the set { l(x) X DPǫ 1 } satisfies ACC. It is clear that the set { l(x) X DPǫ 1 \DPǫ f } satisfies ACC. Indeed, for any ǫ > 0 there is P Z such that P f (K X ) is Cartier for any X DPǫ 1 \ DPf ǫ. In particular, l(x) 1 Z for any X P DP1 ǫ \ DPf ǫ. On the other hand, 0 < l(x) 4 (see [6], Theorem 18.). Hence the set { l(x) X DPǫ 1 \DPǫ f } is finite. Let X DP f ǫ and D be the reduced exceptional divisor of the minimal resolution f: Y X. If l and b are the general fiber and the ( n)-section of the fibration Z = F n P 1, then K Z = ( ) b+( n ) l. Let C be an integral curve on Y such that ( f K X ) C = l(x). Claim. If N in Corollary is taken large enough (for a given ǫ), then K Y +D+C =. Proof of the Claim: K Y = π K Z +Γ for some Γ 0 supported on reducible fibers of g. Hence K Y π (b) N π (l)+γ. Since the coefficients of the irreducible components of Γ belong to a finite set of integers (depending on ǫ), one can take N in Corollary large enough (for the given ǫ) so that ( K Y π (b) +ρ(y)+ N ) L. 8
If K Y +D +C 0, then where B is the strict transform of b on Y. Hence B +C π (b) ( + N K Y +B +ρ(y) L+C 0, ) L 0. This implies that C L. Hence l(x) = ( f K X ) C ( f K X ) L > ( f K X ) L l(x), which is absurd. The Claim is proved. So, we may assume that K Y +D+C =. By [9], Lemma.6 or [15], Lemma. either ρ(y) = (i.e. X is obtained by contracting the ( n)-curve on Y = F n ) or C can be taken to be a smooth rational curve with selfintersection C = 1. By Lemma () and Example 1 we conclude that the set { l(x) X DP f ǫ } satisfies ACC. Together with Example this implies the Theorem. QED 9
Appendix. Log canonical systems of vectors (following [1]) In [1] Nikulin presents the theory of log terminal systems of vectors which, in particular, can be applied to describe configurations of curves with negative self-intersection on minimal resolutions of surfaces (of a certain kind) with log terminal singularities (see, for example, [1], [1]). In fact, this theory is also applicable to surfaces with log canonical singularities. The purpose of this Appendix is to spell out such an extension. We follow closely the exposition of [1] and do not claim any originality. We left out proofs whenever Nikulin s arguments in [1] go through. Definition ([1]). A finite set of vectors V = {v 1,...,v n } of a finite-dimensional quadratic module over Q (with bilinear form (u,v) u v) is called an at most hyperbolic system of vectors, if its Gram matrix A = (a ij ), a ij = v i v j, satisfies: a ij Z, a ii = b i 1 for any i,j and a ij 0 if i j; and the lattice S determined by A (by modding out the kernel of A) has signature (p,q) with p 1. Remarks ([1]). (1) At most hyperbolic systems of vectors can be encoded by weighted graphs (with the Gram matrix A of an at most hyperbolic system of vectors V being the Gram matrix of the associated weighted graph). () One can speak naturally of equivalent at most hyperbolic systems of vectors and a subsystem of an at most hyperbolic system of vectors. () Wewill abuse thelanguageby calling an atmost hyperbolic system ofvectors simply a system. (4) If A = (a ij ) is a negative definite symmetric square matrix with real entries such that a ii < 0 and a ij 0 for i j, then all entries of A 1 are nonpositive. Moreover, one can permute rows and columns so that A 1 becomes block-diagonal with all entries in each block nonzero. Definition ([1]). An at most hyperbolic system of vectors V is called: elliptic, if its Gram matrix A is negative definite; connected parabolic, if it is not elliptic, its Gram matrix A is negative semidefinite and the associated weighted graph is connected; hyperbolic, if its Gram matrix A is not negative semidefinite; Lanner, if it is hyperbolic, but any proper subsystem of it is not. 10
Remarks ([1]). (1)AsystemishyperbolicifandonlyifitcontainsaLannersubsystem. () The weighted graph of a Lanner system is connected. The subgraphs of the weighted graph of a hyperbolic system V corresponding to two Lanner subsystems V 1 and V of V are connected by an edge. () If V is a proper subsystem of an elliptic or a connected parabolic system V, then V is elliptic. If V is a proper subsystem of a Lanner system V, then V is either elliptic or connected parabolic (and in the latter case V has one element less than V). (4) If V = {v 1,...,v n } is an elliptic system, then its canonical element K(V) = α 1 v 1 +...+α n v n, α i Q exists and is uniquely defined by the conditions K(V) v i = b i, i = 1,...,n. Definition. (cf. [1]) An at most hyperbolic system of vectors V is log canonical, if the canonical element of any elliptic subsystem V = {v 1,...,v n } of V, K(V) = i α iv i, satisfies: 1. α i 1 for any i, and. α i > 1, if the connected component of the vertex of v i in the graph associated to V contains the vertex of an element e with e = 1. Remarks ([1]). (1) If V is a log canonical system, then its arbitrary subsystem V V is also log canonical. () If V is a log canonical system, then v V is of the first kind if v = 1, and v V is of the second kind if v. Definition ([1]). Let V = {v 1,...,v n,e} be an at most hyperbolic system of vectors such that e = 1 and for any i either v i e = 0, or v i and v i e = 1. Let Ṽ = {ṽ 1,...,ṽ n }, where for any i ṽ i = v i +(v i e)e. We will call the passage from V to Ṽ the contraction of e and the passage from Ṽ to V theblow-upofv,wherev Ṽ isthesubsystem consistingofallvectorsṽ i suchthatv i e = 1. Remark ([1]). Ṽ is an at most hyperbolic system of vectors. If V is elliptic, connected parabolic, hyperbolic, Lanner or log canonical, then so is Ṽ. Proposition A.1.1 (cf. [1], Proposition 1.1.1). The system of two vectors {v 1,v } is elliptic and log canonical if and only if either 11
1. v 1 v = 0, v 1 < 0, v < 0, or. v 1 v = 1, v 1 +v <, v 1 < 0, v < 0, or. v 1 v =, v 1 +v < 4, v 1 < 1, v < 1. Corollary A.1. ([1], Corollary 1.1.). If V is a log canonical system, then an element of the first kind e V is contractible (i.e. satisfies the assumptions of the definition of the contraction above) if and only if every system {v,e}, v V, v e, is elliptic. Definition ([1]). A log canonical system is minimal, if it does not contain contractible elements of the first kind. Theorem A.1.4 (cf. [1], Theorem 1.1.4). (a) An elliptic log canonical system is minimal if and only if it does not contain elements of the first kind. The connected associated weighted graphs of minimal elliptic log canonical systems are Γ 1,...,Γ 6 (Picture 1), where all unspecified weights are assumed to be at least and the Gram matrix is negative definite. (b) An elliptic system V is log canonical if and only if for every subsystem V V with a connected associated graph Γ either Γ is one of Γ 1,...,Γ 6 (Picture 1); or V is obtained by a sequence of blow-ups of subsystems with at most elements from a (possibly empty) minimal elliptic log terminal system in the sense of Nikulin [1], whose associated graph is either Γ 1 or Γ (Picture 1). Γ 1 }{{} n 0 vertices }{{} p 1 vertices q 1 vertices {}}{ r 1 vertices }{{} n 0 vertices Γ Γ 4 Γ 1 + 1 + 1 1 p+1 q+1 r+1 Γ 6 cycle with n vertices Γ 5 Picture 1. 1
Proof: The proof is the same as that of [1], Theorem 1.1.4. One can use [1], Theorem 4.7 (items,, 4 and 5) and [1], Theorem 4.16 to list the graphs explicitly. QED Corollary A.1.5 (cf. [1], Corollary 1.1.5). The associated graph Γ of an elliptic log canonical system is a union of isolated cycles (with at least two vertices) and a tree without multiple edges. Every vertex of Γ of weight 1 has valency at most and every connected subgraph of Γ consisting of vertices of weight is one of Γ 1,...,Γ 6 (Picture 1). Theorem A.1.6 (cf. [1], Theorem 1.1.6). (a) A connected parabolic log canonical system is minimal if and only if either it does not contain elements of the first kind, or it has exactly two elements. A minimal connected parabolic log canonical system has either the associated graph among Q 1,...,Q 14 (Picture ), or the Gram matrix of the form [ b1 b1 b b1 b b ], b 1,b 1. (b) Any connected parabolic log canonical system containing at least elements either has as its associated graph one of the graphs Q 7,...,Q 14 (Picture ), or is obtained by a sequence of blow-ups of subsystems with at most elements from a log canonical system, whose associated graph is either one of Q 1,...,Q 6 (Picture ) or one of P 1,..., P 8 (Picture ). 1 1 1 4 6 4 4 P 1 P P 1 1 1 1 9 P 7 P 8 Picture. P 4 P 5 P 6 1
Q 1 } {{ } n 0 vertices Q Q Q 5 Q 4 Q 7 : 4 Q 6 }{{} cycle with n vertices (all with weight ) Picture. a Q 8 b c Q 9 where (a, b, c) { (,5,5), (,,11), (4,,), (4,,5), (8,,) } a b c Q 10 where (a, b, c) { (,,18), (,4,10), (,6,6), (,,8), (4,4,4) } a b c Q 11 where (a, b, c) { (,,4), (,4,), (4,,4), (,,6) } 14
b 1 a 1 a a where (b 1, b, a 1, a, a ) { (,,,,6), (,,,4,4), (,,,,), (,,,,5), (,4,,,), (,6,,,), (,,,,) } Q 1 b a 1 a 4 a a where (a 1, a, a, a 4 ) { (,,5,5), (,,,11), (,,,5), (,,,) } a 1 b b 1where (a1, a, b 1, b ) { (,,4,4), a (,,,6), (,5,,), (,,,) } Q 1 Q 14 Picture (continuation). Proof: The argument is essentially the same as in [1], Theorem 1.1.6. Let Γ be the associated graph of a minimal connected parabolic log canonical system with at least elements. If Γ contains a double edge, then it has exactly elements (since any minimal elliptic log canonical system, whose associated graph is connected and has a double edge, has exactly elements). Then one checks that Γ is one of Q 8, Q 9, Q 10, Q 11. Notethat neither of Q 8, Q 9, Q 10, Q 11 canappearasaresult of acontractionofanelement of the first kind of a connected parabolic log canonical system. Assume that Γ does not contain a double edge. If Γ contains a cycle, then it is one of Q 6, Q 7, Q 1, Q 1, Q 14. Note that one can not obtain a connected parabolic log canonical system by blowing up a subsystem of Q 7, Q 1, Q 1, Q 14. Hence we may assume that Γ is a tree without double edges. So, it is obtained from Γ 1, Γ, Γ or Γ 4 by adding a single vertex and an edge. We get Q 1, Q, Q, Q 4, Q 5. Note that there is no minimal connected parabolic log canonical system with the associated graph of the following form: 15
QED Corollary A.1.7 (cf. [1], Corollary 1.1.7). If Γ is the associated graph of a connected parabolic log canonical system with at least 10 elements, then Γ is either a tree or a cycle. It has no multiple edges and every vertex of Γ with weight 1 has valency at most. Theorem A.1.8 (cf. [1], Theorem 1.1.8). (a) A Lanner log canonical system is minimal if and only if either it does not contain elements of the first kind, or it has exactly elements, or it has exactly elements and its Gram matrix is different (upto an equivalence) from the following ones: 1 1 0 1 b 1 r 0 r b 1 1 1 1 b 1 r 1 r b, r 1, b 1, b 1;, r 1, b 1, b. The associated graph of a minimal Lanner log canonical system with at least 4 elements is one of the graphs H 8,1,..., H 11 (Picture 4), where all unspecified weights are equal to and b. If a minimal Lanner log canonical system has at most elements, then its Gram matrix is either one of the following: [ ] b1 r G 1 (b 1,b ;r) =, r > b r b 1 b ; b 1 b1 b 0 G (b 1,b,b ) = b1 b b 1, b ; 0 1 b b 1 b1 b 1 G (b 1,b,b ) = b1 b b 1, b ; 1 1 b b 1 b1 b 0 G 4 (b 1,b,b ) = b1 b b b b ; 0 b b b 16
b 1 b1 b 1 G 5 (b 1,b,b ) = b1 b b b b, b 1 +b ; 1 b b b b 1 b1 b b1 b1 b G 6 (b 1,b,b ) = b b b b1 b ; b b b b G 7 (b 1,b,b ) = G 8 (b 1,b,b ) = b 1 b1 b 0 b1 b b 0 b b 1 b1 b 1 b1 b b 1 b, b,b, b +b 5;, b,b, b +b 5; G 9 (b 1,b,b ) = b 1 b1 b b1 b b b, b 1,b,b, b 1 +b,b +b 5; b 1 b1 b G 10 (b 1,b,b ) = b1 b b b b, b 1,b, b 1 +b 5; b b b where b 1,b,b 1 everywhere, or one of the following: G 11 (b 1,b,b ) = b 1 0 b 0 b, (b 1,b,b ) {(,,),(,,),(,,),(,,4), (,,5)}; G 1 (b 1,b,b ) = b 1 1 1 1 b 1 b, (b 1,b,b ) {(,,),(,,4),(,,),(4,,)}; G 1 (b 1,b,b ) = b 1 b 1 1 b, (b 1,b,b ) {(,,),(,4,)} or b 1 =, b =, b 9 or b 1 =, b =, b 10 or b 1 =, b = 4, 4 b 6; 17
G 14 (b 1,b,b ) = b 1 b b, b 1 =, b =, b 17 or b 1 =, b = 4, 4 b 9 or b 1 =, b = 5, 5 b 7 or b 1 =, b =, b 7 or b 1 =, b = 4, 4 b 5. (b) Any Lanner log canonical system containing at least 4 elements either has the associated graph among H 8,1,..., H 0,14,1, H 0,4, H 1,..., H 4 (Picture 4), or is obtained by a sequence of blow-ups from a Lanner log canonical system with the associated graph among H 0,1, H 0,, H 0,, H 0, H 5,..., H 11, or is obtained by a sequence of blow-ups from a Lanner log canonical system with the Gram matrix G 1 (1,1;), G 1 (1,;), G 1 (1,;), G 1 (1,1;), G 1 (,;), G 1 (,;4), G (1,1,b), or G (,,b), G (1,4,b), G (4,1,b), G (1,1,b), G (,,b), G (1,4,b), G (1,9,b), or G (,,b), G 4 (1,1,1), G 4 (1,1,4), G 4 (4,1,4), G 5 (4,1,1), G 5 (4,1,4), G 5 (,,), or G 5 (9,1,1), G 6 (1,1,1), G 6 (1,1,4), G 6 (,,), G 6 (,,), G 7 (1,4,), G 7 (,,4), or G 7 (,,6), G 7 (4,1,4), G 8 (1,4,b), G 8 (,,b), G 9 (,,4), G 9 (,,b). b 4 5 H 8,1 (b ) H 8, H 8, H 9,1 a where (a, b) { (,5), (4,), (8,) } b b b 6 6 H 10,1 H 9, Picture 4. 18
4 4 4 4 H 10, 4 6 4 4 H 11,1 a H 11, ( a {, 4 } ) a 6 a a 4 4 4 4 a 6 a a 4 5 5 10 H 11, H 11,4 H 11,5 H 11,6 ( a {, 4 } ) 4 H 0,1,1 H 0,7,1 H 0,7, a H 0,1, H 0,1,1 H 0,14,1 b where (a, b) { (,5), (,) } Picture 4 (continuation). 19
a where (a, b1, b) { (,,x), (,,), (,,4), (,,5), (,,), (,,), (,,4), (4,,), (5,,) }, x b 1 b a b H 0,1 a c where (a, b, c) { (,,x), (,,y), (,4,4), (,4,5), (,4,6), (,,), (,,4) }, x, y 10 b c H 0, where (a, b, c) { (,,x), (,,y), (,,), (,,), (,,4), (4,,) }, x, y 5 5 H 0, H 0,4 H 0 : b b b }{{} cycle with n vertices, n 8 ( b 6) (b ) (b ) H 1 H H H 4 Picture 4 (continuation). 0
b H 5 H 6 (b ) } {{ } n vertices H 8 H 7 (0 n ) b H 9 H 10 H 11 (b ) Picture 4 (continuation). Proof: The argument is essentially the same as in [1], Theorem 1.1.8. Let Γ be the associated graph of a minimal Lanner log canonical system with at least 4 elements. If Γ contains a double edge, then Γ has exactly 4 elements. It is obtained from Q 8, Q 9, Q 10 or Q 11 by adding a vertex. One checks that Γ is one of H 8,1,..., H 11,6 (Picture 4). Assume that Γ has no multiple edges. Since Γ can not be a cycle, it is a tree, unless it is obtained from the cycle Γ 5 by adding one or two more vertices. If Γ is a cycle with two more vertices, then Γ is obtained from Q 7, Q 1, Q 1, Q 14 by adding an extra vertex. So, we get H 0,7,1,..., H 0,14,1 (Picture 4). If Γ is a cycle with one more vertex, then Γ is one of H 0,1, H 0,, H 0,, H 0,4 or one of H 0, H 1,..., H 4 (Picture 4). Hence we may assume that Γ is a tree without multiple edges. So, it should be one of H 5,... H 11. Note that one can not obtain a Lanner log canonical system by blowing up from Lanner systems with associated graphs H 8,1,..., H 0,14,1, H 0,4, H 1,..., H 4. QED Corollary A.1.9 (cf. [1], Corollary 1.1.9). If Γ is the associated graph of a Lanner log canonical system with at least 11 elements, then Γ is either a tree, or a cycle, or a cycle with one extra vertex and an edge. It has no multiple edges and every vertex of Γ with weight 1 has valency at most. If Γ is a cycle, then the Lanner system is obtained by a sequence of blow-ups of pairs of elements from G 1 (1,1;), G 1 (1,;), G 1 (1,;), G (1,1,b), where b, or G 6 (1,1,1). 1
Proof: This follows from Corollary A.1.5 and Corollary A.1.7 as in the proof of [1], Corollary 1.1.9. QED Lemma A..0 ([14], [4]). Let X be a normal projective surface with log canonical singularities such that K X is ample. Let f: Y X be the minimal resolution of singularities. Then the set of all integral curves on Y with negative self-intersection is finite. If X is rational, then this set forms an at most hyperbolic system of vectors. If X is rational and different from P, P 1 P 1, the blow-up of P at one point and the contraction of the section with negative self-intersection on a Hirzebruch surface F n = P(O O(n)) P 1, n, then this system is hyperbolic. Proof: The finiteness of the number of integral curves on Y with negative self-intersection is proven in [14], Lemma.1 (i) (the proof goes through literally in our case). See also [4]. Note that for an integral curve C on Y with negative self-intersection, either C is contracted by f or C is a smooth rational ( 1)-curve. Let ρ(y) denote the Picard number of Y. Recall(see[11], Corollary.1.4)thattheMoriconeofY isgeneratedbyintegralcurves on Y with negative self-intersection, unless ρ(y) = 1 (i.e. Y = X = P ) or ρ(y) = (i.e. either Y = X is the blow-up of P at one point, or Y = X = P 1 P 1, or X is the contraction of the section with negative self-intersection on a Hirzebruch surface Y = F n = P(O O(n)) P 1, n, or X is the contraction of the section with negative self-intersection of a fibration Y = P E (E) E for a normalized rank locally free sheaf E on a smooth elliptic curve E with the parameter e = deg(e) ). Hence the lattice determined by the intersection matrix of all integral curves on Y with negative self-intersection has signature (1, ρ(y) 1) by the Hodge Index theorem, unless Y = P or Y = P 1 P 1 (and there are no integral curves on Y with negative selfintersection), or Y = F n, n 1, is a Hirzebruch surface (and there is a unique integral curve on Y with negative self-intersection - the ( n)-section of the fibration F n P 1 ), or X is not rational. QED Let X be a rational normal projective surface with log canonical singularities such that K X is ample. Let f: Y X be the minimal resolution of singularities and V the at most hyperbolic system of vectors formed by the integral curves on Y with negative selfintersection. By [8], Corollary 1.9, all singularities of X are rational. Hence by [1], Theorem 4.7 the associated weighted graph of the subsystem V of V formed by the integral curves on
Y with self-intersection at most is a tree without multiple edges. V is an elliptic log canonical system (see [1], Lemma.1.). Hence the connected components of its associated weighted graph are Γ 1, Γ, Γ or Γ 4. Proposition A..4 (cf. [1], Proposition 1..4). Let X be a normal projective surface with log canonical singularities such that K X is ample. Assume that X is rational and different from P, P 1 P 1, the blow-up of P at one point and the contraction of the section with negative self-intersection on a Hirzebruch surface F n = P(O O(n)) P 1, n. Let f: Y X be the minimal resolution of singularities and V the hyperbolic system of vectors formed by the integral curves on Y with negative self-intersection. If W V is a Lanner log canonical subsystem with at least 4 elements, then W is obtained by a sequence of blow-ups from a Lanner log canonical system with the Gram matrix G 1 (1,1;), G 1 (1,;), G 1 (1,;), G 1 (1,1;), G 1 (,;), G 1 (,;4), G (1,1,b), or G (1,1,b), G 4 (1,1,1), G 6 (1,1,1), where b. Proof: We need to exclude the other Lanner log canonical systems listed in Theorem A.1.8 (b). By the preceding remark V can not contain a subsystem with the associated graph H 8,1,..., H 0,14,1, H 0,4, H 1,..., H 4, as well as H 0,1, H 0,, H 0,. For the remaining cases we follow the argument of Nikulin in [1], Proposition 1..4. It goes through and shows that W can not be obtained by a sequence of blow-ups from a Lanner log canonical system with the associated graph among H 0,1, H 0,, H 0,, H 0, H 5,..., H 11 or from a Lanner log canonical system with the Gram matrix among G (1,4,b), G (4,1,b), G (1,4,b), G (1,9,b), G 4 (1,1,4), G 4 (4,1,4), G 5 (4,1,1), G 5 (4,1,4), G 5 (9,1,1), G 6 (1,1,4), G 7 (1,4,), G 7 (4,1,4), G 8 (1,4,b), as well as among G (,,b), G (,,b), G (,,b), G 5 (,,), G 6 (,,), G 6 (,,), G 7 (,,4), G 7 (,,6), G 8 (,,b), G 9 (,,4), G 9 (,,b). Note that when all proper subsystems of a Lanner log canonical system with the associated graph H 0,1, H 0, or H 0, are elliptic, one can not construct a different Lanner log canonical system out of it by blowing up. QED The next Theorem is the main result of this Appendix. Its proof is literally the same as the proof of [1], Theorem.1.1. Theorem A (cf. [1], Theorem.1.1). Let X be a rational normal projective surface with log canonical singularities such that K X is ample. Let f: Y X be the minimal res-
olution of singularities and V the at most hyperbolic system of vectors formed by the integral curves on Y with negative self-intersection. Then V is log canonical. Acknowledgement. We thank Beijing International Center for Mathematical Research and Peking University for providing excellent working conditions in which this note was prepared. We owe a lot to the works [1] by Nikulin and [1] by Alexeev. Paper [10] was also beneficial to us. We thank Manoj Verma for sending it to us. References [1] V. Alexeev, Fractional indices of log Del Pezzo surfaces, Mathematics of the USSR - Izvestiya (1989), 61 69. [], Correction to the paper Fractional indices of log Del Pezzo surfaces, Mathematics of the USSR - Izvestiya 7 (1991), 465 465. [], Two two-dimensional terminations, Duke Mathematical Journal 69 (199), 57 545. [4] V. Alexeev and V. Nikulin, Del Pezzo and K surfaces, MJM Memoirs, vol. 15, Mathematical Society of Japan, 006. [5] L. Bădescu, Anticanonical models of ruled surfaces, Annali dell Università di Ferrara. Nuova Serie. Sezione VII. Scienze Matematiche. 9 (198), 165 177. [6] O. Fujino, Fundamental theorems for the log minimal model program, Publications of the Research Institute for Mathematical Sciences, Kyoto University 47 (011), 77 789. [7] O. Fujino and Y. Ishitsuka, On the ACC for lengths of extremal rays, Tohoku Mathematical Journal 65 (01), 9 10. [8] T. Fujisawa, On non-rational numerical del Pezzo surfaces, Osaka Journal of Mathematics (1995), 61 66. [9] H. Kojima and T. Takahashi, Notes on minimal compactifications of the affine plane, Annali de Matematica 188 (009), 15 169. [10], Normal del Pezzo surfaces of rank one with log canonical singularities, Journal of Algebra 60 (01), 5 70. [11] J. Kollár and S. Kovács, Birational geometry of log surfaces, unpublished, available at https://web.math.princeton.edu/~kollar/ (1994). [1] J. Kollár and S. Mori, Birational geometry of algebraic varieties, Cambridge tracts in mathematics, vol. 14, Cambridge University Press, 1998. 4
[1] V. Nikulin, Del Pezzo surfaces with log-terminal singularities. II, Mathematics of the USSR - Izvestiya (1989), 55 7. [14], Del Pezzo surfaces with log-terminal singularities, Mathematics of the USSR - Sbornik 66 (1990), 1 48. [15] D. Zhang, Logarithmic del Pezzo surfaces of rank one with contractible boundaries, Osaka Journal of Mathematics 5 (1988), 461 497. 5