Distinguishing the generalised knot groups of square and granny knot analogues

Abstract

Given a knot $K$ we may construct a group $G_n(K)$ from the fundamental group of $K$ by adjoining an $n$th root of the meridian that commutes with the corresponding longitude. For $n\ge 2$ these "generalised knot groups" determine $K$ up to reflection (Nelson and Neumann, 2008; arXiv:0804.0807). The second author has shown that for $n\ge 2$, the generalised knot groups of the square knot $SK$ and the granny knot $GK$ can be distinguished by counting homomorphisms into a suitably chosen finite group (arXiv:0706.1807). We extend this result to certain generalised knot groups of square and granny knot analogues $S{K}_{a,b}=T_{a,b}\#T_{-a,b}$, $G{K}_{a,b}=T_{a,b}\#T_{a,b}$, constructed as connect sums of $(a,b)$-torus knots of opposite or identical chiralities. More precisely, for coprime $a,b\ge 2$ and $n$ satisfying a certain coprimality condition with $a$ and $b$, we construct an explicit finite group $G$ (depending on $a$, $b$ and $n$) such that $G_n(S{K}_{a,b})$ and $G_n(G{K}_a,b)$ can be distinguished by counting homomorphisms into $G$. The coprimality condition includes all $n\ge 2$ coprime to $ab$. The result shows that the difference between these two groups can be detected using a finite group.

18 pages, 3 figures

References in corpus (3)

• The classification of Wada-type representations of braid groups
• The 2-generalized knot group determines the knot
• Generalised knot groups distinguish the square and granny knots (with an appendix by David Savitt)