“die Arbeit, für die alle andere Arbeit nur Vorbereitung ist” (Rilke)
Die Klassifikation der Selbstabbildungen von Flächen – Thurstons Beweis.

In TvF 140 hatten wir begonnen, uns mit der Klassifikation der Selbstabbildungen von Flächen zu beschäftigen. In TvF 146 hatten wir diese Klassifikation für den Sonderfall des Torus besprochen. Es gab periodische Abbildungen, reduzible Abbildungen und schließlich noch den (häufigsten und chaotischsten) dritten Fall der sogenannten Pseudo-Anosov-Abbildungen. Thurstons Beweis der Klassifikation (im allgemeinen Fall) benutzt verschiedene Hilfsmittel aus den letzten Folgen und er geht i.W. wie folgt.

Sei S_g die (geschlossene, orientierbare) Fläche mit g Henkeln, g ≥ 2.

Kompaktifizierung des Teichmüllerraums

Wir hatten in TvF 149 gesehen, daß der Teichmüllerraum T_g der Fläche S_g, d.h. der Raum aller hyperbolischen Metriken, 6g-6-dimensional ist.

Jede Selbstabbildung f : S_g —> S_g gibt eine stetige Selbstabbildung des Teichmüllerraums f^*: T_g —> T_g: für eine hyperbolische Metrik m ist die ‘mit f zurückgezogene’ Metrik f^*m ebenfalls hyperbolisch.
Den Teichmüller-Raum kann man kompaktifizieren (TvF 156) und wenn sich f^* zu einer stetigen Abbildung dieser Kompaktifizierung fortsetzen läßt (was natürlich zu beweisen ist), dann gibt es nach dem Brouwerschen Fixpunktsatz einen Fixpunkt und man kann sich anschauen, was dieser Fixpunkt über f aussagt.

In TvF 146 hatten wir die analoge Konstruktion für den Torus (g=1) und den Modulraum der flachen Metriken auf dem Torus gemacht. In diesem Fall war der Modulraum gerade die hyperbolische Ebene und die Kompaktifizierung erhielt man durch Hinzunehmen von P¹R, dem ‘Kreis im Unendlichen’.

Quelle

Die Kompaktifizierung des Teichmüller-Raums T_g der Fläche S_g (mit g ≥ 2) nach Thurston hatten wir letzte Woche besprochen. In diesem Fall mußte man PML(S_g), den Raum der (projektiven) gemessenen Laminierungen hinzunehmen.

Stetigkeit

Warum ist es hilfreich, sich die Kompaktifizierung des Teichmüller-Raums gerade so zu veranschaulichen, daß man Punkte aus PML(S_g) hinzunimmt?

Wenn f:S_g—>S_g ein Diffeomorphismus ist, dann induziert es eine Abbildung f_*:PML(S_g)—>PML(S_g) – jede Laminierung wird durch f auf eine andere Laminierung abgebildet.

Wunderbarerweise passen f^*: T_g —> T_g und f_*:PML(S_g)—>PML(S_g) zusammen – sie geben zusammen eine stetige Abbildung.

(Letzte Woche hatten wir gesehen, daß man T_g und PML(S_g) beide in einen unendlich-dimensionalen projektiven Raum einbetten kann und daß die Vereinigung der beiden Bilder eine Kompaktifizierung
des Teichmüllerraums T_g gibt. Mittels der expliziten Beschreibung der beiden Einbettungen kann man beweisen, daß f^* und f_* zusammen eine stetige Abbildung geben.)

Die Kompaktifizierung ist eine abgeschlossene 6g-6-dimensionale Kugel.

Nach dem Brouwerschen Fixpunktsatz (TvF 32, TvF 33 ff.) muß jede stetige Abbildung einer abgeschlossenen Kugel (mindestens) einen Fixpunkt haben – dieser Fixpunkt kann im Inneren oder auf dem Rand liegen.

Was haben wir also? Zu unserer Abbildung f:S_g –> S_g haben wir eine stetige Abbildung f^* des kompaktifizierten Teichmüllerraums und diese muß einen Fixpunkt haben – entweder im Teichmüllerraum selbst (d.h. es gibt eine hyperbolische Metrik m mit f^*m=m), oder im Rand PML(S_g) (d.h. es gibt eine Laminierung, die von der Abbildung f auf sich selbst abgebildet wird).

Fixpunkte im Inneren

1.Fall: es gibt einen Fixpunkt im ‘Inneren’, also im Teichmüllerraum der hyperbolischen Metriken. Nach einem Satz von Hurwitz weiß man aber, daß eine hyperbolische Fläche (mit g Henkeln) höchstens 84(g-1) Isometrien haben kann. Insnesondere ist die Isometriegruppe endlich. Eine Abbildung, die eine hyperbolische Metrik auf sich abbildet (d.h. eine Isometrie dieser Metrik ist), muß also immer periodisch sein, sogar mit Periode höchstens 84(g-1).
in diesem 1.Fall bekommen wir also nur periodische Abbildungen.

Fixpunkte auf dem Rand

2.Fall: es gibt (mindestens) einen Fixpunkt auf dem Rand PML(S_g), also eine Laminierung, die von der linearen Abbildung f erhalten wird – und ein transversales Maß, dessen projektive Klasse erhalten wird, vgl. TvF 143. (Das Maß selbst wird also evtl. mit einer positiven Zahl λ multipliziert. Die Zahl λ sollte man sich als dehnungsfaktor vorstellen, um den f jeweils den Abstand zwischen Blättern vergrößert.)