On the base point freeness of adjoint bundles on normal surfaces (Q1964700): Difference between revisions

The author studies the base point freeness of adjoint bundles on normal surfaces \(Y\) over the complex field. For a given nef and big \(\mathbb{Q}\)-Weil divisor \(M\) on \(Y\) such that \(K_Y+\lceil M\rceil\) is Cartier, the question is when a given point \(y\in Y\) is not a base point of the adjoint linear system \(|K_Y+\lceil M\rceil|\), or equivalently when the rational map associated to \(|K_Y+\lceil M\rceil|\) is defined at \(y\). For a given point \(y\in Y\), the author defines two non-negative rational numbers \(\delta_y\), and \(\mu\), called invariants (of singularities), and proves the following: Theorem. Assume that \(M^2> (1-\mu)^2 \delta_y\) and \(M\cdot C\geq (1-\mu) \delta_y/2\) for all curves \(C\) passing through \(y\). Then \(y\) is not a base point of \(|K_Y+\lceil M\rceil|\). When \(y\) is a smooth point, this is equivalent to the criterion of I. Reider; when \(y\) is a rational double point, this is equivalent to the criterion of \textit{L. Ein} and \textit{R. Lazarsfeld}. The theorem includes previous results due to \textit{V. Maşek} and results due to A. Langer [cf., for example, \textit{A. Langer}, J. Algebr. Geom. 8, No. 1, 41-66 (1999; Zbl 0943.14028)]. -- The above theorem is obtained as corollary of the main theorem of the paper, a slightly more powerful one but which considers new complicated invariants.