×

A simple proof for the existence of Zariski decompositions on surfaces. (English) Zbl 1184.14007

Let \(X\) be a smooth projective surface and \(D\) be an effective \(\mathbb{Q}\)-divisor on \(X\). Zariski proved the following fundamental theorem in surface theory: The divisor \(D\) can be uniquely written as \(D=P+N\), such that \(P\) is nef, \(N\) is zero or has negative definite intersection matrix and \(P\cdot C=0\) for every irreducible component \(C\) of \(N\). In this note, the author gives a simple proof of this Zariski decomposition. The method may be used to a practical algorithm for computation of \(P\). The idea of this simple proof is that the positive part \(P\) can be constructed as a maximal nef subdivisor of \(D\).

MSC:

14C20 Divisors, linear systems, invertible sheaves

References:

[1] Lucian Bădescu, Algebraic surfaces, Universitext, Springer-Verlag, New York, 2001. Translated from the 1981 Romanian original by Vladimir Maşek and revised by the author. · Zbl 0965.14001
[2] Takao Fujita, On Zariski problem, Proc. Japan Acad. Ser. A Math. Sci. 55 (1979), no. 3, 106 – 110. · Zbl 0444.14026
[3] Noboru Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol. 14, Mathematical Society of Japan, Tokyo, 2004. · Zbl 1061.14018
[4] Robert Lazarsfeld, Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 48, Springer-Verlag, Berlin, 2004. Classical setting: line bundles and linear series. Robert Lazarsfeld, Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals.
[5] Oscar Zariski, The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface, Ann. of Math. (2) 76 (1962), 560 – 615. · Zbl 0124.37001 · doi:10.2307/1970376
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.