# Haken-Mannigfaltigkeit

In der Mathematik sind Haken-Mannigfaltigkeiten 3-dimensionale Mannigfaltigkeiten, die sich entlang inkompressibler Flächen in einfache Stücke zerschneiden lassen und deswegen einer algorithmischen Behandlung zugänglich sind. Sie sind benannt nach Wolfgang Haken.

## Definition

Eine Haken-Mannigfaltigkeit ist eine kompakte 3-Mannigfaltigkeit, die $P^{2}$-irreduzibel ist und eine (eigentlich eingebettete und zweiseitige) inkompressible Fläche enthält.
Erläuterungen:
* Eine 3-Mannigfaltigkeit ist irreduzibel, wenn jede eingebettete 2-Sphäre eine eingebettete 3-Kugel berandet. Sie ist $P^{2}$-irreduzibel, wenn sie irreduzibel ist und keine zweiseitig eingebettete projektive Ebene enthält. Wenn $M$ orientierbar ist, dann folgt $P^{2}$-Irreduzibilität bereits aus Irreduzibilität.
* Falls $M$ nichtleeren Rand hat, soll die inkompressible Fläche auch rand-inkompressibel sein.

## Beispiele

* Die 3-dimensionale Vollkugel $B^{3}$ ist eine Haken-Mannigfaltigkeit.
* Jede irreduzible 3-Mannigfaltigkeit $M$ mit positiver 1. Betti-Zahl
       $b_{1}(M)>0$
    ist eine Haken-Mannigfaltigkeit: wegen Poincaré-Dualität folgt $H_{2}(M,\mathbb {Z} )\not =0$ und man kann zeigen, dass sich eine nichttriviale Homologieklasse durch eine inkompressible Fläche repräsentieren lässt. Insbesondere ist jede irreduzible 3-Mannigfaltigkeit mit Rand eine Haken-Mannigfaltigkeit, zum Beispiel jedes Knotenkomplement.
* Fast alle Dehn-Chirurgien am Achterknoten ergeben Mannigfaltigkeiten, die nicht Haken sind. Andererseits erhält man mit dieser Konstruktion einige Beispiele von Haken-Mannigfaltigkeiten mit $b_{1}(M)=0$.
* Die von Ian Agol bewiesene Virtuell Haken-Vermutung besagt, dass jede irreduzible 3-Mannigfaltigkeit von einer Haken-Mannigfaltigkeit endlich überlagert wird.

## Hierarchien

Für eine Haken-Mannigfaltigkeit $M$ mit inkompressibler Fläche $F\subset M$ gibt es eine Folge
    $(M_{0},F_{0}),(M_{1},F_{1}),\ldots ,(M_{k},F_{k}),(M_{k+1},F_{k+1})$,
so dass $(M,F)=(M_{0},F_{0})$, $(M_{i+1},F_{i+1})$ aus $(M_{i},F_{i})$ durch Aufschneiden entlang $F_{i}$ entsteht und $M_{k+1}$ eine Vereinigung disjunkter 3-dimensionaler Vollkugeln ist.
Diese Eigenschaft ermöglicht es, Beweise für Haken-Mannigfaltigkeiten als Induktionsbeweise über die Länge einer Haken-Hierarchie zu führen, wobei der Induktionsanfang jeweils im Überprüfen der Behauptung für 3-dimensionale Vollkugeln besteht. Auf diese Weise wurden Waldhausens Starrheitssatz für Haken-Mannigfaltigkeiten und Thurstons Geometrisierungsvermutung für Haken-Mannigfaltigkeiten bewiesen.

## Waldhausens Starrheitssatz

Satz (Waldhausen): Sei $M$ eine geschlossene Haken-Mannigfaltigkeit. Dann ist jede Homotopieäquivalenz homotop zu einem Homöomorphismus. Für Haken-Mannigfaltigkeiten mit Rand gilt das entsprechend, wenn man voraussetzt, dass die Homotopieäquivalenz auf dem Rand $\partial M$ bereits ein Homöomorphismus ist.

## Algorithmische Aspekte

