Finite generation of pluricanonical rings

Size: px
Start display at page:

Download "Finite generation of pluricanonical rings"

Transcription

1 University of Utah January, 2007

2 Outline of the talk 1 Introduction

3 Outline of the talk 1 Introduction 2

4 Outline of the talk 1 Introduction 2 3

5 The main Theorem Curves Surfaces Outline of the talk 1 Introduction The main Theorem Curves Surfaces 2 3

6 The main Theorem Curves Surfaces Notation I am interested in the birational classication of complex projective varieties. X P N C is dened by homogeneous polynomials P 1 ; ; P t 2 C[x 0 ; ; x N ]. X ; X 0 are birational if they have isomorphic open subsets U = U 0. If X is smooth of dimension n, then T X denotes the tangent bundle of X and! X = n T _ X is the canonical line bundle of X. K X denotes (a choice of) the canonical divisor i.e. a formal linear combination of codimension 1 subvarieties of X given by the zeroes of a section s 6= 0 of! X. We would like to use! X to understand the geometry of X.

7 The main Theorem Curves Surfaces Birational invariants If X and X 0 are birational, then 8m 0 H 0 (X ;! m ) X = H 0 (X 0 ;! m ): X 0 The numbers P m (X ) := h 0 (! m ) are the plurigenera of X. X The pluricanonical ring of X is given by R(K X ) = M m2n The Kodaira dimension of X is H 0 (X ;! m X ): (X ) := tr:deg: C R(K X ) 1: If (X ) = dimx, we say that X is of general type. One would like to understand the structure of this ring and to use its features to classify complex projective varieties.

8 The main Theorem Curves Surfaces Finite generation Today I would like to discuss a recent result of Birkar-Cascini-Hacon-M c Kernan and Siu: Theorem Let X be a smooth projective variety, then R(K X ) is nitely generated. The two proofs are independent. Our proof is algebraic and uses the ideas of the MMP (minimal model program). Siu's proof is analytic and requires X to be of general type.

9 The main Theorem Curves Surfaces Curves Any two birational curves are isomorphic. Curves are topologically determined by their genus. g = 0: P 1 and R(K ) = C g = 1: There is a 1-dimensional family of elliptic curves; K = 0 so R(K ) = C[t]. g 2: Curves of general type. These form a 3g 3-dimensional family. K is ample and j3k j determines an embedding. R(K ) is then nitely generated (by Serre-Vanishing).

10 The main Theorem Curves Surfaces Surfaces of general type If S is a surface of general type and K S is nef (i.e. K S C 0 for all curves C S), then we say that S is a minimal surface. In this case K S is semiample. Therefore, there is a birational morphism : S! S P N to a surface (with rational double points) so that! m = O X S (1). It is known that R(K S ) is nitely generated if and only if R(K S ) (m) = M i2n H 0 (O S (imk S )) is nitely generated (for any m > 0). By Serre vanishing R(K S ) (m) = R(O S (1)) is nitely generated. Note that we may take m = 5, contracts rational curves E with E K S = 0 and S = ProjR(K S ).

11 The main Theorem Curves Surfaces Surfaces of general type II If S is of general type, but K S is not nef, then there is a rational curve E such that E 2 = E K S = 1. We may contract E, i.e. there is a morphism of smooth surfaces 1 : S! S 1 which is an isomorphism on S E and such that E maps to a point. Since K S = 1 K S 1 + E, we have R(K S ) = R(K S1 ). If K S1 is not nef, we may repeat the procedure and we obtain a sequence of morphisms S! S 1! S 2!. It is easy to see that 0 < (S i+1 ) = (S i ) 1 and so this sequence of morphism is nite, i.e. there is an integer t > 0 such that K St is nef i.e. S t is a minimal model of S. Then R(K St ) is nitely generated and so is R(K S ).

12 The main Theorem Curves Surfaces Surfaces with 2 If S is not of general type, then (S) 2 f 1; 0; 1g. If (S) = 1, then R(K S ) = C. If (S) = 0, then R(K S ) (m) = C[t] for some m > 0. (For surfaces m = 12.) If (S) = 1, then we rst contract all 1 curves to obtain a morphism : S! S 0 such that K S 0 is nef (i.e. S 0 is minimal). Then K S 0 is semiample and it gives a morphism f : S 0! C whose general ber is an elliptic curve. We have that mk S 0 = f H where m > 0 is an integer and H is an ample divisor on C. Therefore, R(K S ) (m) = R(K S 0) (m) = R(H) is nitely generated.

