Duality between the pseudoeffective and the movable cone on a projective manifold

Nyström, David¹

¹ Department of Mathematical Sciences, Chalmers University of Technology and the University of Gothenburg, SE-412 96 Gothenburg, Sweden

Journal of the American Mathematical Society, Tome 32 (2019) no. 3, pp. 675-689

Résumé

We prove a conjecture of Boucksom-Demailly-Păun-Peternell, namely that on a projective manifold $X$ the cone of pseudoeffective classes in $H^{1,1}_{\mathbb {R}}(X)$ is dual to the cone of movable classes in $H^{n-1,n-1}_{\mathbb {R}}(X)$ via the Poincaré pairing. This is done by establishing a conjectured transcendental Morse inequality for the volume of the difference of two nef classes on a projective manifold. As a corollary the movable cone is seen to be equal to the closure of the cone of balanced metrics. In an appendix by Boucksom it is shown that the Morse inequality also implies that the volume function is differentiable on the big cone, and one also gets a characterization of the prime divisors in the non-Kähler locus of a big class via intersection numbers.

Détail

DOI : 10.1090/jams/922

Bibliographie

[1] Berman, Robert, Boucksom, Sã©Bastien Growth of balls of holomorphic sections and energy at equilibrium Invent. Math. 2010 337 394

[2] Berman, Robert, Demailly, Jean-Pierre Regularity of plurisubharmonic upper envelopes in big cohomology classes 2012 39 66

[3] Boucksom, Sã©Bastien On the volume of a line bundle Internat. J. Math. 2002 1043 1063

[4] Boucksom, Sã©Bastien, Demailly, Jean-Pierre, PäƒUn, Mihai, Peternell, Thomas The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension J. Algebraic Geom. 2013 201 248

[5] Boucksom, Sã©Bastien, Eyssidieux, Philippe, Guedj, Vincent, Zeriahi, Ahmed Monge-Ampère equations in big cohomology classes Acta Math. 2010 199 262

[6] Boucksom, Sã©Bastien, Favre, Charles, Jonsson, Mattias Differentiability of volumes of divisors and a problem of Teissier J. Algebraic Geom. 2009 279 308

[7] Bedford, Eric, Taylor, B. A. A new capacity for plurisubharmonic functions Acta Math. 1982 1 40

[8] Chiose, Ionuå£ The Kähler rank of compact complex manifolds J. Geom. Anal. 2016 603 615

[9] Collins, Tristan C., Tosatti, Valentino Kähler currents and null loci Invent. Math. 2015 1167 1198

[10] Demailly, Jean-Pierre Kähler manifolds and transcendental techniques in algebraic geometry 2007 153 186

[11] Demailly, Jean-Pierre, Paun, Mihai Numerical characterization of the Kähler cone of a compact Kähler manifold Ann. of Math. (2) 2004 1247 1274

[12] Ein, Lawrence, Lazarsfeld, Robert, Mustaå£Äƒ, Mircea, Nakamaye, Michael, Popa, Mihnea Restricted volumes and base loci of linear series Amer. J. Math. 2009 607 651

[13] Fu, Jixiang, Xiao, Jian Relations between the Kähler cone and the balanced cone of a Kähler manifold Adv. Math. 2014 230 252

[14] Guedj, Vincent, Zeriahi, Ahmed Intrinsic capacities on compact Kähler manifolds J. Geom. Anal. 2005 607 639

[15] Guedj, Vincent, Zeriahi, Ahmed The weighted Monge-Ampère energy of quasiplurisubharmonic functions J. Funct. Anal. 2007 442 482

[16] Lazarsfeld, Robert Positivity in algebraic geometry. I 2004

[17] Lazarsfeld, Robert, Mustaå£Äƒ, Mircea Convex bodies associated to linear series Ann. Sci. Éc. Norm. Supér. (4) 2009 783 835

[18] Lu, Chinh H., Van-Dong Nguyen Degenerate complex Hessian equations on compact Kähler manifolds Indiana Univ. Math. J. 2015 1721 1745

[19] Popovici, Dan Sufficient bigness criterion for differences of two nef classes Math. Ann. 2016 649 655

[20] Popovici, Dan Volume and self-intersection of differences of two nef classes Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 2017 1255 1299

[21] Siu, Yum Tong Analyticity of sets associated to Lelong numbers and the extension of closed positive currents Invent. Math. 1974 53 156

[22] Toma, Matei A note on the cone of mobile curves C. R. Math. Acad. Sci. Paris 2010 71 73

[23] Xiao, Jian Weak transcendental holomorphic Morse inequalities on compact Kähler manifolds Ann. Inst. Fourier (Grenoble) 2015 1367 1379