Birational linear system criterion for bigness
ID: birational-linear-system-criterion-for-bigness
A Cartier divisor on an integral projective variety is big if and only if some multiple has a complete linear system of a divisor giving a rational map birational onto its image. Kodaira's lemma embeds a very ample subsystem in a suitable multiple. Conversely, algebraically independent elements among the section ratios give independent degree- section monomials, where . Smoothness is not necessary.
New to topics? Read the docs here!