13 Outline of the talk 1 Introduction 2 The MMP with scaling 3

14 Log pairs One would like to generalize the above approach to higher dimensional varieties. In order to achieve this one has to allow varieties with mild singularities and the minimal models will not be unique. We would also like to have more exibility and so we work with log-pairs. The proof will in fact proceed by induction on the dimension. We will need to relate K X to it's restriction to a divisor S (which typically belongs to S 2 jmk X j). This is achieved by the adjunction formula which has the form (K X + S)j S = K S + S for some Q-divisor S.

15 KLT Log Pairs We consider log pairs (X ; ) where X is a normal Q-factorial variety and is a divisor with positive real coecients. Then K X + is R-Cartier and so (K X + ) C and f (K X + ) still make sense. Consider a map f : X 0! X such that X 0 is smooth and f + Exc(f ) has simple normal crossings support. Write K X = f (K X + ): (X ; ) is KLT if each coecient of 0 is less than 1.

16 A Theorem of Fujino-Mori Mori and Fujino have shown that: Theorem Let (X ; ) be any KLT Q-factorial pair with 2 Div Q (X ). Then there exists a big KLT Q-factorial pair (Y ; ) with 2 Div Q (Y ) such that R(K X + ) (m) = R(K Y + ) (m) for any suciently divisible integer m > 0. Recall that K Y + is big if tr:deg: C R(K Y + ) (m) = dim Y or equivalently if K Y + Q A + B with A ample and B 0. It follows that to show the main theorem (i.e. that R(K X ) is nitely generated), it suces to prove the corresponding statement for big KLT log pairs.

17 The MMP with scaling From now on we will consider Q-factorial KLT pairs (X ; ) such that is big. We allow 2 Div R (X ). Note that if K X + is big, then there is an eective divisor D R K X + and so for all 0 < 1 the pair (X ; + D) is KLT, + D is big and K X + + D R (1 + )(K X + ). We would like to nd a nite sequence of KLT log pairs (X i ; i ) with i big and birational maps X 99K X 1 99K X 2 such that R(K Xi + i ) = R(K Xi+1 + i+1 ); and K Xt + t is nef. Then by the base point free theorem, K Xt + t is semiample so that R(K Xt + t ) is nitely generated (if 2 Div Q ).

18 The MMP with scaling II Assume that A is ample and K X + + A is nef. Let = infft 0jK X + + tag is nef. If = 0 we STOP (K X + is nef). Otherwise, by the cone theorem, there is an extremal ray R such that (K X + + A) R = 0 and (K X + + ta) R < 0 for 0 t <. Let cont R : X! Z be the corresponding morphism which contracts a curve C i [C ] = R. If cont R is not birational, we STOP (we have a Mori-Fano ber space and R(K X + ) = C).

19 The MMP with scaling III If cont R is birational and divisorial (i.e. it contracts a divisor), then we replace X by the image of the corresponding contraction and we may continue this procedure. If cont R is birational and small, (i.e. Exc(cont R ) has codimension 2) then the image of the corresponding contraction is not KLT. Therefore, we can NOT replace X by the corresponding contraction! Instead we replace (X ; ) by the corresponding ip : X 99K X + (assuming it exists). Let + =. The ip is a codimension 2 surgery which replaces K X + negative curves by K X positive curves.

20 Flips More precisely, f = cont R : X! Z is a ipping contraction i.e. a small birational morphism with (X =Z ) = 1 and (K X + ) ample over Z. The ip f + : X +! Z (if it exists) is a small birational morphism such that (X + =Z ) = 1 and K X is ample over Z. The ip f + : X +! Z (if it exists) is given by M X + = Proj Z f O X ([m(k X + )]): m2n Note that after peturbing, we may assume that 2 Div Q (X ).

21 Flips II The problem of existence of ips is local over Z and hence we may assume that Z is ane. It suces then to show that R(K X + ) is nitely generated. So this is a local version of the original problem. To run this MMP with scaling, we must therefore show that such ips exist and terminate (i.e. there is no innite sequence of such ips). Note that after each divisorial contraction, the Picard number drops by 1 and so there are only nitely many divisorial contractions.

22 Outline of the talk Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems 1 Introduction 2 3 Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems

23 Existence and termination of ips Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Theorem (Birkar-Cascini-Hacon-M c Kernan) Let (X ; ) be a KLT log pair and f : X! Z a ipping contraction, then the ip f + : X +! Z of f exists. If moreover is big, then any sequence of ips for the K X + MMP with scaling must terminate. Corollary Let (X ; ) be a KLT pair with K X + -pseudo-eective and big, then K X + has a minimal model. (In particular ips exist.) K X + -pseudo-eective means that given any ample Q-divisor H, K X + + H is big (i.e. (K X + + H) = dim X ). This is a necessary condition.

