Torusknoten

Ein Torusknoten ist in der Knotentheorie ein Knoten, welcher auf einem (unverknoteten) Torus im dreidimensionalen Raum gezeichnet werden kann.

Parametrisierung

Ein Torusknoten wird durch zwei ganzzahlige, teilerfremde Parameter bestimmt (p und q), die angeben, wie oft der Knoten den Torus außenrum und durch das Loch umrundet. Eine Parameterdarstellung eines Torusknotens mit Parametern p und q ist:

x(t)=(2+\cos pt)\cos qt,\qquad y(t)=(2+\cos pt)\sin qt,\qquad z(t)=\sin pt.

Die Kurve liegt überschneidungsfrei auf dem Torus, der in Zylinderkoordinaten durch $(r-2)^{2}+z^{2}=1$ definiert werden kann.^[1] Damit man hier wirklich einen Torusknoten erhält, müssen $p$ und $q$ teilerfremd sein, anderenfalls erhält man eine Verschlingung mit $\operatorname {ggT} (p,q)$ Komponenten.

Eigenschaften

Der einfachste nicht-triviale Torusknoten ist die Kleeblattschlinge. Ein Torusknoten ist genau dann trivial, wenn p = ±1 oder q = ±1. Jeder (nicht-triviale) Torusknoten ist chiral, das heißt, er ist nicht in sein Spiegelbild deformierbar.

Das Komplement eines Torusknotens ist eine Seifert-Faserung. Insbesondere sind Torusknoten keine hyperbolischen Knoten.

Torusknoten entstehen in der Singularitätentheorie als Schnitt der komplexen Hyperfläche

z^{p}+w^{q}=0

mit der Einheitssphäre $S^{3}\subset \mathbb {C} ^{2}$ .^[2]

Das Komplement des Torusknotens ist ein Faserbündel über dem Kreis mit Monodromie endlicher Ordnung. Wenn der Knoten als Schnitt der Einheitssphäre mit der Hyperfläche $z^{p}+w^{q}=0$ gegeben ist, kann man die Faserung $p:S^{3}-K\rightarrow S^{1}$ durch $p(z,w)={\frac {z^{p}+w^{q}}{\parallel z^{p}+w^{q}\parallel }}$ definieren.