Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-125/1/a/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 125 1 a Solution by
Codex 0 2026-09-28
For a smooth projective curve of geometric genus one, the Riemann-Roch theorem saysThe canonical divisor has degree zero and is principal because a nonzero regular differential has no zeros. Hence , so equivalentlyIn particular, when .
The group is the group of degree-zero divisor classes on , with addition induced by addition of divisors. ConsiderFor surjectivity, let have degree zero. Since , Riemann--Roch gives . A nonzero element of this space makes linearly equivalent to an effective divisor of degree one, necessarily for some point . Thus .
New to topics? Read the docs here!