24 Finite Generation Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Corollary (Birkar-Cascini-Hacon-M c Kernan, Siu) Let X be a smooth projective variety, then R(K X ) is nitely generated. Proof: Assume that X is of general type. We may nd K X with 0 < 1. A minimal model for K X + is then a minimal model for K X. The result then follows from the base point free theorem. As mentioned above, the general case is a consequence of a result of Fujino and Mori. Siu's proof relies on analytic techniques.

25 The structure of the proof Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems We proceed by induction on n = dim X. We show that for an n-dimensional KLT pair (X ; ): Claim 1. Flips exist. Claim 2. If K X + R D 0 and is big, then (X ; ) has a minimal model. Claim 3. The set of minimal models for KLT pairs with A 0 where A is ample and (X ; 0 ) is KLT, is nite. Claim 4. If is big and K X + is pseudo-eective, then there is a Q-divisor D such that K X + R D 0. All statements should be relative over a base.

26 The structure of the proof II Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Roughly speaking, the inductive structure of the proof is: (1 4) n 1 ) 1 n ) 2 n ) 3 n ) 4 n : Note that that (1 4) n 1 ) 1 n was obtained by Hacon M c Kernan in 2005 using ideas of Shokurov and an extension result base on work of Siu, Kawamata and Tsuji. The remaining implications heavily use the ideas of the MMP established by Kawamata, Kollar, Mori, Reid, Shokurov and others.

27 Reduction to PL Flips Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Shokurov has shown that to construct ips it suces to construct PL-ips. That is, we assume that has a component S of multiplicity 1, S is relatively ample and K X + is \almost KLT". By adjunction (K X + )j S = K S + S and (S; S ) is KLT. As we have remarked above, the existence of ips is equivalent to showing that R = R(K X + ) is nitely generated. (Here we assume Z is ane.) This is equivalent to showing that the algebra R S given by the image of the restriction map M m2n H 0 (O X (m(k X + )))! M m2n is nitely generated. H 0 (O S (m(k S + S )))

28 Existence of ips Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems If R S = m2n H 0 (O S (m(k S + S ))) we would be done by induction on the dimension. This is too much to hope for. Instead, we show that R S has very special properties. Roughly speaking we show that there exists a divisor 0 S on S such that R S = M m2n H 0 (O S (m(k S + ))): This is proved using some extension theorems that were inspired by work of Siu, Kawamata and Tsuji. These extension theorems determine/dene.

29 Termination of MMP with scaling Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Since we are unable to show that an arbitrary sequence of ips must terminate, we run a MMP with scaling. The idea is that if A is suciently ample, then K X + + A is ample and so it is a minimal model. We then consider K X + + ta and let t go to 0. Proceeding this way we get a sequence of pairs (X i ; i + i A i ) such that K Xi + i + i A i is nef and trivial on some K Xi + i extremal ray. We then ip/contract. Each (X i ; i + i A i ) is a minimal model for (X ; + i A).

30 Termination of MMP with scaling II Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems If we could assume Claim 3 n, we would be done. (As is big, we may assume that A 0 + ta for some ample divisor A 0 and we let 0 = + A.) Since we can only assume 3 n 1, we replace (X ; ) by an appropriate DLT pair (X 0 ; 0 ) and we run a MMP with scaling such that all ips/contractions are contained in [ 0 ]. This step is similar to Shokurov's reduction to PL-ips.

31 Finiteness of models Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Theorem Assume that (X ; 0 ) is KLT, A is an ample Q-divisor and = P r i=1 i i. Let C [0; 1] r be a rational polytope such that for any ( 1 ; ; r ) 2 C, the pair (X ; P r i=1 i i + A) is KLT. Then the set of isomorphism classes is nite. fy jy is a min: model for (X ; + A); ( 1 ; ; r ) 2 Cg The proof is based on ideas of Shokurov (1996). It requires a compactness argument and so it is necessary to work with R-divisors.

32 Finiteness of models II Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems We pick 2 C and work in a suciently small neighborhood U of. After running a MMP with scaling, we may assume that K X + is nef. By the base-point free theorem, there is a morphism f : X! Z such that K X + R f H. Working over Z, we may assume that K X + R 0. Therefore C \ U is a cone over and we are done by induction on the dimension of the subspace of Div R (X ) spanned by the components of.

