Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ii/paper-1/23g/a/solution
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 1 23G a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
A rational function is a quotient of polynomials with . Cancel common factors. It determines a map on the Riemann sphere by assigning infinity at poles and assigning at infinity the limit in the sphere. Equivalently homogenize to the same degree and set . They have no common projective zero: finite ones would contradict coprimality, and at infinity at least one has a nonzero leading coefficient. This also proves the map is holomorphic.
The degree of the nonconstant rational function is . The degree of a holomorphic map of compact Riemann surfaces is the number of preimages of any target point, counted with local mapping multiplicity. For target , the homogeneous equation is a nonzero homogeneous polynomial of degree . Over it factors into linear factors, with multiplicity, giving exactly projective zeros. Locally its zero order is precisely the map's multiplicity, since the other target-coordinate denominator is nonzero. The two degrees are equal.
There is a Möbius transformation sending any ordered triple of distinct points to . When all are finite one can use ; the formulas for infinity are its limits. Define in the same way. Then sends to and restricts to a biholomorphism .
New to topics? Read the docs here!