Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-125/1/a/solution

For a smooth projective curve of geometric genus one, the Riemann-Roch theorem says
The canonical divisor has degree zero and is principal because a nonzero regular differential has no zeros. Hence , so equivalently
In particular, when .
The group is the group of degree-zero divisor classes on , with addition induced by addition of divisors. Consider
For 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 .
For injectivity, suppose is a principal divisor. If , its defining function would be nonconstant and would have at most one simple pole, whereas Riemann--Roch gives , so every such function is constant. Therefore , and is a bijection.

New to topics? Read the docs here!