Pluricanonical systems of projective varieties of general type. II (Q2465256): Difference between revisions

For every projective complex manifold \(X\) of general type with canonical divisor \(K\) there exists \(m_0\in\mathbb N\) such that the meromorphic map \(\varphi_m\) of \(X\) defined by the pluricanonical system \(| mK| \) is birational for all \(m\geq m_0\). The main result of the paper under review says that \(m_0\) can be chosen in dependence of \(\dim X\) alone: For every \(n\in\mathbb N\) there exists a number \(C_n\in\mathbb N\) such that \(\varphi_m\) is birational for every \(m\geq C_n\), \(n=\dim X\). This fact was known for \(n\leq 2\), where \(C_n=2n+1\) does the job, see \textit{E. Bombieri} [Publ. Math., Inst. Hautes Etud. Sci. 42, 171--219 (1972; Zbl 0259.14005)]. The author proved the result in [Osaka J. Math. 43, No. 4, 967--995 (2006; Zbl 1142.14012)] under the additional assumption that every projective manifold of general type admits a minimal model in the sense of the MMP. In the present paper he uses instead the existence of particular singular hermitian metrics on pseudoeffective line bundles \(L\) on \(X\) (analytic Zariski decompositions on \(L\)). The positivity theorem and the subadjunction theorem of \textit{Y. Kawamata} [Am. J. Math. 120, No. 5, 893--899 (1998; Zbl 0919.14003)] are also essential tools for the proof. The same result was proved independently by \textit{S. Takayama} [Invent. Math. 165, No. 3, 551--587 (2006; Zbl 1108.14031)] and by \textit{C. Hacon} and \textit{J. McKernan} [Invent. Math. 166, No. 1, 1--25 (2006; Zbl 1121.14011)]. Their proofs are based on ideas of the present author and of Y.-T. Siu. As an application of his theorem the author gives an affirmative answer to the following Severi-Iitaka conjecture: Let \([X]\) denote the birational class of the projective manifold \(X\) of general type. For every projective complex manifold \(Y\) the set \(\{(f,[X])\,| \,f:Y\rightharpoonup X \text{ is a dominant rational map}\,\}\) is finite.