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 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 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)$.
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 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 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 show that the fundamental group of the double branched cover of an infinite family of homologically thin, non-quasi-alternating knots is not left-orderable, giving further support for a conjecture of Boyer, Gordon, and Watson that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable.
We introduce the notion of a strong L-space, a closed, oriented rational homology 3-sphere whose Heegaard Floer homology can be determined at the chain level. We prove that the fundamental group of a strong L-space is not left-orderable. Examples of strong L-spaces include the double branched covers of alternating links in S^3.
We show that the fundamental group of the $3$-manifold obtained by $\frac{p}{q}$-surgery along the $(n-2)$-twisted $(3,3m+2)$-torus knot, with $n,m \ge 1$, is not left-orderable if $\frac{p}{q} \ge 2n + 6m-3$ and is left-orderable if $\frac{p}{q}$ is sufficiently close to $0$.
Let L \subset S^3 denote an alternating link and Sigma(L) its branched double-cover. We give a short proof of the fact that the fundamental group of Sigma(L) admits a left-ordering iff L is an unlink. This result is originally due to Boyer-Gordon-Watson.
We consider the classical pretzel knots $P(a_1, a_2, a_3)$, where $a_1, a_2, a_3$ are positive odd integers. By using continuous paths of elliptic $\mathrm{SL}_2(\mathbb R)$-representations, we show that (i) the 3-manifold obtained by $\frac{m}{l}$-surgery on $P(a_1, a_2, a_3)$ has left orderable fundamental group if $\frac{m}{l} < 1$, and (ii) the $n^{\mathrm{th}}$-cyclic branched cover of $P(a_1, a_2, a_3)$ has left orderable fundamental group if $n > 2π/ \arccos(1-2/(1+a_1 a_2 + a_2 a_3 + a_3 a_1))$.
We show that any exceptional non-trivial Dehn surgery on a twist knot, except the trefoil, yields a 3-manifold whose fundamental group is left-orderable. This is a generalization of a result of Clay, Lidman and Watson, and also gives a new supporting evidence for a conjecture of Boyer, Gordon and Watson.
A branched twist spin is a generalization of twist spun knots, which appeared in the study of locally smooth circle actions on the $4$-sphere due to Montgomery, Yang, Fintushel and Pao. In this paper, we give a sufficient condition to distinguish non-equivalent, non-trivial branched twist spins by using knot determinants. To prove the assertion, we give a presentation of the fundamental group of the complement of a branched twist spin, which generalizes a presentation of Plotnick, calculate the first elementary ideals and obtain the condition of the knot determinants by substituting $-1$ for t…
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 present some non-trivial calculations of Baldwin-Ozsváth-Szabó cohomology of links, and applications to Heegaard-Floer homology of branched double covers.
It is known that a presentation of the knot group of a branched twist spin is obtained from a Wirtinger presentation of the original 1-knot group by adding a generator corresponding to a regular orbit of the circle action and a certain relator. In particular, the additional generator is an element of the center of the knot group. In this paper, we focus on ${\rm SL}_2(\mathbb{Z}_3)$-representations and dihedral group representations. For the former case, we give a sufficient condition for the existence of an ${\rm SL}_2(\mathbb{Z}_3)$-representation for a branched twist spin. For the latter ca…
We discuss how the fractional Dehn twist coefficient behaves under a fully ramified branched covering of an open book, and give applications to both topological and contact 3-manifolds. Among them, we show that non-right-veering closed braids represent virtually loose transverse links.
An $(m,n)$-branched twist spin is a fibered $2$-knot in $S^4$ which is determined by a $1$-knot $K$ and coprime integers $m$ and $n$. For a $1$-knot, Lin proved that the number of irreducible $SL(2,\mathbb{C})$-metabelian representations of the knot group of a $1$-knot up to conjugation is determined by the knot determinant of the $1$-knot. In this paper, we prove that the number of irreducible $SL(2,\mathbb{C})$-metabelian representations of the knot group of an $(m,n)$-branched twist spin up to conjugation is determined by the determinant of a $1$-knot in the orbit space by comparing a prese…
We show that any homologically non-trivial Dehn twist of a compact surface F with boundary is the lifting of a half-twist in the braid group B_n, with respect to a suitable branched covering p : F -> B^2. In particular, we allow the surface to have disconnected boundary. As a consequence, any allowable Lefschetz fibration on B^2 is a branched covering of B^2 x B^2.
The union of singular orbits of an effective locally smooth circle action on the 4-sphere consists of two 2-knots, $K$ and $K^{\prime}$, intersecting at two points transversely. Each of $K$ and $K^{\prime}$ is called a branched twist spin. A twist spun knot is an example of a branched twist spin. The Gluck twists along branched twist spins are studied by Fintushel, Gordon and Pao. In this paper, we determine the 2-knot obtained from $K$ by the Gluck twist along $K^{\prime}$. As an application, we give infinitely many pairs of inequivalent branched twist spins whose complements are homeomorphic…
We give an extension of Fox's formula of the Alexander polynomial for double branched covers over the three-sphere. Our formula provides the Reidemeister torsion of a double branched cover along a knot for a non-trivial one dimensional representation by the product of two factors derived from the knot group. One of the factors is determined by the twisted Alexander polynomial and the other is determined by a rational function on the character variety. As an application, we show that these products distinguish isotopy classes of two-bridge knots up to mirror images.
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.
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 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.
We consider a homology sphere $M_n(K_1,K_2)$ presented by two knots $K_1,K_2$ with linking number 1 and framing $(0,n)$. We call the manifold {\it Matsumoto's manifold}. We show that there exists no contractible bound of $M_n(T_{2,3},K_2)$ if $n<2τ(K_2)$ holds. We also give a formula of Ozsváth-Szabó's $τ$-invariant as the total sum of the Euler numbers of the reduced filtration. We compute the $δ$-invariants of the twisted Whitehead doubles of torus knots and correction terms of the branched covers of the Whitehead doubles. By using Owens and Strle's obstruction we show that the $12$-twisted …
A Seifert surgery is an integral surgery on a knot in S^3 producing a Seifert fiber space which may contain an exceptional fiber of index 0. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; its edges correspond to single twistings along "seiferters" or "annular pairs of seiferters". One problem of the network is whether there is a path from each vertex to a vertex on a torus knot, the most basic Seifert surgery. We give a method to find seiferters and annular pairs of seiferters for Seifert surgeries obtained by taking two--fold branched co…
In this paper we study the homeomorphisms of the disk that are liftable with respect to a simple branched covering. Since any such homeomorphism maps the branch set of the covering onto itself and liftability is invariant up to isotopy fixing the branch set, we are dealing in fact with liftable braids. We prove that the group of liftable braids is finitely generated by liftable powers of half-twists around arcs joining branch points. A set of such generators is explicitly determined for the special case of branched coverings from the disk to the disk. As a preliminary result we also obtain the…
Boyer, Gordon, and Watson have conjectured that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable. Since large classes of L-spaces can be produced from Dehn surgery on knots in the 3-sphere, it is natural to ask what conditions on the knot group are sufficient to imply that the quotient associated to Dehn surgery is not left-orderable. Clay and Watson develop a criterion for determining the left-orderability of this quotient group and use it to verify the conjecture for surgeries on certain L-space twisted torus knots. We general…
Given a link in the three-sphere, Z. Szabó and the second author constructed a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double-cover. The aim of this paper and its sequel is to explicitly calculate this spectral sequence, using bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of filtered bimodules associated to Dehn twists and a pairing theorem for polygons. In this paper we give the first ingredient, and so obtain a combinatorial spectral sequence from Kh…
Given a link in the three-sphere, Ozsváth and Szabó showed that there is a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double cover. The aim of this paper is to explicitly calculate this spectral sequence in terms of bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of bimodules associated to Dehn twists, and a general pairing theorem for polygons. The previous part (arXiv:1011.0499) focuses on computing the bimodules; this part focuses on the pairing theorem …
Let $K$ be a knot in a rational homology sphere $M$. This paper investigates the question of when modifying $K$ by adding $m>0$ half-twists to two oppositely-oriented strands, while keeping the rest of $K$ fixed, produces a knot isotopic to $K$. Such a two-strand twist of order $m$, as we define it, is a generalized crossing change when $m$ is even and a non-coherent band surgery when $m=1$. A cosmetic two-strand twist on $K$ is a non-nugatory one that produces an isotopic knot. We prove that fibered knots in $M$ admit no cosmetic generalized crossing changes. Further, we show that if $K$ is f…
Let K be a knot in the 3-sphere with 2-fold branched covering space M. If for some prime p congruent to 3 mod 4 the p-torsion in the first homology of M is cyclic with odd exponent, then K is of infinite order in the knot concordance group. As one application, recall that the n-twisted double of an arbitrary knot has order 4 in Levine's algebraic concordance group if and only if n is positive and some prime congruent to 3 mod 4 has odd exponent in 4n+1; we show that all such knots are of infinite order in the knot concordance group. As a second application, the 2-bridge knot K(r,s) has infinit…
