ACC for minimal lengths of extremal rays for surfaces.

Size: px
Start display at page:

Download "ACC for minimal lengths of extremal rays for surfaces."

Transcription

1 ACC for minimal lengths of extremal rays for surfaces. Evgeny Mayanskiy arxiv: v1 [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

2 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 }.

3 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.

4 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

5 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

6 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

7 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 a p a 1 1. A = 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 a p a 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

8 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

9 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

10 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

11 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 α 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

12 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 Γ p+1 q+1 r+1 Γ 6 cycle with n vertices Γ 5 Picture 1. 1

13 Proof: The proof is the same as that of [1], Theorem 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 ) P 1 P P P 7 P 8 Picture. P 4 P 5 P 6 1

14 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

15 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 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

16 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: b 1 r 0 r b 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

17 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 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

18 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

19 H 10, H 11,1 a H 11, ( a {, 4 } ) a 6 a a a 6 a a 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

20 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

21 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 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

22 Proof: This follows from Corollary A.1.5 and Corollary A.1.7 as in the proof of [1], Corollary 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

23 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 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-

24 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), [], Correction to the paper Fractional indices of log Del Pezzo surfaces, Mathematics of the USSR - Izvestiya 7 (1991), [], Two two-dimensional terminations, Duke Mathematical Journal 69 (199), [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), [6] O. Fujino, Fundamental theorems for the log minimal model program, Publications of the Research Institute for Mathematical Sciences, Kyoto University 47 (011), [7] O. Fujino and Y. Ishitsuka, On the ACC for lengths of extremal rays, Tohoku Mathematical Journal 65 (01), [8] T. Fujisawa, On non-rational numerical del Pezzo surfaces, Osaka Journal of Mathematics (1995), [9] H. Kojima and T. Takahashi, Notes on minimal compactifications of the affine plane, Annali de Matematica 188 (009), [10], Normal del Pezzo surfaces of rank one with log canonical singularities, Journal of Algebra 60 (01), [11] J. Kollár and S. Kovács, Birational geometry of log surfaces, unpublished, available at (1994). [1] J. Kollár and S. Mori, Birational geometry of algebraic varieties, Cambridge tracts in mathematics, vol. 14, Cambridge University Press,

25 [1] V. Nikulin, Del Pezzo surfaces with log-terminal singularities. II, Mathematics of the USSR - Izvestiya (1989), [14], Del Pezzo surfaces with log-terminal singularities, Mathematics of the USSR - Sbornik 66 (1990), [15] D. Zhang, Logarithmic del Pezzo surfaces of rank one with contractible boundaries, Osaka Journal of Mathematics 5 (1988),

The Maximal Number of Singular Points on Log del Pezzo Surfaces

The Maximal Number of Singular Points on Log del Pezzo Surfaces J. Math. Sci. Univ. Tokyo 16 (2009), 231 238. The Maximal Number of Singular Points on Log del Pezzo Surfaces By Grigory Belousov Abstract. We prove that a del Pezzo surface with Picard number one has

More information

On a connectedness principle of Shokurov-Kollár type

On a connectedness principle of Shokurov-Kollár type . ARTICLES. SCIENCE CHINA Mathematics March 2019 Vol. 62 No. 3: 411 416 https://doi.org/10.1007/s11425-018-9360-5 On a connectedness principle of Shokurov-Kollár type Christopher D. Hacon 1 & Jingjun Han

More information

FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES. 1. Introduction

FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES. 1. Introduction FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES ELENA CHIERICI AND GIANLUCA OCCHETTA Abstract. We study Fano manifolds of pseudoindex greater than one and dimension greater than five, which

More information

The Cone Theorem. Stefano Filipazzi. February 10, 2016

The Cone Theorem. Stefano Filipazzi. February 10, 2016 The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview

More information

arxiv:math/ v1 [math.ag] 11 Apr 2003 James McKernan and Yuri Prokhorov

arxiv:math/ v1 [math.ag] 11 Apr 2003 James McKernan and Yuri Prokhorov THREEFOLD THRESHOLDS arxiv:math/0304152v1 [math.ag] 11 Apr 2003 James McKernan and Yuri Prokhorov Abstract. We prove that the set of accumulation points of thresholds in dimension three is equal to the

More information

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

More information

