arxiv: v1 [math.ag] 29 Dec 2016

Transcription

1 OPEN SURFACES OF SMALL VOLUME VALERY ALEXEEV AND WENFEI LIU arxiv:.09v [math.ag] 9 Dec 0 Abstract. We construct a surface with log terminal singularities and ample canonical class that has KX = /8,98 and a log canonical pair (X, B) with a nonempty reduced divisor B and ample K X + B that has (K X + B) = /. Both examples significantly improve known records. Contents. Introduction. The method of construction. Combinatorial game. Examples with weights (0,,, ) : /0 and (,,, ) : /. An example with nonempty boundary: /. An example with empty boundary: /8,98 9 References 9. Introduction Let U be a smooth quasiprojective surface, and let S be a smooth compactification such that D = S \ U is a normal crossing divisor. The open surface U is said to be of general type if K S + D is big. This condition and the spaces of pluri log canonical sections H 0 (n(k S + D)) for all n 0 depend only on U and not on the choice of a particular normal crossing compactification (S, D). Since K S + D is big, the number of its sections grows quadratically: h 0 (n(k S + D)) cn /. After passing to the log canonical model (S can, D can ) where K Scan + D can is ample, one sees that c = (K Scan + D can ) and it is called the volume of the pair (S, D), equivalently the volume of U, and is denoted by vol(k S +D) = vol(u). Vice versa, if (X, B) is a log canonical pair with reduced boundary B and ample K X + B, and if f : S X is its log resolution with exceptional divisors {E i } then vol ( S \ (f (B) E i ) ) = vol(k S + f B + E i ) = vol(k X + B) = (K X + B). Question.. How small could a volume of an open surface U of general type be? Equvalently, how small could (K X + B) be for a log canonical pair with reduced boundary B and ample K X + B? The basic result in this direction is the following quite general Date: December 8, 0.

2 VALERY ALEXEEV AND WENFEI LIU Theorem. (Alexeev, [Ale9]). Let (X, B = b i B i ) be a log canonical pair with coefficients b i belonging to a DCC set S [0, ] (that is, a set satisfying descending chain condition). Then the set of squares (K X + B) is also a DCC set. In particular, it has a minimum, a positive number real number, rational if S Q. We will denote this minimum by K (S). Some interesting DCC sets are S 0 =, S = {}, S = { n, n N}, S = S {}. The paper [AM0] gives an effective, computable lower bound for K (S) in terms of the set S, which is however too small to be realistic. A version of the above definition is to look at the pairs (X, B) with nonempty reduced part of the boundary B 0. We will denote the minimum in this case by K (S). Clearly, one has K (S ) K (S ) K (S 0 ) and K (S ) K (S ). There are some known bounds for K (S) and K(S) for the aforementioned sets: () K (S 0 ). () K(S ) 0. () K(S ) = =, and thus K (S ). () K (S ) ( ) and the bound is conjectured to be sharp. The first of these bounds follows from an example of Blache [Bla9]. The others are due to Kollár [Kol9, Kol]. Knowing the exact bounds is important for many applications. As explained in [Kol9], a stable limit of surfaces of general type of volume d has at most d/k(s ) irreducible components. Thus, as a corollary of Kollár s bound K(S ) the number of irreducible components is at most d. Other applications include bounds for the automorphism groups of surfaces and surface pairs of general type, see e.g. [Kol9, Ale9] for more discussion. The constant K (S ) also appears to be a very interesting and fundamental global invariant in its own right: it is the smallest volume of a smooth open surface. The main result of this paper is the following: Theorem.. One has K (S ), and K (S ) = K (S 0 ) 8,98. Section explains the method which we used to find the new examples. We restate it in Section as a purely combinatorial game with weights (w 0, w, w, w ). Section contains some easy instances of this game for the simplest weights (0,,, ), (,,, ) giving in particular Kollár s example with (K X + B) = 0. Sections and contain our champion examples for the winning weights (,,, ): a surface with a nonempty boundary and (K X + B) = =, and a surface without boundary and KX = 8,98 =. Further, we note that Kollár s lower bound for K(S ) is a combination of two inequalities. One defines two invariants of a DCC set S: Definition.. () Let (X, B) be a log canonical surface with ample K X + B and B 0. Then ɛ (X, B) := min {(K X + B)B 0 } B 0 B and ɛ (S) is the minimum of these numbers as (X, B) go over all pairs with coefficients in S.

