Teichmüller-Raum
# Teichmüller-Raum

In der Funktionentheorie bezeichnet der Teichmüller-Raum (nach Oswald Teichmüller) einen Raum von Äquivalenzklassen kompakter Riemannscher Flächen und ermöglicht so eine Klassifikation aller kompakten Riemannschen Flächen.

## Definition

Es gibt unterschiedliche Wege den Teichmüller-Raum zu definieren.

### Definition 1

Sei $(X,g)$ eine kompakte Riemannsche Fläche mit Geschlecht $p\in \mathbb {N} _{0}$ und mit konformer Struktur $g$. Zwei Strukturen $(X,g_{1}),(X',g_{2})$ auf der gleichen Fläche werden als äquivalent bezeichnet, wenn es einen konformen Diffeomorphismus $f\colon X\to X'$ gibt, der homotop zur Identität ist. Der Raum all dieser Äquivalenzklassen von Riemannschen Flächen zum Geschlecht $p\in \mathbb {N} _{0}$ heißt Teichmüller-Raum und wird mit ${\mathcal {T}}_{p}(X)$ bezeichnet.

### Definition 2

Sei $\Sigma _{p}$ eine geschlossene, zusammenhängende, orientierbare topologische Fläche vom Geschlecht $p$. $\Sigma _{p,n}$ ist die topologische Fläche, welche durch das Entfernen von $n$ unterschiedlichen Punkten aus $\Sigma _{p}$ entsteht, insbesondere $\Sigma _{p}=\Sigma _{p,0}$.

#### Markierte Riemannsche Fläche

Ein Tupel $(S,w)$ nennt man markierte Riemannsche Fläche, wenn es aus einer riemannschen Fläche $S$ mit $n$ ausgezeichneten Punkten und einem orientierungserhaltenden Homöomorphismus $w:\Sigma _{p,n}\to S$ genannt Markierung besteht.

#### Teichmüller-Raum

Zwei markierte riemannsche Flächen $(S,w)$ und $(S^{\prime },w^{\prime })$ heißen äquivalent, geschrieben $(S,w)\sim (S^{\prime },w^{\prime })$, falls eine biholomorphe Abbildung $h:S\to S^{\prime }$ existiert, so dass die Abbildungen $h\circ w$ und $w^{\prime }$ homotope Abbildungen von $\Sigma _{p,n}$ nach $S^{\prime }$ sind. Das heißt, das abgebildete Diagramm ist homotopisch kommutativ.
Die Äquivalenzklassen werden mit $[S,w]$ notiert.
Der Teichmüller-Raum ${\mathcal {T}}_{p,n}$ basierend auf $\Sigma _{p,n}$ ist die Menge der Äquivalenzklassen $[S,w]$. Man kann ihn mit der Teichmüller-Metrik ausstatten, wodurch er zu einem metrischen Raum wird.
Wenn die Euler-Charakteristik negativ ist ($\chi (\Sigma _{p,n})<0$), dann entspricht jeder Punkt des Teichmüller-Raums einer hyperbolischen Metrik auf $\Sigma _{p,n}$, d. h. auf dem Komplement der $n$ ausgezeichneten Punkte in $\Sigma _{p}$.

## Klassifikation

Nach einem Satz von Teichmüller ist ${\mathcal {T}}_{p}(X)$, versehen mit einer passenden Struktur einer Mannigfaltigkeit, für jede konforme Struktur $g$ diffeomorph zum endlich-dimensionalen Vektorraum der quadratischen Differentialformen $Q_{g}(X)$ auf $X$, dessen Dimension sich folgendermaßen berechnet:
* $\mathrm {dim} _{\mathbb {C} }\;Q_{g}(X)=0$, falls $p=0$
* $\mathrm {dim} _{\mathbb {C} }\;Q_{g}(X)=1$, falls $p=1$
* $\mathrm {dim} _{\mathbb {C} }\;Q_{g}(X)=3p-3$, falls $p\geq 2$
Eine Abbildung zwischen Riemannschen Flächen ist genau dann holomorph, wenn sie konform (winkeltreu) und orientierungserhaltend ist. Somit lässt sich aus der Klassifikation der konformen Strukturen auch die Klassifikation der komplexen Strukturen gewinnen.

## Motivation

* Für eine kompakte Riemannsche Fläche vom Geschlecht $p\geq 2$ gibt es eine natürliche bijektive Beziehung zwischen den konformen Strukturen und den hyperbolischen Metriken, die auf dieser Fläche definiert werden können. Somit lässt sich das Problem der möglichen konformen Strukturen auf eine geometrisch-analytische Frage der Metrik zurückführen. Die hyperbolischen Metriken werden von der universellen Überlagerung durch die hyperbolische Halbebene $\mathbb {H}$ induziert.
* Der Raum aller Äquivalenzklassen von möglichen konformen Strukturen ${\mathcal {M}}_{p}(X)$ auf einer Fläche $X$ vom Geschlecht $p$ verfügt über eine komplizierte Topologie und ist keine Mannigfaltigkeit; wobei zwei Strukturen $(X,g_{1}),(X,g_{2})$ als äquivalent gelten, wenn eine konforme Abbildung zwischen ihnen existiert. Das motiviert die schwächere Äquivalenzrelation des Teichmüller-Raumes.
* Es gibt für jede konforme Struktur $g$ eine bijektive Abbildung $q_{g}:{\mathcal {T}}_{p}(X)\to Q_{g}(X)$ in den Raum der quadratischen Differentialformen $Q_{g}(X)$ auf $(X,g)$, welcher offensichtlich einen Vektorraum bildet und der überdies endlich-dimensional ist. Dadurch wird schließlich eine Differenzierbarkeitsstruktur auf ${\mathcal {T}}_{p}(X)$ definiert und ${\mathcal {T}}_{p}(X)$ ist diffeomorph zu einem endlich-dimensionalen Vektorraum. Dieser letzte Schritt ist im Wesentlichen der oben formulierte Satz von Teichmüller.

## Höhere Teichmüller-Theorie

Die Holonomie-Darstellung bettet den Teichmüller-Raum ${\mathcal {T}}_{p}(X)$ in den Quotienten
    $\operatorname {Hom} (\pi _{1}X,\operatorname {PSL} (2,\mathbb {R} ))/\operatorname {PSL} (2,\mathbb {R} )$
der Darstellungsvarietät ein, wobei $\operatorname {PSL} (2,\mathbb {R} )$ auf $\operatorname {Hom} (\pi _{1}X,\operatorname {PSL} (2,\mathbb {R} ))$ durch Konjugation wirkt. Diese Einbettung identifiziert den Teichmüller-Raum mit der Menge der injektiven, diskreten Darstellungen. Letztere bilden eine Zusammenhangskomponente der Darstellungsvarietät und lassen sich auch durch verschiedene andere Bedingungen charakterisieren. Unter der Bezeichnung Höhere Teichmüller-Theorie werden Ansätze zusammengefasst, mit denen für höher-dimensionale Lie-Gruppen $G$ und kompakte Flächen X spezielle Komponenten der Darstellungsvarietät $\operatorname {Hom} (\pi _{1}X,G)/G$ – „höhere Teichmüller-Räume“, deren Elemente nur treue Darstellungen mit diskretem Bild sind, zum Beispiel die Hitchin-Komponenten – charakterisiert werden sollen.