Complex Analysis

Teichmuller Theory and Moduli Spaces

How does one classify all possible complex structures on a compact surface of given genus, and why does the resulting parameter space turn out to be a beautiful complex manifold with rich geometry, carrying a natural symplectic structure?

  • **String theory:** The integral over M_g computes genus-g scattering amplitudes of the bosonic string; the Weil-Petersson metric provides the integration measure.
  • **Quantum gravity:** Teichmuller space T_g is the phase space of Chern-Simons gravity in 2+1 dimensions. Quantizing this space is an open problem.
  • **Computer graphics:** Conformal surface mappings using T_g structure are applied to UV-unwrapping in 3D renderers.
  • **Biology:** Quasiconformal maps are used for morphological comparison of biological surfaces - shapes of neurons and organ tissues.

Teichmuller Space and Quasiconformal Maps

A Riemann surface of genus g is a compact oriented surface Sigma_g with holomorphic transition maps. Teichmuller space T_g parametrizes all conformally inequivalent complex structures on Sigma_g with a fixed marking (a choice of homology basis). Oswald Teichmuller showed in 1939 that T_g is a cell of real dimension 6g-6 for g greater than or equal to 2. Lars Bers found an embedding of T_g into C^{3g-3} in 1960.

Weil-Petersson metric: defined by the L^2 norm of quadratic differentials with respect to the Poincare metric. T_g is symplectic with the Wolpert form. The volume of M_g was computed by Mirzakhani (2007) via polynomials in boundary lengths - work that earned her the Fields Medal.

Fenchel-Nielsen coordinates: T_g is described by cutting Sigma_g along 3g-3 simple closed curves (pants decomposition). Each curve gamma_i provides length l_i and twist angle theta_i, giving 6g-6 real parameters. The Weil-Petersson symplectic form in these coordinates: omega_{WP} = sum dl_i wedge d*theta_i - global symplectomorphic coordinates.

T_g is a contractible complex manifold (a cell), while M_g is a nontrivial orbifold (Deligne-Mumford stack) with special points corresponding to surfaces with nontrivial automorphisms. Non-compactness of M_g: surfaces with degenerating curves go to infinity; the Deligne-Mumford compactification M_g-bar adds stable curves. Stability condition: a surface with n marked points is stable when 2g-2+n > 0.

The real dimension of Teichmuller space T_g for g >= 2 equals:

By Riemann-Roch the space of holomorphic quadratic differentials has complex dimension 3g-3 (since deg K = 2g-2 > 0). This is the cotangent space to T_g, so the real dimension is 6g-6. For g=2: dimension 6; for g=3: dimension 12. Note 3g-3 is the complex dimension.

Mapping Class Group and Thurston's Classification

The mapping class group Mod_g = pi_0(Homeo+(Sigma_g)) is the group of connected components of orientation-preserving homeomorphisms. Thurston classified surface homeomorphisms: each is isotopic to a periodic (finite order in Mod_g), reducible (preserves a multi-curve), or pseudo-Anosov map. Pseudo-Anosov maps are generic and act on T_g with positive translation length in the Teichmuller metric equal to log(lambda), where lambda > 1 is the dilatation.

The Teichmuller geodesic flow: the cotangent bundle to T_g carries a natural SL(2,R) action. Masur (1982) and Veech (1982) proved ergodicity of the Teichmuller geodesic flow on the moduli space of Abelian differentials. Applications to billiards in rational polygons: the dynamics of a billiard is related to the Teichmuller geodesic flow on the associated Veech surface.

What is a pseudo-Anosov homeomorphism of a surface?

A pseudo-Anosov map phi preserves a pair of measured foliations (stable F^s and unstable F^u), stretching F^u by lambda > 1 and contracting F^s by 1/lambda. It acts on T_g as a hyperbolic isometry with translation length log(lambda). This is the 'generic' type in Thurston's classification.

Connections to other areas

Teichmuller theory unites complex analysis, surface topology, and mathematical physics, serving as the foundation for string theory, hyperbolic geometry, and the study of mapping class groups.

  • Riemann Surfaces — Teichmuller space parametrises complex structures on a fixed Riemann surface
  • Elliptic Functions — Moduli space of tori = upper half-plane / SL(2,Z) is the simplest Teichmuller example
  • Complex Dynamics and Fractals — Teichmuller theory is applied to moduli of holomorphic dynamical systems

Итоги

  • T_g = space of marked conformal structures on Sigma_g; real dimension 6g-6 for g >= 2, complex dimension 3g-3
  • Quasiconformal map: d_{z-bar}f = mu * d_z f with ||mu||_inf < 1; dilatation K(f) = (1+||mu||_inf)/(1-||mu||_inf) measures deviation from conformal
  • Teichmuller metric d_T(S_1,S_2) = (1/2) inf log K(f); the unique extremal map is the Teichmuller map determined by a holomorphic quadratic differential
  • Mapping class group Mod_g = pi_0(Homeo+(Sigma_g)) acts properly on T_g; the quotient M_g is the moduli space of curves
  • Fenchel-Nielsen coordinates (l_i, theta_i) for a pants decomposition provide global real-analytic coordinates; omega_{WP} = sum dl_i wedge d*theta_i
Teichmuller Theory and Moduli Spaces

0

1

Sign In