Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-134/2/i/solution

On a smooth algebraic surface, distinct integral curves have nonnegative intersection numbers, because their intersection multiplicities are nonnegative. For any member of the complete linear system of a divisor, . Hence must be a component of ; otherwise the intersection would be nonnegative.
Subtracting one copy of from every effective member gives precisely the effective members linearly equivalent to . Conversely adding gives a member of . Thus is a fixed component and
Equivalently, multiplication by its defining section induces an isomorphism . The original PDF has this linear-system equality; the TeX loses the bars and reduces it to an uninformative divisor identity.

New to topics? Read the docs here!