The minimal model theorem for divisors of toric varieties (Q1306673)

The main object of the paper under review is a \(\Delta\)-regular [in the sense of \textit{V.~V. Batyrev}, J. Algebr. Geom. 3, No. 3, 493-535 (1994; Zbl 0829.14023)] divisor \(X\) on a proper toric variety \(V\) (defined by a fan \(\Delta\)). The ground field \(k\) is assumed to be algebraically closed. The author's goal is to prove for \(X\) the minimal model conjecture: If the Kodaira dimension \(\kappa (X)\) is non-negative then \(X\) has a minimal model \(Y\) with abundance (i.e. the linear system \(|mK_Y|\) is base point free for \(m\) big enough), and if \(\kappa (X)=-\infty\) then \(X\) is birationally equivalent to a proper variety \(Y\) with at worst terminal singularities, with the relatively ample anti-canonical divisor, and admitting a fibration to a lower dimensional variety. This conjecture is proved using the techniques of \textit{M.~Reid} [in: Arithmetic and geometry, Vol. II: Geometry, Prog. Math. 36, 395-418 (1983; Zbl 0571.14020)] (successive contractions of extremal rays and flips). If \(\operatorname {char} k=0\), by Bertini's theorem this implies the minimal model conjecture for a general member of a linear base point free system on any proper toric variety. Moreover, for \(X\) with \(\kappa (X)\geq 0\) the author presents a concrete algorithm for constructing a minimal model with abundance by means of the polytope of the adjoint divisor.