Abstract
We first introduce a weak type of Zariski decomposition in higher dimensions: an \({\mathbb {R}}\) -Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective \({\mathbb {R}}\) -Cartier divisor. We then prove that there is a very basic relation between Zariski decompositions and log minimal models which has long been expected: we prove that assuming the log minimal model program in dimension d − 1, a lc pair (X/Z, B) of dimension d has a log minimal model (in our sense) if and only if K X + B has a weak Zariski decomposition/Z.
Similar content being viewed by others
References
Birkar C.: On existence of log minimal models. Compositio Math. 145, 1442–1446 (2009)
Birkar C.: On existence of log minimal models II. J. Reine Angew Math. 658, 99–113 (2011)
Birkar C.: Log minimal models according to Shokurov. J. Algebra Number Theory 3(8), 951–958 (2009)
Birkar C., Cascini P., Hacon C., McKernan J.: Existence of minimal models for varieties of log general type. J. Am. Math. Soc. 23, 405–468 (2010)
Birkar, C., Păun, M.: Minimal models, flips and finite generation: a tribute to V.V. Shokurov and Y.-T. Siu. In: Faber, et al. (eds.) Classification of Algebraic Varieties. European Mathematical Society Series of Congress Reports, pp. 77–113 (2010)
Fujino, O.: Termination of 4-fold canonical flips. Publ. Res. Inst. Math. Sci. 40(1), 231–237 (2004); Addendum: Publ. Res. Inst. Math. Sci. 41(1), 251–257 (2005)
Fujita T.: On Zariski problem. Proc. Jpn. Acad. Ser. A 55, 106–110 (1979)
Fujita T.: Zariski decomposition and canonical rings of elliptic threefolds. J. Math. Soc. Jpn. 38, 19–37 (1986)
Kawamata, Y.: The Zariski decomposition of log-canonical divisors. In: Algebraic Geometry: Bowdoin 1985. Proceedings of Symposia in Pure Mathematics, vol. 46, pp. 425–434 (1987)
Kawamata, Y., Matsuda, K., Matsuki, K.: Introduction to the minimal model problem. Algebraic Geometry (Sendai, 1985). Adv. Stud. Pure Math., no. 10, pp. 283–360. North-Holland, Amsterdam (1987)
Moriwaki A.: Semi-ampleness of the numerically effective part of the Zariski decomposition. J. Math. Kyoto Univ. 26, 465–481 (1986)
Nakayama, N.: Zariski decomposition and abundance. MSJ Memoirs 14, Tokyo (2004)
Prokhorov Yu.G.: On Zariski decomposition problem. Proc. Steklov Inst. Math. 240, 37–65 (2003)
Shokurov, V.V.: Letters of a bi-rationalist. V. Minimal log discrepancies and termination of log flips. Tr. Mat. Inst. Steklova 246. Algebr. Geom. Metody, Svyazi i Prilozh., pp. 328–351 (2004, Russian)
Shokurov, V.V.: Prelimiting flips. Tr. Mat. Inst. Steklova 240, Biratsion. Geom. Linein. Sist. Konechno Porozhdennye Algebry, pp. 82–219 (2003); translation in Proc. Steklov Inst. Math., 1(240), 75–213 (2003)
Shokurov V.V.: Letters of a bi-rationalist VII: ordered termination. Proc. Steklov Inst. Math. 264, 178–200 (2009)
Zariski O.: The theorem of Rieman-Roch for high multiples of an effective divisor on an algebraic surface. Ann. Math. 76, 560–615 (1962)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Birkar, C. On existence of log minimal models and weak Zariski decompositions. Math. Ann. 354, 787–799 (2012). https://doi.org/10.1007/s00208-011-0756-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-011-0756-y