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

Das Diagramm ist homotopisch kommutativ.

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Sigma_{p,n}} nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S^\prime} sind. Das heißt, das abgebildete Diagramm ist homotopisch kommutativ.

Die Äquivalenzklassen werden mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [S,w]} notiert.

Der Teichmüller-Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{T}_{p,n}} basierend auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Sigma_{p,n}} ist die Menge der Äquivalenzklassen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [S,w]} . Man kann ihn mit der Teichmüller-Metrik ausstatten, wodurch er zu einem metrischen Raum wird.

Wenn die Euler-Charakteristik negativ ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(\Sigma_{p,n})<0} , dann entspricht jeder Punkt des Teichmüller-Raums einer hyperbolischen Metrik auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Sigma_{p,n}} , d. h. auf dem Komplement der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} ausgezeichneten Punkte in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Sigma_p} .

Klassifikation

Nach einem Satz von Teichmüller ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{T}_p(X)} , versehen mit einer passenden Struktur einer Mannigfaltigkeit, für jede konforme Struktur Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} diffeomorph zum endlich-dimensionalen Vektorraum der quadratischen Differentialformen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q_g(X)} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , dessen Dimension sich folgendermaßen berechnet:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{dim}_{\mathbb{C}} \; Q_g(X) = 0} , falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p = 0}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{dim}_{\mathbb{C}} \; Q_g(X) = 1} , falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p = 1}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{dim}_{\mathbb{C}} \; Q_g(X) = 3p-3} , falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{H}} induziert.
• Der Raum aller Äquivalenzklassen von möglichen konformen Strukturen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{M}_p(X)} auf einer Fläche Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} vom Geschlecht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} verfügt über eine komplizierte Topologie und ist keine Mannigfaltigkeit; wobei zwei Strukturen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} eine bijektive Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q_g : \mathcal{T}_p(X) \to Q_g(X)} in den Raum der quadratischen Differentialformen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q_g(X)} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X, g)} , welcher offensichtlich einen Vektorraum bildet und der überdies endlich-dimensional ist. Dadurch wird schließlich eine Differenzierbarkeitsstruktur auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{T}_p(X)} definiert und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{T}_p(X)} in den Quotienten

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}(\pi_1X,\operatorname{PSL}(2,\mathbb R))/\operatorname{PSL}(2,\mathbb R)}

der Darstellungsvarietät ein, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{PSL}(2,\mathbb R)} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}(\pi_1X,\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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} und kompakte Flächen X einzelne Komponenten der Darstellungsvarietät Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}(\pi_1X,G)/G} charakterisiert werden sollen.

Siehe auch

• Fenchel-Nielsen-Koordinaten

Literatur

• William Abikoff: The real analytic theory of Teichmüller space, Lecture Notes in Mathematics 820, Springer 1980
• Lipman Bers: Finite dimensional Teichmüller spaces and generalizatons, Bulletin of the AMS, Band 5, 1981, Nr. 2, S. 131–172, Project Euclid
• F. Gardiner: Teichmüller theory and quadratic differentials, Wiley 1987
• Y. Imayoshi, M. Taniguchi: Introduction to Teichmüller Spaces, Springer 1992
• Jürgen Jost: Compact Riemann Surfaces. Springer Verlag, 2006, ISBN 3-540-33065-8
• Olli Lehto: Univalent functions and Teichmüller spaces, Graduate Texts 109, Springer 1987
• Subhashis Nag: The complex analytic theory of Teichmüller spaces, Wiley 1988
• Athanase Papadopoulos (Hrsg.): Handbook of Teichmüller theory. Vol. I, European Mathematical Society (EMS), Zürich 2007, ISBN 978-3-03719-029-6, doi:10.4171/029. (IRMA Lectures in Mathematics and Theoretical Physics 11)
• Athanase Papadopoulos (Hrsg.): Handbook of Teichmüller theory. Vol. II, European Mathematical Society (EMS), Zürich 2009, ISBN 978-3-03719-055-5, doi:10.4171/055. (IRMA Lectures in Mathematics and Theoretical Physics 13)
• Athanase Papadopoulos (Hrsg.): Handbook of Teichmüller theory. Vol. III, European Mathematical Society (EMS), Zürich 2012, ISBN 978-3-03719-103-3, doi:10.4171/103. (IRMA Lectures in Mathematics and Theoretical Physics 19)
• Mika Seppälä, Tuomas Sorvali: Geometry of Riemann surfaces and Teichmüller spaces, North-Holland 1992
• Anthony Tromba: Teichmüller theory in Riemannian geometry, Birkhäuser 1992

Weblinks

• Kapovich: Notes on Teichmuller Theory. (PDF; 559 KB)