On the effective cone of P n blown-up at n + 3 points (and other positivity properties)

Size: px
Start display at page:

Download "On the effective cone of P n blown-up at n + 3 points (and other positivity properties)"

Transcription

1 On the effective cone of P n blown-up at n + 3 points (and other positivity properties) Elisa Postinghel KU Leuven joint with M.C. Brambilla (Ancona) and O. Dumitrescu (Hannover) Daejeon August 3-7, 2015 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

2 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

3 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { } L = L Pn d (m f C[x] 1,..., m s ) := d mult pi (f ) m i Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

4 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { } L = L Pn d (m f C[x] 1,..., m s ) := d mult pi (f ) m i Problem Compute dim(l). Unsolved in general. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

5 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { } L = L Pn d (m f C[x] 1,..., m s ) := d mult pi (f ) m i Problem Compute dim(l). Unsolved in general. Dimensionality ( n + d n ) s ( ) n + mi 1 =: vdim(l) n i=1 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

6 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { L = L Pn d (m 1,..., m s ) := Problem f C[x] d mult pi (f ) m i Compute dim(l). Unsolved in general. } { D Pic(Bls (P n )) D = dh s i=1 m ie i } Dimensionality ( n + d n ) s ( ) n + mi 1 =: vdim(l) n i=1 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

7 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { L = L Pn d (m 1,..., m s ) := Problem f C[x] d mult pi (f ) m i Compute dim(l). Unsolved in general. } { D Pic(Bls (P n )) D = dh s i=1 m ie i } Dimensionality ( n + d n ) s ( ) n + mi 1 =: vdim(l) = χ(bl s (P n ), O(D)) n i=1 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

8 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { L = L Pn d (m 1,..., m s ) := Problem f C[x] d mult pi (f ) m i Compute dim(l). Unsolved in general. } { D Pic(Bls (P n )) D = dh s i=1 m ie i } Dimensionality ( n + d n ) s ( ) n + mi 1 =: vdim(l) = χ(bl s (P n ), O(D)) n i=1 dim(l) = h 0 (Bl s (P n ), O(D)) χ(bl s (P n ), O(D)) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

9 Polynomial interpolation Choose p 1,..., p s P n C points in general position, and integers d, m i 0 { L = L Pn d (m 1,..., m s ) := Problem f C[x] d mult pi (f ) m i Compute dim(l). Unsolved in general. } { D Pic(Bls (P n )) D = dh s i=1 m ie i } Dimensionality ( n + d n ) s ( ) n + mi 1 =: vdim(l) = χ(bl s (P n ), O(D)) n i=1 dim(l) = h 0 (Bl s (P n ), O(D)) χ(bl s (P n ), O(D)) Examples: L P2 2 (2, 2) LP2 4 (2, 2, 2, 2, 2) dim vdim (L is special) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

10 Secant varieties of rational normal curves Theorem (Veronese 1881)! rational normal curve C P n of degree n through p 1,..., p n+3. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

11 Secant varieties of rational normal curves Theorem (Veronese 1881)! rational normal curve C P n of degree n through p 1,..., p n+3. Secant varieties: σ t (C) := x 1,..., x t x 1,...,x t C Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

12 Secant varieties of rational normal curves Theorem (Veronese 1881)! rational normal curve C P n of degree n through p 1,..., p n+3. Secant varieties: σ t (C) := x 1,..., x t (t n/2 ) dim σ t (C) = 2t 1 x 1,...,x t C Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

13 Secant varieties of rational normal curves Theorem (Veronese 1881)! rational normal curve C P n of degree n through p 1,..., p n+3. Secant varieties: σ t (C) := (t n/2 ) dim σ t (C) = 2t 1 x 1,...,x t C x 1,..., x t Cones: I {1,..., n + 3}, L I = p i : i I = P I 1 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

14 Secant varieties of rational normal curves Theorem (Veronese 1881)! rational normal curve C P n of degree n through p 1,..., p n+3. Secant varieties: σ t (C) := (t n/2 ) dim σ t (C) = 2t 1 x 1,...,x t C x 1,..., x t Cones: I {1,..., n + 3}, L I = p i : i I = P I 1 Join(L I, σ t (C)) Figure: Join(p i, C) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

