Teichmüller theory

The study of deformations and markings of Riemann surfaces, using quasiconformal maps, holomorphic quadratic differentials, extremal length and the mapping class group.

A quasiconformal map whose Beltrami coefficient is $k|q|/q$ for an integrable nonzero holomorphic quadratic differential and constant $0<k<1$. In a flat coordinate for $q$, it stretches the horizontal and vertical directions with ratio $K=(1+k)/(1-k)$. Positive multiples of $q$ define the same coefficient.

On a closed genus-at-least-two Riemann surface, a Teichmüller map uniquely minimizes maximal dilatation in its homotopy class among maps to the same target. The Reich–Strebel inequality forces equality of Beltrami coefficients for an extremal competitor; their conformal difference is homotopic to the identity and hence is the identity. In genus one, translations must be factored out.

On closed Riemann surfaces of genus at least two, if a Teichmüller map $f_0:X\to Y$ has unit-area source differential $q$ and dilatation $K_0$, any quasiconformal map $f:X\to Y$ in the same homotopy class satisfies $K_0\le {\int }_X|q||1+{\mu }_{f}q/|q|{|}^2/(1-|{\mu }_f{|}^2)$. The plus sign corresponds to a Teichmüller map with ${\mu }_{f_0}=k_0|q|/q$ and $K_0=(1+k_0)/(1-k_0)$. This fundamental inequality yields Teichmüller's uniqueness theorem by the pointwise triangle inequality and its equality case. See Gardiner and Hu, §5, equation (11).

For a path family $\Gamma$ on a Riemann surface, take the supremum of $L_{\rho }(\Gamma {)}^2/A_{\rho }$ over measurable conformal metrics of finite positive area. This is unchanged under conformal equivalence, and a quasiconformal map of maximal dilatation $K$ changes it by a factor between $K^{-1}$ and $K$.

Let $\alpha$ be a real closed differential form on a Riemann surface, of finite positive conformal energy $E=\int |\alpha {|}^{2}dA$. If its period on a loop homotopy class $\gamma$ is $p$, then $\lambda (\gamma ,X)\ge p^2/E$. Indeed the conformal metric $\rho =|\alpha |$ has area $E$ and each loop in the class has length at least $|\int \alpha |=|p|$. Energy is independent of the auxiliary smooth conformal metric used to compute the pointwise norm: the inverse scaling of the squared norm cancels the area scaling.

The height divided by circumference in a conformal Euclidean cylinder model of an annulus. For $r<|z|<R$, it is $(2\pi {)}^{-1}\log (R/r)$. The extremal length of winding-one core curves is $1/M$, whereas that of curves joining the two boundary components is $M$.

The quotient of a horizontal strip by a horizontal translation. The model $(\mathbb{R}/\mathbb{Z})\times (0,M)$ has conformal modulus of an annulus $M$. Averaging horizontal loop lengths and applying Cauchy-Schwarz inequality proves that the core-loop extremal length equals $1/M$.

For nonzero holomorphic one-forms and holomorphic quadratic differentials, apply $A\in {\mathrm{SL}}_2(\mathbb{R})$ to every flat coordinate. Translation and sign transition maps remain of the same type, defining a new complex structure and differential. Composition gives a group action, zero orders persist and area is preserved. The zero section has no such atlas; fixing it gives only a set-theoretic extension that is generally discontinuous.

For a fixed closed oriented surface $S_g$, a point is a marked Riemann surface $(X,f:S_g\to X)$, modulo biholomorphisms intertwining the markings up to homotopy. For $g\ge 2$, Fenchel–Nielsen coordinates give real dimension $6g-6$.