Link Invariants
Examples
Related concepts
The knot group, $G(K)$, of a knot $K$ is the fundamental group of the complement of the knot. Taking this apart, the knot, $K$, is an embedding of $S^1$ into $\mathbb{R}^3$ or $S^3$. We tend to abuse terminology and to think (and to write) of $K$ as the image of the embedding rather than the embedding itself. We can therefore write $\mathbb{R}^3 \setminus K$ for the space outside the knot, i.e. its complement. This is clearly arcwise connected so we do not need to worry about a choice of base point any point will do. We make the
$G(K) \coloneqq \pi_1(\mathbb{R}^3 \setminus K)$.
To see that this is an invariant of the knot type, note that if you perform an ambient isotopy on the knot then it deforms this complement into the complement of the isotopic knot.
This is an unambiguous definition, but does not tell us how to calculate anything about this group for a given knot. Luckily there are two neat algorithms for giving presentations of $G(K)$ for arbitrary knots working from a diagram of that knot, one due to Wirtinger, the other to Dehn.
Start by orienting the knot diagram. The diagram divides the plane into various faces. Label these faces with distinct letters. For example, $x_1,\ldots, x_n$. These face labels will be the generators in the presentation. The relations are given by the crossings in the following diagram.
A typical crossing will have a configuration something like this:
Look at the underpass arc that leaves the crossing, and write down the face labels going anticlockwise around the crossing, and alternating in exponent between $+1$ and $-1$. Here that gives $x_i x_j^{-1}x_k x_l^{-1}$. After doing this for every crossing, set any one face label to be $1$. (This last relation effectively deletes that generator from the presentation.)
That method gives the following presentation, where $x_m$ is the choice of generator to be set to $1$.
This is a presentation of $G(K)$.
The element in the fundamental group corresponding to a particular face is given as follows. We set the basepoint to a point above the plane and draw a path which goes from the basepoint and through the face. It then goes under the plane (thus, under the knot) to the face whose label was set to $1$, and through this face back to the basepoint.
We will calculate the Dehn presentation for the cinquefoil knot. This is the next knot in the family of $(2,k)$-torus knots after the trefoil knot. It has five lobes when drawn in the following nice symmetric form. We orient the diagram clockwise and label the faces of the diagram with the letters from $a$ up to $g$.
We start with the crossing in the top left. The underpass is going from left to right and has $a$ to its left as it exits from under the overpass. Reading off the relation for this we get $a g^{-1} e f^{-1}$. We go to the next (clockwise) crossing and similarly get $b g^{-1} a f^{-1}$; continuing we get $c g^{-1} b f^{-1}$, then $d g^{-1}c f^{-1}$, and for the final crossing $e g^{-1}d f^{-1}$.
We will choose to kill off $g$ setting it equal to $1$ (and eliminating it from the presentation). This gives
This is ‘the’ Dehn presentation of $G(K)$ for this knot
We can eliminate $f$ as it can be expressed in terms of the other generators. This gives us
This corresponds to something neat. The ‘geometric’ significance of the faces is they represent a path that starts above the ‘page’ goes down through that face then comes up through the face labelled $g$ (as we set that equal to $1$). The presentation in its current form shows that going down through any of the lobes, coming back up at the outside, then going down through the next one clockwise is the same as going through the middle! It can be useful to keep $f$ in the presentation as we will see.
This group presentation is Tietze equivalent to $\langle f,y\mid f^5 = y^2\rangle$. (Use the substitution $y=e d c b a$.) Note that the nature of the cinquefoil as a (2,5)-torus knot can be seen in this presentation.
To get the Wirtinger presentation of $G(K)$, you label the arcs of the knot diagram rather than the faces. The arc labels will give the generators in this presentation and the crossings will give the relations.
Suppose the crossing looks like
Pick one of the quadrants and think of a rectanglar path going anti-clockwise about the crossing. (We will assume we have started this path in the NW quadrant, to the left of the exit.) Traverse this rectangular path and write down the $\text{arc label}$ if the arc is entering the crossing and $(\text{arc label})^{-1}$ if it is leaving it. In the above situation we get $x_i x_k x_i^{-1} x_j^{-1}$. This is set equal to $1$. Now repeat for all the other crossings.
The Wirtinger presentation is then
It is worth noting that any one of the crossing relations is a consequence of the others.
The element in the fundamental group corresponding to a strand is the following. We fix a basepoint above the plane. The path comes down from this basepoint, goes under the strand, and then back up again. The direction in which it goes under the strand is determined by the orientation of the strand: to someone sitting on the strand facing in the direction of the orientation, the path will go down on the left and come up on their right.
Hint: If doing an example, do not throw away a crossing relation just because it is redundant. It is a good idea to keep it and it will act as a check on the final form of the presentation when it has been ‘processed’ through some Tietze transformations. It is easy, at least to start with, to make a slip in the calculation and often the presentation for nice simple knots can be reduced to a form with two generators and one relation. The above trick keeps in a duplicate relation for comparison.
The classical treatment of the Alexander polynomial as found, for instance in the book by Crowell and Fox, uses the Wirtinger presentation and Fox derivatives to derive an Alexander matrix which is then processed to give the polynomial.
Alexander’s original paper uses a method which is more closely related to the Dehn presentation.
Last revised on March 1, 2013 at 22:02:56. See the history of this page for a list of all contributions to it.