33 Non-vanishing Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems We must show that if is big and K X + is pseudo-eective, then K X + R D 0. If h 0 (O X (m(k X + ) + A)) is bounded (for A ample), then the result follows from work of Nakayama. If h 0 (O X (m(k X + ) + A)) is un-bounded, then we can produce a log canonical center not contained in the stable base locus of K X + + A for 0 < 1. So we study a log smooth PLT pair (X 0 ; 0 ) where S = [ 0 ] is irreducible. Then K S + ( 0 S)j S is pseudo-eective, ( 0 S)j S is big and so h 0 (O S (m(k S + ( 0 S)j S ))) > 0 for some m > 0. Using Kawamata-Viehweg vanishing, we can lift this section to m(k X + ).

34 Open problems Recent results The structure of the proof Existence of Flips Existence of minimal models Finiteness of models Non-vanishing Open problems Abundance: If K X + is nef and KLT show that it is semiample. (When is big, this follows from the Base Point Free Theorem. In dim. 2, it follows from the classication. It also holds in dim. 3) Existence of Minimal models for Log Canonical pairs (should be equivalent to Abundance). Termination of ips (would follow from the Borisov-Alexeev-Borisov conjecture). Characteristic p (need resolution of singularities; there is no Kawamata-Viehweg vanishing Thm, but... ).

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

Birational geometry of algebraic varieties

Birational geometry of algebraic varieties May-June, 2018 Outline of the talk Singularities of the MMP The Cone Theorem Running the MMP Goals of this lecture series 1 Introduction Singularities of the MMP The Cone Theorem Running the MMP Goals

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

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

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

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

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

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

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

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

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

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

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

arxiv: v1 [math.ag] 4 Jun 2007

arxiv: v1 [math.ag] 4 Jun 2007 arxiv:0706.0494v1 [math.ag] 4 Jun 2007 Lectures on Flips and Minimal Models Alessio Corti, Paul Hacking, János Kollár, Robert Lazarsfeld, and Mircea Mustaţă February 1, 2008 This document contains notes

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

EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE

EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 2, April 2010, Pages 405 468 S 0894-0347(09)00649-3 Article electronically published on November 13, 2009 EXISTENCE OF MINIMAL MODELS FOR

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

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

THE MINIMAL MODEL PROGRAM FOR VARIETIES OF LOG GENERAL TYPE

THE MINIMAL MODEL PROGRAM FOR VARIETIES OF LOG GENERAL TYPE THE MINIMAL MODEL PROGRAM FOR VARIETIES OF LOG GENERAL TYPE CHRISTOPHER D. HACON Contents 1. Preliminaries 2 1.1. Resolution of singularities 2 1.2. Divisors 2 1.3. Ample divisors 5 1.4. Positivity of

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

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

Singularities of linear systems and boundedness of Fano varieties. Caucher Birkar

Singularities of linear systems and boundedness of Fano varieties. Caucher Birkar Singularities of linear systems and boundedness of Fano varieties Caucher Birkar Abstract. We study log canonical thresholds (also called global log canonical threshold or α-invariant) of R-linear systems.

More information

FINITE GENERATION OF THE LOG CANONICAL RING IN DIMENSION FOUR

FINITE GENERATION OF THE LOG CANONICAL RING IN DIMENSION FOUR FINITE GENERATION OF THE LOG CANONICAL RING IN DIMENSION FOUR OSAMU FUJINO Dedicated to the memory of Professor Masayoshi Nagata Abstract. We treat two different topics on the log minimal model program,

More information

CAUCHER BIRKAR. Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6.

CAUCHER BIRKAR. Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6. IITAKA CONJECTURE C n,m IN DIMENSION SIX CAUCHER BIRKAR Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6. 1. Introduction We work

More information

SHOKUROV S REDUCTION THEOREM TO PRE LIMITING FLIPS

SHOKUROV S REDUCTION THEOREM TO PRE LIMITING FLIPS SHOKUROV S REDUCTION THEOREM TO PRE LIMITING FLIPS ALEX KÜRONYA This is an expanded version of a talk given in the Fall 2007 Forschunggseminar at the Universität Duisburg-Essen. It is written for non-specialists,

More information

BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA

BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA OSAMU FUJINO Abstract. We reformulate base point free theorems. Our formulation is flexible and has some important applications.

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

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

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

Varieties fibred over abelian varieties with fibres of log general type. Caucher Birkar and Jungkai Alfred Chen

