[Math] table of (fibred knot) monodromies

contact-geometrygt.geometric-topologyknot-theoryreference-request

Background/motivation

I'm working on contact topology (in dimension three): a fundamental theorem of Giroux gives us a bijection between contact structures (up to isotopy) and open books (up to negative stabilisation).

Moreover, a stabilisation is a "hands on" operation both at the abstract level (i.e. surface with boundary and monodromy) and at the concrete level (i.e. fibred link in a three-manifold).

Whenever we have a fibred knot $K$ (say) in $S^3$, the corresponding fibration is an open book for $S^3$, which in turn supports a contact structure $\xi$ on $S^3$, where $K$ sits as a transverse knot.


Now that we have a good theoretical framework, we'd like to put our hands on some examples, and we can start stabilising the open books coming from the Hopf bands and obtain many fibred knots/links and their monodromies, and these examples are not too hard to identify as knots/links in $S^3$.

My question is purely topological: what about the inverse approach? I want to recover the monodromy on the fibre, and I have an "algorithm" to find it, once I have compressing discs for the complement of a fibre (that is a Seifert surface of minimal genus), but to me it's rather crafty. I figure that someone must have done it at some point, so:

Is there a table associating to each fibred knot the monodromy on its fibre?

I could find only one source giving concrete examples, namely Burde and Zieschang's Knots, where monodromies for the trefoil and the figure-eight knot are computed. Also, I'm pretty sure that there's much material available for algebraic knots, and that's as far as I've got.

Best Answer

I've produced a table of monodromies for about 63% of the hyperbolic, fibred knots listed on knotinfo. This is available at: http://surfacebundles.wordpress.com/knot-complements/ https://bitbucket.org/Mark_Bell/bundle-censuses/overview (this link now contains significantly more data - for the origional data look under /source/Fibred Knots/).

This was done by producing a triangulation of every possible surface bundle over the circle for the surfaces $S_{1,1}, \ldots, S_{5,1}$ made from a composition of at most 15 Dehn twists about generators. Non-hyperbolic and non-knot complement manifolds were discarded and for each pair of isometric triangulations the short-lex later one was also discarded. Finally, for each hyperbolic, fibred knot complement listed on knotinfo, SnapPy was used to find a bundle on this list isometric to it if it existed.

As Sam points out, there is no canonical choice of generating set for $\mathop{Mod}(S_{g,1})$ so I used the Humphries generating set in each case. However, the monodromies obtained are the short lex earliest for each knot with respect to this generating set and the ordering of the generators shown at the bottom of the page. This ordering was chosen to minimise the running time; a different ordering can run several orders of magnitude slower.

I should point out that these results don't show the millions of knot complements that were also found but that don't (yet) appear on the knot tables. This simply comes from the fact that my tables are ordered by monodromy length whereas knotinfo's is ordered by crossing number.

Related Question