Rigidity of a negative curve

ID: rigidity-of-a-negative-curve

If an effective divisor is linearly equivalent to a negative curve , then . Otherwise forces to be a component of , since distinct irreducible curves have nonnegative intersection multiplicities. Write with effective and linearly equivalent to zero. An ample divisor intersects positively unless , while linear equivalence forces that intersection to vanish.

New to topics? Read the docs here!