On the basepoint-free theorem for log canonical threefolds over the algebraic closure of a finite field (Q2342188)

In this well-written paper, the authors establish the base point freeness theorem for three dimensional log canonical pairs over the algebraic closed field \(\overline{\mathbb{F}}_p\): Theorem 1.1. Let \(L\) be a nef and big line bundle on \(X\). If \(L-(K_X+\Delta)\) is nef and big, then \(L\) is semiample. This result is a generalization of S. Keel where one only allows \((X,\Delta)\) to have at most klt singularities, cf. [\textit{S. Keel}, Ann. Math. (2) 149, No. 1, 253--286 (1999; Zbl 0954.14004)]. On the way to prove the main theorem, the authors first establish a strong base point freeness theorem for log surfaces over \(\overline{\mathbb{F}}_p\) (Theorem 1.4): Let \(X\) be a normal projective surface defined over \(\overline{\mathbb{F}}_p\) and let \(\Delta\) be an effective \(\mathbb{Q}\)-divisor. If \(L\) is a nef line bundle such that \(L-(K_X+\Delta)\) is also nef, then \(L\) is semiample. The proof is done by a series of reduction, a criterion of semiampleness by \textit{H. Tanaka} [Nagoya Math. J. 216, 1--70 (2014; Zbl 1311.14020)], and also the classification of minimal surfaces. Based on the base point freeness theorem on log surfaces (Theorem 1.4), by applying descending and gluing trick established in S. Keel [loc. cit.], the authors are also able to generalize their main result to three-dimensional log pairs \((X,\Delta)\), where all the coefficients of \(\Delta\) are at most one and each irreducible component of Supp\((\llcorner\Delta\lrcorner)\) is normal. Finally the assumption \(k=\overline{\mathbb{F}}_p\) here is indispensable. Counterexamples over \(k\neq\overline{\mathbb{F}}_p\) for (some of) the above results can be found in Section 7.