On the minimal model theory for DLT pairs of numerical log Kodaira dimension zero (Q2428831)

The goal of this paper is to study minimal model of dlt pairs of numerical Kodaira dimension zero. The main theorem is the following: let \((X,\Delta)\) be a projective \(\mathbb{Q}\)-factorial dlt pair such that \(\nu(K_{X}+\Delta)=0\), then there exists a minimal model of \((X,\Delta)\). This result has been proved for klt pairs by \textit{S. Druel} [Math. Z. 267, No. 1, 413--423 (2011; Zbl 1216.14007)] using similar methods. The proof is based on results in [\textit{C. Birkar, P. Cascini, C. D. Hacon} and \textit{J. McKernan}, J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)], especially on the termination of flips with scaling and the divisorial Zariski decomposition. The generalization to dlt pairs is important since it allows the author to prove a particular case of the abundance conjecture. Let \(X\) be a normal projective variety and let \(\Delta\) be an effective \(\mathbb{Q}\)-divisor. Suppose that \((X,\Delta)\) is a log canonical pair such that \(\nu(K_{X}+\Delta)=0\), then \(\kappa(K_{X}+\Delta)=0\). Particular cases of this theorem were known before, for example Nakayama proved the case \((X,\Delta)\) is a klt pair, see [\textit{N. Nakayama}, Zariski-decomposition and abundance. MSJ Memoirs 14. Tokyo: Mathematical Society of Japan (2004; Zbl 1061.14018)]. See also [\textit{Y. Kawamata}, ``On the abundance theorem in the case \(v=0\)'', \url{arXiv:1002.2682}]. Remarkably the previous theorem is independent of Simpson's results.