Scheibenknoten

Ein Knoten im dreidimensionalen Raum ist ein Scheibenknoten, wenn er Rand einer Scheibe ist, die in den vierdimensionalen Raum eingebettet ist.

Die einen glatten Scheibenknoten definierende Scheibe kann in Minima, Sattelpunkte und Maxima zerlegt werden (Morse-Theorie). Eine dazu passende Abfolge von Knotendiagrammen wird als „Movie“ bezeichnet. Die Transformationen an den Sattelpunkten werden „Fusion“ und „Fission“ genannt.

Definition

Ein Knoten $K\subset S^{3}$ ist ein topologischer bzw. glatter Scheibenknoten, wenn er Rand einer eingebetteten Scheibe in der 4-Kugel $B^{4}$ ist, die lokal-flach bzw. glatt ist. Hier ist wie üblich $S^{3}=\partial B^{4}$: die dreidimensionale Einheitssphäre, also die Menge der Punkte mit Radius 1 um den Ursprung in $\mathbb {R} ^{4}$, ist Rand der vierdimensionalen Vollkugel.

Jeder glatte Scheibenknoten ist ein topologischer Scheibenknoten, da jede glatt eingebettete Scheibe auch lokal-flach ist. In der Regel werden glatte Scheibenknoten einfach als Scheibenknoten bezeichnet. Die beiden Typen von Scheibenknoten spielen eine wichtige Rolle in der 3- und 4-dimensionalen Topologie.

Zur Illustration von glatten Scheibenknoten verwendet man oft Diagramme von Bandknoten, da diese besonders übersichtlich im dreidimensionalen Raum dargestellt werden können. Es ist sogar eine offene Frage, ob es überhaupt glatte Scheibenknoten gibt, die keine Bandknoten sind.

Singularität der Kegel-Konstruktion

Kegel über der Kleeblattschlinge

Die Bedingungen lokal-flach bzw. glatt sind hier wesentlich: Zu jedem Knoten kann man eine vom Knoten berandete Kreisscheibe in der 4-Kugel konstruieren, indem man jeden Punkt des Knotens mit dem Nullpunkt des $R^{4}$ verbindet. Die so gewonnene Einbettung der Kreisscheibe ist aber, außer für den trivialen Knoten, weder glatt noch lokal-flach, da die Kegel-Konstruktion an der Spitze eine Singularität hat.

Die in der Grafik rechts gezeigte Scheibe hat in der 4-Kugel keine Selbstdurchdringungen. Diese entstehen nur in der dreidimensionalen Projektion. Die Scheibe ist also eine eingebettete Scheibe, die aber an der Kegelspitze nicht lokal-flach ist.

Scheibenknoten und die Knoten-Konkordanzgruppe

Zwei orientierte Knoten $K_{1},K_{2}$ heißen konkordant, wenn die verbundene Summe $K_{1}\sharp -K_{2}$ ein Scheibenknoten ist. Man unterscheidet hier wieder die Varianten topologisch und glatt konkordant. Die Bezeichnung $-K_{2}$ steht für das Spiegelbild von $K_{2}$, bei dem außerdem die Orientierung umgekehrt wird. Die Relation „konkordant“ ist reflexiv, da $K\sharp -K$ für jeden Knoten $K$ ein Scheibenknoten ist. Man kann außerdem zeigen, dass sie transitiv ist, dass also gilt: wenn $K_{1}$ konkordant zu $K_{2}$ und $K_{2}$ konkordant zu $K_{3}$ ist, dann ist auch $K_{1}$ konkordant zu $K_{3}$. Da die Relation auch symmetrisch ist, handelt es sich um eine Äquivalenzrelation. Die Äquivalenzklassen bilden mit der verbundenen Summe von Knoten als Operation eine kommutative Gruppe – die (topologische bzw. glatte) Knoten-Konkordanzgruppe. Die Menge der Scheibenknoten bildet (jeweils) das neutrale Element dieser Gruppe.

Beispiele

Anhand der Kleeblattschlinge ist hier die Reflexivität der Konkordanzrelation veranschaulicht: jeder Knoten ist konkordant zu sich selbst. Bei der Definition der Konkordanz treten zwei Umkehrungen der Orientierung auf: Sowohl die Orientierung des Knotens wird umgekehrt (grüner/roter Pfeil) als auch die Orientierung des dreidimensionalen Raums (das äußert sich in der Spiegelung des Knotens).

Jeder Bandknoten ist ein glatter Scheibenknoten, da hier – bis auf die Bandsingularitäten – bereits eine in den dreidimensionalen Raum eingebettete Scheibe vorliegt und die Bandsingularitäten jeweils in einer kleinen Umgebung in den vierdimensionalen Raum deformiert werden können.

