Eigenschaft R

Eigenschaft R ist eine Eigenschaft von Knoten, die nach Gabai's Property R Theorem (vormals Property R conjecture) allen Knoten zukommt und die besagt, dass 0-Chirurgie an einem Knoten nur für den Unknoten <math>S^2\times S^1</math> ergibt. Diese Eigenschaft ist in der niedrig-dimensionalen Topologie von Bedeutung, unter anderem bei der Berechnung von Seiberg-Witten-Floer-Homologie- und Heegaard-Floer-Homologie-Gruppen.

Datei:Blue Unknot.png

Unknoten

Motivation

Dehn-Chirurgie ist ein auf Max Dehn zurückgehendes Verfahren zur Konstruktion 3-dimensionaler Mannigfaltigkeiten, indem aus der 3-dimensionalen Sphäre ein Knoten (oder eine aus mehreren Knoten bestehende Verschlingung) herausgebohrt und anders wieder eingeklebt wird. Nach dem Satz von Lickorish-Wallace erhält man jede geschlossene 3-Mannigfaltigkeit durch Dehn-Chirurgie an einer geeigneten Verschlingung.

Im Allgemeinen kann man ein und dieselbe 3-Mannigfaltigkeit auf unterschiedliche Weisen durch Dehn-Chirurgien an unterschiedlichen Verschlingungen konstruieren. Zum Beispiel liefert die "triviale" <math>\infty</math>-Chirurgie an einer beliebigen Verschlingung stets wieder die 3-Sphäre.

Dagegen kann man die Mannigfaltigkeit <math>S^2\times S^1</math> nur auf eine Weise durch 0-Chirurgie an einem Knoten konstruieren, nämlich durch die 0-Chirurgie am Unknoten. Diese Tatsache wird als Eigenschaft R bezeichnet, sie wurde ursprünglich 1974 von Valentin Poénaru vermutet und 1987 von Gabai bewiesen. Sie impliziert einige von Poénaru aufgestellte Vermutungen über 3- und 4-Mannigfaltigkeiten.

Gabai's Property R Theorem

Sei <math>K\subset S^3</math> ein Knoten und <math>M_K(0)</math> die durch Dehn-Chirurgie am Knoten <math>K</math> mit Koeffizienten 0 (kurz: 0-Chirurgie) erhaltene 3-Mannigfaltigkeit.

Wenn <math>K</math> nicht der Unknoten ist, dann ist <math>M_K(0)</math> nicht homöomorph zu <math>S^2\times S^1</math>.

Beweisstrategie

Gabai beweist, dass es eine straffe Blätterung des Knotenkomplements gibt, die den Randtorus in Longituden schneidet. In der durch 0-Chirurgie erhaltenen 3-Mannigfaltigkeit <math>M_K(0)</math> beranden diese Longituden disjunkte Kreisscheiben, man erhält also eine straffe Blätterung von <math>M_K(0)</math>. Mit dem Satz von Novikov folgt daraus die Irreduzibilität von <math>M_K(0)</math>, insbesondere ist <math>M_K(0)\not=S^2\times S^1</math>.<ref>David Gabai: Foliations and the topology of 3-manifolds. III. J. Differential Geom. 26 (1987), no. 3, 479–536.</ref>

Andere Beweise stammen von Gordon-Luecke<ref>Cameron Gordon, John Edwin Luecke: Knots are determined by their complements. J. Amer. Math. Soc. 2 (1989), no. 2, 371–415.</ref> und Parry<ref>Walter Parry: All types implies torsion. Proc. Amer. Math. Soc. 110 (1990), no. 4, 871–875.</ref>.

Verallgemeinerung

Sei <math>K\subset S^3</math> ein Knoten und <math>M_K(r)</math> die durch Dehn-Chirurgie am Knoten <math>K</math> mit Koeffizienten <math>r\in\Q</math> erhaltene 3-Mannigfaltigkeit.

Wenn <math>K</math> nicht der Unknoten <math>U</math> ist, dann ist <math>M_K(r)</math> nicht orientierungserhaltend homöomorph zu <math>M_U(r)</math>.<ref>Peter Kronheimer, Tomasz Mrowka, Peter Ozsváth, Zoltán Szabó: Monopoles and lens space surgeries. Ann. of Math. (2) 165 (2007), no. 2, 457–546.</ref>

Siehe auch

• Eigenschaft P

Literatur

• Kapitel 7.4 in Jennifer Schultens: Introduction to 3-manifolds. Graduate Studies in Mathematics, 151. American Mathematical Society, Providence, RI, 2014. ISBN 978-1-4704-1020-9

Einzelnachweise

<references />