Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/23f/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 1 23F Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Consider the singularity of the injective entire function at infinity. If removable, it is bounded outside a disk and therefore bounded globally; Liouville theorem makes it constant, a contradiction. If essential, the Casorati-Weierstrass theorem says its values outside every large disk are dense. Choose a small neighbourhood of a finite point; the open mapping theorem puts a nonempty open disk inside . A point outside a disk containing would map into that open disk, duplicating a value already attained in . This contradicts injectivity. Thus infinity is a pole, so is a polynomial. If its degree were greater than one, its derivative would have a root; the local power-series form at that point has local degree at least two and cannot be injective. HenceFor a nonconstant holomorphic map of connected compact Riemann surfaces of degree , the Riemann-Hurwitz formula iswhere are genera and is the local mapping degree, the multiplicity in the target fibre. There are finitely many points with .
For a degree-two sphere map, the formula gives total ramification two. Since , there are exactly two distinct ramification points, each of local degree two. Their images are distinct, since a fibre has total multiplicity two. Choose a Möbius transformation taking to these domain points and taking their images to . The resulting rational map has its only zero at zero of order two and its only pole at infinity of order two, hence is with . Replace by , obtaining
New to topics? Read the docs here!