Statement

Every holomorphic automorphism of the is a . Hence

Authol(P1(C))PGL2(C).\operatorname{Aut}_{\mathrm{hol}}(\mathbb P^1(\mathbb C)) \cong PGL_2(\mathbb C).
Proof idea

A holomorphic self-map of the sphere is a . If it is bijective, its topological and algebraic degree is 11, 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 0,1,0,1,\infty, 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 11 are branched coverings rather than bijections. Orientation-reversing conformal automorphisms are , not holomorphic.

References
  1. Otto Forster, Lectures on Riemann Surfaces, Springer, 1981. Publisher record. Relevant: Chapter 1, §§8–9.