Theorem 2.2 (Iitaka) . [00F1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 2.2 (Iitaka).

Let $L$ be semiample. Then there exists a surjective morphism $f:X\to Y$ where $Y$ is a normal irreducible variety, $f_{*}\mathcal{O}_{X}=\mathcal{O}_{Y}$ , and $L=f^{*}A$ for some ample line bundle $A$ on $Y$ . In fact $f=\Phi_{|kL|}$ for all $k$ sufficiently divisible.