Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-134/2/i/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 134 2 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
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 andEquivalently, 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!