Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-25/3/a/solution

Let be an effective divisor linearly equivalent to . If were not a component of , all intersection multiplicities between its components and would be nonnegative, contradicting . Hence with effective and linearly equivalent to zero. For an ample divisor , this gives . Positivity of on every irreducible component of a nonzero effective divisor forces . Therefore , illustrating the rigidity of a negative curve.

New to topics? Read the docs here!