We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). We establish two-sided linear bounds depending on the order of the covering for the Matveev complexity of the covering manifold. The lower estimate uses the hyperbolic volume and results of Cao-Meyerhoff and Gueritaud-Futer (who recently improved previous work of Lackenby), while the upper estimate is based on an explicit triangulation, which also allows us to give a bound on the Delzant T-invariant of the fundamental group of the manifold.
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 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.
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.
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…
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.
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}$.
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…
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}$.
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.
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.
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 characterize the cyclic branched covers of the 2-sphere where every homeomorphism of the sphere lifts to a homeomorphism of the covering surface. This answers a question that appeared in an early version of the erratum of Birman and Hilden [2].
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…
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 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.
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 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 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 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.
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.
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 …
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 `…
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.
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 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…
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 give an algorithm for a surgery description of a $p$-fold cyclic branched cover of $B^3$ branched along a tangle. We generalize constructions of Montesinos and Akbulut-Kirby.
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…
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$.
A filling Dehn surface in a $3$-manifold $M$ is a generically immersed surface in $M$ that induces a cellular decomposition of $M$. Given a tame link $L$ in $M$ there is a filling Dehn sphere of $M$ that "trivializes" (\emph{diametrically splits}) it. This allows to construct filling Dehn surfaces in the coverings of $M$ branched over $L$. It is shown that one of the simplest filling Dehn spheres of $S^3$ (Banchoff's sphere) diametrically splits the trefoil knot. Filling Dehn spheres, and their Johansson diagrams, are constructed for the coverings of $S^3$ branched over the trefoil. The constr…
We show that standard cyclic actions on Brieskorn homology 3-spheres with non-empty fixed set do not extend smoothly to any contractible smooth 4-manifold it may bound. The quotient of any such extension would be an acyclic $4$-manifold with boundary a related Brieskorn homology sphere. We briefly discuss well known invariants of homology spheres that obstruct acyclic bounding 4-manifolds, and then use a method based on equivariant Yang-Mills moduli spaces to rule out extensions of the actions.
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 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.
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.
We give a topological interpretation of the core group invariant of a surface embedded in S^4. We show that the group is isomorphic to the free product of the fundamental group of the double branch cover of S^4 with the surface as a branched set, and the infinite cyclic group. We present a generalization for unoriented surfaces, for other cyclic branched covers, and other codimension two embeddings of manifolds in spheres. The method of computing the fundamental group of n-fold cyclic branched covers is related to the one described in R.H.Crowell, The derived group of a permutation representat…
Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions on projective curves. In this paper we extend the above results in three directions: first, the theory is extended to surfaces with quotient singularities, second the ramification locus can be partiall…
We investigate the problem of characterising the family of strongly quasipositive links which have definite symmetrised Seifert forms and apply our results to the problem of determining when such a link can have an L-space cyclic branched cover. In particular, we show that if $δ_n = σ_1 σ_2 \ldots σ_{n-1}$ is the dual Garside element and $b = δ_n^k P \in B_n$ is a strongly quasipositive braid whose braid closure $\widehat b$ is definite, then $k \geq 2$ implies that $\widehat b$ is one of the torus links $T(2, q), T(3,4), T(3,5)$ or pretzel links $P(-2, 2, m), P(-2,3,4)$. Applying Theorem 1.1 …
Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.
We discuss two families of closed orientable three-dimensional manifolds which arise as cyclic generalizations of two hyperbolic icosahedral manifolds listed by Everitt. Everitt's manifolds are cyclic coverings of the lens space $L_{3,1}$ branched over some 2-component links. We present results on covering properties, fundamental groups, and hyperbolic volumes of the manifolds belonging to these families.
We show that every p-fold strictly-cyclic branched covering of a b-bridge link in the 3-sphere admits a p-symmetric Heegaard splitting of genus g=(b-1)(p-1). This gives a complete converse to a result of Birman and Hilden, and gives an intrinsic characterization of p-symmetric Heegaard splittings as p-fold strictly-cyclic branched coverings of links.
We study contact manifolds that arise as cyclic branched covers of transverse knots in the standard contact 3-sphere. We discuss properties of these contact manifolds and describe them in terms of open books and contact surgeries. In many cases we show that such branched covers are contactomorphic for smoothly isotopic transverse knots with the same self-linking number. These pairs of knots include most of the non-transversely simple knots of Birman-Menasco and Ng-Ozsvath-Thurston.
In this paper, we determine the Euler characteristics and signatures of the exact symplectic fillings of the contact double, 3-fold or 4-fold cyclic covers of the standard contact 3-sphere branched over certain transverse quasi-positive links. These links include all quasi-positive knots with crossing numbers smaller than 11 and all quasi-positive links with crossing numbers smaller than 12 and nonzero nullity.
The Brieskorn manifolds $B(p,q,r)$ are the $r$-fold cyclic coverings of the 3-sphere $S^{3}$ branched over the torus knot $T(p,q)$. The generalised Sieradski groups $S(m,p,q)$ are groups with $m$-cyclic pre\-sen\-tation $G_{m}(w)$, where defining word $w$ has a special form, depending of $p$ and $q$. In particular, $S(m,3,2) = G_{m}(w)$ is the group with $m$ generators $x_{1}, \ldots, x_{m}$ and $m$ defining relations $w(x_{i}, x_{i+1}, x_{i+2})=1$, where $w(x_{i}, x_{i+1}, x_{i+2}) = x_{i} x_{i+2} x_{i+1}^{-1}$. Presentations of $S(2n,3,2)$ in a certain form $G_{n}(w)$ were investigated by Ho…
We prove a conjecture of Przytycki which asserts that the $n$-quandle of a link $L$ in the 3-sphere is finite if and only if the fundamental group of the $n$-fold cyclic branched cover of the 3-sphere, branched over $L$, is finite.
For a closed 3-manifold $M$ in a certain class, we give a presentation of the cellular chain complex of the universal cover of $M$. The class includes all surface bundles, some surgeries of knots in $S^3$, some cyclic branched cover of $S^3$, and some Seifert manifolds. In application, we establish a formula for calculating the linking form of a cyclic branched cover of $S^3$, and develop procedures of computing some Dijkgraaf-Witten invariants.
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 show that several torsion free 3-manifold groups are not left-orderable. Our examples are groups of cyclic branched covers of S^3 branched along links. The figure eight knot provides simple nontrivial examples. The groups arising in these examples are known as Fibonacci groups which we show not to be left-orderable. Many other examples of non-orderable groups are obtained by taking 3-fold branched covers of S^3 branched along various hyperbolic 2-bridge knots. The manifold obtained in such a way from the 5_2 knot is of special interest as it is conjectured to be the hyperbolic 3-manifold wi…