15 Secant varieties of rational normal curves Theorem (Veronese 1881)! rational normal curve C P n of degree n through p 1,..., p n+3. Secant varieties: σ t (C) := (t n/2 ) x 1,...,x t C x 1,..., x t dim σ t (C) = 2t 1 dim Join(L I, σ t (C)) = I + (2t 1) Cones: I {1,..., n + 3}, L I = p i : i I = P I 1 Join(L I, σ t (C)) Figure: Join(p i, C) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

16 A combinatorial tool: the Base Locus Lemma mult L{ij} (f ) max{m i + m j d, 0} =: k {ij} Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

17 A combinatorial tool: the Base Locus Lemma mult L{ij} (f ) max{m i + m j d, 0} =: k {ij} mult LI (f ) max{ i I m i ( I 1)d, 0} =: k I Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

18 A combinatorial tool: the Base Locus Lemma mult L{ij} (f ) max{m i + m j d, 0} =: k {ij} mult LI (f ) max{ i I m i ( I 1)d, 0} =: k I mult C (f ) max{ n+3 i=1 m i nd, 0} =: k C Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

19 A combinatorial tool: the Base Locus Lemma mult L{ij} (f ) max{m i + m j d, 0} =: k {ij} mult LI (f ) max{ i I m i ( I 1)d, 0} =: k I mult C (f ) max{ n+3 i=1 m i nd, 0} =: k C mult σt(c)(f ) max{tk C (t 1)d, 0} =: k σt Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

20 A combinatorial tool: the Base Locus Lemma mult L{ij} (f ) max{m i + m j d, 0} =: k {ij} mult LI (f ) max{ i I m i ( I 1)d, 0} =: k I mult C (f ) max{ n+3 i=1 m i nd, 0} =: k C mult σt(c)(f ) max{tk C (t 1)d, 0} =: k σt mult Join(LI,σ t(c))(f ) max{k σt + k I d, 0} =: k I,σt Lemma (Brambilla-Dumitrescu-P 15) k I,σt Join(L I, σ t ) Bs( D ) with that exact multiplicity. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

21 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

22 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Examples L P2 6 (5, 5) k 12 = 4, dim(l) = vdim(l) + 6 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

23 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Examples L P2 6 (5, 5) k 12 = 4, dim(l) = vdim(l) + 6 L P3 6 (5, 5, 5) k {ij} = 4 k {123} = 3 dim(l) = vdim(l) = 9 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

24 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Examples L P2 6 (5, 5) k 12 = 4, dim(l) = vdim(l) + 6 L P3 6 (5, 5, 5) k {ij} = 4 k {123} = 3 dim(l) = vdim(l) = 9 Lemma Contribution of L I is ( 1) I ( n I +k I n ). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

25 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Example: L P4 9 (67 ): vdim(l) = 167, dim(l) = 1. ( ) ( ) 7 5 dim(l) = vdim(l) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

26 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Example: L P4 9 (67 ): vdim(l) = 167, dim(l) = 1. ( ) ( ) ( ) dim(l) = vdim(l) k C = 6 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

27 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Example: L P4 9 (67 ): vdim(l) = 167, dim(l) = 1. ( ) ( ) ( ) dim(l) = vdim(l) ( 1) k C = 6 k Join(C,pi ) = 4 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

28 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Example: L P4 9 (67 ): vdim(l) = 167, dim(l) = 1. ( ) ( ) ( ) dim(l) = vdim(l) ( 1) k C = 6 k Join(C,pi ) = 4 k σ2 = 3 Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

29 Dimensionality problem for linear systems -Each subvariety contained with multiplicity in the base locus produces a jump between vdim(l) and dim(l). Can we identify it?- Example: L P4 9 (67 ): vdim(l) = 167, dim(l) = 1. ( ) ( ) ( ) dim(l) = vdim(l) ( 1) k C = 6 k Join(C,pi ) = 4 k σ2 = 3 Lemma Contribution of Join(L I, σ t ) is ( 1) I ( n ( I +2t)+k I,σ t n ). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

30 Fröberg-Iarrobino conjecture dim(l) apolarity Hilbert function of ideals generated by powers of linear forms Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

31 Fröberg-Iarrobino conjecture dim(l) apolarity Hilbert function of ideals generated by powers of linear forms Conjecture (Fröberg 85, Iarrobino 97) dim(l) = vdim(l) + I ( 1) I ( n I + ki n expect in a list of cases, among which s = n + 3. ) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

