Finiteness results for 3-folds with semiample anticanonical bundle (Q2347760)

Let \(X\) be a complex normal projective variety, and let \(\Delta\) be an effective \(\mathbb Q\)-divisor on \(X\) such that the pair \((X, \Delta)\) is not too singular. If \((X, \Delta)\) is log-Fano, i.e. the divisor \(-(K_X+\Delta)\) is ample, deep results of the minimal model program imply that the nef cone and the pseudoeffective cone are rational polyhedral. If \(-(K_X+\Delta)\) is numerically trivial these cones can be quite complicated, however the Kawamata-Morrison cone conjecture [\textit{Y. Kawamata}, Int. J. Math. 8, No. 5, 665--687 (1997; Zbl 0931.14022)] predicts that one can find rational polyhedral subcones which are fundamental domains for the actions of certain automorphism groups. In this paper, the author considers several versions of the cone conjecture in the case where \(X\) is a mildly singular threefold such that \(-K_X\) is semiample and not numerically trivial. This situation is part of the cone conjecture in two different ways: a smooth pluri-anticanonical divisor \(D \in |-mK_X|\) defines a boundary divisor \(\Delta := \frac{1}{m}D\) such that \((X, \Delta)\) is klt and \(-(K_X+\Delta)\) is trivial, alternatively one can discuss the relative cone conjecture for the Calabi-Yau fibre space \(X \rightarrow S\) defined by some high multiple of \(-K_X\). The main result of this paper is that the cone \(\overline{\mathcal M(X)}^e\) of effective movable divisors decomposes as the union of the effective nef cones of small \(\mathbb Q\)-factorial modifications of \(X\). Moreover this decomposition is finite up to the action of the appropriate group of (birational) automorphisms. In the second part of the paper the author obtains more precise versions of the cone conjecture in the case where \(-mK_X\) defines an equidimensional elliptic fibration onto a surface.