Varieties fibred over abelian varieties with fibres of log general type. Caucher Birkar and Jungkai Alfred Chen Varieties fibred over abelian varieties with fibres of log general type Caucher Birkar and Jungkai Alfred Chen Abstract. Let (X, B) be a complex projective klt pair, and let f : X Z be a surjective morphism

More information

MORI DREAM SPACES. Contents. 1. Hilbert s 14th Problem

MORI DREAM SPACES. Contents. 1. Hilbert s 14th Problem MORI DREAM SPACES JAMES M C KERNAN Abstract. We explore the circle of ideas connecting finite generation of the Cox ring, Mori dream spaces and invariant theory. Contents 1. Hilbert s 14th Problem 1 1.1.

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

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

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

EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE II

EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE II EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE II CHRISTOPHER D. HACON AND JAMES M C KERNAN Abstract. Assuming finite generation in dimension n 1, we prove that pl-flips exist in dimension

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

Rigidity properties of Fano varieties

Rigidity properties of Fano varieties Current Developments in Algebraic Geometry MSRI Publications Volume 59, 2011 Rigidity properties of Fano varieties TOMMASO DE FERNEX AND CHRISTOPHER D. HACON We overview some recent results on Fano varieties

More information

EXTENSION OF SECTIONS VIA ADJOINT IDEALS. 1. Introduction

EXTENSION OF SECTIONS VIA ADJOINT IDEALS. 1. Introduction EXTENSION OF SECTIONS VIA ADJOINT IDEALS LAWRENCE EIN AND MIHNEA POPA 1. Introduction We prove some extension theorems and applications, inspired by the very interesting recent results of Hacon-M c Kernan

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

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

IMAGES OF MANIFOLDS WITH SEMI-AMPLE ANTI-CANONICAL DIVISOR

IMAGES OF MANIFOLDS WITH SEMI-AMPLE ANTI-CANONICAL DIVISOR IMAGES OF MANIFOLDS WITH SEMI-AMPLE ANTI-CANONICAL DIVISOR CAUCHER BIRKAR YIFEI CHEN Abstract. We prove that if f : X Z is a smooth surjective morphism between projective manifolds and if K X is semi-ample,

More information

Effective birationality

Effective birationality Chapter 1 Effective birationality Jingjun Han (Peking University) & Chen Jiang (IPMU, Tokyo) 1.1 Introduction In this chapter, we consider the effective birationality of anti-pluricanonical systems of

More information

Bounding singular surfaces of general type. in in articles [2], [3], for log surfaces of general type with semi log canonical singularities.

Bounding singular surfaces of general type. in in articles [2], [3], for log surfaces of general type with semi log canonical singularities. Bounding singular surfaces of general type Valery Alexeev 1 and Shigefumi Mori 2 1 Department of Mathematics, University of Georgia, Athens GA 30605, USA 2 Research Institute for Mathematical Sciences

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

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

THE MINIMAL MODEL PROGRAM REVISITED

THE MINIMAL MODEL PROGRAM REVISITED THE MINIMAL MODEL PROGRAM REVISITED PAOLO CASCINI AND VLADIMIR LAZIĆ Abstract. We give a light introduction to some recent developments in Mori theory, and to our recent direct proof of the finite generation

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

arxiv:math/ v1 [math.ag] 6 Sep 1999

arxiv:math/ v1 [math.ag] 6 Sep 1999 THE INDICES OF LOG CANONICAL SINGULARITIES arxiv:math/9909035v1 [math.ag] 6 Sep 1999 OSAMU FUJINO* Abstract. Let (P X, ) be a three dimensional log canonical pair such that has only standard coefficients

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

PURELY LOG TERMINAL THREEFOLDS WITH NON-NORMAL CENTRES IN CHARACTERISTIC TWO

PURELY LOG TERMINAL THREEFOLDS WITH NON-NORMAL CENTRES IN CHARACTERISTIC TWO PURELY LOG TERMINAL THREEFOLDS WITH NON-NORMAL CENTRES IN CHARACTERISTIC TWO PAOLO CASCINI AND HIROMU TANAKA Abstract. We show that many classical results of the minimal model program do not hold over

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

Index. Cambridge University Press Singularities of the Minimal Model Program János Kollár. Index.

Index. Cambridge University Press Singularities of the Minimal Model Program János Kollár. Index. ( 1)-curve, 55 A n / 1 m (a 1,...,a n ), cyclic quotient singularity, 104 f, birational transform, 12 f 1, birational transform, 12 L [m], reflexive power, 5, linear equivalence, 5 Q, Q-linear equivalence,