locus such that Γ + F = 0. Then (Y, Γ = Γ + F ) is kawamata log terminal, and K Y + Γ = π (K X + ) + E + F. Pick H ample such that K Y + Γ + H is nef

locus such that Γ + F = 0. Then (Y, Γ = Γ + F ) is kawamata log terminal, and K Y + Γ = π (K X + ) + E + F. Pick H ample such that K Y + Γ + H is nef 17. The MMP Using the cone (16.6) and contraction theorem (16.3), one can define the MMP in all dimensions: (1) Start with a kawamata log terminal pair (X, ). (2) Is K X + nef? Is yes, then stop. (3) Otherwise

More information

Linear systems and Fano varieties: BAB, and related topics

Linear systems and Fano varieties: BAB, and related topics Linear systems and Fano varieties: BAB, and related topics Caucher Birkar New advances in Fano manifolds, Cambridge, December 2017 References: [B-1] Anti-pluricanonical systems on Fano varieties. [B-2]

More information

arxiv: v1 [math.ag] 30 Apr 2018

arxiv: v1 [math.ag] 30 Apr 2018 QUASI-LOG CANONICAL PAIRS ARE DU BOIS OSAMU FUJINO AND HAIDONG LIU arxiv:1804.11138v1 [math.ag] 30 Apr 2018 Abstract. We prove that every quasi-log canonical pair has only Du Bois singularities. Note that

More information

IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID. Mustapha Lahyane and Brian Harbourne

IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID. Mustapha Lahyane and Brian Harbourne IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID Mustapha Lahyane and Brian Harbourne We give necessary and sufficient conditions for a divisor

More information

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

More information

NOTES ON THE LOG MINIMAL MODEL PROGRAM

NOTES ON THE LOG MINIMAL MODEL PROGRAM NOTES ON THE LOG MINIMAL MODEL PROGRAM OSAMU FUJINO Abstract. We discuss the log minimal model program for log canonical pairs. We prove the existence of fourfold log canonical flips. This paper is also

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics RATIONAL POLYNOMIALS OF SIMPLE TYPE Walter D. Neumann and Paul Norbury Volume 204 No. 1 May 2002 PACIFIC JOURNAL OF MATHEMATICS Vol. 204, No. 1, 2002 RATIONAL POLYNOMIALS

More information

arxiv: v1 [math.ag] 15 Apr 2013

arxiv: v1 [math.ag] 15 Apr 2013 ON ISOLATED LOG CANONICAL CENTERS arxiv:1304.4173v1 [math.ag] 15 Apr 2013 CHIH-CHI CHOU Abstract. In this paper, we show that the depth of an isolated log canonical center is determined by the cohomology

More information

Smoothable del Pezzo surfaces with quotient singularities

Smoothable del Pezzo surfaces with quotient singularities Smoothable del Pezzo surfaces with quotient singularities Paul Hacking and Yuri Prokhorov Abstract We classify del Pezzo surfaces with quotient singularities and Picard rank which admit a Q-Gorenstein

More information

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical 7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:

More information

On conjugacy classes of the Klein simple group in Cremona group

On conjugacy classes of the Klein simple group in Cremona group Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an

More information

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2, Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu

More information

Minimal Model Theory for Log Surfaces

Minimal Model Theory for Log Surfaces Publ. RIMS Kyoto Univ. 48 (2012), 339 371 DOI 10.2977/PRIMS/71 Minimal Model Theory for Log Surfaces by Osamu Fujino Abstract We discuss the log minimal model theory for log surfaces. We show that the

More information

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be

More information

arxiv: v2 [math.ag] 23 Nov 2013

arxiv: v2 [math.ag] 23 Nov 2013 DIVISORS ON BURNIAT SURFACES VALERY ALEXEEV arxiv:1309.4702v2 [math.ag] 23 Nov 2013 Abstract. In this short note, we extend the results of [Alexeev-Orlov, 2012] about Picard groups of Burniat surfaces

More information

Finite generation of pluricanonical rings

Finite generation of pluricanonical rings University of Utah January, 2007 Outline of the talk 1 Introduction Outline of the talk 1 Introduction 2 Outline of the talk 1 Introduction 2 3 The main Theorem Curves Surfaces Outline of the talk 1 Introduction

More information

A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS

A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS DAVID MCKINNON Abstract. In this paper, we examine how well a rational point P on an algebraic variety X can be approximated by other rational

More information

arxiv: v4 [math.ag] 9 Nov 2017

arxiv: v4 [math.ag] 9 Nov 2017 A Q FACTORIAL COMPLETE TORIC VARIETY WITH PICARD NUMBER 2 IS PROJECTIVE arxiv:1504.03850v4 [math.ag] 9 Nov 2017 MICHELE ROSSI AND LEA TERRACINI Abstract. This paper is devoted to settle two still open

More information

Projective Images of Kummer Surfaces

Projective Images of Kummer Surfaces Appeared in: Math. Ann. 299, 155-170 (1994) Projective Images of Kummer Surfaces Th. Bauer April 29, 1993 0. Introduction The aim of this note is to study the linear systems defined by the even resp. odd

More information

Some Remarks on the Minimal Model Program

Some Remarks on the Minimal Model Program J. Math. Sci. Univ. Tokyo 22 (2015), 149 192. Some Remarks on the Minimal Model Program for Log Canonical Pairs By Osamu Fujino In memory of Professor Kunihiko Kodaira Abstract. We prove that the target

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves

More information

Geometric Manin s Conjecture and rational curves

Geometric Manin s Conjecture and rational curves Geometric Manin s Conjecture and rational curves Abstract Let X be a smooth projective Fano variety over the complex numbers. We study the moduli space of rational curves on X using the perspective of

More information

The cone conjecture for Calabi-Yau pairs in dimension two

The cone conjecture for Calabi-Yau pairs in dimension two The cone conjecture for Calabi-Yau pairs in dimension two Burt Totaro 1 Introduction A central idea of minimal model theory as formulated by Mori is to study algebraic varieties using convex geometry.

More information

Nef line bundles on M 0,n from GIT

Nef line bundles on M 0,n from GIT Nef line bundles on M 0,n from GIT David Swinarski Department of Mathematics University of Georgia November 13, 2009 Many of the results here are joint work with Valery Alexeev. We have a preprint: arxiv:0812.0778

More information

arxiv:math/ v1 [math.ag] 29 Nov 2003

arxiv:math/ v1 [math.ag] 29 Nov 2003 arxiv:math/0312012v1 [math.ag] 29 Nov 2003 A REMARK ON FANO THREEFOLDS WITH CANONICAL GORENSTEIN SINGULARITIES YURI G. PROKHOROV Abstract. We give some rationality constructions for Fano threefolds with

More information

ADJUNCTION AND INVERSION OF ADJUNCTION

ADJUNCTION AND INVERSION OF ADJUNCTION ADJUNCTION AND INVERSION OF ADJUNCTION STEFANO FILIPAZZI Abstract. These notes are meant to be a handout for the student seminar in algebraic geometry at the University of Utah. They are a short introduction

More information

HOW TO CLASSIFY FANO VARIETIES?

HOW TO CLASSIFY FANO VARIETIES? HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought

More information

arxiv: v4 [math.ag] 16 Mar 2019

arxiv: v4 [math.ag] 16 Mar 2019 A NOTE ON A SMOOTH PROJECTIVE SURFACE WITH PICARD NUMBER 2 SICHEN LI Abstract. We characterize the integral Zariski decomposition of a smooth projective surface with Picard number 2 to partially solve

More information

LOG MINIMAL MODELS ACCORDING TO SHOKUROV

LOG MINIMAL MODELS ACCORDING TO SHOKUROV LOG MINIMAL MODELS ACCORDING TO SHOKUROV CAUCHER BIRKAR Abstract. Following Shokurov s ideas, we give a short proof of the following klt version of his result: termination of terminal log flips in dimension

More information

Linear systems and Fano varieties: introduction

Linear systems and Fano varieties: introduction Linear systems and Fano varieties: introduction Caucher Birkar New advances in Fano manifolds, Cambridge, December 2017 References: [B-1] Anti-pluricanonical systems on Fano varieties. [B-2] Singularities

More information

Minimal model program and moduli spaces

Minimal model program and moduli spaces Minimal model program and moduli spaces Caucher Birkar Algebraic and arithmetic structures of moduli spaces, Hokkaido University, Japan 3-7 Sep 2007 Minimal model program In this talk, all the varieties