3 OPEN SURFACES OF SMALL VOLUME () δ (S) is the minimum of t > 0 such that there exists a log canonical pair (X, ( t)b 0 + ) with K X + ( t)b such that the coefficients of are in S. () We also define a closely related invariant of an individual big log canonical divisor: δ (X, B) is the minimum of t such that K X + B tb 0 is not big for some 0 B 0 B, or if this minimum is >. Then according to [Kol9] one has (K X + B) ɛ (S)δ (S) and ɛ (S ) = δ (S ) =. In Section we give an example that shows that the equality ɛ (S ) = also holds. As for δ (S ), we were not able to find better than with the present method, which is the same as in Kollár s example with (K X +B 0 ) = 0. All constructions and examples in this paper work over an algebraically closed field of arbitrary characteristic. Acknowledgements. The work of the first author was partially supported by NSF under DMS-00. The second author was supported by NSFC (No. 00) and by the Recruitment Program for Young Professionals. He would like to thank Sönke Rollenske and Stephen Coughlan for helpful discussions about log canonical surfaces with small volumes. Especially Sönke Rollenske helped to transform Kollár s example to P with four lines, as illustrated in Section.. The method of construction We begin with four lines L 0, L, L, L in P in general position. Let f : X P be a sequence of blowups, each at a point of intersection of two divisors that appeared so far: exceptional divisors, lines, and their strict preimages. We will call thus obtained divisors on X the visible curves. We will assume that enough blowups were performed so that the strict preimages of lines satisfy L k. Thus, all visible curves will have negative self-intersection. Let E i be the visible curves with Ei and C j be the visible curves with Cj =. Now assume that the curves {E i} form a log terminal configuration, i.e., a configuration of exceptional curves on the minimal resolution of a surface with log terminal singularities. Each connected component of the dual graph is of type A n (i.e. a chain) with no further restrictions on self-intersections Ei, and one of the graphs of types D n and E n, with restrictions on self-intersections, see e.g. [Ale9]. Log terminal configurations are rational and, by Artin [Art], the curves E i on X can be contracted to obtain a projective surface X. Let π : X X be the contraction morphism. (More generally, one may assume that {E i } form a log canonical configuration. In our examples, only log terminal singularities occur.) The surface X is then the minimal resolution of singularities of X and one has K X = π K X + a i E i, π K X = K X + := K X + b i E i. Here, a i are the discrepancies and b i = a i. The numbers b i satisfy the following linear system of n equations in n variables: (.) (K X + b i E i )E j = 0 i b i E i E j = E j + for any j By Mumford, the matrix (E i E j ) is negative-definite, so this system has a unique solution. By Artin [Art], all entries of the matrix (E i E j ) are 0. Since the

