Symmetric quotients of knot groups and a filtration of the Gordian graph
Abstract.
We define a metric filtration of the Gordian graph by an infinite family of 1dense subgraphs. The nth subgraph of this family is generated by all knots whose fundamental groups surject to a symmetric group with parameter at least n, where all meridians are mapped to transpositions. Incidentally, we verify the Meridional Rank Conjecture for a family of knots with unknotting number one yet arbitrarily high bridge number.
1. Introduction
The Gordian graph is a countable graph whose vertices correspond to smooth knot types and whose edges correspond to pairs of knots related by a crossing change in a suitable diagram. The set of vertices of the Gordian graph carries a natural metric induced by the minimal path length between vertices. This metric, called the Gordian metric, generalizes the classical unknotting number, which is defined as the minimal number of crossing changes needed to transform a knot into the trivial knot , that is, [9]. The Gordian graph is locally infinite: for any given vertex of , i.e. for any knot type, we obtain an infinite number of neighboring vertices by taking the connected sum of that knot with all knots whose unknotting number is one. Furthermore, every vertex of is contained in an arbitrarily large complete subgraph of [6]. In contrast, little is known about the global structure of the Gordian graph, except for the fact that it contains lattices of arbitrarily high rank [5]. The purpose of this note is to construct an infinite descending sequence of subgraphs that captures the global geometry of the Gordian graph, by looking at finite symmetric quotients of the fundamental group of knot exteriors.
Fix a natural number . We say that a knot is colorable, if there exists a surjective homomorphism from the knot group onto the symmetric group , mapping meridians to transpositions. Let to be the induced subgraph whose vertices correspond to knot types which are colorable, for some . By definition, the sequence of subgraphs forms a descending chain, in fact strictly descending for , as we will see. A chain of graphs forms a 1dense metric filtration of the graph , if for all the following three statements hold:

every vertex of is connected to a vertex of by an edge,

the maps are isometric inclusions,

