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 giveThe 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!