4 VALERY ALEXEEV AND WENFEI LIU right-hand sides are Ej + 0, it follows that b i 0. convenient closed-form formulas for b i s, see also [Miy0]. [Ale9] contains some Theorem.. Let C j be the visible ( )-curves on X. Assume that: () For all C j one has K X π (C j ) 0 (resp. K X π (C j ) > 0). () K X > 0. () There exist four rational numbers d 0, d, d, d with d k = such that the coefficients of C j in the formula below are all d j 0 (resp. all d j < 0). K X + D := f (K P + d k L k ) = K X + d i E i + d j C j. Then the divisor K X is big and nef (resp. ample). Proof. Of course, () and () are necessary for K X to be big and nef (resp. ample). Condition () implies that K X is an effective linear combination of the curves π(c j ). Indeed, K X + D = f (0) = 0, so K X = π ( D) = ( d j )π (C j ). So, K X intersects any irreducible curve on X nonnegatively. Thus, K X is nef. For ampleness, note that union of visible curves supports an effective ample divisor. Thus, any curve on X intersects its image, π(c j ). Therefore, any irreducible curve on X intersects ( d j )π (C j ) positively, and so K X is ample by Nakai-Moishezon criterion. Remark.. Even if K X is only big and nef, it is semiample by Abundance Theorem in dimension, so its canonical model has ample K Xcan and the same square KX can = KX. Remark.. We usually assume that 0 d k (so that d k L k is a boundary in the standard MMP terminology), or at least that d k (so that it is a sub boundary ). But this is not necessary for the above proof. The coefficients d i, d j in the divisor D for the visible curves E i, C j are readily computable. The formula is especially simple in terms of the quantities ( d i ), which are just the log discrepancies of (P, d k L k ): after blowing up the point of intersection of two curves with log discrepancies d, d, the new log discrepancy is d = ( d ) + ( d ). In other words, the log discrepancies add up. The above will be our essential method for finding new examples in the case of the empty boundary. For the examples with a nonempty boundary, we do not contract the strict preimage of the line L 0, which we denote by B 0. We no longer include B 0 in either collections {E i }, {C j }. We modify the assumption made at the beginning of this Section to allow B 0 to be nonnegative, since it is a special curve. Let B 0 be the image of B 0 on X. Then we define the discrepancies for the pair (X, B 0 ) via π (K X + B 0 ) = K X + := K X + B 0 + b i E i. With this modification, Theorem. readily extends: Theorem.. Let C j be the visible ( )-curves on X. Assume that: () For all C in {π(c j ), B 0 } one has (K X +B 0 )C 0 (resp. (K X +B 0 )C > 0). () (K X + B 0 ) > 0.

5 OPEN SURFACES OF SMALL VOLUME () There exist four rational numbers d 0, d, d, d with d k = such that the coefficients of C j in the formula below are all d j 0 (resp. all d j < 0). K X + D := f (K P + d k L k ) = K X + d 0 B0 + d i E i + d j C j In addition, assume that d 0 (resp. d 0 < ). Then the divisor K X + B 0 is big and nef (resp. ample). Proof. The same proof as in Theorem. gives that K X + d 0 B 0 is an effective (resp. strictly positive) combination of the curves π(c j ). But then so is K X +B 0 = K X + d 0 B 0 + ( d 0 )B 0. If d 0 < then B 0 appears in this sum with a positive coefficient. The rest of the proof is the same. We now state without proof some easy formulas. Lemma.. The following hold. (For the surface without a boundary, omit B 0.) () (K X + B 0 )π (C j ) = (K X + )C j = + B 0 C j + i b ie i C j. () (K X + B 0 ) = (K X + ) = K X + K X + ( B 0 ) B 0. For the surface without a boundary, K X = (K X + ) = K X + K X. () K X = 9 (the number of blowups in X P ). () K XE i = E i and K X B0 = B 0.. Combinatorial game As usual, we associate with a configuration of curves on a surface its dual graph. The vertices are labeled with marks Ei (we call them marks because we use weights for a different purpose). Thus, the initial configuration of lines on P corresponds to a complete graph on four vertices with marks,,,, and we have a graph desribing the visible curves on X. To simplify the typography, the ( )-curves C j are shown in white with no marks. The exceptional curves E i are shown in black, and the marks are omitted. The reduced boundary B 0, if present, is shown as a crossed vertex. We call the dual graph of the visible curves on X the visible graph. It can be obtained by performing a series of insertions in the initial graph on four vertices with given marks,,,. Each instance is an insertion of a new vertex v with mark between two vertices v, v, at the same time increasing the marks of v and v by. Now we attach a weight to each vertex of the visible graph. First we choose rational numbers w 0, w, w, w for the four vertices of the initial graph, called the initial weights. We define the weights for the other vertices inductively in the process of inserting vertices as follows. As a new vertex v is inserted between two vertices v, v with already assigned weights w(v ) and w(v ), we define the weight of v to be w(v ) = w(v ) + w(v ). Indeed, our weights are just the suitably normalized log discrepancies for the pair (P, k=0 d kl k ): w s = n( d s ) for some positive rational number n, for all the visible curves. We can always rescale n to make w s integers, if we like. Lemma.. In terms of the weights, the conditions on the coefficients d k, d 0, d j in Theorems. and. translate to the following: () d 0 + d + d + d = n = w 0 + w + w + w.

