Effective basepoint-free theorem for semi-log canonical surfaces

From MaRDI portal
Publication:2403286



Abstract: This paper proposes a Fujita-type freeness conjecture for semi-log canonical pairs. We prove it for curves and surfaces by using the theory of quasi-log schemes and give some effective very ampleness results for stable surfaces and semi-log canonical Fano surfaces. We also prove an effective freeness for log surfaces.


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\).











This page was built for publication: Effective basepoint-free theorem for semi-log canonical surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2403286)