Theorem
Automorphisms of the Riemann sphere
Every holomorphic automorphism of the Riemann sphere is a Möbius transformation.
Statement
Every holomorphic automorphism of the Riemann sphere is a Möbius transformation. Hence
Proof idea
A holomorphic self-map of the sphere is a rational function. If it is bijective, its topological and algebraic degree is , so it is the quotient of two linear polynomials with nonzero determinant. Alternatively, use sharp three-transitivity to compose the automorphism with a Möbius map fixing , then show the resulting automorphism is the identity.
Scope
Holomorphic self-maps of the sphere need not be automorphisms: every nonconstant rational function gives such a map, and maps of degree greater than are branched coverings rather than bijections. Orientation-reversing conformal automorphisms are anti-Möbius, not holomorphic.
References
- Otto Forster, Lectures on Riemann Surfaces, Springer, 1981. Publisher record. Relevant: Chapter 1, §§8–9.