Torus-Satz

Der Torus-Satz ist ein Lehrsatz aus dem mathematischen Gebiet der Topologie. Er wird für die JSJ-Zerlegung von 3-Mannigfaltigkeiten benötigt und ist deshalb von grundlegender Bedeutung in der 3-dimensionalen Topologie.

Formulierung

Es sei $M$ eine orientierbare irreduzible 3-Mannigfaltigkeit, deren Fundamentalgruppe eine Untergruppe isomorph zu $\mathbb {Z} \oplus \mathbb {Z}$ enthält. Dann ist $M$ entweder eine Seifert-Faserung oder es gibt einen eingebetteten inkompressiblen Torus $T^{2}\subset M$.

Anmerkungen

• Eine zu $\mathbb {Z} \oplus \mathbb {Z}$ isomorphe Untergruppe der Fundamentalgruppe gibt es genau dann, wenn es eine $\pi _{1}$-injektive Immersion $T^{2}\to M$ gibt. Man kann den Torus-Satz also auch so formulieren: wenn es in $M$ einen immersierten inkompressiblen Torus gibt, dann ist $M$ entweder eine Seifert-Faserung oder es gibt einen eingebetteten inkompressiblen Torus.
• Seifert-Faserungen haben im Allgemeinen zahlreiche immersierte, aber nicht eingebettete, inkompressible Tori. Diese entstehen wie folgt: sei $p\colon M\to \Sigma$ die Projektionsabbildung der Seifert-Faserung und $\gamma$ eine in $\Sigma$ eingebettete Kurve, die nicht nullhomotop sei. Dann ist $p^{-1}(\gamma )$ ein immersierter, inkompressibler Torus, der aber im Allgemeinen, wenn die Faserung singulär ist, nicht eingebettet sein muss.
• Aus dem Torus-Satz folgt durch Kontraposition: eine orientierbare, irreduzible, homotopisch atoroidale 3-Mannigfaltigkeit ist entweder eine Seifert-Faserung oder geometrisch atoroidal. Diese Formulierung ist von Bedeutung für die JSJ-Zerlegung von 3-Mannigfaltigkeiten, sie impliziert, dass die Komponenten dieser Zerlegung entweder Seifert-Faserungen oder geometrisch atoroidal sind.

Geschichte

Der Torus-Satz im speziellen Fall von Haken-Mannigfaltigkeiten wurde 1968 von Waldhausen vermutet und 1976 von Feustel bewiesen. Der allgemeine Fall wurde 1980 von Scott bewiesen. Die ursprünglich von Scott bewiesene Version besagte, dass unter den Voraussetzungen des Torus-Satzes entweder $M$ einen eingebetteten inkompressiblen Torus enthält oder $\pi _{1}M$ eine nichttriviale normale zyklische Untergruppe. Zusammen mit der in den 90er Jahren bewiesenen Seifert-Faserraum-Vermutung folgt daraus die obige Formulierung.