More information

arxiv: v1 [math.ag] 30 Sep 2013

arxiv: v1 [math.ag] 30 Sep 2013 SEMI-TERMINAL MODIFICATIONS OF DEMI-NORMAL PAIRS arxiv:1309.7716v1 [math.ag] 30 Sep 2013 KENTO FUJITA Abstract. For a quasi-projective demi-normal pair (X, ), we prove that there exists a semi-canonical

More information

FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES

FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES FACTORING 3-FOLD FLIPS AND DIVISORIAL CONTRACTIONS TO CURVES JUNGKAI A. CHEN AND CHRISTOPHER D. HACON 1. introduction Flips, flops and divisorial contractions are the elementary birational maps of the

More information

ON WEAK FANO VARIETIES WITH LOG CANONICAL SINGULARITIES

ON WEAK FANO VARIETIES WITH LOG CANONICAL SINGULARITIES ON WEAK FANO VARIETIES WITH LOG CANONICAL SINGULARITIES YOSHINORI GONGYO Abstract. We prove that the anti-canonical divisors of weak Fano 3-folds with log canonical singularities are semi-ample. Moreover,

More information

Fundamental theorems for semi log canonical pairs

Fundamental theorems for semi log canonical pairs Algebraic Geometry 1 (2) (2014) 194 228 doi:10.14231/ag-2014-011 Dedicated to Professor Shigeru Mukai on the occasion of his sixtieth birthday Abstract We prove that every quasi-projective semi log canonical

More information

ON THE ADJUNCTION FORMULA ON 3-FOLDS IN CHARACTERISTIC p

ON THE ADJUNCTION FORMULA ON 3-FOLDS IN CHARACTERISTIC p ON THE ADJUNCTION FORMULA ON 3-FOLDS IN CHARACTERISTIC p OMPROKASH DAS AND CHRISTOPHER HACON Abstract. In this article we prove a relative Kawamata-Viehweg vanishingtype theorem for plt 3-folds in characterustic

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

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

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

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity

More information

On the anti-canonical ring and varieties of Fano type

On the anti-canonical ring and varieties of Fano type Saitama Math. J. Vol. 30 (2013), 27 38 27 On the anti-canonical ring and varieties of Fano type Paolo Cascini and Yoshinori Gongyo Dedicated to Professor Fumio Sakai on the occasion of his retirement.

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

Boundedness Results in Birational Geometry

Boundedness Results in Birational Geometry Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Boundedness Results in Birational Geometry Christopher D. Hacon and James M c Kernan Abstract We survey results related

More information

Flips for 3-folds and 4-folds

Flips for 3-folds and 4-folds Flips for 3-folds and 4-folds Florin Ambro Res. Inst. Math. Sci., Kyoto University Kyoto 606-8502, Japan Alessio Corti Department of Mathematics, Imperial College London Huxley Building, 180 Queen s Gate

More information

arxiv: v1 [math.ag] 4 Nov 2018

arxiv: v1 [math.ag] 4 Nov 2018 ON THE LOG CANONICAL RING OF PROJECTIVE PLT PAIRS WITH THE KODAIRA DIMENSION TWO OSAMU FUJINO AND HAIDONG LIU arxiv:1811.01334v1 [math.ag] 4 Nov 2018 Abstract. The log canonical ring of a projective plt

More information

BOUNDEDNESS OF VARIETIES OF LOG GENERAL TYPE

BOUNDEDNESS OF VARIETIES OF LOG GENERAL TYPE BOUNDEDNESS OF VARIETIES OF LOG GENERAL TYPE CHRISTOPHER D. HACON, JAMES M C KERNAN, AND CHENYANG XU Abstract. We survey recent results on the boundedness of the moduli functor of stable pairs. Contents

More information

arxiv:math/ v1 [math.ag] 17 Sep 1998

arxiv:math/ v1 [math.ag] 17 Sep 1998 arxiv:math/9809091v1 [math.ag] 17 Sep 1998 ON THE EXTENSION PROBLEM OF PLURICANONICAL FORMS DEDICATED TO PROFESSOR FRIEDRICH HIRZEBRUCH ON HIS SEVENTIETH BIRTHDAY Yujiro Kawamata Abstract. We review some

More information

Some questions on minimal log discrepancies

Some questions on minimal log discrepancies Some questions on minimal log discrepancies Mircea Mustaţă University of Michigan Aussois June 25, 2015 Mircea Mustaţă (University of Michigan) Some questions on minimal log discrepancies Aussois June

More information