More information

ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6

ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6 ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES OSAMU FUJINO Abstract. We prove that any smooth projective variety with maximal Albanese dimension has a good minimal model. Contents 1. Introduction 1 2. Preliminaries

More information

A CONE THEOREM FOR NEF CURVES

A CONE THEOREM FOR NEF CURVES A CONE THEOREM FOR NEF CURVES BRIAN LEHMANN Abstract. Following ideas of V. Batyrev, we prove an analogue of the Cone Theorem for the closed cone of nef curves: an enlargement of the cone of nef curves

More information

Flops connect minimal models

Flops connect minimal models arxiv:0704.03v [math.ag] 8 Apr 2007 Flops connect minimal models Yujiro Kawamata February, 2008 Abstract A result by Birkar-Cascini-Hacon-McKernan together with the boundedness of length of extremal rays

More information

The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

More information

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand

More information

ON CREMONA TRANSFORMATIONS OF P 3 FACTORIZE IN A MINIMAL FORM

ON CREMONA TRANSFORMATIONS OF P 3 FACTORIZE IN A MINIMAL FORM REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 54, No. 2, 2013, Pages 37 58 Published online: November 25, 2013 ON CREMONA TRANSFORMATIONS OF P 3 FACTORIZE IN A MINIMAL FORM WHICH IVAN PAN Abstract. We

More information

COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

More information

UNIQUENESS OF C - AND C + -ACTIONS ON GIZATULLIN SURFACES

UNIQUENESS OF C - AND C + -ACTIONS ON GIZATULLIN SURFACES UNIQUENESS OF C - AND C + -ACTIONS ON GIZATULLIN SURFACES HUBERT FLENNER, SHULIM KALIMAN, AND MIKHAIL ZAIDENBERG Abstract. A Gizatullin surface is a normal affine surface V over C, which can be completed

More information

OSCULATION FOR CONIC FIBRATIONS

OSCULATION FOR CONIC FIBRATIONS OSCULATION FOR CONIC FIBRATIONS ANTONIO LANTERI, RAQUEL MALLAVIBARRENA Abstract. Smooth projective surfaces fibered in conics over a smooth curve are investigated with respect to their k-th osculatory

More information

The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6

The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 A Dissertation in Mathematics by Evgeny Mayanskiy c 2013 Evgeny Mayanskiy Submitted in Partial

More information

AN INFORMAL INTRODUCTION TO THE MINIMAL MODEL PROGRAM

AN INFORMAL INTRODUCTION TO THE MINIMAL MODEL PROGRAM AN INFORMAL INTRODUCTION TO THE MINIMAL MODEL PROGRAM ALEX KÜRONYA This is an expanded version of a talk given in the Fall 2007 Forschungsseminar at the Universität Duisburg-Essen. The purpose of our seminar

More information

Vanishing theorems for toric polyhedra

Vanishing theorems for toric polyhedra RIMS Kôkyûroku Bessatsu 4x (200x), 000 000 Vanishing theorems for toric polyhedra By Osamu Fujino Abstract A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of

More information

ON EXISTENCE OF LOG MINIMAL MODELS

ON EXISTENCE OF LOG MINIMAL MODELS ON EXISTENCE OF LOG MINIMAL MODELS CAUCHER BIRKAR Abstract. In this paper, we prove that the log minimal model program in dimension d 1 implies the existence of log minimal models for effective lc pairs

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

More information

Density of rational points on Enriques surfaces

Density of rational points on Enriques surfaces Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel

More information

ON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE

ON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE ON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE CHRISTOPHER D. HACON AND JAMES M C KERNAN Abstract. We prove a conjecture of V. V. Shokurov which in particular implies that the fibers of a resolution of

More information

ON THE LOG DISCREPANCIES IN TORIC MORI CONTRACTIONS

ON THE LOG DISCREPANCIES IN TORIC MORI CONTRACTIONS ON THE LOG DISCREPANCIES IN TORIC MORI CONTRACTIONS VALERY ALEXEEV AND ALEXANDER BORISOV arxiv:1208.3271v2 [math.ag] 7 Feb 2013 Abstract. It was conjectured by M c Kernan and Shokurov that for all Mori

More information

ASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp , March THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN

ASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp , March THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN ASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp. 095 100, March 2002 005 THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN HASSETT y, HUI-WEN LIN z, AND CHIN-LUNG WANG x 1.

More information

COMPLEX ALGEBRAIC SURFACES CLASS 15

COMPLEX ALGEBRAIC SURFACES CLASS 15 COMPLEX ALGEBRAIC SURFACES CLASS 15 RAVI VAKIL CONTENTS 1. Every smooth cubic has 27 lines, and is the blow-up of P 2 at 6 points 1 1.1. An alternate approach 4 2. Castelnuovo s Theorem 5 We now know that

More information

ACC FOR LOG CANONICAL THRESHOLDS

ACC FOR LOG CANONICAL THRESHOLDS ACC FOR LOG CANONICAL THRESHOLDS CHRISTOPHER D. HACON, JAMES M C KERNAN, AND CHENYANG XU To Vyacheslav Shokurov on the occasion of his sixtieth birthday Abstract. We show that log canonical thresholds

More information

Cones of effective divisors on the blown-up P3 in general lines

Cones of effective divisors on the blown-up P3 in general lines Loughborough University Institutional Repository Cones of effective divisors on the blown-up P3 in general lines This item was submitted to Loughborough University's Institutional Repository by the/an

More information

Web of threefold bases in F-theory and machine learning

Web of threefold bases in F-theory and machine learning and machine learning 1510.04978 & 1710.11235 with W. Taylor CTP, MIT String Data Science, Northeastern; Dec. 2th, 2017 1 / 33 Exploring a huge oriented graph 2 / 33 Nodes in the graph Physical setup: 4D

More information

ON SINGULAR CUBIC SURFACES

ON SINGULAR CUBIC SURFACES ASIAN J. MATH. c 2009 International Press Vol. 13, No. 2, pp. 191 214, June 2009 003 ON SINGULAR CUBIC SURFACES IVAN CHELTSOV Abstract. We study global log canonical thresholds of singular cubic surfaces.

More information

ON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS

ON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS ON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS OSAMU FUJINO AND YOSHINORI GONGYO Abstract. Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial

More information

PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM

PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM ALEX FINK 1. Introduction and background Consider the discrete conditional independence model M given by {X 1 X 2 X 3, X 1 X 3 X 2 }. The intersection axiom

More information

arxiv: v1 [math.ag] 25 Jan 2013

arxiv: v1 [math.ag] 25 Jan 2013 arxiv:1301.5972v1 [math.ag] 25 Jan 2013 The SME property and varieties of log general type Sabin Cautis Dedicated to Joe Harris, with admiration on the occasion of his sixtieth birthday. Abstract. We speculate

More information

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.

More information

arxiv:math/ v3 [math.ag] 1 Mar 2006

arxiv:math/ v3 [math.ag] 1 Mar 2006 arxiv:math/0506132v3 [math.ag] 1 Mar 2006 A NOTE ON THE PROJECTIVE VARIETIES OF ALMOST GENERAL TYPE SHIGETAKA FUKUDA Abstract. A Q-Cartier divisor D on a projective variety M is almost nup, if (D, C) >

More information

FUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM

FUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM FUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM OSAMU FUJINO Abstract. In this paper, we prove the cone theorem and the contraction theorem for pairs (X, B), where X is a normal variety and B is

More information

arxiv: v3 [math.ag] 25 Mar 2013

arxiv: v3 [math.ag] 25 Mar 2013 NEF AND SEMIAMPLE DIVISORS ON RATIONAL SURFACES arxiv:1104.4270v3 [math.ag] 25 Mar 2013 ANTONIO LAFACE AND DAMIANO TESTA Abstract. In this paper we study smooth projective rational surfaces, defined over

More information

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X 2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:

More information

KAWAMATA VIEHWEG VANISHING THEOREM

KAWAMATA VIEHWEG VANISHING THEOREM KAWAMATA VIEHWEG VANISHING THEOREM OSAMU FUJINO 0.1. Kawamata Viehweg vanishing theorem. In this subsection, we generalize Theorem?? z-vani for the latter usage. The following theorem is well known as

More information

Rational Curves On K3 Surfaces

Rational Curves On K3 Surfaces Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:

More information

BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE

BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE CHRISTOPHER D. HACON, JAMES M C KERNAN, AND CHENYANG XU Abstract. We show that the family of semi log canonical pairs with ample log canonical class and