6 VALERY ALEXEEV AND WENFEI LIU () d j 0 (resp. d j < 0) for a visible ( )-curve C j the weight w j n. (resp. w j > n) for the corresponding white vertex. () In the case with a nonempty boundary, d 0 (resp. d 0 < ) for the curve B 0 w 0 0 (resp. w 0 > 0) for the corresponding crossed vertex. For as long as the weights satisfy these conditions, all we have to do is this: () Make sure that the configuration of the black vertices {E i } is log terminal. () Compute the negatives of the discrepancies b i from the linear system., or using the formulas from [Ale9], or by any other method. () Make sure that K X π (C j ) 0, K X B0 > 0 (if B 0 is present), and K X > 0 (resp. (K X + B 0 ) > 0) using the formulas in Lemma.. If all of these are satisfied then we get ourselves an example of a log canonical surface (which is either X or X can ) with ample (log) canonical divisor. The visible graph is homeomorphic to a complete graph on four vertices, but the edges between the corners may contain many intermediate vertices. Definition.. We call an edge a Calabi-Yau (or CY) edge if all the white vertices on this edge have weights n, that is, they have discrepancies d i = 0. The picture below shows two examples of edges that we use. In general, if the end vertices have weights w, w then vertices in the interior of this chain have weights of the form m w +m w for some coprime positive integers m, m, and the way in which these integers are produced in the sequence of blowups is equivalent to the well known in number theory Stern-Brocot tree. Thus, every edge is encoded by a sequence of positive rational numbers {m,i /m,i } for the white vertices. For the two examples above, the sequences are {m/} and {m/, /m }. For a CY edge, these numbers must satisfy the condition m,i w + m,i w = n. The following two lemmas are very easy and are given without proof. Lemma.. () Suppose that all edges in the visible graph are CY edges. If B 0 0 then in addition suppose that the weight w 0 = 0. Then one has K X 0 (resp. K X + B 0 0). () Suppose that all edges are CY, except for one where there is a unique white vertex of weight n +. If B 0 0 then in addition suppose that the weight w 0 = 0. Then K X nc, where C is an image of a ( )-curve corresponding to that special white vertex (resp. K X + B 0 n C). () In the case with the nonempty boundary, suppose that all edges are CY and that the weight of L 0 is. Then K X + B 0 n B 0 and K X n n B 0. Lemma.. In the last case () of Lemma., the invariant δ defined in (.) equals δ (X, B 0 ) = n. In all cases with nonempty boundary, one has ɛ (X, B 0 ) = + b i E i B0. Our main strategy for finding interesting examples is this: start with a CY situation, i.e., case () of Lemma., and then go just one step up, to get in the

