Unavoidable support at a non-Cartier point

ID: unavoidable-support-at-a-non-cartier-point

If a Weil divisor on a normal variety is not Cartier at , every linearly equivalent divisor has in its support of a Weil divisor. Otherwise that representative would vanish near , expressing as a principal Weil divisor there. On the prime divisor is not Cartier at the origin: its ideal has two independent generators modulo the maximal ideal times that ideal. This gives an unavoidable support point even for representatives with negative coefficients.

New to topics? Read the docs here!