Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-2/23f/d/solution

View infinity as the puncture of the Riemann sphere and consider near . If this map had an essential singularity, the Great Picard theorem in a coordinate chart would make almost every nearby value occur infinitely often, contradicting the injectivity of . The singularity is therefore removable as a map into the compact Riemann surface , and extends to a nonconstant holomorphic map
The extension is injective. A collision between and , or local degree greater than one at infinity, would give nearby values two distinct preimages by the local normal form of a nonconstant holomorphic map, again contradicting injectivity on . Thus is a holomorphic bijection between compact Riemann surfaces and hence a biholomorphism. Therefore , whose genus is zero.

New to topics? Read the docs here!