Contracted curve has negative self-intersection
ID: contracted-curve-has-negative-self-intersection
Let a surjective morphism from a smooth projective surface to a projective surface contract an irreducible curve . Pull back an ample divisor from the target to obtain . The projection formula for algebraic cycles gives and . The Hodge index theorem for algebraic surfaces makes the intersection form negative definite on the orthogonal complement of this positive-square class. Since an ample divisor on the source meets positively, its numerical class is nonzero, and .
New to topics? Read the docs here!