The sectional genus of quasi-polarised varieties

The sectional genus of quasi-polarised varieties The sectional genus of quasi-polarised varieties Andreas Höring Abstract. T. Fujita conjectured that the sectional genus of a quasi-polarised variety is non-negative. We prove this conjecture. Using the

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

Birational geometry of Fano brations

Birational geometry of Fano brations This thesis has been submitted in fulfilment of the requirements for a postgraduate degree (e.g. PhD, MPhil, DClinPsychol) at the University of Edinburgh. Please note the following terms and conditions

More information

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.

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

Under these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve.

Under these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve. Example sheet 3. Positivity in Algebraic Geometry, L18 Instructions: This is the third and last example sheet. More exercises may be added during this week. The final example class will be held on Thursday

More information

arxiv:math/ v1 [math.ag] 6 Feb 2005

arxiv:math/ v1 [math.ag] 6 Feb 2005 arxiv:math/0502116v1 [math.ag] 6 Feb 2005 ACC for log canonical thresholds and termination of log flips Caucher Birkar February 1, 2008 Abstract We prove that the ascending chain condition (ACC) for log

More information

ON THE F -PURITY OF ISOLATED LOG CANONICAL SINGULARITIES

ON THE F -PURITY OF ISOLATED LOG CANONICAL SINGULARITIES ON THE F -PURITY OF ISOLATED LOG CANONICAL SINGULARITIES OSAMU FUJINO AND SHUNSUKE TAKAGI Abstract. A singularity in characteristic zero is said to be of dense F -pure type if its modulo p reduction is

More information

LOG-CANONICAL MODELS OF SINGULAR PAIRS AND ITS APPLICATIONS. Yuji Odaka and Chenyang Xu

LOG-CANONICAL MODELS OF SINGULAR PAIRS AND ITS APPLICATIONS. Yuji Odaka and Chenyang Xu Math. Res. Lett. 19 (2012), no. 02, 325 334 c International Press 2012 LOG-CANONICAL MODELS OF SINGULAR PAIRS AND ITS APPLICATIONS Yuji Odaka and Chenyang Xu Abstract. We prove the existence of the log-canonical

More information

MINIMAL MODELS, FLIPS AND FINITE GENERATION : A TRIBUTE TO V.V. SHOKUROV AND Y.-T. SIU

MINIMAL MODELS, FLIPS AND FINITE GENERATION : A TRIBUTE TO V.V. SHOKUROV AND Y.-T. SIU MINIMAL MODELS, FLIPS AND FINITE GENERATION : A TRIBUTE TO V.V. SHOKUROV AND Y.-T. SIU CAUCHER BIRKAR MIHAI PĂUN Abstract. In this paper, we discuss a proof of existence of log minimal models or Mori fibre

More information

BOUNDEDNESS OF PLURICANONICAL MAPS OF VARIETIES OF GENERAL TYPE

BOUNDEDNESS OF PLURICANONICAL MAPS OF VARIETIES OF GENERAL TYPE BOUNDEDNESS OF PLURICANONICAL MAPS OF VARIETIES OF GENERAL TYPE CHRISTOPHER D. HACON AND JAMES M C KERNAN Abstract. Using the techniques of [20] and [10], we prove that certain log forms may be lifted

More information

ON THE MINIMAL MODEL THEORY FOR DLT PAIRS OF NUMERICAL LOG KODAIRA DIMENSION ZERO

ON THE MINIMAL MODEL THEORY FOR DLT PAIRS OF NUMERICAL LOG KODAIRA DIMENSION ZERO ON THE MINIMAL MODEL THEORY FOR DLT PAIRS OF NUMERICAL LOG KODAIRA DIMENSION ZERO YOSHINORI GONGYO Abstract. We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension

More information

Abundance conjecture and canonical bundle formula. Yoshinori Gongyo

Abundance conjecture and canonical bundle formula. Yoshinori Gongyo Abundance conjecture and canonical bundle formula Yoshinori Gongyo August 9, 2011 Contents Preface Acknowledgments iii v 1 Preliminaries 1 1.1 Divisors, singularities of pairs, and asymptotic base loci...

More information

P m 1 P(H 0 (X, O X (D)) ). Given a point x X, let

P m 1 P(H 0 (X, O X (D)) ). Given a point x X, let 3. Ample and Semiample We recall some very classical algebraic geometry. Let D be an integral Weil divisor. Provided h 0 (X, O X (D)) > 0, D defines a rational map: φ = φ D : X Y. The simplest way to define

More information

