ConceptComplete

Riemann Surfaces

Riemann surfaces provide the natural geometric setting for multi-valued functions like z\sqrt{z} and log⁑z\log z. They are one-dimensional complex manifolds and serve as the bridge between complex analysis and algebraic geometry.


Motivation and Definition

Definition10.1Riemann surface

A Riemann surface is a connected, second-countable Hausdorff topological space SS equipped with a complex atlas: a collection of charts {(UΞ±,φα)}\{(U_\alpha, \varphi_\alpha)\} where UΞ±U_\alpha are open sets covering SS, φα:UΞ±β†’C\varphi_\alpha: U_\alpha \to \mathbb{C} are homeomorphisms onto open subsets of C\mathbb{C}, and the transition functions Ο†Ξ²βˆ˜Ο†Ξ±βˆ’1\varphi_\beta \circ \varphi_\alpha^{-1} are holomorphic.

ExampleFundamental examples
  1. The complex plane C\mathbb{C} with the identity chart.
  2. The Riemann sphere C^=Cβˆͺ{∞}\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\} with charts zz and 1/z1/z.
  3. The square root surface: The Riemann surface of z\sqrt{z} is a two-sheeted cover of C\mathbb{C} branched at 00 and ∞\infty. Topologically, it is a sphere.
  4. The logarithm surface: The Riemann surface of log⁑z\log z is an infinite-sheeted cover of Cβˆ—\mathbb{C}^*, topologically a helicoid.
  5. Elliptic curves: y2=4x3βˆ’g2xβˆ’g3y^2 = 4x^3 - g_2 x - g_3 defines a Riemann surface of genus 11 (a torus).

Holomorphic Maps Between Riemann Surfaces

Definition10.2Holomorphic map

A continuous map f:S1β†’S2f: S_1 \to S_2 between Riemann surfaces is holomorphic if for every pair of charts (UΞ±,φα)(U_\alpha, \varphi_\alpha) on S1S_1 and (VΞ²,ψβ)(V_\beta, \psi_\beta) on S2S_2, the composition ψβ∘fβˆ˜Ο†Ξ±βˆ’1\psi_\beta \circ f \circ \varphi_\alpha^{-1} is holomorphic wherever defined.

A bijective holomorphic map with holomorphic inverse is a biholomorphism (or conformal equivalence).

RemarkClassification by genus

Compact Riemann surfaces are classified topologically by their genus gg (the number of "handles"):

  • g=0g = 0: Riemann sphere (conformally unique).
  • g=1g = 1: Tori C/Ξ›\mathbb{C}/\Lambda (parametrized by the modular parameter Ο„\tau).
  • gβ‰₯2g \geq 2: Moduli space is a complex variety of dimension 3gβˆ’33g - 3.

Covering Spaces and Monodromy

Definition10.3Covering map

A holomorphic map Ο€:S~β†’S\pi: \tilde{S} \to S is a covering map if every point p∈Sp \in S has a neighborhood UU such that Ο€βˆ’1(U)\pi^{-1}(U) is a disjoint union of open sets, each mapped homeomorphically onto UU by Ο€\pi. The number of sheets (possibly infinite) is the degree of the covering.

ExampleCovering maps
  • z↦znz \mapsto z^n is an nn-sheeted covering Cβˆ—β†’Cβˆ—\mathbb{C}^* \to \mathbb{C}^* (branched covering of C\mathbb{C}).
  • z↦ezz \mapsto e^z is a universal covering Cβ†’Cβˆ—\mathbb{C} \to \mathbb{C}^* with deck group Z\mathbb{Z} (generated by z↦z+2Ο€iz \mapsto z + 2\pi i).
  • The projection Cβ†’C/Ξ›\mathbb{C} \to \mathbb{C}/\Lambda is a universal covering of a torus.

The Uniformization Theorem

Theorem10.1Uniformization theorem

Every simply connected Riemann surface is biholomorphic to exactly one of:

  1. The Riemann sphere C^\hat{\mathbb{C}},
  2. The complex plane C\mathbb{C},
  3. The unit disk D\mathbb{D}.

Consequently, every Riemann surface is a quotient of one of these three by a group of deck transformations acting freely and properly discontinuously.

RemarkConsequences of uniformization
  • Compact surfaces of genus 00: universal cover is C^\hat{\mathbb{C}} (the surface itself).
  • Compact surfaces of genus 11: universal cover is C\mathbb{C} (the surface is C/Ξ›\mathbb{C}/\Lambda).
  • Compact surfaces of genus β‰₯2\geq 2: universal cover is D\mathbb{D} (the surface is D/Ξ“\mathbb{D}/\Gamma for a Fuchsian group Ξ“\Gamma).

This trichotomy mirrors the three geometries: spherical, Euclidean, and hyperbolic.