Riemann Surfaces
Riemann surfaces provide the natural geometric setting for multi-valued functions like and . They are one-dimensional complex manifolds and serve as the bridge between complex analysis and algebraic geometry.
Motivation and Definition
A Riemann surface is a connected, second-countable Hausdorff topological space equipped with a complex atlas: a collection of charts where are open sets covering , are homeomorphisms onto open subsets of , and the transition functions are holomorphic.
- The complex plane with the identity chart.
- The Riemann sphere with charts and .
- The square root surface: The Riemann surface of is a two-sheeted cover of branched at and . Topologically, it is a sphere.
- The logarithm surface: The Riemann surface of is an infinite-sheeted cover of , topologically a helicoid.
- Elliptic curves: defines a Riemann surface of genus (a torus).
Holomorphic Maps Between Riemann Surfaces
A continuous map between Riemann surfaces is holomorphic if for every pair of charts on and on , the composition is holomorphic wherever defined.
A bijective holomorphic map with holomorphic inverse is a biholomorphism (or conformal equivalence).
Compact Riemann surfaces are classified topologically by their genus (the number of "handles"):
- : Riemann sphere (conformally unique).
- : Tori (parametrized by the modular parameter ).
- : Moduli space is a complex variety of dimension .
Covering Spaces and Monodromy
A holomorphic map is a covering map if every point has a neighborhood such that is a disjoint union of open sets, each mapped homeomorphically onto by . The number of sheets (possibly infinite) is the degree of the covering.
- is an -sheeted covering (branched covering of ).
- is a universal covering with deck group (generated by ).
- The projection is a universal covering of a torus.
The Uniformization Theorem
Every simply connected Riemann surface is biholomorphic to exactly one of:
- The Riemann sphere ,
- The complex plane ,
- The unit disk .
Consequently, every Riemann surface is a quotient of one of these three by a group of deck transformations acting freely and properly discontinuously.
- Compact surfaces of genus : universal cover is (the surface itself).
- Compact surfaces of genus : universal cover is (the surface is ).
- Compact surfaces of genus : universal cover is (the surface is for a Fuchsian group ).
This trichotomy mirrors the three geometries: spherical, Euclidean, and hyperbolic.