arxiv:math/ v3 [math.ag] 17 Feb 2011

arxiv:math/ v3 [math.ag] 17 Feb 2011 arxiv:math/0508554v3 [math.ag] 17 Feb 2011 BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA OSAMU FUJINO Abstract. We reformulate base point free theorems. Our formulation

More information

LOG MINIMAL MODELS FOR ARITHMETIC THREEFOLDS

LOG MINIMAL MODELS FOR ARITHMETIC THREEFOLDS LOG MINIMAL MODELS FOR ARITHMETIC THREEFOLDS by Paul Andrew Egbert A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor

More information

arxiv: v3 [math.ag] 8 Apr 2012

arxiv: v3 [math.ag] 8 Apr 2012 LOG PLURICANONICAL REPRESENTATIONS AND ABUNDANCE CONJECTURE arxiv:1104.0361v3 [math.ag] 8 Apr 2012 OSAMU FUJINO AND YOSHINORI GONGYO Abstract. We prove the finiteness of log pluricanonical representations

More information

Singularities of (L)MMP and applications. Massimiliano Mella. Dipartimento di Matematica, Università di Ferrara, Italia address:

Singularities of (L)MMP and applications. Massimiliano Mella. Dipartimento di Matematica, Università di Ferrara, Italia  address: Singularities of (L)MMP and applications Massimiliano Mella Dipartimento di Matematica, Università di Ferrara, Italia E-mail address: mll@unife.it 1991 Mathematics Subject Classification. Primary 14E30;

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

INVERSION OF ADJUNCTION IN HIGH CODIMENSION

INVERSION OF ADJUNCTION IN HIGH CODIMENSION INVERSION OF ADJUNCTION IN HIGH CODIMENSION by Eugene Eisenstein A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University

More information

Numeri di Chern fra topologia e geometria birazionale

Numeri di Chern fra topologia e geometria birazionale Giornate di Geometria Algebrica ed Argomenti Correlati XII (Torino, 2014) Numeri di Chern fra topologia e geometria birazionale (Work in progress with P. Cascini) Luca Tasin (Max Planck Institute for Mathematics)

More information

arxiv: v1 [math.ag] 7 Nov 2012

arxiv: v1 [math.ag] 7 Nov 2012 DIVISORIAL MODELS OF NORMAL VARIETIES STEFANO URBINATI arxiv:1211.1692v1 [math.ag] 7 Nov 2012 Abstract. Weprovethatthecanonical ringofacanonical varietyinthesense of[dfh09] is finitely generated. We prove

More information

Dedicated to Mel Hochster on his 65th birthday. 1. Introduction

Dedicated to Mel Hochster on his 65th birthday. 1. Introduction GLOBAL DIVISION OF COHOMOLOGY CLASSES VIA INJECTIVITY LAWRENCE EIN AND MIHNEA POPA Dedicated to Mel Hochster on his 65th birthday 1. Introduction The aim of this note is to remark that the injectivity

More information

On singular Fano varieties with a divisor of Picard number one

On singular Fano varieties with a divisor of Picard number one On singular Fano varieties with a divisor of Picard number one Pedro Montero To cite this version: Pedro Montero. On singular Fano varieties with a divisor of Picard number one. IF_PREPUB. 35 pages. Comments

More information

FANO THREEFOLDS WITH LARGE AUTOMORPHISM GROUPS

FANO THREEFOLDS WITH LARGE AUTOMORPHISM GROUPS FANO THREEFOLDS WITH LARGE AUTOMORPHISM GROUPS CONSTANTIN SHRAMOV Let G be a finite group and k a field. We can consider the notion of G-rationality, G- nonrationality, etc., by considering G-equivariant

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

The Noether Inequality for Algebraic Threefolds

The Noether Inequality for Algebraic Threefolds .... Meng Chen School of Mathematical Sciences, Fudan University 2018.09.08 P1. Surface geography Back ground Two famous inequalities c 2 1 Miyaoka-Yau inequality Noether inequality O χ(o) P1. Surface

More information

ON THE EFFECTIVE FREENESS OF THE DIRECT IMAGES OF PLURICANONICAL BUNDLES

ON THE EFFECTIVE FREENESS OF THE DIRECT IMAGES OF PLURICANONICAL BUNDLES ON THE EFFECTIVE FREENESS OF THE DIRECT IMAGES OF PLURICANONICAL BUNDLES YAJNASENI DUTTA Abstract. We give eective bounds on the generation of pushforwards of log-pluricanonical bundles for lt pairs twisted

More information