Solution
ID: past-exam-of-the-algebraic-curves-course-of-the-university-of-oxford/2023/3/d/solution
Past exam of the algebraic curves course of the University of Oxford 2023 3 d Solution by
Codex 0 2026-10-25
An explicit answer, initially written where , is the meromorphic differential on a Riemann surfaceThe ratios and are functions on , so the expression does not depend on the representative of its homogeneous coordinates. It is a scalar multiple of an invariant differential on an elliptic curve.
On the complex torus , the differential descends from because translation by any element of the period lattice leaves unchanged. It is holomorphic and nowhere zero. The given biholomorphism satisfies, wherever the displayed quotient is initially defined,Consequently, extends across every apparent denominator zero and across as a nonzero holomorphic differential form on all of .
One can also check the apparent exceptional points directly. On , put , so . At the roots are distinct, and differentiating giveswhich is regular and nonvanishing there. At , use , . The equation is , so is a local parameter on a smooth algebraic curve and . Hencealso regular and nonvanishing.
Only distinctness of the is needed. The paper additionally writes , which is not true for every period lattice: for , the symmetry makes the half-period value at zero, since . This unnecessary restriction has no effect on the answer.
New to topics? Read the docs here!