32 Fröberg-Iarrobino conjecture dim(l) apolarity Hilbert function of ideals generated by powers of linear forms Conjecture (Fröberg 85, Iarrobino 97) dim(l) = vdim(l) + I ( 1) I ( n I + ki n expect in a list of cases, among which s = n + 3. ) Conjecture (Brambilla-Dumitrescu-P 15) dim(l) = vdim(l) + I,t if s = n + 3. ( 1) I ( n ( I + 2t) + ki,σt n ) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

33 Motivation II: Bl n+3 (P n ) is... [Mukai 05] Bl n+3 (P n ) = U( a), the moduli space of rank-2 parabolic vector bundles over (n + 3)-pointed P 1, where a = (a,..., a) [0, 1] n+3 is a parabolic weight. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

34 Motivation II: Bl n+3 (P n ) is... [Mukai 05] Bl n+3 (P n ) = U( a), the moduli space of rank-2 parabolic vector bundles over (n + 3)-pointed P 1, where a = (a,..., a) [0, 1] n+3 is a parabolic weight. [Mukai 01] Cox(Bl n+3 (P n )) = R G, the Cox-Nagata ring, ring of polynomials in C[x 1,..., x n+3, y 1,..., y n+3 ] fixed by Nagata action of G 2 a (Hilbert s 14th problem). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

35 Motivation II: Bl n+3 (P n ) is... [Mukai 05] Bl n+3 (P n ) = U( a), the moduli space of rank-2 parabolic vector bundles over (n + 3)-pointed P 1, where a = (a,..., a) [0, 1] n+3 is a parabolic weight. [Mukai 01] Cox(Bl n+3 (P n )) = R G, the Cox-Nagata ring, ring of polynomials in C[x 1,..., x n+3, y 1,..., y n+3 ] fixed by Nagata action of G 2 a (Hilbert s 14th problem). [Dolgachev 81; Castravet-Tevelev 06; Sturmfels-Velasco 10] Generators of Cox(Bl n+3 (P n )) 2 n+2 weights of the half-spin representation of so 2(n+3). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

36 Birational geometry of Bl n+3 (P n ) [Castravet-Tevelev 06] Bl n+3 (P n ) is a Mori Dream Space. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

37 Birational geometry of Bl n+3 (P n ) [Castravet-Tevelev 06] Bl n+3 (P n ) is a Mori Dream Space. The birational geometry of a MDS can be encoded in some finite data: the polyhedral cones Eff(Bl n+3 (P n )) Mov(Bl n+3 (P n )) together with their Mori/nef chamber decompositions. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

38 Birational geometry of Bl n+3 (P n ) [Castravet-Tevelev 06] Bl n+3 (P n ) is a Mori Dream Space. The birational geometry of a MDS can be encoded in some finite data: the polyhedral cones Eff(Bl n+3 (P n )) Mov(Bl n+3 (P n )) together with their Mori/nef chamber decompositions. MDSs behave particularly well from the MMP point of view. Can we find a good minimal model, i.e. one for which the abundance conjecture holds? Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

39 Effective cone, movable cone and more Theorem (Brambilla-Dumitrescu-P 15) Eff(Bl n+3 (P n )) is given by inequalities: {m i d, k I,σt 0, I, σ t : dim Join(L I, σ t ) = n}. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

40 Effective cone, movable cone and more Theorem (Brambilla-Dumitrescu-P 15) Eff(Bl n+3 (P n )) is given by inequalities: {m i d, k I,σt 0, I, σ t : dim Join(L I, σ t ) = n}. Mov(Bl n+3 (P n )) is given by inequalities: {m i d, k I,σt 0, I, σ t : dim Join(L I, σ t ) = n, n 1}. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

41 Effective cone, movable cone and more Theorem (Brambilla-Dumitrescu-P 15) Eff(Bl n+3 (P n )) is given by inequalities: {m i d, k I,σt 0, I, σ t : dim Join(L I, σ t ) = n}. Mov(Bl n+3 (P n )) is given by inequalities: {m i d, k I,σt 0, I, σ t : dim Join(L I, σ t ) = n, n 1}. Theorem (Mukai 05; Araujo-Massarenti 15) The Mori chamber decomposition of Eff is given by the hyperplanes k I,σt = 0 : dim Join(L I, σ t } = n r, r 2, I = r (mod 2) Walls corresponds to flips of a P n r in a P r+1. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

42 Mori chamber decomposition N 1 (X) Eff Mov Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

43 Semiample, ample and nef cones Theorem (Dumitrescu-P 15) If s 2n, D on Bl s (P n ) is basepoint free iff m i 0, k {i,j} 0 (A) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

44 Semiample, ample and nef cones Theorem (Dumitrescu-P 15) If s 2n, D on Bl s (P n ) is basepoint free iff m i 0, k {i,j} 0 (A) If s 2n, D on Bl s (P n ) is very ample iff m i 1, k {i,j} 1 (B) Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

45 Semiample, ample and nef cones Theorem (Dumitrescu-P 15) If s 2n, D on Bl s (P n ) is basepoint free iff m i 0, k {i,j} 0 (A) If s 2n, D on Bl s (P n ) is very ample iff m i 1, k {i,j} 1 (B) Corollary For s 2n, the semi-ample cone of Bl s (P n ) is given by (A). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

46 Semiample, ample and nef cones Theorem (Dumitrescu-P 15) If s 2n, D on Bl s (P n ) is basepoint free iff m i 0, k {i,j} 0 (A) If s 2n, D on Bl s (P n ) is very ample iff m i 1, k {i,j} 1 (B) Corollary For s 2n, the semi-ample cone of Bl s (P n ) is given by (A). For s 2n, the ample cone of Bl s (P n ) is given by (B). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

47 Semiample, ample and nef cones Theorem (Dumitrescu-P 15) If s 2n, D on Bl s (P n ) is basepoint free iff m i 0, k {i,j} 0 (A) If s 2n, D on Bl s (P n ) is very ample iff m i 1, k {i,j} 1 (B) Corollary For s 2n, the semi-ample cone of Bl s (P n ) is given by (A). For s 2n, the ample cone of Bl s (P n ) is given by (B). Corollary The nef cone coincides with the semi-ample cone Bl s (P n ), for s 2n. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

48 Good minimal models for Bl n+3 (P n ) Conjecture ((Log) abundance conjecture) If (Bl n+3 (P n ), ), 0 is a log canonical Q-divisor, then K X + is nef iff it is semi-ample. Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

49 Good minimal models for Bl n+3 (P n ) Conjecture ((Log) abundance conjecture) If (Bl n+3 (P n ), ), 0 is a log canonical Q-divisor, then K X + is nef iff it is semi-ample. Theorem (Dumitrescu-P 15) X = Bl n+3 (P n ), = ɛd, with 0 ɛ << 1 and D Eff(Bl n+3 (P n )) line bundle. Assume K X + is nef (equiv. semi-ample), i.e. ɛm i n 1, ɛk {i,j} n 3. Then (X, ) admits a log resolution such that (X, ) is log canonical. This gives good minimal models for the pairs (Bl n+3 (P n ), ). Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

50 Bibliography [1] C. Araujo, A. Massarenti, Explicit log Fano structures on blow-ups of projective spaces, preprint ArXiv: (2015) [2] M. C. Brambilla, O. Dumitrescu and E. Postinghel, On the effective cone of P n blown-up at n + 3 points, preprint ArXiv: (2015) [3] A. M. Castravet and J. Tevelev, Hilbert s 14th problem and Cox rings, Compos. Math. 142 (2006), no. 6, [4] O. Dumitrescu and E. Postinghel, Positivity of divisors on blown-up projective spaces, preprint ArXiv: (2015) [5] A. Iarrobino, Inverse system of symbolic power III. Thin algebras and fat points, Compositio Math. 108 (1997), no. 3, [6] S. Mukai, Finite generation of the Nagata invariant rings in A-D-E cases, RIMS Preprint n (2005) [7] B. Sturmfels, M. Velasco Blow-ups of P n3 at n points and spinor varieties. J. Commut. Algebra 2 (2010), no. 2, THANKS!! Elisa Postinghel (KU Leuven) () Effective cone of Bl n+3 (P n ) SIAM AG / 14

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

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

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

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 Strassen s Conjecture

On Strassen s Conjecture On Strassen s Conjecture Elisa Postinghel (KU Leuven) joint with Jarek Buczyński (IMPAN/MIMUW) Daejeon August 3-7, 2015 Elisa Postinghel (KU Leuven) () On Strassen s Conjecture SIAM AG 2015 1 / 13 Introduction:

More information

Cones of effective two-cycles on toric manifolds

Cones of effective two-cycles on toric manifolds Cones of effective two-cycles on toric manifolds Hiroshi Sato Gifu Shotoku Gakuen University, Japan August 19, 2010 The International Conference GEOMETRY, TOPOLOGY, ALGEBRA and NUMBER THEORY, APPLICATIONS