7 OPEN SURFACES OF SMALL VOLUME situation of cases () or (). The (log) canonical divisor is then guaranteed to be quite small. Remark.. The surfaces X appearing in case () of Lemma. with empty boundary satisfy K X 0 and H (O X ) = 0, and are sometimes called log Enriques surfaces. Our constuction with weights provides a huge supply of such surfaces.. Examples with weights (0,,, ) : /0 and (,,, ) : / Figure gives the smallest volumes that can be achieved playing the combinatorial game with B 0 and weights (0,,, ), and with B = 0 and weights (,,, ). 9 0 Figure. Surfaces with (K X + B) = 0 and K X = Notation.. The large numbers are marks, when not equal to or. The blue small numbers underneath are the weights, and the red fractional numbers on top are b i, the negatives of discrepancies. For the first pair (X, B) one has ɛ = = 0. There is an alternative choice of weights (,,, ) in this case, for which this pair fits into the case () of Lemma., i.e. all edges are CY. Then δ = by Lemma., and (K + B) = 0 = 0. In fact, another description for this pair is (X, B) = (P(,, ), D ) where D is a degree weighted hypersurface, and this is exactly Kollár s example from [Kol]. One has rank Pic X =, and K X + B, B, and K X are ample. For the second pair we can also choose the weights ( ɛ,, +ɛ, +ɛ), 0 < ɛ <, for which (.), (.) give that K X is ample and not just big and nef.. An example with nonempty boundary: / Figure shows the smallest volume for the pairs (X, B) with nonempty boundary that we were able to find by our method. The winning weights are (,,, ) This pair achieves the minimal possible value of ɛ = =. On the other hand, one has K X + B B and δ = by Lemma.. Thus, (K X + B) = ɛ δ in this case. The divisor K X + B is big and nef but there are no weights for which (.), (.) or a variation of them show that K X +B is ample. The canonical model has ample K Xcan + B can and (K Xcan + B can ) = (K X + B) =.

8 8 VALERY ALEXEEV AND WENFEI LIU 8 8 Figure. Surface with (K X + B) = and B Figure. Surface with K X = 8,98 9 0

9 OPEN SURFACES OF SMALL VOLUME 9. An example with empty boundary: /8,98 The last Figure shows our champion example without the boundary which has KX = 8,98 =. The set of winning weights in this case is again (,,, ). Since 8,98 >, this example shows that K (S ) is achieved when the boundary is empty, that is, K(S ) > K (S ) = K (S 0 ). As one can easily see, the surface X in this case is obtained from the corresponding surface X of the previous section by additional blowups along one of the edges. Similarly to the previous case, the divisor K X is big and nef but there are no weights for which (.), (.) or a variation of them show that K X is ample. But the canonical model X can has ample canonical class and KX can = KX = 8,98. References [Ale9] Valery Alexeev, Log canonical surface singularities: arithmetical approach, Flips and abundance for algebraic threefolds, Société Mathématique de France, Paris, 99, Papers from the Second Summer Seminar on Algebraic Geometry held at the University of Utah, Salt Lake City, Utah, August 99, Astérisque No. (99), pp. 8. [Ale9], Boundedness and K for log surfaces, Internat. J. Math. (99), no., [AM0] Valery Alexeev and Shigefumi Mori, Bounding singular surfaces of general type, Algebra, arithmetic and geometry with applications (West Lafayette, IN, 000), Springer, Berlin, 00, pp.. [Art] Michael Artin, Some numerical criteria for contractability of curves on algebraic surfaces, Amer. J. Math. 8 (9), 8 9. [Bla9] Raimund Blache, An example concerning Alexeev s boundedness results on log surfaces, Math. Proc. Cambridge Philos. Soc. 8 (99), no., 9. [Kol9] János Kollár, Log surfaces of general type; some conjectures, Classification of algebraic varieties (L Aquila, 99), Contemp. Math., vol., Amer. Math. Soc., Providence, RI, 99, pp.. [Kol], Moduli of varieties of general type, Handbook of moduli. Vol. II,, Adv. Lect. Math. (ALM),, Int. Press, Somerville, MA, 0. [Miy0] Masayoshi Miyanishi, Open algebraic surfaces. CRM Monograph Series,. American Mathematical Society, Providence, RI, 00. viii+9 pp. ISBN: