The cone of pseudo-effective divisors of log varieties after Batyrev (Q846886)

In this note, the author generalizes Batyrev's structure theorem for the cone of nef curves of projective terminal threefolds to the cone of nef curves of projective \(\mathbb{Q}\)-factorial klt pairs of arbitrary dimension from the point of view of the Minimal Model Program. Let \(X\) be a normal projective variety and \(N_1(X)\) the finite dimensional \(\mathbb{R}\)-vector space of 1-cycles on \(X\) with real coefficients modulo numerical equivalence. Let \(\overline{NE_1}(X)\) be the closed convex cone in \(N_1(X)\) generated by classes of irreducible curves on \(X\) and \(\overline{NE_1}(X)_{D\geq 0}=\{z\in \overline{NE_1}(X)|D.z\geq 0\}\). The main theorem of this paper is: Let \((X, \Delta)\) be a \(\mathbb{Q}\)-factorial klt pair. Let \(\Sigma \subset N_1(X)\) be the set of classes of curves on \(X\) that are numerical pullbacks of curves lying on general fibres of Mori Fiber Spaces obtained from \(X\) by a \((K_X+\Delta)\)-Minimal Model Program with scaling. Then \[ \overline{NE_1}(X)_{(K_X+\Delta)\geq 0} +\overline{NM_1}(X) =\overline{NE_1}(X)_{(K_X+\Delta)\geq 0} + \overline{\sum_{[C]\in \Sigma}{\mathbb{R}}_{\geq 0}[C]}. \]