Let $K= K(w,b,t)$ be a 1-bridge braid in a solid torus $V$, and let $γ$ be a $(p,q)$ curve on the torus $T = \partial V$ of the exterior $M_K$ of $K$. It will be shown that Dehn filling on $T$ along $γ$ produces a solid torus if and only if $p$ and $q$ satisfy one of four conditions determined by the parameters $(w,b,t)$ of the knot $K$. This solves the classification problem raised by Menasco and Zhang for such Dehn fillings.
Let $M$ be a simple 3-manifold with a toral boundary component. It is known that if two Dehn fillings on $M$ along the boundary produce a reducible manifold and a toroidal manifold, then the distance between the filling slopes is at most three. This paper gives a remarkably short proof of this result.
We characterize the fractional Dehn twist coefficient of a braid in terms of a slope of the homogenization of the Upsilon function, where Upsilon is the function-valued concordance homomorphism defined by Ozsváth, Stipsicz, and Szabó. We use this characterization to prove that $n$-braids with fractional Dehn twist coefficient larger than $n-1$ realize the braid index of their closure. As a consequence, we are able to prove a conjecture of Malyutin and Netsvetaev stating that $n$-times twisted braids realize the braid index of their closure. We provide examples that address the optimality of ou…
We define the property (D) for nontrivial knots. We show that the fundamental group of the manifold obtained by Dehn surgery on a knot $K$ with property (D) with slope $\frac{p}{q}\ge 2g(K)-1$ is not left orderable. By making full use of the fixed point method, we prove that (1) nontrivial knots which are closures of positive $1$-bridge braids have property (D); (2) L-space satellite knots, with positive $1$-bridge braid patterns, and companion with property (D), have property (D); (3) the fundamental group of the manifold obtained by Dehn filling on $v2503$ is not left orderable. Additionally…
In this paper, we develop a method for constructing left-orders on the fundamental groups of rational homology 3-spheres. We begin by constructing the holonomy extension locus of a rational homology solid torus $M$, which encodes the information about peripherally hyperbolic $\widetilde{\text{PSL}_2\mathbb{R}}$ representations of $π_1(M)$. Plots of the holonomy extension loci of many rational homology solid tori are shown, and the relation to left-orderability is hinted. Using holonomy extension loci, we study rational homology 3-spheres coming from Dehn filling on rational homology solid tori…
In this paper we study exceptional Dehn fillings on hyperbolic knot manifolds which contain an essential once-punctured torus. Let $M$ be such a knot manifold and let $β$ be the boundary slope of such an essential once-punctured torus. We prove that if Dehn filling $M$ with slope $α$ produces a Seifert fibred manifold, then $Δ(α,β)\leq 5$. Furthermore we classify the triples $(M; α,β)$ when $\D(α,β)\geq 4$. More precisely, when $\D(α,β)=5$, then $M$ is the (unique) manifold $Wh(-3/2)$ obtained by Dehn filling one boundary component of the Whitehead link exterior with slope -3/2, and $(α, β)$ i…
It is conjectured that a hyperbolic knot admits at most three Dehn surgeries which yield closed three manifolds containing incompressible tori. We show that there exist infinitely many hyperbolic knots which attain the conjectural maximum number. Interestingly, those surgeries correspond to consecutive integers.
We consider the universal family $E_n^d$ of superelliptic curves: each curve $Σ_n^d$ in the family is a $d$-fold covering of the unit disk, totally ramified over a set $P$ of $n$ distinct points; $Σ_n^d\hookrightarrow E_n^d\to C_n$ is a fibre bundle, where $C_n$ is the configuration space of $n$ distinct points. We find that $E_n^d$ is the classifying space for the complex braid group of type $B(d,d,n)$ and we compute a big part of the integral homology of $E_n^d,$ including a complete calculation of the stable groups over finite fields by means of Poincarè series. The computation of the main …
We show that if a hyperbolic knot manifold $M$ contains an essential twice-punctured torus $F$ with boundary slope $β$ and admits a filling with slope $α$ producing a Seifert fibred space, then the distance between the slopes $α$ and $β$ is less than or equal to $5$ unless $M$ is the exterior of the figure eight knot. The result is sharp; the bound of $5$ can be realized on infinitely many hyperbolic knot manifolds. We also determine distance bounds in the case that the fundamental group of the $α$-filling contains no non-abelian free group. The proofs are divided into the four cases $F$ is a …
We use the combinatorial techniques of graphs of intersection to study reducible Dehn surgeries on knots in the three-sphere. In particular, in the event that a reducible surgery on a knot K in the three-sphere of slope r produces a manifold with more than two connected summands, we show that r is bounded in absolute value by the bridge number of K. As a consequence, this possibility is ruled out for knots with bridge number at most five and for positive braid closures.
We introduce an essential open book foliation, a refinement of the open book foliation, and develop technical estimates of the fractional Dehn twist coefficient (FDTC) of monodromies and the FDTC for closed braids, which we introduce as well. As applications, we quantitatively study the `gap' of overtwisted contact structures and a non-right-veering monodromies. We give sufficient conditions for a 3-manifold to be irreducible and atoroidal. We also show that the geometries of a 3-manifold and the complement of a closed braid are determined by the Nielsen-Thurston types of the monodromies of th…
We give three infinite families of examples of nonhyperbolic Dehn fillings on hyperbolic manifolds. A manifold in the first family admits two Dehn fillings of distance two apart, one of which is toroidal and annular, and the other is reducible and $\partial$-reducible. A manifold in the second family has boundary consisting of two tori, and admits two reducible Dehn fillings. A manifold in the third family admits a toroidal filling and a reducible filling with distance 3 apart. These examples establish the virtual bounds for distances between certain types of nonhyperbolic Dehn fillings.
Every cusped, finite-volume hyperbolic three-manifold has a canonical decomposition into ideal polyhedra. We study the canonical decomposition of the hyperbolic manifold obtained by filling some (but not all) of the cusps with solid tori: in a broad range of cases, generic in an appropriate sense, this decomposition can be predicted from that of the unfilled manifold. As an example, we treat all hyperbolic fillings on one cusp of the Whitehead link complement.
We explore properties of braids such as their fractional Dehn twist coefficients, right-veeringness, and quasipositivity, in relation to the transverse invariant from Khovanov homology defined by Plamenevskaya for their closures, which are naturally transverse links in the standard contact $3$-sphere. For any $3$-braid $β$, we show that the transverse invariant of its closure does not vanish whenever the fractional Dehn twist coefficient of $β$ is strictly greater than one. We show that Plamenevskaya's transverse invariant is stable under adding full twists on $n$ or fewer strands to any $n$-b…
We are interested in knowing what type of manifolds are obtained by doing Dehn surgery on closed pure 3-braids in the 3-sphere. In particular, we want to determine when we get the 3-sphere by surgery on such a link. We consider links which are small closed pure 3-braids; these are the closure of 3-braids of the form $({σ_1}^{2e_1})({σ_2}^{2f_1})(σ_2σ_1σ_2)^{2e}$, where $σ_1$, $σ_2$ are the generators of the 3-braid group and $e_1$, $f_1$, $e$ are integers. We study Dehn surgeries on these links, and determine exactly which ones admit an integral surgery producing the 3-sphere. This is equivale…
For a hyperbolic 3-manifold $M$ with a torus boundary component,all but finitely many Dehn fillings yield hyperbolic 3-manifolds. In this paper, we will focus on the situation where $M$ has two exceptional Dehn fillings: an annular filling and a toroidal filling. For such situation, Gordon gave an upper bound 5 for the distance between such slopes. Furthermore, the distance 4 is realized only by two specific manifolds, and 5 is realized by a single manifold. These manifolds all have a union of two tori as their boundaries. Also, there is a manifold with three tori as its boundary which realize…
Dehn twists around simple closed curves in oriented surfaces satisfy the braid relations. This gives rise to a group theoretic from the braid group to the mapping class group. We prove here that this map is trivial in stable homology with any trivial coefficients. In particular this proves an old conjecture of J. Harer. The main tool is categorical delooping. In an appendix we discuss geometrically defined homomorphisms from the braid to the mapping class group.
We investigate certain $4$-dimensional analogues of the classical $3$-dimensional Dehn's lemma, giving examples where such analogues do or do not hold, in the smooth and topological categories. In particular, we show that an essential $2$-sphere $S$ in the boundary of a simply connected $4$-manifold $W$ such that $S$ is null-homotopic in $W$ need not extend to an embedding of a ball in $W$. However, if $W$ is simply connected (or more generally a $4$-manifold with abelian fundamental group) with boundary a homology sphere, then $S$ bounds a topologically embedded ball in $W$. Moreover, we give…
We define for each g>=2 and k>=0 a set M_{g,k} of orientable hyperbolic 3-manifolds with $k$ toric cusps and a connected totally geodesic boundary of genus g. Manifolds in M_{g,k} have Matveev complexity g+k and Heegaard genus g+1, and their homology, volume, and Turaev-Viro invariants depend only on g and k. In addition, they do not contain closed essential surfaces. The cardinality of M_{g,k} for a fixed k has growth type g^g. We completely describe the non-hyperbolic Dehn fillings of each M in M_{g,k}, showing that, on any cusp of any hyperbolic manifold obtained by partially filling M, the…
We investigate the operation of torus surgery on tori embedded in $S^4$. Key questions include which 4-manifolds can be obtained in this way, and the uniqueness of such descriptions. As an application we construct embeddings of 3-manifolds into 4-manifolds by viewing Dehn surgery as a cross section of a surgery on a surface. In particular, we give new embeddings of homology spheres into $S^4$.
We prove an explicit, quantitative criterion that ensures the Heegaard surfaces in Dehn fillings behave "as expected." Given a cusped hyperbolic manifold X, and a Dehn filling whose meridian and longitude curves are longer than 2pi(2g-1), we show that every genus g Heegaard splitting of the filled manifold is isotopic to a splitting of the original manifold X. The analogous statement holds for fillings of multiple boundary tori. This gives an effective version of a theorem of Moriah-Rubinstein and Rieck-Sedgwick.
A point in the $(N,q)$-torus knot in $\mathbb{R}^3$ goes $q$ times along a vertical circle while this circle rotates $N$ times around the vertical axis. In the Lissajous-toric knot $K(N,q,p)$, the point goes along a vertical Lissajous curve (parametrized by $t\mapsto(\sin(qt+ϕ),\cos(pt+ψ)))$ while this curve rotates $N$ times around the vertical axis. Such a knot has a natural braid representation $B_{N,q,p}$ which we investigate here. If $gcd(q,p)=1$, $K(N,q,p)$ is ribbon; if $gcd(q,p)=d>1$, $B_{N,q,p}$ is the $d$-th power of a braid which closes in a ribbon knot. We give an upper bound for t…
We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon.
We apply representation theory to study the homology of equivariant Dehn-fillings of a given finite, regular cover of a compact 3-manifold with boundary a torus. This yields a polynomial which gives the rank of the part of the homology carried by the solid tori used for Dehn-filling. The polynomial is a symmetrized form of the group determinant studied by Frobenius and Dedekind. As a corollary every such hyperbolic 3-manifold has infinitely many virtually Haken Dehn-fillings.
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 Dehn surgeries on knots in $S^3$ can produce large families of L-spaces, it is natural to examine the conjecture on these 3-manifolds. Greene, Lewallen, and Vafaee have proved that all 1-bridge braids are L-space knots. In this paper, we consider three families of 1-bridge braids. First we calculate the knot groups and peripheral subgroups. We then verify the conjecture on the three cases by applying the criterion developed by…
Any knot $K$ in genus-$1$ $1$-bridge position can be moved by isotopy to lie in a union of $n$ parallel tori tubed by $n-1$ tubes so that $K$ intersects each tube in two spanning arcs, which we call a leveling of the position. The minimal $n$ for which this is possible is an invariant of the position, called the level number. In this work, we describe the leveling by the braid group on two points in the torus, which yields a numerical invariant of the position, called the $(1, 1)$-length. We show that the $(1, 1)$-length equals the level number. We then find braid descriptions for $(1,1)$-posi…
Several finite complex reflection groups have a braid group which is isomorphic to a torus knot group. The reflection group is obtained from the torus knot group by declaring meridians to have order $k$ for some $k\geq 2$, and meridians are mapped to reflections. We study all possible quotients of torus knot groups obtained by requiring meridians to have finite order. Using the theory of $J$-groups of Achar and Aubert, we show that these groups behave like (in general infinite) complex reflection groups of rank two. The large family of "toric reflection groups" which we obtain includes, among …
Unknotting numbers for torus knots and links are well known. In this paper, we present a method for determining the position of unknotting number crossing changes in a toric braid B(p, q) such that the closure of the resultant braid is equivalent to the trivial knot or link. Also, we provide a simple proof for the important result K(p, q) \sim K(q, p) using the results obtained from this method.
We calculate the Heegaard Floer homologies$HF^+(M,s) for mapping tori M associated to certain surface diffeomorphisms, where s is any Spin^c structure on M whose first Chern class is non-torsion. Let gamma and delta be a pair of geometrically dual nonseparating curves on a genus g Riemann surface Sigma_g, and let sigma be a curve separating Sigma_g into components of genus 1 and g-1. Write t-gamma, t_delta, and t_sigma for the right-handed Dehn twists about each of these curves. The examples we consider are the mapping tori of the diffeomorphisms t_gamma^m circ t_delta^n for m,n in Z and that …
From a pseudo-triangulation with $n$ tetrahedra $T$ of an arbitrary closed orientable connected 3-manifold (for short, {\em a 3D-space}) $M^3$, we present a gem $J '$, inducing $\IS^3$, with the following characteristics: (a) its number of vertices is O(n); (b) it has a set of $p$ pairwise disjoint couples of vertices $\{u_i,v_i\}$, each named {\em a twistor}; (c) in the dual $(J ')^\star$ of $J '$ a twistor becomes a pair of tetrahedra with an opposite pair of edges in common, and it is named {\em a hinge}; (d) in any embedding of $(J ')^\star \subset \IS^3$, the $ε$-neighborhood of each hing…
Using the method of Elias-Hogancamp and combinatorics of toric braids we give an explicit formula for the triply graded Khovanov-Rozansky homology of an arbitrary torus knot, thereby proving some of the conjectures of Aganagic-Shakirov, Cherednik, Gorsky-Negut and Oblomkov-Rasmussen-Shende.
For the purposes of this paper, Dehn surgery along a curve K in a 3-manifold M with slope r is `exceptional' if the resulting 3-manifold M_K(r) is reducible or a solid torus, or the core of the surgery solid torus has finite order in the fundamental group of M_K(r). We show that, providing the exterior of K is irreducible and atoroidal, and the distance between r and the meridian slope is more than one, and a homology condition is satisfied, then there is (up to ambient isotopy) only a finite number of such exceptional surgery curves in a given compact orientable 3-manifold M, with the boundar…
This paper is a continuation on the 2012 paper on "Cutting Twisted Solid Tori (TSTs)", in which we considered twisted solid torus links (tst links). We generalize the notion of tst links to "surgerized tst links": recall that when performing $Φ^μ(n(τ), d(τ), M)$ on a tst $\langle τ\rangle$ where $M$ is odd, we obtain the tst link, $[Φ^μ(n(τ), d(τ), M)]$ that contains a trivial knot as one of its components. We then perform another operation $Φ^{μ'}(n(τ'), d(τ'), M')$ on that trivial knot to create a new link, which we call a "surgerized tst link" (stst link). If $M'$ is odd, we can repeat the …
