Haken-Mannigfaltigkeit

In d​er Mathematik s​ind Haken-Mannigfaltigkeiten 3-dimensionale Mannigfaltigkeiten, d​ie sich entlang inkompressibler Flächen i​n einfache Stücke zerschneiden lassen u​nd deswegen e​iner algorithmischen Behandlung zugänglich sind. Sie s​ind benannt n​ach Wolfgang Haken.

Definition

Eine Haken-Mannigfaltigkeit ist eine kompakte 3-Mannigfaltigkeit, die -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 -irreduzibel, wenn sie irreduzibel ist und keine zweiseitig eingebettete projektive Ebene enthält. Wenn orientierbar ist, dann folgt -Irreduzibilität bereits aus Irreduzibilität.
  • Falls nichtleeren Rand hat, soll die inkompressible Fläche auch rand-inkompressibel sein.

Beispiele

  • Die 3-dimensionale Vollkugel ist eine Haken-Mannigfaltigkeit.
  • Jede irreduzible 3-Mannigfaltigkeit mit positiver 1. Betti-Zahl
ist eine Haken-Mannigfaltigkeit: wegen Poincaré-Dualität folgt 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 .[1]
  • 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 mit inkompressibler Fläche gibt es eine Folge

,

so dass , aus durch Aufschneiden entlang entsteht und eine Vereinigung disjunkter 3-dimensionaler Vollkugeln ist.

Diese Eigenschaft ermöglicht es, Beweise für Haken-Mannigfaltigkeiten a​ls Induktionsbeweise über d​ie Länge e​iner Haken-Hierarchie z​u führen, w​obei der Induktionsanfang jeweils i​m Überprüfen d​er Behauptung für 3-dimensionale Vollkugeln besteht. Auf d​iese Weise wurden Waldhausens Starrheitssatz für Haken-Mannigfaltigkeiten u​nd Thurstons Geometrisierungsvermutung für Haken-Mannigfaltigkeiten bewiesen.

Waldhausens Starrheitssatz

Satz (Waldhausen): Sei 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 bereits ein Homöomorphismus ist.

Algorithmische Aspekte

Es g​ibt einen Algorithmus, d​er entscheidet, o​b zwei Haken-Mannigfaltigkeiten homöomorph sind. Dieser u​nter dem Namen "Recognition Theorem" bekannte Algorithmus i​st theoretischer Natur. Insbesondere h​at man e​ine algorithmische Klassifikation v​on Haken-Mannigfaltigkeiten u​nd damit (wegen d​es Satzes v​on Gordon-Luecke) a​uch eine algorithmische Klassifikation v​on Knoten u​nd Verschlingungen. (Der Satz v​on Gordon-Luecke g​ilt nicht für Verschlingungen m​it mehreren Komponenten, jedoch werden d​iese durch d​as Komplement u​nd ihre Meridiane eindeutig bestimmt.)[2]

Weiterhin g​ibt es e​inen auch a​uf dem Computer umgesetzten Algorithmus, u​m zu entscheiden, o​b eine irreduzible 3-Mannigfaltigkeit Haken ist.

Höherdimensionale Haken-Mannigfaltigkeit

Ein Randmuster (engl.: boundary pattern) ist eine endliche Menge kompakter zusammenhängender -dimensionaler Untermannigfaltigkeiten des Randes ("Facetten"), so dass für der Durchschnitt von je dieser Untermannigfaltigkeiten eine -dimensionale Untermannigfaltigkeit oder leer ist. Das Randmuster heißt vollständig, wenn die Vereinigung dieser Untermannigfaltigkeiten ganz ist, und nützlich, wenn

  • jede in null-homotope Abbildung von in eine Facette bereits in der Facette null-homotop ist
  • jede aus zwei jeweils in eine Facette abgebildeten Intervallen bestehende null-homotope Abbildung von in eine Abbildung von in 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 in eine Abbildung von in berandet, welche den Rand der drei Facetten in einer einzigen Tripode schneidet

-dimensionale Haken-Zellen sind gewisse -Mannigfaltigkeiten mit Randmuster, die rekursiv wie folgt definiert werden. Eine -dimensionale Haken-Zelle ist ein -Eck () mit den Kanten als Randmuster. Eine -dimensionale Haken-Zelle ist eine Mannigfaltigkeit mit vollständigem und nützlichem Randmuster, dessen Elemente -dimensionale Haken-Zellen sind.

Eine -dimensionale Mannigfaltigkeit ist eine Haken-Mannigfaltigkeit, wenn es eine Folge

von Mannigfaltigkeiten mit vollständigen und nützlichen Randmustern sowie -dimensionalen Untermannigfaltigkeiten gibt, so dass aus durch Aufschneiden entlang entsteht und das Randmuster von von dem von erzeugt wird, und so dass und eine disjunkte Vereinigung -dimensionaler Haken-Zellen ist.

Beispiele

  • Flächen nichtpositiver Euler-Charakteristik mit den Randkomponenten als Randmuster.
  • Eine -dimensionale Haken-Mannigfaltigkeit mit inkompressiblem Rand und dessen Komponenten als Randmuster, ist eine Haken-Mannigfaltigkeit im Sinne dieser Definition.[3]
  • Eine -Mannigfaltigkeit der Form , wobei eine -dimensionale geschlossene Haken-Mannigfaltigkeit ist, mit den Randkomponenten als Randmuster.
  • Eine -Mannigfaltigkeit der Form , wobei eine Fläche nichtpositiver Euler-Charakteristik ist, mit einem Randmuster bestehend aus vier Kopien von .

Eigenschaften

  • -dimensionale Haken-Mannigfaltigkeiten sind asphärisch, ihre universelle Überlagerung ist homöomorph zum .
  • Das Wortproblem für die Fundamentalgruppen von Haken-Mannigfaltigkeiten ist lösbar.

Literatur

  • W. Haken: Theorie der Normalflächen I. In: Acta Math. 105, 1961, S. 245–375.
  • F. Waldhausen: On irreducible 3-manifolds which are sufficiently large. In: Ann. of Math. 87, 1968, S. 56–88.
  • W. Jaco: Lectures on three-manifold topology. CBMS Regional Conference Series in Mathematics, 43. American Mathematical Society, Providence, R.I., 1980. ISBN 0-8218-1693-4
  • B. Foozwell, H. Rubinstein: Introduction to the theory of Haken n-manifolds. In: Topology and geometry in dimension three. (= Contemp. Math. 560). Amer. Math. Soc., Providence, RI, 2011, ISBN 978-0-8218-5295-8, S. 71–84.

Einzelnachweise

  1. William Thurston: Geometry and topology of three-manifolds. Chapter 4: Hyperbolic Dehn surgery (pdf)
  2. Sergei Matveev: Algorithmic topology and classification of 3-manifolds. (= Algorithms and Computation in Mathematics. 9). 2. Auflage. Springer, Berlin 2007, ISBN 978-3-540-45898-2, Kapitel 6.
  3. Klaus Johannson: Homotopy equivalences of 3-manifolds with boundaries. (= Lecture Notes in Mathematics. 761). Springer, Berlin 1979, ISBN 3-540-09714-7.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.