2.II.23F

Riemann Surfaces
Part II, 2006

Define the terms Riemann surface, holomorphic map between Riemann surfaces, and biholomorphic map.

(a) Prove that if two holomorphic maps f,gf, g coincide on a non-empty open subset of a connected Riemann surface RR then f=gf=g everywhere on RR.

(b) Prove that if f:RSf: R \rightarrow S is a non-constant holomorphic map between Riemann surfaces and pRp \in R then there is a choice of co-ordinate charts ϕ\phi near pp and ψ\psi near f(p)f(p), such that (ψfϕ1)(z)=zn\left(\psi \circ f \circ \phi^{-1}\right)(z)=z^{n}, for some non-negative integer nn. Deduce that a holomorphic bijective map between Riemann surfaces is biholomorphic.

[The inverse function theorem for holomorphic functions on open domains in C\mathbb{C} may be used without proof if accurately stated.]