Seifert-Faserung
In der dreidimensionalen Topologie versteht man unter einer Seifert-Faserung eine dreidimensionale Mannigfaltigkeit, die auf eine bestimmte Weise durch Kreise gefasert ist. Eine solche Seifert-gefaserte Mannigfaltigkeit lässt sich als Vereinigung unendlich vieler (beliebig geformter) Kreise vorstellen, die entweder „parallel“ zueinander verlaufen, oder sich um diskret liegende „singuläre“ Kreise wickeln. Gelegentlich werden Seifert-Faserungen auch als Seifert-Faserraum bezeichnet, um die Mannigfaltigkeit (den Totalraum) von der Faserung zu unterscheiden.
Seifert-Faserungen spielen eine wichtige Rolle bei der Geometrisierung von 3-Mannigfaltigkeiten, da ihre Geometrie und Topologie gut verstanden ist.
Definitionen
Zunächst definiert man auf einem Volltorus eine triviale Faserung , wobei eine Kreisscheibe und einen Kreis (eine Faser) bezeichnet. Im kann man sich die Faserung so vorstellen, dass man die Scheibe als Querschnitt des Volltorus nimmt, und die Kreise durch Rotation eines Punktes auf der Scheibe um die Achse, die durch das „Loch“ des Torus geht.
Schneidet man einen solchen trivial gefaserten Torus entlang einer Scheibe auf, verdreht eine der beiden Schnittflächen um den Winkel ( und teilerfremde natürliche Zahlen) und klebt die beiden Scheiben so verdreht wieder zusammen, so erhält man einen -gefaserten Volltorus. Im abgebildeten Beispiel erhält man einen -Seifert-gefaserten Volltorus, indem man die Unterseite um dreht und mit der Oberseite verklebt. Die Zahlen geben an, welche Fasern dabei zusammengeklebt werden.
Die zentrale Faser bleibt dabei unverändert, die restlichen Fasern werden jeweils mit anderen Fasern (im Beispiel mit 5) zu einer neuen Faser verklebt. Diese neue Faser wickelt sich -mal längs der zentralen Faser (hier 5-mal) und dabei -mal (hier 2-mal) um die zentrale Faser (in Richtung des Querschnitts) herum.
Eine Seifert-Faserung ist nun einer 3-Mannigfaltigkeit , die sich so in disjunkte Kreise (genannt Fasern) zerlegen lässt, dass jede Faser eine Umgebung besitzt, die entweder zum trivial gefaserten Volltorus isomorph ist oder zu einem -gefaserten Volltorus. „Isomorph“ bedeutet in diesem Zusammenhang, dass es einen Homöomorphismus gibt, der Fasern auf Fasern abbildet.
Eine Faser heißt regulär, wenn sie eine Umgebung isomorph zum trivial gefaserten Volltorus besitzt, andernfalls heißt sie singulär. Eine Faser ist genau dann singulär, wenn sie der zentralen Faser eines Seifert-gefaserten Volltorus entspricht.
Eigenschaften
Eine Seifert-Faserung ist keine Faserung im mathematischen Sinn, sondern eigentlich eine Blätterung. Der Begriff „Faserung“ ist hier historischen Ursprungs. Allerdings lässt sich eine Seifert-Faserung auch als singuläre Faserung oder Seifert-Bündel über einer Orbifaltigkeit auffassen.
Obwohl sich die Topologie eines einzelnen Volltorus durch eine Seifertfaserung nicht verändert, besitzt eine Seifert-Faserung einer Mannigfaltigkeit topologische Information über die Mannigfaltigkeit. Das liegt daran, dass die Seifert-Faserung festlegt, wie verschiedene Volltori entlang ihrer Oberflächen verklebt werden können. Beispielsweise ist eine Seifert-Faserung nur auf bestimmten 3-Mannigfaltigkeiten möglich. Es gilt:
- Die universelle Überlagerung einer Seifert-gefaserten 3-Mannigfaltigkeit ohne Rand ist homöomorph zur 3-Sphäre , zum Euklidischen Raum oder zum Produkt . Die Seifert-Faserung induziert auf der Überlagerung eine Blätterung als eine der folgenden Möglichkeiten:
- ein Seifert-Bündel über mit keinem, einem oder zwei singulären Fasern
- ein triviales Linienbündel
- ein triviales Linienbündel
Hieraus ergibt sich unter anderem, dass geschlossene Seifert-gefaserte 3-Mannigfaltigkeiten geometrisierbar im Sinne von Thurston sind und eine der Modellgeometrien , , , , , oder tragen. Dagegen gibt es keine Seifert-Mannigfaltigkeit mit hyperbolischer oder Sol-Geometrie.
Da eine 3-Mannigfaltigkeit maximal eine der Modellgeometrien zulässt, ergibt dies eine Charakterisierung der geschlossenen Seifert-Mannigfaltigkeiten in sechs Klassen.
Charakterisierung von Seifert-Faserungen
Seifert-Faserraum-Vermutung (bewiesen von Casson-Jungreis[1] und Gabai[2]): Es sei eine orientierbare irreduzible 3-Mannigfaltigkeit, deren Fundamentalgruppe unendlich ist und eine nichttriviale normale zyklische Untergruppe besitzt. Dann ist eine Seifert-Faserung.
Geschichte
Seifert-Faserungen wurden erstmals 1932 von Herbert Seifert (1907–1996) untersucht. 1979 benutzten William Jaco, Peter Shalen und (unabhängig davon) Klaus Johannson sie zur Definition und zum Beweis der JSJ-Zerlegung.
Literatur
- Herbert Seifert: Topologie 3-dimensionaler gefaserter Räume. In: Acta Mathematica. Nr. 60, 1932, S. 147–238.
- William H. Jaco, Peter B. Shalen: Seifert fibered spaces in 3-Manifolds (= Memoirs of the American Mathematical Society 21, 1 = 220). American Mathematical Soc., Providence RI, 1979, ISBN 0-8218-2220-9.
- Allen Hatcher: Notes on basic 3-manifold topology (PDF; 385 kB).
- Peter Scott: The Geometries of 3-Manifolds. In: The Bulletin of the London Mathematical Society. Nr. 15, 1983, ISSN 0024-6093, S. 401–487.
- Matthew G. Brin: Seifert fibered spaces (Notes for a one semester cours). (1993).
Weblinks
- Mark Jankins, Walter Neumann: Lectures on Seifert manifolds
- J.-P. Préaux: A survey on Seifert fiber space theorem