Fibering of the trefoil knot complement
I’ve found myself re-calculating the fibration of the trefoil knot complement again, so I thought I’d write a short note this time to record it. The main technique is the elastic cord criterion from
Sebastian Baader and Christian Graf, Fibred links in , Expo. Math. 34 (2016), no. 4, 423–435. doi:10.1016/j.exmath.2016.06.006 MR 3578006
What is a fibered knot?
An oriented knot (or link) is called a fibered knot if the knot complement can be given the structure of a fibration over such that the closure of each leaf is a compact oriented surface whose boundary is with the correct induced orientation. In other words, there is a smooth map with no critical points such that the closure of is a Seifert surface for for each . Letting be one of the fibers, circle-valued functions like this generate a smooth map called the monodromy, which is obtained through gradient flow: we can use to pull back to then use the metric to form a non-vanishing vector field, and then is given by an integral curve starting at then seeing where it ends up at time . The monodromy lets us regard as a mapping cylinder of :
As a smooth oriented manifold, this only depends on the isotopy class of .The knot exterior (the complement of a tubular neighborhood of ) is given by the same mapping cylinder construction but with a compact oriented surface. In the above construction, one can arrange for the monodromy to be the identity in a neighborhood of since, near , the flow of a point in gives a meridian loop:
The main takeaway of all this is that “calculating the fibering” amounts to giving the following data: (1) a compact oriented surface and (2) a smooth map that is the identity when restricted to the boundary.
Since it’s the identity on the boundary, the map extends to a smooth map of a closed oriented surface obtained by collapsing each boundary curve to a point. From this point of view, the data is (1) a closed oriented surface with a finite collection of points and (2) a smooth map that fixes each point in the collection. Incidentally, this gives a fibering of the -surgery of the knot or link.
What is the elastic cord criterion?
Let’s consider the case of a knot exterior, so is compact. An observation for a fibration is that if you find a cut set of arcs for , you can flow the arcs themselves from to , giving properly embedded squares in such that is embedded “vertically”, and the complement of the squares in is a disjoint union of open balls.
Conversely, given a (connected[1]) Seifert surface for an oriented knot (or link) , if one can find a cut set of arcs for along with disjoint properly embedded squares in whose “vertical” boundaries are meridians for , then because knot complements are irreducible the complement of the union of and the squares is a disjoint union of open balls, and hence is fibered.
It turns out that you don’t need to actually worry about the disks themselves. The elastic cord criterion is that a knot (or link) is fibered if and only if there is a Seifert surface with a cut set such that, with the arcs being thought of as “elastic cords” attached to the boundary on one side of the surface, they can be dragged to the other side. The monodromy is determined by where the cords end up. (Also, if there is any arc that, as an elastic cord, cannot be dragged to the other side, the knot is not fibered.)
Here’s an attempt at illustrating an elastic cord (blue thick line) being dragged in the direction of the green arrows to the other side of the surface (dashed blue thick line), with a portion of the square it is dragged through:
The trefoil knot
The (right-handed) trefoil knot has a genus- Seifert surface from taking one of the two checkerboard surfaces from a standard diagram. Here’s an illustration of the Seifert surface (yellow is the front side, gray is the back), a cut set of arcs given by the blue and green curves, and the the result of taking the arcs as elastic cords and dragging them to the other side of the surface:
The lattice of lifts of the ideal point can be described as with , and then the covering map is given by modulo as abelian groups. The action of on by multiplication descends to the quotient, which is a torus. The image of is fixed by the action and corresponds to the ideal point.
Using the coordinate system, the matrix of the action is
This can be used as the matrix for the induced action of the monodromy on for the fiber surface (this is by the duality between for arcs in the cut set and via the intersection form). The Alexander polynomial of a fibered knot can be calculated from the characteristic polynomial of the induced action on , which in this case is the expected .The left-handed trefoil knot is similar, but instead the monodromy corresponds to a degrees counterclockwise rotation.