Pluricanonical systems of projective varieties of general type. II

From MaRDI portal
Publication:2465256



Abstract: This is a revised version of the second half of my paper math.AG/9909021. We prove that there exists a positive integer un depending only on n such that for every smooth projective n-fold of general type X defined over complex numbers, midmKXmid gives a birational rational map from X into a projective space for every mgequn.


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.



Cites work


Cited in
(38)








This page was built for publication: Pluricanonical systems of projective varieties of general type. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2465256)