More information

Geometric aspects of polynomial interpolation in more variables

Geometric aspects of polynomial interpolation in more variables Geometric aspects of polynomial interpolation in more variables BERLIN - 4/6/2010 Univariate polynomial interpolation A polynomial of degree at most d over a field K f () = a 0 + a 1 +... + a d d K[] depends

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

h : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n).

h : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n). THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P AND BRIDGELAND STABILITY IZZET COSKUN 1. Introduction This is joint work with Daniele Arcara, Aaron Bertram and Jack Huizenga. I will describe

More information

PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES

PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES JOSÉ LUIS GONZÁLEZ Abstract. We prove that the Cox ring of the projectivization PE of a rank two toric vector bundle E, over a toric variety

More information

EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE

EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE IZZET COSKUN, JOHN LESIEUTRE, AND JOHN CHRISTIAN OTTEM Abstract. In this paper, we study the cones of higher codimension (pseudo)effective cycles

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

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

arxiv: v4 [math.ag] 25 Jan 2018

arxiv: v4 [math.ag] 25 Jan 2018 arxiv:1612.03861v4 [math.ag] 25 Jan 2018 NEWTON-OKOUNKOV BODIES AND TORIC DEGENERATIONS OF MORI DREAM SPACES VIA TROPICAL COMPACTIFICATIONS ELISA POSTINGHEL AND STEFANO URBINATI Abstract. Given a smooth

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

BIRATIONAL GEOMETRY OF THE MODULI SPACE OF RANK 2 PARABOLIC VECTOR BUNDLES ON A RATIONAL CURVE 1. INTRODUCTION

BIRATIONAL GEOMETRY OF THE MODULI SPACE OF RANK 2 PARABOLIC VECTOR BUNDLES ON A RATIONAL CURVE 1. INTRODUCTION BIRATIONAL GEOMETRY OF THE MODULI SPACE OF RANK 2 PARABOLIC VECTOR BUNDLES ON A RATIONAL CURVE HAN-BOM MOON AND SANG-BUM YOO ABSTRACT. We investigate the birational geometry (in the sense of Mori s program)

More information

TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS

TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating

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

OKOUNKOV BODIES OF FINITELY GENERATED DIVISORS

OKOUNKOV BODIES OF FINITELY GENERATED DIVISORS OKOUNKOV BODIES OF FINITELY GENERATED DIVISORS DAVE ANDERSON, ALEX KÜRONYA, AND VICTOR LOZOVANU Abstract. We show that the Okounkov body of a big divisor with finitely generated section ring is a rational

More information

SESHADRI CONSTANTS ON SURFACES

SESHADRI CONSTANTS ON SURFACES SESHADRI CONSTANTS ON SURFACES KRISHNA HANUMANTHU 1. PRELIMINARIES By a surface, we mean a projective nonsingular variety of dimension over C. A curve C on a surface X is an effective divisor. The group

More information

The Pythagoras numbers of projective varieties.

