TheoremComplete

The Uniformization Theorem

The uniformization theorem is one of the crowning achievements of 19th-century mathematics. It classifies all simply connected Riemann surfaces and provides a complete geometric picture of arbitrary Riemann surfaces.


Statement

Theorem10.6Uniformization theorem

Every simply connected Riemann surface is biholomorphically equivalent to exactly one of:

  1. The Riemann sphere C^CP1\hat{\mathbb{C}} \cong \mathbb{CP}^1 (positive curvature).
  2. The complex plane C\mathbb{C} (zero curvature).
  3. The unit disk D\mathbb{D} (equivalently, the upper half-plane H\mathbb{H}) (negative curvature).
RemarkHistorical context

The uniformization theorem was conjectured by Klein and Poincare around 1882 and proved independently by Koebe and Poincare in 1907. It unifies the Riemann mapping theorem (for planar domains) with the classification of Riemann surfaces.


Consequences for General Riemann Surfaces

Theorem10.7Universal covering classification

Every Riemann surface SS is a quotient S~/Γ\tilde{S}/\Gamma where S~\tilde{S} is the universal cover (one of C^\hat{\mathbb{C}}, C\mathbb{C}, D\mathbb{D}) and Γπ1(S)\Gamma \cong \pi_1(S) acts by biholomorphisms freely and properly discontinuously.

ExampleClassification of compact surfaces

Genus 00 (sphere): The only compact Riemann surface with universal cover C^\hat{\mathbb{C}} is C^\hat{\mathbb{C}} itself (since Aut(C^)\text{Aut}(\hat{\mathbb{C}}) has no non-trivial free actions on C^\hat{\mathbb{C}}).

Genus 11 (torus): Universal cover C\mathbb{C}. The deck group is Λ=Zω1+Zω2\Lambda = \mathbb{Z}\omega_1 + \mathbb{Z}\omega_2, and S=C/ΛS = \mathbb{C}/\Lambda. Two tori C/Λ1\mathbb{C}/\Lambda_1 and C/Λ2\mathbb{C}/\Lambda_2 are biholomorphic iff τ1\tau_1 and τ2\tau_2 (where τ=ω2/ω1\tau = \omega_2/\omega_1) are related by a modular transformation τ(aτ+b)/(cτ+d)\tau \mapsto (a\tau+b)/(c\tau+d) with (abcd)SL(2,Z)\begin{pmatrix}a&b\\c&d\end{pmatrix}\in SL(2,\mathbb{Z}).

Genus 2\geq 2: Universal cover D\mathbb{D}. The deck group ΓAut(D)PSL(2,R)\Gamma \subset \text{Aut}(\mathbb{D}) \cong PSL(2,\mathbb{R}) is a Fuchsian group. The moduli space of such surfaces has complex dimension 3g33g - 3.


The Three Geometries

RemarkGeometric trichotomy

The uniformization theorem reveals three types of geometry on Riemann surfaces:

| Universal cover | Geometry | Curvature | Examples | |----------------|----------|-----------|----------| | C^\hat{\mathbb{C}} | Spherical | K>0K > 0 | C^\hat{\mathbb{C}} only | | C\mathbb{C} | Euclidean | K=0K = 0 | C\mathbb{C}, C\mathbb{C}^*, tori C/Λ\mathbb{C}/\Lambda | | D\mathbb{D} | Hyperbolic | K<0K < 0 | All others (the "generic" case) |

The hyperbolic case is by far the most common: "most" Riemann surfaces are hyperbolic. For instance, C{0,1}\mathbb{C} \setminus \{0, 1\}, C^{0,1,}\hat{\mathbb{C}} \setminus \{0,1,\infty\}, and all compact surfaces of genus 2\geq 2 are hyperbolic.


Proof Strategy

RemarkProof outline

The proof of the uniformization theorem combines several deep ideas:

  1. Existence of Green's function or harmonic measure: Use Perron's method to solve the Dirichlet problem on SS.
  2. Construction of a holomorphic function: The harmonic function plus its conjugate gives a holomorphic function.
  3. Showing injectivity: Use the maximum principle and monodromy arguments.
  4. Surjectivity: Show the map is onto C^\hat{\mathbb{C}}, C\mathbb{C}, or D\mathbb{D} using topological arguments.

The key technical challenge is establishing the existence of sufficiently many harmonic functions on an abstract Riemann surface, which requires careful potential theory.