Fujita-type freeness for quasilog canonical curves and surfaces (Q2216710)

We work over the complex number field \(\mathbb{C}\). One of the most important open problems in algebraic geometry is Fujita's freeness conjecture, which predicts that if \(X\) is a smooth projective variety and \(N\) is an ample Cartier divisor on \(X\), then \(|K_X +(\dim X+1)N|\) is base point free. It is widely open when \(\dim X \geq 6\). Reider's theorem [\textit{I. Reider}, Ann. Math. (2) 127, No. 2, 309--316 (1988; Zbl 0663.14010)] motivates the following stronger conjecture: \textit{Let \(X\) be a smooth projective variety, and \(N\) be an ample Cartier divisor on \(X\). Assume that \(N^{\dim X} > (\dim X)^{\dim X}\) and \(N^{\dim Z}.Z \geq (\dim X)^{\dim Z}\) for every proper irreducible subvariety \(Z \subseteq X\). Then \(|K_X+N|\) is base point free.}\\ The purpose of the paper under review is to study the stronger version of Fujita's freeness conjecture for \textit{quasilog canonical (qlc) pairs}, which would be useful for some inductive approach to the original conjecture. The main conjecture is the following (Conjecture 1.2):\\ \textit{Let \([X, \omega]\) be a projective qlc pair, and \(N:=M-\omega\), where \(M\) is a Cartier divisor on \(X\). Assume that \(N^{\dim X_i}.X_i > (\dim X_i)^{\dim X_i}\) for every positive dimensional irreducible component \(X_i\) of \(X\) and \(N^{\dim Z}.Z \geq n_Z^{\dim Z}\) for every proper irreducible subvariety \(Z \subseteq X\) which is not an irreducible component of \(X\), where \(n_Z=\min_i \{\dim X_i \mid Z \subseteq X_i\}\).}\\ The purpose of the paper is to verify this conjecture when \(\dim X \leq 2\) (Theorem 1.3 and Corollary 1.5). The strategy to prove the conjecture is outlined in the introduction of the paper, and the authors carry out this strategy for the surface case. There are two main ingredients; (1) the first author's result in [\textit{O. Fujino}, ``Fundamental properties of basic slc-trivial fibrations'', Preprint, \url{arXiv:1804.1113}], which comes from the theory of variations of mixed Hodge structure on cohomology with compact support, and (2) the authors' previous result on normalization of qlc pairs [\textit{O. Fujino} and \textit{H. Liu}, Proc. Japan Acad., Ser. A 94, No. 10, 97--101 (2018; Zbl 1415.14009)].