Effective basepoint-free theorem for semi-log canonical surfaces (Q2403286)

Let \(H\) be an ample Cartier divisor on a smooth projective variety \(X\) with dimension \(n\). Fujita's freeness conjecture states that the complete linear system \(|K_X+(n+1)H|\) is base point free. A major achievement towards Fujita's conjecture was made by \textit{U. Angehrn} and \textit{Y.-T. Siu} [Invent. Math. 122, No. 2, 291--308 (1995; Zbl 0847.32035)]. Later a generalization of Angehrn-Siu effective freeness theorem was received by \textit{H. Liu} [``The Angehrn--Siu type effective freeness for quasi-log canonical pairs'', preprint, \url{arXiv:1601.01028}]. In this paper, the author proposes the following Fujita type freeness conjecture for semi-log canonical pairs. Conjecture. Let \((X, \Delta)\) be an \(n\)-dimensional projective semi-log canonical pair and let \(D\) be a Cartier divisor on \(X\). Let \(A=D-(K_X+\Delta)\). Assume that (1) \(A^n\cdot X_i>n^n\) for every irreducible component \(X_i\) on \(X\), and (2) \(A^d\cdot W\geq n^d\) for every \(d\)-dimensional irreducible subvariety \(W\) of \(X\) for \(1\leq d \leq n-1\). Then the complete linear system \(|D|\) is base point free. The author proves the conjecture for curves and surfaces. Main Theorem. The conjecture holds for curves and surfaces. To show that the conjecture holds for curves, the idea is to apply the vanishing theorem for semi-log canonical pairs developed in the author's previous work. For surfaces, the proof is much more difficult. The theory of quasi-log schemes developed by the author is used to prove that the conjecture is true for surfaces. Modifying the proof of the main theorem, the author proves the following effective freeness theorem for log surfaces. Theorem. Let \((X, \Delta)\) be a complete irreducible log surface and let \(D\) be a Cartier divisor on \(X\). Let \(A=D-(K_X+\Delta)\). Assume that \(A\) is nef, \(A^2>4\) and \(A\cdot C\geq 2\) for every curve \(C\) on \(X\) such that \(x\in C\). Then \({\mathcal{O}}_X(D)\) has a global section not vanishing at \(x\).