B1.11

Riemann Surfaces
Part II, 2001

Recall that an automorphism of a Riemann surface is a bijective analytic map onto itself, and that the inverse map is then guaranteed to be analytic.

Let Δ\Delta denote the disc{zCz<1}\operatorname{disc}\{z \in \mathbb{C}|| z \mid<1\}, and let Δ=Δ{0}\Delta^{*}=\Delta-\{0\}.

(a) Prove that an automorphism ϕ:ΔΔ\phi: \Delta \rightarrow \Delta with ϕ(0)=0\phi(0)=0 is a Euclidian rotation.

[Hint: Apply the maximum modulus principle to the functions ϕ(z)/z\phi(z) / z and ϕ1(z)/z\phi^{-1}(z) / z.]

(b) Prove that a holomorphic map ϕ:ΔΔ\phi: \Delta^{*} \rightarrow \Delta extends to the entire disc, and use this to conclude that any automorphism of Δ\Delta^{*} is a Euclidean rotation.

[You may use the result stated in part (a).]

(c) Define an analytic map between Riemann surfaces. Show that a continuous map between Riemann surfaces, known to be analytic everywhere except perhaps at a single point PP, is, in fact, analytic everywhere.