Es gibt einen Algorithmus, der entscheidet, ob zwei Haken-Mannigfaltigkeiten homöomorph sind. Dieser unter dem Namen „Recognition Theorem“ bekannte Algorithmus ist theoretischer Natur. Insbesondere hat man eine algorithmische Klassifikation von Haken-Mannigfaltigkeiten und damit (wegen des Satzes von Gordon-Luecke) auch eine algorithmische Klassifikation von Knoten und Verschlingungen. (Der Satz von Gordon-Luecke gilt nicht für Verschlingungen mit mehreren Komponenten, jedoch werden diese durch das Komplement und ihre Meridiane eindeutig bestimmt.)
Weiterhin gibt es einen auch auf dem Computer umgesetzten Algorithmus, um zu entscheiden, ob eine irreduzible 3-Mannigfaltigkeit Haken ist.

## Höherdimensionale Haken-Mannigfaltigkeit

Ein Randmuster (engl.: boundary pattern) ist eine endliche Menge kompakter zusammenhängender $(n-1)$-dimensionaler Untermannigfaltigkeiten des Randes $\partial M$ („Facetten“), so dass für $1\leq k\leq n+1$ der Durchschnitt von je $k$ dieser Untermannigfaltigkeiten eine $(n-k)$-dimensionale Untermannigfaltigkeit oder leer ist. Das Randmuster heißt vollständig, wenn die Vereinigung dieser Untermannigfaltigkeiten ganz $\partial M$ ist, und nützlich, wenn
* jede in $M$ null-homotope Abbildung von $S^{1}$ in eine Facette bereits in der Facette null-homotop ist
* jede aus zwei jeweils in eine Facette abgebildeten Intervallen bestehende null-homotope Abbildung von $S^{1}$ in $\partial M$ eine Abbildung von $D^{2}$ in $\partial M$ berandet, welche den Durchschnitt der beiden Facetten in einem einzigen Intervall schneidet
* jede aus drei jeweils in eine Facette abgebildeten Intervallen bestehende null-homotope Abbildung von $S^{1}$ in $\partial M$ eine Abbildung von $D^{2}$ in $\partial M$ berandet, welche den Rand der drei Facetten in einer einzigen Tripode schneidet
$n$-dimensionale Haken-Zellen sind gewisse $n$-Mannigfaltigkeiten mit Randmuster, die rekursiv wie folgt definiert werden. Eine $2$-dimensionale Haken-Zelle ist ein $k$-Eck ($k\geq 4$) mit den $k$ Kanten als Randmuster. Eine $n$-dimensionale Haken-Zelle ist eine Mannigfaltigkeit mit vollständigem und nützlichem Randmuster, dessen Elemente $(n-1)$-dimensionale Haken-Zellen sind.
Eine $n$-dimensionale Mannigfaltigkeit $M$ ist eine Haken-Mannigfaltigkeit, wenn es eine Folge
    $(M_{0},F_{0}),(M_{1},F_{1}),\ldots ,(M_{k},F_{k}),(M_{k+1},F_{k+1})$
von Mannigfaltigkeiten $M_{i}$ mit vollständigen und nützlichen Randmustern sowie $(n-1)$-dimensionalen Untermannigfaltigkeiten $F_{i}\subset M_{i}$ gibt, so dass $M_{i+1}$ aus $M_{i}$ durch Aufschneiden entlang $F_{i}$ entsteht und das Randmuster von $M_{i+1}$ von dem von $M_{i}$ erzeugt wird, und so dass $M_{0}=M$ und $M_{k+1}$ eine disjunkte Vereinigung $n$-dimensionaler Haken-Zellen ist.

### Beispiele

* Flächen nichtpositiver Euler-Charakteristik mit den Randkomponenten als Randmuster.
* Eine $3$-dimensionale Haken-Mannigfaltigkeit mit inkompressiblem Rand und dessen Komponenten als Randmuster, ist eine Haken-Mannigfaltigkeit im Sinne dieser Definition.
* Eine $4$-Mannigfaltigkeit der Form $N\times \left[0,1\right]$, wobei $N$ eine $3$-dimensionale geschlossene Haken-Mannigfaltigkeit ist, mit den Randkomponenten als Randmuster.
* Eine $4$-Mannigfaltigkeit der Form $S\times \left[0,1\right]^{2}$, wobei $S$ eine Fläche nichtpositiver Euler-Charakteristik ist, mit einem Randmuster bestehend aus vier Kopien von $S\times \left[0,1\right]$.

### Eigenschaften

* $n$-dimensionale Haken-Mannigfaltigkeiten sind asphärisch, ihre universelle Überlagerung ist homöomorph zum $\mathbb {R} ^{n}$.
* Das Wortproblem für die Fundamentalgruppen von Haken-Mannigfaltigkeiten ist lösbar.