Wirtinger-Präsentierung

Im mathematischen Teilgebiet der Knotentheorie ist die Wirtinger-Präsentierung (oder Wirtinger-Präsentation) ein Verfahren zur Beschreibung (Präsentation) einer Knotengruppe. Sie wurde nach dem österreichischen Mathematiker Wilhelm Wirtinger benannt.

Problemstellung

Eine der wichtigsten topologischen Invarianten ist die Fundamentalgruppe eines topologischen Raumes. Zu einem mathematischen Knoten definiert man die Knotengruppe als die Fundamentalgruppe des Knotenkomplements.

Die Wirtinger-Präsentation liefert eine Präsentation der Knotengruppe, also eine explizite Beschreibung mittels Erzeugern und Relationen.

Es ist im Allgemeinen ein nichttriviales Problem, Eigenschaften einer Gruppe aus einer Präsentation abzulesen. Im Fall von Knotengruppen gibt es aber Algorithmen, die zum Beispiel anhand der Präsentationenen zweier Knotengruppen entscheiden, ob die Knoten äquivalent sind.

Verfahren

Sei $D$ ein Knotendiagramm eines Knotens $K$ und P ein Punkt außerhalb des Knotens. Wir wählen eine Durchlaufrichtung und bezeichnen mit $B_1,\dots ,B_k$ der Reihe nach die Streckenabschnitte im Knotendiagramm. Für jeden Bogen $B_i$ wählen wir eine in P beginnende und endende Schleife $x_i$, welche aus einer Strecke von P fast bis $B_i$ besteht und aus einer Schleife um $B_i$, welche $B_i$ einmal positiv umläuft (‘rechte Handregel’), und dann die vorher gewählte Strecke zurück zu P entlang läuft.

Wir sagen eine Kreuzung ist positiv, wenn der untere Strang vom oberen Strang aus gesehen (mit der gegebenen Orientierung) von rechts nach links geht. Andernfalls nennen wir die Kreuzung negativ. Am i-ten Kreuzungspunkt werden die Bögen $x_i$ und $x_{i+1}$ durch einen Bogen $x_{s(i)}$ getrennt. Jeder Kreuzungspunkt gibt eine Relation wie im folgenden Bild.

Die so erhaltene Präsentation

$⟨x_1,\dots ,x_k\mid r_1,\dots ,r_k⟩$

mit

$r_i=x_i^{-1}{x}_{s(i)}{x}_{i+1}{x}_{s(i)}^{-1}\text{bei einer positiven Kreuzung}$

$r_i=x_i^{-1}{x}_{s(i)}^{-1}{x}_{i+1}{x}_{s(i)}\text{bei einer negativen Kreuzung}$

heißt Wirtinger-Präsentierung und ist eine Präsentation der Fundamentalgruppe des Knotenkomplements.

Beispiele

• 
  Diagramm des Kleeblattknotens
• 
  Achterknoten

Die Wirtinger-Präsentation des Kleeblattknotens ist

$⟨x_1,x_2,x_3\mid x_1{x}_2{x}_3^{-1}{x}_2^{-1},x_2{x}_3{x}_1^{-1}{x}_3^{-1},x_3{x}_1{x}_2^{-1}{x}_1^{-1}⟩$,

diese kann man mit $x=x_1{x}_2$ und $y=x_2^{-1}{x}_1^{-1}{x}_2^{-1}$ vereinfachen zu

$⟨x,y\mid x^3{y}^2⟩$.

Die Wirtinger-Präsentation des Achterknotens ist

$⟨x_1,x_2,x_3,x_4\mid x_3{x}_4^{-1}{x}_3^{-1}{x}_1,x_1{x}_2^{-1}{x}_1^{-1}{x}_3,x_4{x}_2^{-1}{x}_3^{-1}{x}_2⟩$,

diese kann man mit $x=x_1$ und $y=x_1^{-1}{x}_3$ vereinfachen zu

$⟨x,y\mid y^{-1}xy{x}^{-1}{y}^{-2}{x}^{-1}yx⟩$.