10
$\begingroup$

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.

$\endgroup$
7
  • $\begingroup$ The monodromies for torus knots are computed in several sources and is perhaps easier to do yourself than to look up. I suggest treating the fibre as a horizontal incompressible surface for the Seifert fibring. Then look at how such horizontal incompressible surfaces are constructed (look in Hatcher or Jaco's notes on 3-manifolds) and deduce the monodromies from that. I believe the action is free of order $pq$ on all but two orbits, which have isotropy groups of order $p$ and $q$ respectively. $\endgroup$ Mar 20, 2011 at 17:45
  • $\begingroup$ I'm less certain of any existing tables of monodromy for hyperbolic knots that fibre over $S^1$ -- the primary problem being, how would you index such knots? $\endgroup$ Mar 20, 2011 at 18:04
  • $\begingroup$ I was (naively?) hoping for something that could make a good entry in Livingston's KnotInfo or in Bar-Natan's Knot Atlas, using the standard enumeration of knots. $\endgroup$ Mar 20, 2011 at 19:16
  • $\begingroup$ In the absence of any reasonable algorithm for the conjugacy problem in the mapping class group, it's unlikely to be reasonable to tabulate this, as Sam Nead points out. One thing that would help in many cases is to note that the Murasugi band-sum operation changes the monodromy in a predictable way. $\endgroup$ Apr 2, 2011 at 19:52
  • 1
    $\begingroup$ If you're okay with an automorphism of a free group as being a valid monodromy form, the new version of Regina will be able to compute it. Right now on the knot tables it recognises fiberability of about 40% of the fibered knot exteriors. It produces the monodromy (using Stallings theorem and playing around with Reidemeister-Schreier) for those knots. I should be able to get this version of the Reidemeister-Schreier algorithm to close to 100% successful with a little more work. If you're interested I can probably have a clean version of this in a few months. $\endgroup$ Sep 24, 2014 at 14:06

2 Answers 2

13
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ Thanks! That's exactly what I was looking for! Just a question: why did you discard non-hyperbolic knots? Also, I guess that $A$ represents $a^{-1}$ in your table. $\endgroup$ Apr 19, 2011 at 18:55
  • $\begingroup$ Yes, a capital letter represent the inverse twist. Non-hyperbolic ones had to be discarded as SnapPy really struggles to determine if two non-hyperbolic triangulations are isometric or not. I don't think that it is incapable of doing it, but I've always had it return "RuntimeError: SnapPea failed to determine whether the manifolds are isometric." - even for the trefoil knot. $\endgroup$
    – Mark Bell
    Apr 19, 2011 at 19:53
  • 3
    $\begingroup$ For anyone looking for more data like this, significantly more data can now be found at: bitbucket.org/Mark_Bell/bundle-censuses/overview $\endgroup$
    – Mark Bell
    Feb 27, 2014 at 8:25
  • 1
    $\begingroup$ Thanks. Why don't you go ahead and update the answer as well? It makes it more visible than in a comment. $\endgroup$ Mar 1, 2014 at 7:39
3
$\begingroup$

I don't know of such a table. One serious problem in making one is choosing generating sets for the mapping class groups of the surfaces $S_{g,1}$. There is no canonical choice and I suspect no good choice.

Following Lickorish, one can cook up an algorithm that turns any monodromy into a product of Dehn twists, then into a product of twists in the Lickorish generating set, and then a product of twists the Humphries generating set. But remember that the monodromy only matters up to conjugacy -- thus finding the "best" representative, if such a thing, is somehow related to the conjugacy problem. It all sounds a bit dicey.

In practice, I would go to KnotInfo to find out if a knot in the tables was fibered. If there was a particular monodromy I wanted to compute I would look at Stallings theorem, compute the action of the monodromy on the fiber subgroup (which is a free group), and then transform that into a product of Dehn twists. If that didn't work, I would consult the experts, probably starting with Nathan Dunfield or Dylan Thurston. See also their paper "A random tunnel number one 3–manifold does not fiber over the circle" and its many references.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.