We give the rectangle condition for strong irreducibility of Heegaard splittings of $3$-manifolds with non-empty boundary. We apply this to a generalized Heegaard splitting of a $2$-fold covering of $S^3$ branched along a link. The condition implies that any thin meridional level surface in the link complement is incompressible. We also show that the additivity of knot width holds for a composite knot satisfying the condition.
Examples of knots and links distinguished by the total rank of their Khovanov homology but sharing the same two-fold branched cover are given. As a result, Khovanov homology does not yield an invariant of two-fold branched covers.
Many three dimensional manifolds are two-fold branched covers of the three dimensional sphere. However, there are some that are not. This paper includes exposition about two-fold branched covers and many examples. It shows that there are three dimensional homology spheres that do not two-fold branched cover any manifold, ones that only two-fold branched cover the three dimensional sphere, ones that just two-fold branched cover a non-trivial manifold, and ones that two-fold branched cover the sphere and non-trivial manifolds. When a manifold is surgery on a knot, the possible quotients via invo…
We prove that for any closed, connected, oriented 3-manifold M, there exists an infinite family of 2-fold branched covers of M that are hyperbolic 3-manifolds and surface bundles over the circle with arbitrarily large volume.
It is proved by Sakuma and Brooks that any closed orientable $3$-manifold with a Heegaard splitting of genus $g$ admits a $2$-fold branched cover that is a hyperbolic $3$-manifold and a genus $g$ surface bundle over the circle. This paper concerns entropy of pseudo-Anosov monodromies for hyperbolic fibered $3$-manifolds. We prove that there exist infinitely many closed orientable $3$-manifolds $M$ such that the minimal entropy over all hyperbolic, genus $g$ surface bundles over the circle as $2$-fold branched covers of the $3$-manifold $M$ is comparable to $1/g$.
Techniques for constructing codimension 2 embeddings and immersions of the 2 and 3-fold branched covers of the 3 and 4-dimensional spheres are presented. These covers are in braided form, and it is in this sense that they are folded. More precisely the composition of the embedding (or immersion) and the canonical projection induces the branched covering map. In the case of the 3-sphere, the branch locus is a knotted or linked curve in space, the 2-fold branched cover always embeds, and the 3-fold branch cover might be immersed. In the case of the 4-sphere, the branch locus is a knotted or link…
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.
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 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.
We prove the long-standing Montesinos conjecture that any closed oriented PL 4-manifold M is a simple covering of S^4 branched over a locally flat surface (cf [J M Montesinos, 4-manifolds, 3-fold covering spaces and ribbons, Trans. Amer. Math. Soc. 245 (1978) 453--467]). In fact, we show how to eliminate all the node singularities of the branching set of any simple 4-fold branched covering M \to S^4 arising from the representation theorem given in [R Piergallini, Four-manifolds as 4-fold branched covers of S^4, Topology 34 (1995) 497--508]. Namely, we construct a suitable cobordism between the…
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 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.
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…
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 consider branched coverings which are simple in the sense that any point of the target has at most one singular preimage. The cobordism classes of $k$-fold simple branched coverings between $n$-manifolds form an abelian group $Cob^1(n,k)$. Moreover, $Cob^1(*,k) = \bigoplus_{n=0}^{\infty} Cob^1(n,k)$ is a module over $Ω^{SO}_*$. We construct a universal $k$-fold simple branched covering, and use it to compute this module rationally. As a corollary, we determine the rank of the groups $Cob^1(n,k)$. In the case $n = 2$ we compute the group $Cob^1(2,k)$, give a complete set of invariants and co…
We give an explicit formula for a 2-fold branched covering from $\mathbb{CP}^2$ to $S^4$, and relate it to other maps between quotients of $S^2\times{S^2}$.
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…
Let K be a knot in an integral homology 3-sphere and let B denote the 2-fold branched cover of the integral homology sphere branched along K. We construct a map from the slice of characters with trace free along meridians in the SL(2, C)-character variety of the knot exterior to the SL(2, C)-character variety of 2-fold branched cover B. When this map is surjective, it describes the slice as the 2-fold branched cover over the SL(2, C)-character variety of B with branched locus given by the abelian characters, whose preimage is precisely the set of metabelian characters. We show that each of met…
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.
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.
A construction of a spatial graph from a strongly invertible knot was developed by the second author, and a necessary and sufficient condition for the given spatial graph to be hyperbolic was provided as well. The condition is improved in this paper. This enable us to show that certain classes of knots can yield hyperbolic spatial graphs via the construction.
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.
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.
Let M be a smooth 4-manifold which admits a relatively minimal hyperelliptic genus h Lefschetz fibration over the 2-sphere. If all of the vanishing cycles for this fibration are nonseparating curves, then we show that M is a 2-fold cover of a 2-sphere bundle over the 2-sphere, branched over an embedded surface. If the collection of vanishing cycles for this fibration includes separating curves, we show that M is the relative minimalization of a Lefshetz fibration N, with N a 2-fold branched cover of a rational surface, branched over an embedded surface.
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.
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.
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…
Classes of branched surfaces extend the classes of surfaces or 2-dimensional manifolds satisfying suitable properties and defined in various manners. Reeb spaces of smooth maps of suitable classes into surfaces whose codimensions are negative are regarded as branched surfaces. They are the spaces of all connected components of preimages and natural quotient spaces of the manifolds of the domains. They are defined for general smooth maps and important topological objects in differential topology. They also play important roles in applied or applications of mathematics such as projections in dat…
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…
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…
We study the relationship between Ng's abelian cord ring and SL(2,C) characters of the two-fold branched cover $Σ(K)$. Augmentations, and their corresponding rank, play a central role in the relationship. Our study also leads to a correspondence between trace-free SL(2,C) characters of a knot complement and augmentations. Whether the trace-free character is metabelian or not is determined by the rank of the corresponding augmentation. Necessary and sufficient conditions are given on the augmentation for it to correspond to an SU(2) character. This provides an effective tool for finding represe…
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 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 show that quasi-alternating links arise naturally when considering surgery on a strongly invertible L-space knot (that is, a knot that yields an L-space for some Dehn surgery). In particular, we show that for many known classes of L-space knots, every sufficiently large surgery may be realized as the two-fold branched cover of a quasi-alternating link. Consequently, there is considerable overlap between L-spaces obtained by surgery on $S^3$, and L-spaces resulting as two-fold branched covers of quasi-alternating links. By adapting this approach to certain Seifert fibered spaces, it is possi…
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 exhibit the traceless $SU(2)$ character variety of a 6-punctured 2-sphere as a 2-fold branched cover of ${\mathbb{C}}P^3$, branched over the singular Kummer surface, with the branch locus in $R(S^2,6)$ corresponding to the binary dihedral representations. This follows from an analysis of the map induced on $SU(2)$ character varieties by the 2-fold branched cover $F_{n-1}\to S^2$ branched over $2n$ points, combined with the theorem of Narasimhan-Ramanan which identifies $R(F_2)$ with ${\mathbb{C}} P^3$. The singular points of $R(S^2,6)$ correspond to abelian representations, and we prove tha…
We prove that any closed simply-connected smooth 4-manifold is 16-fold branched covered by a product of an orientable surface with the 2-torus, where the construction is natural with respect to spin structures. In particular this solves Problem 4.113(C) in Kirby's list. We also discuss analogous results for other families of 4-manifolds with infinite fundamental groups.
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.
Branched coverings of simply connected $4$-manifolds
Scuola Internazionale Superiore di Studi Avanzati (SISSA)（国际高等研究学院）；Scuola di Scienze e Tecnologie, Università di Camerino（卡梅里诺大学科学与理工学院）；Dipartimento di Matematica, Informatica e Geoscienze Università degli Studi di Trieste（的里雅斯特大学数学、信息学与地球科学系）
We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two local moves suffice. These results are analogous to results of Piergallini in degree 3 and can be viewed as a second step in a program to establish similar results for arbitrary degree coverings of S^3.
We provide new branched covering representations for bounded and/or non-compact 4-manifolds, which extend the known ones for closed 4-manifolds. Assuming $M$ to be a connected oriented PL 4-manifold, our main results are the following: (1) if $M$ is compact with (possibly empty) boundary, there exists a simple branched cover $p:M \to S^4 - \mathop{\mathrm{Int}}(B^4_1 \cup \dots \cup B^4_n)$, where the $B^4_i$'s are disjoint PL 4-balls, $n \geq 0$ is the number of boundary components of $M$; (2) if $M$ is open, there exists a simple branched cover $p : M \to S^4 - \mathop{\mathrm{End}} M$, wher…
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…
Let $L$ be a oriented link such that $Σ_n(L)$, the $n$-fold cyclic cover of $S^3$ branched over $L$, is an L-space for some $n \geq 2$. We show that if either $L$ is a strongly quasipositive link other than one with Alexander polynomial a multiple of $(t-1)^{2g(L) + (|L|-1)}$, or $L$ is a quasipositive link other than one with Alexander polynomial divisible by $(t-1)^{2g_4(L) + (|L|-1)}$, then there is an integer $n(L)$, determined by the Alexander polynomial of $L$ in the first case and the Alexander polynomial of $L$ and the smooth $4$-genus of $L$, $g_4(L)$, in the second, such that $n \leq…
We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality.