The Pythagoras numbers of projective varieties. The Pythagoras numbers of projective varieties. Grigoriy Blekherman (Georgia Tech, USA) Rainer Sinn (FU Berlin, Germany) Gregory G. Smith (Queen s University, Canada) Mauricio Velasco (Universidad de los

More information

FINITE GENERATION OF THE ALGEBRA OF TYPE A CONFORMAL BLOCKS VIA BIRATIONAL GEOMETRY 1. INTRODUCTION

FINITE GENERATION OF THE ALGEBRA OF TYPE A CONFORMAL BLOCKS VIA BIRATIONAL GEOMETRY 1. INTRODUCTION FINITE GENERATION OF THE ALGEBRA OF TYPE A CONFORMAL BLOCKS VIA BIRATIONAL GEOMETRY HAN-BOM MOON AND SANG-BUM YOO ABSTRACT. We study birational geometry of the moduli space of parabolic bundles over a

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

arxiv: v1 [math.ag] 27 Mar 2014

arxiv: v1 [math.ag] 27 Mar 2014 MORI S PROGRAM FOR M 0,7 WITH SYMMETRIC DIVISORS HAN-BOM MOON arxiv:1403.7225v1 [math.ag] 27 Mar 2014 ABSTRACT. We complete Mori s program with symmetric divisors for the moduli space of stable seven pointed

More information

AARON BERTRAM AND IZZET COSKUN. To Jim Simons, with gratitude

AARON BERTRAM AND IZZET COSKUN. To Jim Simons, with gratitude THE BIRATIONAL GEOMETRY OF THE HILBERT SCHEME OF POINTS ON SURFACES AARON BERTRAM AND IZZET COSKUN To Jim Simons, with gratitude Abstract. In this paper, we study the birational geometry of the Hilbert

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

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

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 Abstract. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree

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

Normality of secant varieties

Normality of secant varieties Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X

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

Ordinary Flops. CHIN-LUNG WANG (NCU and NCTS) (Joint work with H.-W. Lin)

Ordinary Flops. CHIN-LUNG WANG (NCU and NCTS) (Joint work with H.-W. Lin) Ordinary Flops CHIN-LUNG WANG (NCU and NCTS) (Joint work with H.-W. Lin) September 6, 2004 CONTENTS 1. Ordinary flips/flops and local models 2. Chow motives and Poincaré pairing 3. Ordinary/quantum product

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

BIRATIONAL GEOMETRY OF THE MODULI SPACE OF RANK 2 PARABOLIC VECTOR BUNDLES ON A RATIONAL CURVE 1. INTRODUCTION

BIRATIONAL GEOMETRY OF THE MODULI SPACE OF RANK 2 PARABOLIC VECTOR BUNDLES ON A RATIONAL CURVE 1. INTRODUCTION BIRATIONAL GEOMETRY OF THE MODULI SPACE OF RANK 2 PARABOLIC VECTOR BUNDLES ON A RATIONAL CURVE HAN-BOM MOON AND SANG-BUM YOO ABSTRACT. We investigate the birational geometry (in the sense of Mori s program)

More information

Birational geometry and deformations of nilpotent orbits

Birational geometry and deformations of nilpotent orbits arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit

More information

On the Birational Geometry of Schubert Varieties

On the Birational Geometry of Schubert Varieties On the Birational Geometry of Schubert Varieties Benjamin Schmidt arxiv:1208.5507v1 [math.ag] 27 Aug 2012 August 29, 2012 Abstract We classify all Q-factorializations of (co)minuscule Schubert varieties

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

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

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

Balancing in relative canonical resolutions and a unirational moduli space of K3 surfaces

Balancing in relative canonical resolutions and a unirational moduli space of K3 surfaces Balancing in relative canonical resolutions and a unirational moduli space of K3 surfaces Frank-Olaf Schreyer Universität des Saarlandes E-Mail: schreyer@math.uni-sb.de. The Prospects for Commutative Algebra

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

SEMIAMPLENESS CRITERIA FOR DIVISORS ON M 0,n MAKSYM FEDORCHUK

SEMIAMPLENESS CRITERIA FOR DIVISORS ON M 0,n MAKSYM FEDORCHUK SEMIAMPLENESS CRITERIA FOR DIVISORS ON M 0,n MAKSYM FEDORCHUK ABSTRACT. We develop new characteristic-independent combinatorial criteria for semiampleness of divisors on M 0,n. As an application, we associate

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

COX RINGS AND PSEUDOEFFECTIVE CONES OF PROJECTIVIZED TORIC VECTOR BUNDLES

COX RINGS AND PSEUDOEFFECTIVE CONES OF PROJECTIVIZED TORIC VECTOR BUNDLES COX RINGS AND PSEUDOEFFECTIVE CONES OF PROJECTIVIZED TORIC VECTOR BUNDLES JOSÉ GONZÁLEZ, MILENA HERING, SAM PAYNE, AND HENDRIK SÜSS Abstract. We study projectivizations of a special class of toric vector

More information

Higher secant varieties of classical projective varieties

Higher secant varieties of classical projective varieties Higher secant varieties of classical projective varieties Maria Virginia Catalisano DIME Università degli Studi di Genova Research Station on Commutative Algebra Yangpyeong - June 13-17, 2016 Maria Virginia

More information

ALGEBRAIC GEOMETRY I, FALL 2016.

ALGEBRAIC GEOMETRY I, FALL 2016. ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of

More information

Algebra & Number Theory

Algebra & Number Theory Algebra & Number Theory Volume 3 2009 No. 7 Cox rings of degree one del Pezzo surfaces Damiano Testa, Anthony Várilly-Alvarado and Mauricio Velasco mathematical sciences publishers ALGEBRA AND NUMBER

More information

Problems on Minkowski sums of convex lattice polytopes

Problems on Minkowski sums of convex lattice polytopes arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and

More information

arxiv: v1 [math.ag] 2 Sep 2017

arxiv: v1 [math.ag] 2 Sep 2017 FINITE GENERATION OF THE ALGEBRA OF TYPE A CONFORMAL BLOCKS VIA BIRATIONAL GEOMETRY HAN-BOM MOON AND SANG-BUM YOO arxiv:1709.00519v1 [math.ag] 2 Sep 2017 ABSTRACT. We study birational geometry of the moduli

More information

arxiv: v1 [math.ag] 31 Jul 2016

arxiv: v1 [math.ag] 31 Jul 2016 MORI S PROGRAM FOR THE MODULI SPACE OF CONICS IN GRASSMANNIAN KIRYONG CHUNG AND HAN-BOM MOON arxiv:1608.00181v1 [math.ag] 31 Jul 2016 ABSTRACT. We complete Mori s program for Kontsevich s moduli space

More information

NEF DIVISORS ON M 0,n FROM GIT

NEF DIVISORS ON M 0,n FROM GIT NEF DIVISORS ON M 0,n FROM GIT VALERY ALEXEEV AND DAVID SWINARSKI Abstract We introduce and study the GIT cone of M 0,n, which is generated by the pullbacks of the natural ample line bundles on the GIT

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

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

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

arxiv: v1 [math.ag] 14 Mar 2019

arxiv: v1 [math.ag] 14 Mar 2019 ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically

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

TORIC PROJECTIVE BUNDLES

TORIC PROJECTIVE BUNDLES TORIC PROJECTIVE BUNDLES by José L. González A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2011

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory 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

THE CONE OF CURVES AND THE COX RING OF RATIONAL SURFACES GIVEN BY DIVISORIAL VALUATIONS

THE CONE OF CURVES AND THE COX RING OF RATIONAL SURFACES GIVEN BY DIVISORIAL VALUATIONS THE CONE OF CURVES AND THE COX RING OF RATIONAL SURFACES GIVEN BY DIVISORIAL VALUATIONS C. GALINDO AND F. MONSERRAT Abstract. We consider surfaces X defined by plane divisorial valuations ν of the quotient

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

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

COMPARING NUMERICAL DIMENSIONS

COMPARING NUMERICAL DIMENSIONS COMPARING NUMERICAL DIMENSIONS BRIAN LEHMANN Abstract. The numerical dimension is a numerical measure of the positivity of a pseudo-effective divisor L. There are several proposed definitions of the numerical

More information

Asymptotic invariants of line bundles, semiampleness and finite generation

Asymptotic invariants of line bundles, semiampleness and finite generation UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTÀ DI SCIENZE MM. FF. NN. Graduation Thesis in Mathematics by Salvatore Cacciola Asymptotic invariants of line bundles, semiampleness and finite generation Supervisor

More information

Mori Dream Spaces and GIT

Mori Dream Spaces and GIT Michigan Math. J. 48 (2000) Mori Dream Spaces and GIT Yi Hu & Sean Keel Dedicated to Bill Fulton An important advance in algebraic geometry in the last ten years is the theory of variation of geometric

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

Holomorphic Symplectic Manifolds

Holomorphic Symplectic Manifolds Holomorphic Symplectic Manifolds Marco Andreatta joint project with J. Wiśniewski Dipartimento di Matematica Universitá di Trento Holomorphic Symplectic Manifolds p.1/35 Definitions An holomorphic symplectic

More information

Uniruledness criteria and applications to classification and foliations

Uniruledness criteria and applications to classification and foliations Uniruledness criteria and applications to classification and foliations Stefan Kebekus March 1, 2012 Plan for the talk: 1. Uniruledness criteria 1.1 for varieties that are not uniruled 1.2 for 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

THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P 2 AND BRIDGELAND STABILITY

THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P 2 AND BRIDGELAND STABILITY THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P AND BRIDGELAND STABILITY DANIELE ARCARA, AARON BERTRAM, IZZET COSKUN, AND JACK HUIZENGA Abstract. In this paper, we study the birational

More information

arxiv: v1 [math.ag] 1 Mar 2017

arxiv: v1 [math.ag] 1 Mar 2017 BIRATIONAL GEOMETRY OF THE MODULI SPACE OF PURE SHEAVES ON QUADRIC SURFACE KIRYONG CHUNG AND HAN-BOM MOON arxiv:1703.00230v1 [math.ag] 1 Mar 2017 ABSTRACT. We study birational geometry of the moduli space

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

Ranks and generalized ranks

Ranks and generalized ranks Ranks and generalized ranks Zach Teitler Boise State University SIAM Conference on Applied Algebraic Geometry Minisymposium on Algebraic Geometry of Tensor Decompositions and its Applications October 7,

More information

Test, multiplier and invariant ideals

Test, multiplier and invariant ideals Test, multiplier and invariant ideals Inês B. Henriques Levico Terme MOCCA 2014 Inês B. Henriques (Levico Terme) Test, multiplier and invariant ideals 1 / 39 Motivation: Measures of Singularities Measuring

More information

Symplectic resolutions of the Hilbert squares of ADE surface singularities

Symplectic resolutions of the Hilbert squares of ADE surface singularities Symplectic resolutions of the Hilbert squares of ADE surface singularities Ryo Yamagishi arxiv:1709.05886v4 [math.ag] 27 Mar 2018 Abstract We study symplectic resolutions of the Hilbert scheme of two points

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

arxiv:math.ag/ v1 7 Jan 2005

arxiv:math.ag/ v1 7 Jan 2005 arxiv:math.ag/0501104 v1 7 Jan 2005 Asymptotic cohomological functions of toric divisors Milena Hering, Alex Küronya, Sam Payne January 7, 2005 Abstract We study functions on the class group of a toric

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

On the effective cone of the moduli space of pointed rational curves

On the effective cone of the moduli space of pointed rational curves On the effective cone of the moduli space of pointed rational curves Brendan Hassett and Yuri Tschinkel Abstract. We compute the effective cone of the moduli space of stable curves of genus zero with six

More information

arxiv:alg-geom/ v1 21 Mar 1996

arxiv:alg-geom/ v1 21 Mar 1996 AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically

More information

RATIONALITY CRITERIA FOR MOTIVIC ZETA FUNCTIONS

RATIONALITY CRITERIA FOR MOTIVIC ZETA FUNCTIONS RATIONALITY CRITERIA FOR MOTIVIC ZETA FUNCTIONS YUZHOU GU 1. Introduction Work over C. Consider K 0 Var C, the Grothendieck ring of varieties. As an abelian group, K 0 Var C is generated by isomorphism

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

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

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

Instanton counting, Donaldson invariants, line bundles on moduli spaces of sheaves on rational surfaces. Lothar Göttsche ICTP, Trieste

Instanton counting, Donaldson invariants, line bundles on moduli spaces of sheaves on rational surfaces. Lothar Göttsche ICTP, Trieste Instanton counting, Donaldson invariants, line bundles on moduli spaces of sheaves on rational surfaces Lothar Göttsche ICTP, Trieste joint work with Hiraku Nakajima and Kota Yoshioka AMS Summer Institute

More information

arxiv:math/ v2 [math.ag] 1 May 2007

arxiv:math/ v2 [math.ag] 1 May 2007 HILBERT S 14-TH PROBLEM AND COX RINGS ANA-MARIA CASTRAVET AND JENIA TEVELEV arxiv:math/0505337v2 [math.ag] 1 May 2007 Abstract. Our main result is the description of generators of the total coordinate

More information

Commuting birth-and-death processes

Commuting birth-and-death processes Commuting birth-and-death processes Caroline Uhler Department of Statistics UC Berkeley (joint work with Steven N. Evans and Bernd Sturmfels) MSRI Workshop on Algebraic Statistics December 18, 2008 Birth-and-death

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

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

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

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

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

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

Balanced line bundles and equivariant compactifications of homogeneous spaces

Balanced line bundles and equivariant compactifications of homogeneous spaces Hassett, B. et al. () Balanced line bundles and equivariant compactifications of homogeneous spaces, International Mathematics Research Notices, Vol., Article ID, 33 pages. doi:10.1093/imrn/ Balanced line

More information

On the Waring problem for polynomial rings

On the Waring problem for polynomial rings On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical

More information

arxiv: v1 [math.ag] 29 Dec 2018

arxiv: v1 [math.ag] 29 Dec 2018 arxiv:1812.11363v1 [math.ag] 29 Dec 2018 On forms of the Segre cubic Artem Avilov January 1, 2019 Abstract In this article we study forms of the Segre cubic over non-algebraically closed fields, their

More information

INDRANIL BISWAS AND GEORG HEIN

INDRANIL BISWAS AND GEORG HEIN GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed

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