More information

arxiv: v1 [math.ag] 26 Sep 2016

arxiv: v1 [math.ag] 26 Sep 2016 arxiv:1609.08031v1 [math.ag] 26 Sep 2016 Smoothings and Rational Double Point Adjacencies for Cusp Singularities Introduction Philip Engel and Robert Friedman September 27, 2016 Let (X, x) be the germ

More information

Geometry of the theta divisor of a compactified jacobian

Geometry of the theta divisor of a compactified jacobian J. Eur. Math. Soc. 11, 1385 1427 c European Mathematical Society 2009 Lucia Caporaso Geometry of the theta divisor of a compactified jacobian Received October 16, 2007 and in revised form February 21,

More information

RATIONAL CURVES ON PRIME FANO THREEFOLDS OF INDEX 1

RATIONAL CURVES ON PRIME FANO THREEFOLDS OF INDEX 1 RATIONAL CURVES ON PRIME FANO THREEFOLDS OF INDEX 1 BRIAN LEHMANN AND SHO TANIMOTO Abstract. We study the moduli spaces of rational curves on prime Fano threefolds of index 1. For general threefolds of

More information

Moduli spaces of log del Pezzo pairs and K-stability

Moduli spaces of log del Pezzo pairs and K-stability Report on Research in Groups Moduli spaces of log del Pezzo pairs and K-stability June 20 - July 20, 2016 Organizers: Patricio Gallardo, Jesus Martinez-Garcia, Cristiano Spotti. In this report we start

More information

THE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM. (Received October 28, 1978, revised October 6, 1979)

THE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM. (Received October 28, 1978, revised October 6, 1979) Tohoku Math. Journ. 32 (1980), 337-351. THE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM SHIGERU IITAKA (Received October 28, 1978, revised October 6, 1979) Introduction. When we study

More information

Porteous s Formula for Maps between Coherent Sheaves

Porteous s Formula for Maps between Coherent Sheaves Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for

More information

EXAMPLES OF MORI DREAM SURFACES OF GENERAL TYPE WITH p g =0 arxiv: v2 [math.ag] 7 May 2018

EXAMPLES OF MORI DREAM SURFACES OF GENERAL TYPE WITH p g =0 arxiv: v2 [math.ag] 7 May 2018 EXAMPLES OF MORI DREAM SURFACES OF GENERAL TYPE WITH p g =0 arxiv:1804.08382v2 [math.ag] 7 May 2018 JONGHAE KEUM AND KYOUNG-SEOG LEE Abstract. In this paper we study effective, nef and semiample cones

More information

TitleHYPERELLIPTIC SURFACES WITH K^2 < 4. Author(s) Rito, Carlos; Sánchez, María Martí. Citation Osaka Journal of Mathematics.

TitleHYPERELLIPTIC SURFACES WITH K^2 < 4. Author(s) Rito, Carlos; Sánchez, María Martí. Citation Osaka Journal of Mathematics. TitleHYPERELLIPTIC SURFACES WITH K^2 < 4 Author(s) Rito, Carlos; Sánchez, María Martí Citation Osaka Journal of Mathematics. 52(4) Issue 2015-10 Date Text Version publisher URL http://hdl.handle.net/11094/57673

More information

arxiv: v1 [math.ag] 4 Aug 2008

arxiv: v1 [math.ag] 4 Aug 2008 ON THE DANILOV-GIZATULLIN ISOMORPHISM THEOREM HUBERT FLENNER, SHULIM KALIMAN, AND MIKHAIL ZAIDENBERG arxiv:0808.0459v1 [math.ag] 4 Aug 2008 Abstract. A Danilov-Gizatullin surface is a normal affine surface

More information

K3 Surfaces and Lattice Theory

K3 Surfaces and Lattice Theory K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9

More information

EXISTENCE OF LOG CANONICAL FLIPS AND A SPECIAL LMMP

EXISTENCE OF LOG CANONICAL FLIPS AND A SPECIAL LMMP EXISTENCE OF LOG CANONICAL FLIPS AND A SPECIAL LMMP CAUCHER BIRKAR Abstract. Let (X/Z, B + A) be a Q-factorial dlt pair where B, A 0 are Q-divisors and K X +B+A Q 0/Z. We prove that any LMMP/Z on K X +B

