Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-4/20f/i/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 4 20F i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
For a smooth projective algebraic curve, a linear system of divisors comes from a finite-dimensional space . A basis of sections defines , using any local trivialization; a common scalar change does not alter the projective point. A base-point-free linear system makes this defined everywhere, and . Pulling back a hyperplane gives the zero divisor of a linear combination of the sections, an element of the original system.
A system with base divisor can instead define a map after removing , but its hyperplane pullbacks have class . Thus base-point-freeness is needed for the stated original-system property. For a closed immersion, the system must also separate distinct points and tangent directions; equivalently it is a very ample linear system. On a smooth curve the latter tangent condition is separation of the length-two subscheme at each point.
New to topics? Read the docs here!