Es gibt 21 prime, nicht-triviale Scheibenknoten der Kreuzungszahl $cr(K)\leq 10$, nämlich die Knoten $6_{1}$, $8_{8}$, $8_{9}$, $8_{20}$, $9_{27}$, $9_{41}$, $9_{46}$, $10_{3}$, $10_{22}$, $10_{35}$, $10_{42}$, $10_{48}$, $10_{75}$, $10_{87}$, $10_{99}$, $10_{123}$, $10_{129}$, $10_{137}$, $10_{140}$, $10_{153}$ und $10_{155}$. Bis Kreuzungszahl 10 gibt es keine topologischen Scheibenknoten, die keine glatten Scheibenknoten sind. Mit Kreuzungszahl 11 gibt es aber einen solchen: Der Conway-Knoten (benannt nach John Horton Conway) ist ein topologischer, aber kein glatter Scheibenknoten. Der Kinoshita-Terasaka Knoten, ein sogenannter „Mutant“ des Conway-Knotens, ist ein glatter Scheibenknoten. Twist-Knoten sind mit Ausnahme des trivialen Knotens und des Stevedore-Knotens, $6_{1}$, keine Scheibenknoten. Alle topologischen und glatten Scheibenknoten der Kreuzungszahl $cr(K)\leq 12$ sind bekannt. Die zusammengesetzten Scheibenknoten bis Kreuzungszahl 12 sind außer solchen der Form $K\sharp -K$ und $6_{1}\sharp 3_{1}\sharp -3_{1}$ die beiden interessanteren Beispiele $3_{1}\sharp 8_{10}$ und $3_{1}\sharp 8_{11}$.

Invarianten

Die folgenden Aussagen gelten für topologische und glatte Scheibenknoten: Das Alexander-Polynom eines Scheibenknotens kann als $\Delta (t)=f(t)f(t^{-1})$ für ein Laurent-Polynom $f$ mit ganzzahligen Koeffizienten zerlegt werden (Fox-Milnor-Bedingung). Daraus folgt, dass die Determinante des Knotens, also der Wert des Alexander-Polynoms bei $-1$, eine Quadratzahl ist.

Die Signatur ist eine Invariante von Konkordanz-Klassen und die Signatur jedes Scheibenknotens ist 0. Auch ist die Signatur ein Homomorphismus von der Konkordanzgruppe in die ganzen Zahlen: Die Signatur der Summe von zwei Konkordanz-Klassen ist die Summe der beiden Signaturen.

• Daraus folgt, dass die Konkordanzgruppe Elemente unendlicher Ordnung besitzt: Die Kleeblattschlinge hat Signatur ±2 und die Signatur der Konkordanz-Klasse der verbundenen Summe von $n$ Kleeblattschlingen ist $\pm 2n$, also nicht 0.
• Sie enthält aber auch Elemente der Ordnung 2: Der Achterknoten $4_{1}$ ist amphichiral und invertierbar, es gilt also $4_{1}=-4_{1}$. Daher ist die verbundene Summe von zwei Achterknoten $4_{1}\sharp 4_{1}=4_{1}\sharp -4_{1}=0$ in der Konkordanzgruppe. Da die Determinante des Achterknotens 5, und daher keine Quadratzahl ist, kann der Knoten kein Scheibenknoten sein und hat deshalb Ordnung 2 in der Konkordanzgruppe. Ein Knoten mit endlicher Ordnung in der Konkordanzgruppe muss natürlich eine Signatur von 0 haben.

Es ist für beide Varianten nicht bekannt, ob die Konkordanzgruppe Elemente endlicher Ordnung größer als 2 enthält.

Dagegen gibt es auch Invarianten mit Unterschieden zwischen den beiden Varianten: Knoten mit trivialem Alexander-Polynom sind topologische, aber nicht notwendig glatte Scheibenknoten (ein Beispiel dafür ist der schon erwähnte Conway-Knoten). Rasmussens s-Invariante verschwindet für glatte (aber im Allgemeinen nicht für topologische) Scheibenknoten.

Geometrische Beschreibung der Konkordanz

Oben: Die Verknüpfung zweier Knoten-Konkordanzen zeigt auf geometrische Weise die Transitivität. Unten: Eine Konkordanz vom Geschlecht 1 zwischen zwei Knoten. Ist der Knoten links trivial, dann hat der Knoten rechts ein glattes 4-Geschlecht von 0 oder 1 – er berandet eine eingebettete Fläche vom Geschlecht 1, könnte aber auch Rand einer Scheibe sein.

