Nielsen-Thurston-Klassifikation
# Nielsen-Thurston-Klassifikation

In der Mathematik beschreibt die Nielsen-Thurston-Klassifikation die möglichen Typen der Selbstabbildungen von Flächen.

Aufbauend auf Arbeiten von Jakob Nielsen wurde sie 1976 von William Thurston mittels der von ihm konstruierten Kompaktifizierung des Teichmüller-Raums bewiesen. Einen direkten Beweis mittels Teichmüller-Theorie gab Lipman Bers.

## Klassifikation

Sei $S$ eine geschlossene orientierbare Fläche vom Geschlecht $g\geq 2$ und sei

    $f\colon S\to S$

ein orientierungserhaltender Homöomorphismus. Dann gilt für $f$ mindestens eine der folgenden drei Alternativen.

* $f$ ist periodisch: es gibt ein $n\in \mathbb {N}$, so dass $f^{n}$ isotop zur Identitätsabbildung ist
* $f$ ist reduzibel: es gibt eine endliche Familie disjunkter einfacher geschlossener Kurven, die bis auf Isotopie von $f$ permutiert werden
* $f$ ist pseudo-Anosovsch, d. h. Isotop zu einem Pseudo-Anosov-Diffeomorphismus

## Beweisidee

Thurston konstruierte eine Kompaktifizierung des Teichmüllerraums der Fläche $S$ durch den produktiven Raum der gemessenen Laminierungen auf $S$, so dass die Wirkung eines Homöomorphismus auf dieser Kompaktifizierung stetig ist. Thurstons Kompaktifizierung ist homöomorph zur abgeschlossenen (6g-6)-dimensionalen Vollkugel. Nach dem Fixpunktsatz von Brouwer muss die Wirkung von $f$ also einen Fixpunkt haben. Es gibt dann folgende Möglichkeiten:

* wenn die Wirkung von $f$ einen Fixpunkt im Inneren, also im Teichmüllerraum hat, dann ist $f$ periodisch und der Fixpunkt entspricht einer hyperbolischen Metrik, bzgl. der $f$ isotop zu einer Isometrie ist
* wenn $f$ reduzibel ist, also bis auf Isotopie eine Multikurve festlast, dann hat die Wirkung von $f$ einen Fixpunkt im Rand der Kompaktifizierung des Teichmüllerraums
* wenn die Wirkung von $f$ zwei Fixpunkte im Rand der Kompaktifizierung des Teichmüllerraums hat, dann ist $f$ pseudo-Anosovsch und die beiden Fixpunkte entsprechen der stabilen und instabilen Laminierung des zu $f$ isotopen Pseudo-Anosov-Diffeomorphismus

## Geometrisierung von Abbildungstori

Thurston benutzte die Klassifikation der Homöomorphismen von Flächen, um die Geometrisierung 3-dimensionaler Abbildungstori zu beweisen. Diese ist wie folgt:

* wenn $f$ periodisch ist, dann hat der Abbildungstorus $\mathbb {H} ^{2}\times \mathbb {R}$-Geometrie
* wenn $f$ reduzibel ist, dann hat der Abbildungstorus eine nichttriviale JSJ-Zerlegung
* wenn $f$ pseudo-Anosovsch ist, dann hat der Abbildungstorus eine hyperbolische Struktur

## Algorithmus

Es gibt zahlreiche Algorithmen, die die Bestimmung des Nielsen-Thurston-Typs einer Abbildungsklasse in polynomieller Zeit (bzgl. der Wortlänge in der Abbildungsklassengruppe) ermöglichen.

