Bigness under finite normalization

ID: bigness-under-finite-normalization

Let be the finite normalization of an integral projective variety. The coherent sheaf is supported in dimension at most . For a Cartier divisor , the projection formula for sheaves and the resulting long exact sequence in sheaf cohomology give
The last step uses the polynomial bound for sections of a fixed divisor. Therefore the leading order growth, and hence bigness, is preserved in both directions. This handles nonnormal varieties without assuming a resolution of singularities in positive characteristic.

New to topics? Read the docs here!