We say a knot $k$ in the 3-sphere $\mathbb S^3$ has {\it Property $IE$} if the infinite cyclic cover of the knot exterior embeds into $\mathbb S^3$. Clearly all fibred knots have Property $IE$.
There are infinitely many non-fibred knots with Property $IE$ and infinitely many non-fibred knots without property $IE$. Both kinds of examples are established here for the first time. Indeed we show that if a genus 1 non-fibred knot has Property $IE$, then its Alexander polynomial $Δ_k(t)$ must be either 1 or $2t^2-5t+2$, and we give two infinite families of non-fibred genus 1 knots with Property $IE$ and having $Δ_k(t)=1$ and $2t^2-5t+2$ respectively.
Hence among genus one non-fibred knots, no alternating knot has Property $IE$, and there is only one knot with Property $IE$ up to ten crossings.
We also give an obstruction to embedding infinite cyclic covers of a compact 3-manifold into any compact 3-manifold.
The Weil conjecture is a delightful theorem for algebraic varieties on finite fields and an important model for dynamical zeta functions. In this paper, we prove a functional equation of Lefschetz zeta functions for infinite cyclic coverings which is analogous to the Weil conjecture. Applying this functional equation to knot theory, we obtain a new view point on the reciprocity of the Alexander polynomial of a knot.
In this paper we study the connections between cyclic presentations of groups and branched cyclic coverings of (1,1)-knots. In particular, we prove that every n-fold strongly-cyclic branched covering of a (1,1)-knot admits a cyclic presentation for the fundamental group encoded by a Heegaard diagram of genus n.
For any integer n > 2, the n-fold cyclic branched cover M of an alternating prime knot K in the 3-sphere determines K, meaning that if K is a knot in the 3-sphere that is not equivalent to K then its n-fold cyclic branched cover cannot be homeomorphic to M.
For any alternating knot, it is known that the double branched cover of the $3$-sphere branched over the knot is an $L$-space. We show that the three-fold cyclic branched cover is also an $L$-space for any genus one alternating knot.
We study the connections among the mapping class group of the twice punctured torus, the cyclic branched coverings of (1,1)-knots and the cyclic presentations of groups. We give the necessary and sufficient conditions for the existence and uniqueness of the n-fold strongly-cyclic branched coverings of (1,1)-knots, through the elements of the mapping class group. We prove that every n-fold strongly-cyclic branched covering of a (1,1)-knot admits a cyclic presentation for the fundamental group, arising from a Heegaard splitting of genus n. Moreover, we give an algorithm to produce the cyclic pre…
We show that, for any prime p, a knot K in the 3-sphere is determined by its p-fold cyclic unbranched covering. We also investigate when the m-fold cyclic unbranched covering of a knot coincides with the n-fold cyclic unbranched covering of another knot, for different coprime integers m and n.
We prove that a prime knot K is not determined by its p-fold cyclic branched cover for at most two odd primes p. Moreover, we show that for a given odd prime p, the p-fold cyclic branched cover of a prime knot K is the p-fold cyclic branched cover of at most one more knot K' non equivalent to K. To prove the main theorem, a result concerning the symmetries of knots is also obtained. This latter result can be interpreted as a characterisation of the trivial knot.
Using a Heegaard diagram for the pullback of a knot $K \subset S^3$ in its cyclic branched cover $Σ_m(K)$ obtained from a grid diagram for $K$, we give a combinatorial proof for the invariance of the associated combinatorial knot Floer homology over $\mathbb{Z}$.
Using a Heegaard diagram for the pullback of a knot $K \subset S^3$ in its cyclic double branched cover $Σ_2(K)$, we give a combinatorial proof for the invariance of knot Floer homology over $\mathbb{Z}$.
Strongly-cyclic branched coverings of knots are studied by using their (g,1)-decompositions. Necessary and sufficient conditions for the existence and uniqueness of such coverings are obtained. It is also shown that their fundamental groups admit geometric g-words cyclic presentations.
A surgery on a knot in 3-sphere is called SU(2)-cyclic if it gives a manifold whose fundamental group has no non-cyclic SU(2) representations. Using holonomy perturbations on the Chern-Simons functional, we prove that the distance of two SU(2)-cyclic surgery coefficients is bounded by the sum of the absolute values of their numerators. This is an analog of Culler-Gordon-Luecke-Shalen's cyclic surgery theorem.
We give some remarks on two closely related issues as stated in the title. In particular we show that a Montesinos knot is SU(2)-simple if and only if it is a 2-bridge knot, extending a result of Zentner for 3-tangle summand pretzel knots. We conjecture with some evidence that an SU(2)-cyclic rational homology 3-sphere is an L-space.
We discuss 3-manifolds which are cyclic coverings of the 3-sphere, branched over 2-bridge knots and links. Different descriptions of these manifolds are presented: polyhedral, Heegaard diagram, Dehn surgery and coloured graph constructions. Using these descriptions, we give presentations for their fundamental groups, which are cyclic presentations in the case of 2-bridge knots. The homology groups are given for a wide class of cases. Moreover, we prove that each singly-cyclic branched covering of a 2-bridge link is the composition of a meridian-cyclic branched covering of a determined link and…
We prove the non-left-orderability of the fundamental group of the $n$-th fold cyclic branched cover of the pretzel knot $P(3,-3,-2k-1)$ for all integers $k$ and $n\ge 1$. These $3$-manifolds are $L$-spaces discovered by Issa and Turner.
We classify Dehn surgeries on (p,q,r) pretzel knots resulting in a manifold M(s) having cyclic fundamental group and analyze those leading to a finite fundamental group. The proof uses the theory of cyclic and finite surgeries developed by Culler, Shalen, Boyer, and Zhang. In particular, Culler-Shalen seminorms play a central role.
We show that every strongly-cyclic branched covering of a (1,1)-knot is a Dunwoody manifold. This result, together with the converse statement previously obtained by Grasselli and Mulazzani, proves that the class of Dunwoody manifolds coincides with the class of strongly-cyclic branched coverings of (1,1)-knots. As a consequence, we obtain a parametrization of (1,1)-knots by 4-tuples of integers. Moreover, using a representation of (1,1)-knots by the mapping class group of the twice punctured torus, we provide an algorithm which gives the parametrization of all torus knots.
We show that the commutator subgroup G' of a classical knot group G need not have subgroups of every finite index, but it will if G' has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also give an example of a smoothly knotted n-sphere in the (n+2)-sphere for all n at least 2 whose infinite cyclic cover is not simply connected but has no proper finite covers.
In this paper we show that all 3-manifolds of a family introduced by M. J. Dunwoody are cyclic coverings of lens spaces (eventually $\bf S^3$), branched over genus one 1-bridge knots. As a consequence, we give a positive answer to the Dunwoody conjecture that all the elements of a wide subclass are cyclic coverings of $\bf S^3$ branched over a knot. Moreover, we show that all branched cyclic coverings of a 2-bridge knot belong to this subclass; this implies that the fundamental group of each branched cyclic covering of a 2-bridge knot admits a geometric cyclic presentation.
We compute the nonabelian $\mathrm{SL_2}(\mathbb{C})$-character varieties of the rational knots $C(2n+1,2m,2)$ in the Conway notation, where $m$ and $n$ are non-zero integers. By studying real points on these varieties, we determine the left orderability of the fundamental groups of the cyclic branched covers of $C(2n+1,2m,2)$.
We are interested in finite groups acting orientation-preservingly on 3-manifolds (arbitrary actions, ie not necessarily free actions). In particular we consider finite groups which contain an involution with nonempty connected fixed point set. This condition is satisfied by the isometry group of any hyperbolic cyclic branched covering of a strongly invertible knot as well as by the isometry group of any hyperbolic 2-fold branched covering of a knot in the 3-sphere. In the paper we give a characterization of nonsolvable groups of this type. Then we consider some possible applications to the st…
In this paper, we introduce a sequence of invariants of a knot K in S^3: the knot Floer homology groups of the preimage of K in the m-fold cyclic branched cover over K. We exhibit the knot Floer homology in the m-fold branched cover as the categorification of a multiple of the Turaev torsion in the case where the m-fold branched cover is a rational homology sphere. In addition, when K is a 2-bridge knot, we prove that the knot Floer homology of the lifted knot in a particular Spin^c structure in the branched double cover matches the knot Floer homology of the original knot K in S^3. We conclud…
We investigate commensurability classes of hyperbolic knot complements in the generic case of knots without hidden symmetries. We show that such knot complements which are commensurable are cyclically commensurable, and that there are at most $3$ hyperbolic knot complements in a cyclic commensurability class. Moreover if two hyperbolic knots have cyclically commensurable complements, then they are fibered with the same genus and are chiral. A characterisation of cyclic commensurability classes of complements of periodic knots is also given. In the non-periodic case, we reduce the characterisat…
We use grid diagrams to give a combinatorial algorithm for computing the knot Floer homology of the pullback of a knot K in its m-fold cyclic branched cover Sigma^m(K), and we give computations when m=2 for over fifty three-bridge knots with up to eleven crossings.
We introduce a simple combinatorial method for computing all versions of the knot Floer homology of the preimage of a two-bridge knot K(p,q) inside its double-branched cover, -L(p,q). The 4-pointed genus 1 Heegaard diagram we obtain looks like a twisted version of the toroidal grid diagrams recently introduced by Manolescu, Ozsvath, and Sarkar. We conclude with a discussion of how one might obtain nice Heegaard diagrams for cyclic branched covers of more general knots.
In a recent paper Y. Hu has given a sufficient condition for the fundamental group of the r-th cyclic branched covering of S^3 along a prime knot to be left-orderable in terms of representations of the knot group. Applying her criterion to a large class of two-bridge knots, we determine a range of the integer r>1 for which the r-th cyclic branched covering of S^3 along the knot is left-orderable.
Given a real analytic function $f$ from $\mathbb{R}^4$ to $\mathbb{R}^2$ with isolated critical point at the origin, the link $L_f$ of the singularity is a real fibred knot in $\mathbb{S}^{3}$. From this singularities, we construct a family of real isolated suspension singularities from $\mathbb{R}^6$ to $\mathbb{R}^2$ such that its links are the total spaces of the $n$-branched cyclic coverings over the corresponding knots. In this way we obtain as links of singularities, $3$-manifolds that does not appear in the complex case, such as hyperbolic $3$-manifolds or the Hantzsche-Wendt manifold.
Let $M$ be an irreducible, compact, connected, orientable 3-manifold whose boundary is a torus. We show that if $M$ is hyperbolic, then it admits at most six finite/cyclic fillings of maximal distance 5. Further, the distance of a finite/cyclic filling to a cyclic filling is at most 2. If $M$ has a non-boundary-parallel, incompressible torus and is not a generalized 1-iterated torus knot complement, then there are at most three finite/cyclic fillings of maximal distance 1. Further, if $M$ has a non-boundary-parallel, incompressible torus and is not a generalized 1- or 2-iterated torus knot com…
We extend the construction of upsilon-type invariants to null-homologous knots in rational homology three-spheres. By considering $m$-fold cyclic branched covers with $m$ a prime power, this extension provides new knot concordance invariants $Υ_m^C (K)$ of knots in $S^3$. We give computations of these invariants for some families of alternating knots and reprove some independence results in the smooth concordance group.
We show that the 3-fold cyclic branched cover of any genus 2 two-bridge knot $K_{[-2q,2s,-2t,2l]}$ is an L-space and its fundamental group is not left-orderable. Therefore the family of 3-fold cyclic branched cover of any genus 2 two-bridge knot $K_{[-2q,2s,-2t,2l]}$ verifies the $L$-space conjecture. We also show that if $K_{[2k,-2l]}$ is a 2-bridge knot with $k\geq 2$, $l>0$, then the fundamental group of the 5-fold cyclic branched cover of $K_{[2k,-2l]}$ is not left-orderable, which will complete the proof that the fundamental group of the 5-fold cyclic branched cover of any genus one two-b…
The authors conjectured previously that a knot is nonfibered if and only if its infinite cyclic cover has uncountably many finite covers. We prove the conjecture for a class of knots that includes all knots of genus 1, using techniques from symbolic dynamics.
We study the linking numbers in a rational homology 3-sphere and in the infinite cyclic cover of the complement of a knot. They take values in $\Bbb Q$ and in ${Q}({\Bbb Z}[t,t^{-1}])$ respectively, where ${Q}({\Bbb Z}[t,t^{-1}])$ denotes the quotient field of ${\Bbb Z}[t,t^{-1}]$. It is known that the modulo-$\Bbb Z$ linking number in the rational homology 3-sphere is determined by the linking matrix of the framed link and that the modulo-${\Bbb Z}[t,t^{-1}]$ linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate `…
We show that a hyperbolic $3$-manifold can be the cyclic branched cover of at most fifteen knots in $\mathbf{S}^3$. This is a consequence of a general result about finite groups of orientation preserving diffeomorphisms acting on $3$-manifolds. A similar, although weaker, result holds for arbitrary irreducible $3$-manifolds: an irreducible $3$-manifold can be the cyclic branched cover of odd prime order of at most six knots in $\mathbf{S}^3$.
We give a construction of quandle cocycles from group cocycles, especially, for any integer p \geq 3, quandle cocycles of the dihedral quandle R_p from group cocycles of the cyclic group Z/p. We will show that a group 3-cocycle of Z/p gives rise to a non-trivial quandle 3-cocycle of R_p. When p is an odd prime, since dim_{F_p} H_Q^3(R_p; F_p) = 1, our 3-cocycle is a constant multiple of the Mochizuki 3-cocycle up to coboundary. Dually, we construct a group cycle represented by a cyclic branched covering branched along a knot K from the quandle cycle associated with a colored diagram of K.
We study knots in $S^3$ with infinitely many $SU(2)$-cyclic surgeries, which are Dehn surgeries such that every representation of the resulting fundamental group into $SU(2)$ has cyclic image. We show that for every such nontrivial knot $K$, its set of $SU(2)$-cyclic slopes is bounded and has a unique limit point, which is both a rational number and a boundary slope for $K$. We also show that such knots are prime and have infinitely many instanton L-space surgeries. Our methods include the application of holonomy perturbation techniques to instanton knot homology, using a strengthening of rece…
Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kontsevich integral of a knot) and the signature function of the knot. Our main result actually computes the LMO invariant of cyclic branched covers in terms of a rational invariant of the knot and its sign…
In this paper we investigate the Alexander polynomial of (1,1)-knots, which are knots lying in a 3-manifold with genus one at most, admitting a particular decomposition. More precisely, we study the connections between the Alexander polynomial and a polynomial associated to a cyclic presentation of the fundamental group of an n-fold strongly-cyclic covering branched over the knot, which we call the n-cyclic polynomial. In this way, we generalize to all (1,1)-knots, with the only exception of those lying in S^2\times S^1, a result obtained by J. Minkus for 2-bridge knots and extended by the aut…
This work identifies a class of moves on knots which translate to $m$-equivalences of the associated $p$-fold branched cyclic covers, for a fixed $m$ and any $p$ (with respect to the Goussarov-Habiro filtration.) These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their $p$-fold branched cyclic covers may be readily calculated, for any choice of $p$. In the second part of this paper, these operations are illustrated by some theorems concerning the relationship of knot invariants obtained from finite typ…
We consider the space of all representations of the commutator subgroup of a knot group into a finite abelian group Σ, together with a shift map σ_x. This is a finite dynamical system, introduced by D.Silver and S. Williams. We describe the lengths of its cycles in terms of the roots of the Alexander polynomial of the knot. This generalizes our previous result for Σ= Z/p, p is prime, and gives a complete classification of depth 2 solvable coverings of the knot complement.
We develop an algebraic representation for (1,1)-knots using the mapping class group of the twice punctured torus MCG(T,2). We prove that every (1,1)-knot in a lens space L(p,q) can be represented by the composition of an element of a certain rank two free subgroup of MCG(T,2) with a standard element only depending on the ambient space. As a notable examples, we obtain a representation of this type for all torus knots and for all two-bridge knots. Moreover, we give explicit cyclic presentations for the fundamental groups of the cyclic branched coverings of torus knots of type (k,ck+2).
We study the left-orderability of the fundamental groups of cyclic branched covers of links which admit co-oriented taut foliations. In particular we do this for cyclic branched covers of fibred knots in integer homology $3$-spheres and cyclic branched covers of closed braids. The latter allows us to complete the proof of the L-space conjecture for closed, connected, orientable, irreducible $3$-manifolds containing a genus $1$ fibred knot. We also prove that the universal abelian cover of a manifold obtained by generic Dehn surgery on a hyperbolic fibred knot in an integer homology $3$-sphere …
In this paper, we prove than given two cubic knots $K_1$, $K_2$ in $\mathbb{R}^3$, they are isotopic if and only if one can pass from one to the other by a finite sequence of cubulated moves. These moves are analogous to the Reidemeister moves for classical tame knots. We use the fact that a cubic knot is determined by a cyclic permutation of contiguous vertices of the $\mathbb{Z}^3$-lattice (with some restrictions), to describe some of the classic invariants and properties of the knots in terms of such cyclic permutations, by projecting onto a plane such that it is injective when restricted t…
We give uniform, explicit, and simple face-pairing descriptions of all the branched cyclic covers of the 3-sphere, branched over two-bridge knots. Our method is to use the bi-twisted face-pairing constructions of Cannon, Floyd, and Parry; these examples show that the bi-twist construction is often efficient and natural. Finally, we give applications to computations of fundamental groups and homology of these branched cyclic covers.
Recently, Mullins calculated the Casson-Walker invariant of the 2-fold cyclic branched cover of an oriented link in S^3 in terms of its Jones polynomial and its signature, under the assumption that the 2-fold branched cover is a rational homology 3-sphere. Using elementary principles, we provide a similar calculation for the general case. In addition, we calculate the LMO invariant of the p-fold branched cover of twisted knots in S^3 in terms of the Kontsevich integral of the knot.
We obtain an explicit representation, as Dunwoody manifolds, of all cyclic branched coverings of torus knots of type $(p,mp\pm 1)$, with $p>1$ and $m>0$.
We provide an alternative proof of a sufficient condition for the fundamental group of the $n^{th}$ cyclic branched cover of $S^3$ along a prime knot $K$ to be left-orderable, which is originally due to Boyer-Gordon-Watson. As an application of this sufficient condition, we show that for any $(p,q)$ two-bridge knot, with $p\equiv 3 \text{ mod } 4$, there are only finitely many cyclic branched covers whose fundamental groups are not left-orderable. This answers a question posed by D{\c a}bkowski, Przytycki and Togha.
In this paper we show that periodic Takahashi 3-manifolds are cyclic coverings of the connected sum of two lens spaces (possibly cyclic coverings of the 3-sphere), branched over knots. When the base space is a 3-sphere, we prove that the associated branching set is a two-bridge knot of genus one, and we determine its type. Moreover, a geometric cyclic presentation for the fundamental groups of these manifolds is obtained in several interesting cases, including the ones corresponding to the branched cyclic coverings of the 3-sphere.
We provide criteria ensuring that a tunnel number one knot $K$ is not determined by its double branched cover, in the sense that the double branched cover is also the double branched cover of a knot $K'$ not equivalent to $K$.
We show that the infinite cyclic cover of the exterior of the untwisted Whitehead double of a non-trivial knot does not embed in any compact 3-manifold, answering a question of Jiang, Ni, Wang and Zhou.
For some families of two-bridge knots, including double-twist knots with genus at least four, we determine precisely the set of integers $n>1$ such that the fundamental group of the $n$-fold cyclic branched cover of the 3-sphere along these knots is left-orderable. There are knots, including the figure-eight knot, for which this set is empty. We give the first class of hyperbolic knots, not of this type, for which these integers can be completely determined.
This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integer boundary slopes has Property P. The proof uses connections between the topology of the complement of the knot, M, and the PSL(2, C) character variety of M that were discovered by Culler and Shalen. T…
We use Heegaard splittings to give a criterion for a tunnel number one knot manifold to be non-fibered and to have large cyclic covers. We also show that such a knot manifold (satisfying the criterion) admits infinitely many virtually Haken Dehn fillings. Using a computer, we apply this criterion to the 2 generator, non-fibered knot manifolds in the cusped Snappea census. For each such manifold M, we compute a number c(M), such that, for any n>c(M), the n-fold cyclic cover of M is large.
