A Cartier divisor on an integral -dimensional projective variety is big when for some and infinitely many positive integers . Equivalently, its Iitaka dimension is . Kodaira's lemma characterizes bigness by an ample-plus-effective decomposition, and the birational linear system criterion for bigness shows why this growth captures the full variety.
New to topics? Read the docs here!