Duality of the cones of divisors and curves (Q2391611): Difference between revisions

Consider a normal (\(\mathbb{Q}\)-factorial) complex projective algebraic variety \(X\) of dimension \(n\). \textit{S. Boucksom} et al. [J. Algebr. Geom. 22, No. 2, 201--248 (2013; Zbl 1267.32017)] show that the dual cone (with respect to the classical intersection pairing) to the cone of pseudoeffective divisors in \(N^1(X)\) is given by the closure of the cone of numerical classes of movable curves in \(N_1(X)\). Similarly, for \(1\leq k\leq n\), one might try to give a description of the dual to the cone \(\overline{\mathrm{Amp}}_k(X)\), defined as the closure of the convex cone spanned by divisors whose stable base locus does not contain any \(k\)-dimensional subvarieties of \(X\) (note that \(\overline{\mathrm{Amp}}_n(X)\) is in fact the pseudoeffective cone, while \(\overline{\mathrm{Amp}}_1(X)\) is the nef cone). \textit{S. Payne} [Math. Z. 253, No. 2, 421--431 (2006; Zbl 1097.14007)] shows that, if the variety \(X\) is toric, the dual cone to \(\overline{\mathrm{Amp}}_k(X)\) is given by the closed cone spanned by classes in \(N_1(X)\) corresponding to curves (on some small modification of \(X\)) that sweep out a subvariety of dimension \(k\). Moreover he raises a question of whether the same (see Problem 1.1 of the article under review for the exact formulation) is true in general. In this paper the author gives a positive answer for Mori dream spaces and klt log Fano pairs. In fact, using results in the log minimal model program, he proves that the required duality holds in the \(K_X+B\) negative part of the Néron-Severi space of a klt pair \((X,B)\).