9g-9-Theorem

Das $9g-9$-Theorem ist ein Theorem der Mathematik aus der hyperbolischen Geometrie von Flächen.

Das Bild zeigt vier geschlossene Kurven auf einer Fläche vom Geschlecht $g=2$. Nach dem $9g-9$-Theorem gibt es auf dieser Fläche neun geschlossene Kurven, deren Längen jede hyperbolische Metrik eindeutig festlegen.

Hyperbolische (d. h. konstant negativ gekrümmte, $K\equiv -1$) Metriken auf Flächen sind eindeutig festgelegt durch die Längen geschlossener Kurven auf der Fläche in dieser Metrik (d. h. die Längen der eindeutigen geschlossenen Geodäten in der Homotopieklasse der Kurve). Man kann nun fragen, die Längen wievieler solcher geschlossener Geodäten man kennen muss, um die hyperbolische Metrik bereits eindeutig festzulegen. Das $9g-9$-Theorem gibt darauf die Antwort, dass man $9g-9$ geschlossene Kurven findet, so dass eine hyperbolische Metrik bereits durch die Längen der entsprechenden $9g-9$ geschlossenen Geodäten eindeutig festgelegt ist.

Aussage des Theorems

Es besagt, dass auf einer (geschlossenen, orientierbaren) Fläche vom Geschlecht $g$ eine Menge von $9g-9$ geschlossenen Kurven existiert, durch deren Längen jede hyperbolische Metrik auf der Fläche eindeutig festgelegt wird.

Der Satz liefert also eine Einbettung des Teichmüller-Raums in den ${ℝ}^{9g-9}$, die allerdings nur injektiv und nicht surjektiv ist. Ein (bijektiver) Diffeomorphismus des Teichmüller-Raums mit ${ℝ}^{3g-3}\times {ℝ}_{+}^{3g-3}$ wird stattdessen durch die Fenchel-Nielsen-Koordinaten realisiert, welche einer ausgewählten Menge von $3g-3$ geschlossenen Kurven die Länge und den Twist-Parameter der entsprechenden geodätischen Linien (Geodäten) zuordnen.

Der Satz verallgemeinert sich auf (orientierbaren) Flächen vom Geschlecht $g$ mit $n$ Spitzen, für welche die Längen von $3(3g-3+n)$ geschlossenen Geodäten benötigt werden. Hamenstädt hat gezeigt, dass die hyperbolische Metrik auf geschlossenen Flächen sogar mit nur $6g-5$ geschlossenen Geodäten festgelegt werden kann, während $6g-6$ Geodäten dafür nicht ausreichen. Für geschlossene Flächen mit Spitzen benötigt man $6g-5+2n$ Geodäten.

Satz

Notation

• $S$ ist eine topologische Fläche, $S_{g,n}$ ist eine topologische Fläche mit Geschlecht $g$ und $n$ entfernten Punkten. Wurden keine Punkte entfernt, schreiben wir $S_g:=S_{g,0}$.
• $𝒯(S):=\{(S,w)\}/\sim$ bezeichnet den Teichmüller-Raum von $S$, der Raum der Isotopie-Äquivalenzklassen der markierten Riemannschen Flächen $(S,w)$. Wenn die Euler-Charakteristik $\chi (S)$ negativ ist, ist jedes Element eine hyperbolische Metrik.
• $𝒮$ ist die Menge der Isotopie-Klassen von essentiellen einfach geschlossenen Kurven in $S$.
• $𝔛=[S,w]\in 𝒯(S)$ ist ein Element aus dem Teichmüller-Raum, das heißt eine (beliebige) Äquivalenzklasse.
• ${\ell }_{𝔛}:𝒮\to {ℝ}_{+}$ ist eine Längen-Funktion. Sei $𝔛\in 𝒯(S)$ eine Äquivalenzklasse und $(S,w)\in 𝔛$ und $c\in 𝒮$ eine Isotopie-Klasse. Dann ist ${\ell }_{𝔛}(c)$ die Länge der eindeutigen Geodäte in $X$ in der Isotopie-Klasse $w(c)$.
• ${ℝ}^{𝒮}$ bezeichnet die Menge der reellen Funktionen auf $𝒮$.

Das Theorem sagt im Wesentlichen, dass die Abbildung $\ell :𝒯(S)\to {ℝ}^{𝒮}$ definiert durch

$𝔛\mapsto {\ell }_{𝔛}$

nicht nur injektiv ist – in anderen Worten eine Äquivalenzklasse $[S,w]$ aus dem Teichmüller-Raum komplett durch die geodätischen Längen in $X$ der einfach geschlossenen Kurve in $S$ charakterisiert wird – sondern dass bereits die Werte auf $9g-9$ geschickt ausgewählten Elementen von $S$ genügen, um das Urbild in $𝒯(S)$ eindeutig festzulegen.

Aussage

Es existiert eine Menge von einfach geschlossenen Kurven $\{{\delta }_1,\dots ,{\delta }_{9g-9}\}$ in $S_g$, so dass die Abbildung ${\ell }^{(9g-g)}:𝒯(S_g)\to {ℝ}^{9g-9}$ definiert durch

$𝔛\mapsto ({\ell }_{𝔛}({\delta }_1),\dots ,{\ell }_{𝔛}({\delta }_{9g-9}))$

injektiv ist.

Literatur

• Benson Farb, Dan Margalit: A primer on mapping class groups. (= Princeton Mathematical Series. 49). Princeton University Press, Princeton, NJ 2012, ISBN 978-0-691-14794-9. (online archiviert via archive.org; pdf)
• Ursula Hamenstädt: Length functions and parametrization of Teichmüller space for surfaces with cusps. Ann. Acad. Sci. Fenn. Math. 28, 75–88 (2003). (online; pdf)