Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ii/paper-3/22h/solution
Past exam of the mathematics course of the University of Cambridge 2005 ii Paper 3 22H Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
A meromorphic differential on a Riemann surface has local expression with a meromorphic coefficient. On overlapping coordinates it transforms by . For a meromorphic function , the coefficients obey this transformation by the chain rule, so is such a differential. Two nonzero differentials have coefficient ratio ; the derivative factors cancel on overlaps, yielding a global meromorphic function with .
An invertible holomorphic coordinate change has a nonzero holomorphic derivative, so multiplying by its derivative changes no local zero or pole order. Thus the differential's divisor is well defined. For a compact connected surface, the canonical-degree theorem states , including negative orders for poles. Therefore .
The projective closure has equation . Its gradient cannot vanish at a projective point, so it is nonsingular. At infinity gives the two points and . In the supplied sphere parameter,This has double poles at , the two infinity points, and simple zeros at . At the parameter infinity use , giving and , which is regular and nonzero at . Hence extends meromorphically over the whole projective curve. Its order sum gives genus zero, consistently with the stated biholomorphism from the sphere.
New to topics? Read the docs here!