B1.11
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 denote the , and let .
(a) Prove that an automorphism with is a Euclidian rotation.
[Hint: Apply the maximum modulus principle to the functions and .]
(b) Prove that a holomorphic map extends to the entire disc, and use this to conclude that any automorphism of 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 , is, in fact, analytic everywhere.
Typos? Please submit corrections to this page on GitHub.