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
Every simply connected Riemann surface is biholomorphically equivalent to exactly one of:
- The Riemann sphere (positive curvature).
- The complex plane (zero curvature).
- The unit disk (equivalently, the upper half-plane ) (negative curvature).
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
Every Riemann surface is a quotient where is the universal cover (one of , , ) and acts by biholomorphisms freely and properly discontinuously.
Genus (sphere): The only compact Riemann surface with universal cover is itself (since has no non-trivial free actions on ).
Genus (torus): Universal cover . The deck group is , and . Two tori and are biholomorphic iff and (where ) are related by a modular transformation with .
Genus : Universal cover . The deck group is a Fuchsian group. The moduli space of such surfaces has complex dimension .
The Three Geometries
The uniformization theorem reveals three types of geometry on Riemann surfaces:
| Universal cover | Geometry | Curvature | Examples | |----------------|----------|-----------|----------| | | Spherical | | only | | | Euclidean | | , , tori | | | Hyperbolic | | All others (the "generic" case) |
The hyperbolic case is by far the most common: "most" Riemann surfaces are hyperbolic. For instance, , , and all compact surfaces of genus are hyperbolic.
Proof Strategy
The proof of the uniformization theorem combines several deep ideas:
- Existence of Green's function or harmonic measure: Use Perron's method to solve the Dirichlet problem on .
- Construction of a holomorphic function: The harmonic function plus its conjugate gives a holomorphic function.
- Showing injectivity: Use the maximum principle and monodromy arguments.
- Surjectivity: Show the map is onto , , or 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.