.
The existence of a 1dense metric filtration for a graph implies that every pair of nonneighboring vertices is connected by infinitely many different shortest paths. In particular, cannot be disconnected by removing finitely many vertices. The Gordian graph was already known to have these features [1].
Theorem 1.
The chain of subgraphs defined above forms a 1dense metric filtration of the Gordian graph .
Thanks to properties (1) and (2) of a 1dense metric filtration, determining the Gordian distance on is equivalent to determining its restriction to any of the subgraphs , up to an error of two. Distance in can be studied via irregular branched covers of the 3sphere along knots. In the first interesting case, , these covers have been used to define a very effective knot invariant, as follows. To a surjective homomorphism corresponds a threefold irregular covering space of branched along . When the two connected lifts of to represent torsion elements in homology, their linking number is a welldefined rational number, determined by . The set of linking numbers associated to all surjective homomorphisms of onto the symmetric group is called the linking number invariant of [13, 11]. We hope to obtain lower bounds on the Gordian distance of knots by estimating the effect of crossing changes on . An outline of this new method is contained in the final section of this note.
2. Symmetric quotients of knot groups
The fundamental group of a knot complement admits a finite presentation via generators and relations, namely the Wirtinger presentation obtained from a knot diagram [3]. This allows for a simple algorithmic decision of whether a given finite group is a quotient of or not. Consider the case . In order to define a surjection onto , the meridians of a knot need to be mapped to the three transpositions , commonly referred to as colors. The group relations thus translate into the famous Fox 3coloring conditions at the crossings of a diagram [4]. More generally, surjections onto dihedral groups correspond to Fox pcolorings of diagrams respecting similar rules.
The natural isomorphism gives rise to an alternative generalization of Fox 3colorings, namely colorings, introduced earlier. Such a coloring encodes an representation of the knot group, that is, a surjective homomorphism
with the additional assumption that meridians be mapped to transpositions. We define the permutation number of a knot as follows:
We observe that the trefoil knot admits a Fox 3coloring, in other words a representation, but no higher order representation, since the group is generated by two meridians, whereas is not generated by two transpositions for . Therefore, . Similarly, for the figureeight knot , since it does not admit a nontrivial 3coloring, and its fundamental group is generated by two meridians. These simple observations extend to obtain a general upper bound on the permutation number of knots, from the minimal number of meridians needed to generate the knot group. Let be the minimal bridge number of a knot , defined as the minimal number of local maxima of the height function among all representatives of . The fundamental group of a knot is generated by meridians. Now the symmetric group cannot be generated by fewer than transpositions. Indeed, in order to act transitively on numbers, one needs at least transpositions. Therefore, we obtain the following upper bound on the permutation number :
Going back to the definition of the chain of subgraphs of the Gordian graph, we conclude that for , which implies property (3) of a metric filtration:
Our next goal is to construct knots with arbitrarily high permutation number yet unknotting number one. As a consequence, we will prove property (1) of a metric filtration, i.e. the 1density of all subgraphs . Fix a natural number and let be a knot with and . Then the connected sum of knots of any knot with is contained in , since we can extend the existing homomorphism to by mapping all the meridians of to the transposition associated with the meridian of to which is attached. Moreover, the knot is related to by a single crossing change, since the knot has unknotting number one. In other words, every knot (vertex) in is connected by an edge to a knot (vertex) in . We are left to construct, for each , a knot with and .
We first construct a family of knots with increasing permutation number. In fact, the times iterated connected sum of trefoil knots will do, as . This can be seen by representing the knot as the closure of the braid in the braid group . Mapping the meridians around the bottom strands of that braid to the transpositions , in this order, extends to a surjective homomorphism The case is shown in Figure 1. This shows that . On the other hand, since by the previous discussion we have . In particular, , establishing for .
In order to construct knots with unknotting number one and representations for large, we take suitable Whitehead doubles of iterated connected sums of the torus knot with 5 crossings. Let be the torus knot represented as the closure of the braid . Mapping the meridians of the two bottom strands of this braid to the two 3cycles extends to a unique homomorphism . Here the orientation of the meridians matters; we choose the convention that meridians cross under braid strands from the right to the left, as indicated by the arrow in Figure 2. Now let be the twisted Whitehead double of , defined as the closure of the braid
with an additional clasp, as depicted on the right of Figure 2. The same figure exhibits a homomorphism , which maps the meridians of the bottom 4 strands of to the transpositions (12),(23),(34),(45). This doubling construction works since each 3cycle can be written as a product of two transpositions.
The above argument generalizes to provide a homomorphism
mapping the meridian about the th bottom strand of the braid to the cycle . We define to be the Whitehead double of the knot , represented as the closure of the following braid in :
again with an additional clasp on top of the first two strands. By construction, the sequence of knots have unknotting number one and are contained in , for all , since they admit an coloring. This concludes the proof of the 1density for all subgraphs .
Remark.
The inequality between the permutation number and the bridge number of a knot implies that the bridge number of the knot defined above is at least . This bound is in fact sharp, since these knots are represented as closures of braids with strands, i.e. by diagrams with precisely local maxima. Moreover, we note that the permutation number provides the same lower bound for the meridional rank of a knot, defined as the minimal number of meridians needed to generate the knot group:
Since , this implies equality between the bridge number and the meridional rank of the knots , and settles the Meridional Rank Conjecture for this family of knots (see Problem 1.11 in Kirby’s list [8]). The latter conclusion could not have been drawn by using an analogous argument with Fox colorings. The mere existence of a nontrivial coloring does not provide an effective upper bound for the bridge number, due to the fact that every dihedral group is generated by two reflections. Moreover, counting colorings does not help either, since Whitehead doubles do not admit multiple independent nontrivial colorings.
3. Constructing colored shortest paths
In this section we prove that the inclusion maps are isometric inclusions, for all . In other words, the intrinsic path metric on coincides with the path metric on the ambient space . The strategy of proof is as follows: let be two knots which admit  and colorings (), respectively, and let be the Gordian distance between them. Then there exists a sequence of knots successively related by crossing changes, i.e. for all , with , . We will construct a knot with . By repeating this argument inductively, we will end up with a path from to in of the same length as the original one.
In order to construct the knot , we will make use of the fact that the two crossing changes relating to each of and can be realized in the same diagram of , as explained in [1]. Here is an outline of the argument: a crossing change between two strands can be represented by a framed chord with endpoints on the knot. The endpoints of these chords can be moved along the knot, and moreover they can be contracted to small segments. We may therefore assume that has a diagram with a section as depicted in Figure 3, containing two neighboring clasps, a crossing change at which transforms into and , respectively (see [1] for details).
Our assumption on tells us that the diagram of admits a coloring by transpositions that generate the symmetric group . The section of the diagram on the bottom left of Figure 3 has five connected arcs , whose meridians are sent to five transpositions, some of which may coincide. Depending on these transpositions, we will define a new knot , which admits an representation, as well. We distinguish two cases:
1) The bridges , are sent to the same transposition . Then the Wirtinger relations at the clasp imply that , are also sent to one transposition , which commutes with . In this case, we define the knot as in Figure 4, where it is assumed that coincides with outside the depicted region. Observe that the coloring of carries over to an coloring of . Therefore, is in , in turn in , since . Moreover, this new knot is still related to each of and by a single crossing change.
2) The arcs , are sent to different transpositions, whose support overlaps in one number, and , since and meet at a crossing. Then the Wirtinger relations at the clasp imply that , are sent to and . We distinguish three subcases, depending on the transposition associated with the arc .
a) The transposition commutes with , that is, or . In this case, the coloring of carries over to an coloring of , so we keep .
b) The transposition commutes with , that is, or . We define the knot as in Figure 5. By construction, the coloring of carries over to an coloring of . Moreover, is related to each of and by a single crossing change.
c) The transposition commutes with , that is, or . We define the knot as in Figure 6. As before, the coloring of carries over to an coloring of and is related to each of and by a single crossing change.
Note that the above cases exhaust all possibilities, with some redundancy. For example, with is covered by 2 a), b), c). Where there is overlap, one can choose which construction to use. This concludes the proof of Theorem 1.
4. Speculation on the Gordian distance
In this final section we restrict our attention to 3colorable knots. We say a knot is twice threecolorable if it admits two independent nontrivial 3colorings, i.e. 3colorings that are not related by a permutation of the three transpositions . Examples of twice 3colorable knots are the square knot , the granny knots and , and the pretzel knot . We will outline an obstruction for a knot to be related by a crossing change to a twice 3colorable knot. As an application, we will show that the square knot and the knot are not related by a crossing change. This is a hard case, since the knot is related to the trivial knot by a single crossing change, and the square knot is indistinguishable from the trivial knot by the wellknown concordance knot invariants , because it is a ribbon knot.
A wellknown features of the 3colorings of a knot is that they from an vector space, after any identification of the three transpositions , , with the numbers . This means that the coloring conditions at crossings are preserved under addition, a fact that is easily checked. Now suppose that a knot has two independent nontrivial 3colorings . Then the sum and the difference are also nontrivial 3colorings of . Moreover, given any crossing in a diagram of , one of the four 3colorings will have two coinciding colors at , hence it will be monochromatic at . As a consequence, every knot that is related to a twice 3colorable knot by a single crossing change will be related to by a monochromatic crossing change with respect to suitable nontrivial 3colorings of . In this case, the 3fold irregular branched coverings associated with the representations will be related by controlled surgeries. We refer the reader to [10] for a precise definition of these branched covering spaces. Whenever the branch curve lifts to a curve of finite order in homology, the linking number of the pair of lifts of the branch curve is a welldefined rational number. The set of linking numbers obtained by considering all nontrivial 3colorings of a knot forms the knot invariant mentioned in the introduction.
We conjecture that monochromatic crossing changes do not affect linking numbers in branched coverings. This was recently confirmed by Perko [12] for a special case of 3colored knot diagrams. If true in general, this conjecture would imply that whenever a knot is related to a twice 3colorable knot by a single crossing change, then the linking number invariants and must have at least one number in common. Using the algorithm implemented in [2], we computed a list of linking numbers for the knots and their mirror images, as well as for the twice 3colorable granny and square knots:
We found crossing changes relating knots from the first two lines to knots from the third line in all the cases that have a linking number in common. In all other cases, the obstruction described above would rule out a single crossing change relating a knot from the first two lines to a knot from the third line.
References
 [1] S. Baader: Note on crossing changes, Quart. J. Math. 57 (2006), 139–142.
 [2] P. Cahn, A. Kjuchukova: Linking Numbers in ThreeManifolds, arXiv: 1611.10330.
 [3] R. H. Crowell , R. H. Fox: Introduction to knot theory, reprint of the 1963 original, SpringerVerlag, 1977.
 [4] R. H. Fox: Metacyclic invariants of knots and links, Canadian Journal of Mathematics 22 (1970), 193–201.
 [5] J.M. Gambaudo, E. Ghys: Braids and signatures, Bull. Soc. Math. France 133 (2005), no. 4, 541579.
 [6] M. Hirasawa, Y. Uchida: The Gordian complex of knots, J. Knot Theory Ramifications 11 (2002), no. 3, 36–368.
 [7] L. H. Kauffman: Knots and physics, 3rd edition, Series on Knots and Everything 1, World Scientific Publishing Co., River Edge, NJ (2001).
 [8] R. Kirby(editor): Problems in lowdimensional topology, in Proceedings of Georgia Topology Conference, Part 2, Citeseer, 1995.
 [9] H. Murakami: Some metrics on classical knots, Math. Ann. 270 (1985), 35–45.
 [10] M. Perko: An invariant of certain knots, Undergraduate Thesis (1964).
 [11] M. Perko: On the classification of knots, Proc. Am. Math. Soc 45 (1974), 262–266.
 [12] M. Perko: Visualizing linking numbers in 3colored knot covers, preprint (2017).
 [13] K. Reidemeister: Knoten und Verkettungen, Mathematische Zeitschrift 29 (1929), no. 1, 713–729.
Mathematisches Institut, Universität Bern, Sidlerstrasse 5, CH3012 Bern, Switzerland
sebastian.baader@math.unibe.ch
Mathematics Department, University of Wisconsin–Madison, 480 Lincoln Dr, Madison, WI 53703
kjuchukova@wisc.edu