Pluricanonical systems of projective varieties of general type
Abstract
Description
We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$. This theorem gives an affirmative answer to Severi's conjecture. The key ingredients of the proof are the theory of AZD which was originated by the aurhor and the subadjunction formula for AZD's of logcanoncial divisors.
27pages, rewritten so that algebraists can read easily
27pages, rewritten so that algebraists can read easily