Zariski decomposition of divisors on algebraic varieties (Q1083492): Difference between revisions

Let V be a smooth projective variety over \({\mathbb{C}}\) and let D be an effective divisor on V. If V is a surface the Zariski decomposition of D is the datum of the largest numerically effective \({\mathbb{Q}}\)-divisor P such that \(N=D-P\) is an effective \({\mathbb{Q}}\)-divisor [see \textit{O. Zariski}, Ann. Math., II. Ser. 76, 560-615 (1962; Zbl 0124.370)]. Different extensions of this notion to higher dimensional varieties, in view of the solution of the problem of the finite generation of the canonical ring of varieties of general type, have been proposed by various authors: \textit{X. Benveniste} [Invent. Math. 73, 157-164 (1983; Zbl 0539.14025)], \textit{T. Fujita} in Classification of algebraic and analytic manifolds, Proc. Symp., Katata/Jap. 1982, Prog. Math. 39, 65-70 (1983; Zbl 0525.14004)], \textit{A. Morikawi} [''Semi-ampleness if the numerically effective part of Zariski decomposition'' and ''Several properties of Zariski decomposition'' (both preprints)], and the author in the paper under review. The definition proposed by the author is the following: \(D=D'+F\) is a Zariski decomposition if D' is an effective and numerically effective \({\mathbb{Q}}\)-divisor and \(h^ 0(nD)=h^ 0([nD'])\) for any \(n>0\), [nD'] denoting the integral part of nD'. Then two results are proved. First it is shown, by giving an example, that there are divisors D on some threefold V such that for any birational morphism \(f: V'\to V\) the pull-back \(f^*(D)\) does not have a Zariski decomposition (This phenomenon can only happen, as the author shows, if the D-dimension of the divisor is 3). - The second main result is that the canonical ring of a threefold V of general type is finitely generated if there is a canonical divisor K of V and a birational morphism \(f: V'\to V\) such that \(f^*(K)\) has a Zariski decomposition. It should however be mentioned that the recent conclusion of Mori's minimal model program implies the finite generation of the canonical ring of any threefold of general type [\textit{S. Mori}, ''Flip theorem and the existence of minimal models for threefolds'' (preprint)]. An excellent account on the subject of minimal models and canonical rings may be found in \textit{S. Mori}'s expository paper ''Classification of higher dimensional varieties'' (preprint) to appear in the proceedings of the Summer Institute in Algebraic Geometry of the Am. Math. Soc., Bowdoin 1985.