More information

ACC for log canonical thresholds and termination of log flips. Caucher Birkar. May 28, 2006

ACC for log canonical thresholds and termination of log flips. Caucher Birkar. May 28, 2006 ACC for log canonical thresholds and termination of log flips Caucher Birkar May 28, 2006 Abstract We prove that the ascending chain condition (ACC) for log canonical (lc) thresholds in dimension d, existence

More information

Special cubic fourfolds

Special cubic fourfolds Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows

More information

BIRATIONAL TRANSFORMATIONS OF WEIGHTED GRAPHS

BIRATIONAL TRANSFORMATIONS OF WEIGHTED GRAPHS BIRATIONAL TRANSFORMATIONS OF WEIGHTED GRAPHS HUBERT FLENNER, SHULIM KALIMAN, AND MIKHAIL ZAIDENBERG Dedicated to Masayoshi Miyanishi Abstract. We introduce the notion of a standard weighted graph and

More information

MA 206 notes: introduction to resolution of singularities

MA 206 notes: introduction to resolution of singularities MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be

More information

arxiv: v1 [math.ag] 2 Apr 2015

arxiv: v1 [math.ag] 2 Apr 2015 The Sarkisov program for Mori fibred Calabi Yau pairs ariv:1504.00557v1 [math.ag] 2 Apr 2015 Alessio Corti Department of Mathematics Imperial College London 180 Queen s Gate London, SW7 2AZ, UK July 30,

More information

DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES

DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES MATTIA TALPO Abstract. Tropical geometry is a relatively new branch of algebraic geometry, that aims to prove facts about algebraic varieties by studying

More information

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski 14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as

More information

Some examples of Calabi-Yau pairs with maximal intersection and no toric model

Some examples of Calabi-Yau pairs with maximal intersection and no toric model Some examples of Calabi-Yau pairs with maximal intersection and no toric model Anne-Sophie Kaloghiros Abstract It is known that a maximal intersection log canonical Calabi-Yau surface pair is crepant birational

More information

AN ANALOGUE OF LIOUVILLE S THEOREM AND AN APPLICATION TO CUBIC SURFACES. 1. Introduction

AN ANALOGUE OF LIOUVILLE S THEOREM AND AN APPLICATION TO CUBIC SURFACES. 1. Introduction AN ANALOGUE OF LIOUVILLE S THEOREM AND AN APPLICATION TO CUBIC SURFACES DAVID MCKINNON AND MIKE ROTH Abstract. We prove a strong analogue of Liouville s Theorem in Diophantine approximation for points

More information

EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE

EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE CAUCHER BIRKAR, PAOLO CASCINI, CHRISTOPHER D. HACON, AND JAMES M C KERNAN Abstract. We prove that the canonical ring of a smooth projective

More information

Compact hyperbolic Coxeter n-polytopes with n + 3 facets

Compact hyperbolic Coxeter n-polytopes with n + 3 facets Compact hyperbolic Coxeter n-polytopes with n + 3 facets Pavel Tumarkin Independent University of Moscow B. Vlassievskii 11, 11900 Moscow, Russia pasha@mccme.ru Submitted: Apr 3, 007; Accepted: Sep 30,

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

More information

arxiv: v1 [math.ag] 13 Mar 2019

arxiv: v1 [math.ag] 13 Mar 2019 THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

More information

Dimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov

Dimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov Dimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov David Favero University of Miami January 21, 2010 The Dimension of a Triangulated Category The Dimension of a Triangulated

More information

ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION

ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION OSAMU FUJINO Abstract. We reduce Iitaka s subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance

More information

ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10

ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10 ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10 OLIVIER DEBARRE, ATANAS ILIEV, AND LAURENT MANIVEL Abstract. We study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and

More information

Non-uniruledness results for spaces of rational curves in hypersurfaces

Non-uniruledness results for spaces of rational curves in hypersurfaces Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree

More information

An approach of the Minimal Model Program for horospherical varieties via moment polytopes

An approach of the Minimal Model Program for horospherical varieties via moment polytopes An approach of the Minimal Model Program for horospherical varieties via moment polytopes Boris Pasquier October 4, 2013 Abstract We describe the Minimal Model Program in the family of Q-Gorenstein projective

More information