Alternativ zu der oben gegebenen Definition von konkordanten Knoten über Scheibenknoten gibt es auch noch eine zweite äquivalente Definition. Zwei orientierte Knoten $K_{1}$ und $K_{2}$ sind konkordant, wenn sie Rand eines (lokal-flachen bzw. glatten) eingebetteten Zylinders $C=S^{1}\times [0,1]$ (im vierdimensionalen Raum $S^{3}\times [0,1]$) sind. Die Orientierungen der Knoten müssen hier zu der Orientierung des Zylinders passen, dies ist illustriert in der dritten Grafik. Der Rand von $S^{3}\times [0,1]$ sind zwei $S^{3}$ mit unterschiedlicher Orientierung, deshalb sieht man dort zwei zueinander gespiegelte Kleeblattschlingen als Rand des Zylinders. Wenn zur Bildung der verbundenen Summe aus dem Zylinder ein schmaler Streifen ausgeschnitten wird, dann bleibt eine Scheibe übrig. Das zeigt, wie bereits angemerkt, dass für jeden Knoten $K\sharp -K$ ein Scheibenknoten ist. Ein Knoten ist mit dieser Definition, so wie auch mit der oben gegebenen, genau dann ein Scheibenknoten, wenn er konkordant zum trivialen Knoten ist.

Auch anhand der Grafik am Anfang des Artikels kann man sich das veranschaulichen: Entfernt man das lokale Minimum der Scheibe links unten im Bild, so bildet der Rand der Fläche an dieser Stelle einen trivialen Knoten und die Fläche ist nun ein Zylinder. Am anderen Ende des Zylinders befindet sich ein Scheibenknoten. Falls die Scheibe (bzw. der Zylinder) glatt ist, dann kann man sie durch Deformation in eine sogenannte Morse-Position bringen. Das ist nützlich, da die kritischen Stellen bezüglich der im Bild mit r bezeichneten Radialfunktion geometrischen Operation zugeordnet werden können. Bei den Sattelpunkten werden triviale Komponenten durch sogenannte Band-Züge (auch Fusion und Fission genannt) hinzugenommen, oder abgespalten. Während bei Scheibenknoten beliebige Band-Züge dieser Art erlaubt sind, sind Bandknoten dadurch charakterisiert, dass nur Fusionen vorkommen dürfen, das Abspalten von trivialen Komponenten mittels Fission aber nicht auftreten darf.

In der Grafik rechts wird die geometrische Beschreibung der Konkordanz um 90° gekippt veranschaulicht und der Parameter r durch einen Parameter t ersetzt. Dieser passt durch seine Interpretation als Zeitvariable gut zu der „Movie“-Darstellung der Fläche.

4-Geschlecht

Eine analoge Definition wie die von Scheibenknoten kann man mit Flächen höheren Geschlechts durchführen. Das 4-Geschlecht eines Knotens ist also definiert durch das kleinste Geschlecht einer den Knoten berandenden eingebetteten Fläche im vierdimensionalen Raum. Wie bisher unterscheidet man das topologische und das glatte 4-Geschlecht. Knoten mit 4-Geschlecht = 0 sind Scheibenknoten, da die Scheibe als einfachste Fläche das Geschlecht 0 hat. Das 4-Geschlecht ist immer kleiner oder gleich dem Geschlecht des Knotens, da dieses ja über Seifert-Flächen definiert ist, die sich bereits im dreidimensionalen Raum befinden.

Beispiele für Knoten mit unterschiedlichen Werten bei topologischem und glattem 4-Geschlecht sind in der folgenden Tabelle aufgeführt. Der Conway-Knoten 11n34 ist, wie bereits erwähnt, das erste Beispiel in den Knotentabellen eines topologischen, aber nicht glatten Scheibenknotens. Man könnte annehmen, dass die beiden Werte sich dann immer nur um 1 unterscheiden. Das ist jedoch nicht so: Die Differenz kann beliebig groß werden. Es ist jedoch nicht bekannt (Stand 2017), ob es alternierende Knoten gibt, für die diese Differenz größer als 1 ist.

	$10_{139}$	$10_{145}$	$10_{152}$	$10_{154}$	$10_{161}$	$11n34$
4-Geschlecht (glatt)	4	2	4	3	3	1
4-Geschlecht (top.)	3	1	3	2	2	0

Literatur

• Dale Rolfsen: Knots and Links. Publish or Perish, 1976, Kapitel 8.E
• Charles Livingston: Knotentheorie für Einsteiger, Vieweg, 1995
• Charles Livingston: A Survey of Classical Knot Concordance, Kapitel 7 in „Handbook of Knot Theory“, Elsevier, 2005

Weblinks

• Peter Teichner: Slice knots: knot theory in the 4th dimension