It is shown that a hyperbolic knot in the 3-sphere admits at most nine integral surgeries yielding 3-manifolds which are reducible or whose fundamental groups are not infinite word-hyperbolic.
We show that if a knot admits a prime, twist-reduced diagram with at least 4 twist regions and at least 6 crossings per twist region, then every non-trivial Dehn filling of that knot is hyperbolike. A similar statement holds for links. We prove this using two arguments, one geometric and one combinatorial. The combinatorial argument further implies that every link with at least 2 twist regions and at least 6 crossings per twist region is hyperbolic and gives a lower bound for the genus of a link.
Following the classification of genus one fibered knots in lens spaces by Baker, we determine hyperbolic genus one fibered knots in lens spaces on whose all integral Dehn surgeries yield closed 3-manifolds with left-orderable fundamental groups.
Using the correction terms in Heegaard Floer homology, we prove that if a knot in $S^3$ admits a positive integral $\mathbf{T}$-, $\mathbf{O}$- or $\mathbf{I}$-type surgery, it must have the same knot Floer homology as one of the knots given in our complete list, and the resulting manifold is orientation-preservingly homeomorphic to the $p$-surgery on the corresponding knot.
Suppose that a hyperbolic knot in $S^3$ admits a finite surgery, Boyer and Zhang proved that the surgery slope must be either integral or half-integral, and they conjectured that the latter case does not happen. Using the correction terms in Heegaard Floer homology, we prove that if a hyperbolic knot in $S^3$ admits a half-integral finite surgery, then the knot must have the same knot Floer homology as one of eight non-hyperbolic knots which are known to admit such surgeries, and the resulting manifold must be one of ten spherical space forms. As knot Floer homology carries a lot of informatio…
I calculate optimistically asymptotic behaviors of the WRT SU(2) invariants for the three-manifolds obtained from the figure-eight knot by p-surgeries with p=0,1,2,...,10, from which one can extract volumes and the Chern-Simons invariants of these closed manifolds. I conjecture that this also holds for general closed three-manifolds.
For a hyperbolic knot in the 3-sphere, at most finitely many Dehn surgeries yield non-hyperbolic 3-manifolds. As a typical case of such an exceptional surgery, a toroidal surgery is one that yields a closed 3-manifold containing an incompressible torus. The slope corresponding to a toroidal surgery, called a toroidal slope, is known to be integral or half-integral. We show that the distance between two integral toroidal slopes for a hyperbolic knot, except the figure-eight knot, is at most four. Hence any hyperbolic knot admits at most 5 toroidal surgeries.
We classify which positive integral surgeries on positive torus knots bound rational homology balls. Additionally, for a given knot K we consider which cables K(p,q) admit integral surgeries that bound rational homology balls. For such cables, let S(K) be the set of corresponding rational numbers q/p. We show that S(K) is bounded for each K. Moreover, if n-surgery on K bounds a rational homology ball then n is an accumulation point for S(K).
We consider the question of which Dehn surgeries along a given knot bound rational homology balls. We use Ozsváth and Szabó's correction terms in Heegaard Floer homology to obtain general constraints on the surgery coefficients. We then turn our attention to the case of integral surgeries, with particular emphasis on positive torus knots. Finally, combining these results with a lattice-theoretic obstruction based on Donaldon's theorem, we classify which integral surgeries along torus knots of the form $T_{kq\pm 1,q}$ bound rational homology balls.
We study a theory of finite type invariants for null-homologous knots in rational homology 3-spheres with respect to null Lagrangian-preserving surgeries. It is an analogue in the setting of the rational homology of the Goussarov-Rozansky theory for knots in integral homology 3-spheres. We give a partial combinatorial description of the graded space associated with our theory and determine some cases when this description is complete. For null-homologous knots in rational homology 3-spheres with a trivial Alexander polynomial, we show that the Kricker lift of the Kontsevich integral and the Le…
We study which closed, connected, orientable three-manifolds $X$ containing a Klein bottle arise as integral Dehn surgery along a knot in $S^3$. Such $X$ are presentable as a gluing of the twisted $I$-bundle over the Klein bottle to a knot manifold, and we use a variety of Heegaard Floer type invariants to generate surgery obstructions. Suppose that $X$ is $8$-surgery along a genus two knot, and arises by gluing the twisted $I$-bundle over the Klein bottle to an $S^3$ knot complement. We show that $X$ is an L-space, it must be the dihedral manifold $\left(-1; \tfrac{1}{2}, \tfrac{1}{2}, \tfrac…
We examine certain symmetries in the deficiencies of a rational surgery on a knot in $S^3$ by comparing the $\text{Spin}^c$-structures on the rational surgery with those on a related integral surgery. We then provide an application of these symmetries in the form of a theorem that obstructs Dehn surgeries in $S^3$. This last part unifies and generalises theorems by Greene underlying his work on the cabling conjecture, the lens space realisation problem, and the unknotting number of alternating 3-braids.
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 asymptotic behavior of the Witten-Reshetikhin-Turaev invariant associated with the square of the $n$-th root of unity with odd $n$ for a Seifert fibered space obtained by an integral Dehn surgery along a torus knot. We show that it can be described as a sum of the Chern-Simons invariants and the twisted Reidemeister torsions both associated with representations of the fundamental group to the two-dimensional complex special linear group.
It is shown that any closed three-manifold M obtained by integral surgery on a knot in the three-sphere can always be constructed from integral surgeries on a 3-component link L with each component being an unknot in the three-sphere. It is also interesting to notice that infinitely many different integral surgeries on the same link L could give the same three-manifold M.
We provide a new obstruction for a rational homology 3-sphere to arise by Dehn surgery on a given knot in the 3-sphere. The obstruction takes the form of an inequality involving the genus of the knot, the surgery coefficient, and a count of L-structures on the 3-manifold, that is spin-c structures with the simplest possible associated Heegaard Floer group. Applications include an obstruction for two framed knots to yield the same 3-manifold, an obstruction that is particularly effective when working with families of framed knots. We introduce the rational and integral Dehn surgery genera for a…
An L-space link is a link in $S^3$ on which all sufficiently large integral surgeries are L-spaces. We prove that for m, n relatively prime, the r-component cable link $K_{rm,rn}$ is an L-space link if and only if K is an L-space knot and $n/m \geq 2g(K)-1$. We also compute HFL-minus and HFL-hat of an L-space cable link in terms of its Alexander polynomial. As an application, we confirm a conjecture of Licata regarding the structure of HFL-hat for (n,n) torus links.
An $L$-space link is a link in $S^3$ on which all large surgeries are $L$-spaces. In this paper, we initiate a general study of the definitions, properties, and examples of $L$-space links. In particular, we find many hyperbolic $L$-space links, including some chain links and two-bridge links; from them, we obtain many hyperbolic $L$-spaces by integral surgeries, including the Weeks manifold. We give bounds on the ranks of the link Floer homology of $L$-space links and on the coefficients in the multi-variable Alexander polynomials. We also describe the Floer homology of surgeries on any $L$-s…
In an earlier paper, we used the absolute grading on Heegaard Floer homology to give restrictions on knots in $S^3$ which admit lens space surgeries. The aim of the present article is to exhibit stronger restrictions on such knots, arising from knot Floer homology. One consequence is that all the non-zero coefficients of the Alexander polynomial of such a knot are $\pm 1$. This information in turn can be used to prove that certain lens spaces are not obtained as integral surgeries on knots. In fact, combining our results with constructions of Berge, we classify lens spaces $L(p,q)$ which arise…
Null Lagrangian-preserving surgeries are a generalization of the Garoufalidis and Rozansky null-moves, that these authors introduced to study the Kricker lift of the Kontsevich integral, in the setting of pairs (M,K) composed of a rational homology sphere M and a null-homologous knot K in M. They are defined as replacements of null-homologous rational homology handlebodies of M\K by other such handlebodies with identical Lagrangian. A null Lagrangian-preserving surgery induces a canonical isomorphism between the rational Alexander modules of the involved pairs, which preserves the Blanchfield …
Suppose $α$ and $R$ are disjoint simple closed curves in the boundary of a genus two handlebody $H$ such that $H[R]$ embeds in $S^3$ as the exterior of a hyperbolic knot $k$(thus, $k$ is a tunnel-number-one knot), and $α$ is Seifert in $H$(i.e., a 2-handle addition $H[α]$ is a Seifert-fibered space) and not the meridian of $H[R]$. Then for a slope $γ$ of $k$ represented by $α$, $γ$-Dehn surgery $k(γ)$ is a Seifert-fibered space. Such a construction of Seifert-fibered Dehn surgeries generalizes that of Seifert-fibered Dehn surgeries arising from primtive/Seifert positions of a knot, which was i…
Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further, we obtain two new invariants of homology cobordism, $\underline{d}$ and $\bar{d}$, and two invariants of smooth knot concordance, $\underline{V}_0$ and $\overline{V}_0$. We also develop a formula for the involutive Heegaard Floer homology of large integral surgeries on knots. We give explicit calculations in the case of L-space knots and thin knots. In partic…
We prove that if the lens space $L(n, 1)$ is obtained by a surgery along a knot in the lens space $L(3,1)$ that is distance one from the meridional slope, then $n$ is in $\{-6, \pm 1, \pm 2, 3, 4, 7\}$. This result yields a classification of the coherent and non-coherent band surgeries from the trefoil to $T(2, n)$ torus knots and links. The main result is proved by studying the behavior of the Heegaard Floer $d$-invariants under integral surgery along knots in $L(3,1)$. The classification of band surgeries between the trefoil and torus knots and links is motivated by local reconnection proces…
We describe a method to compute the Culler-Shalen seminorms of a knot, using the (-3,3,4) pretzel knot as an illustrative example. We deduce that the SL2(C)-character variety of this knot consists of three algebraic curves and that it admits no non-trivial cyclic or finite surgeries. We also summarize similar results for other (-3,3,n) pretzel knots including the observation that the Seifert surgeries for these knots are precisely those integral slopes lying between two of the boundary slopes.
In a previous article, we constructed an invariant Z for null-homologous knots in rational homology spheres, from equivariant intersections in configuration spaces. Here we present an equivalent definition of Z in terms of configuration space integrals, we prove that Z is multiplicative under connected sum, and we prove null Lagrangian-preserving surgery formulae for Z. Our formulae generalize similar formulae that are satisfied by the Kricker rational lift of the Kontsevich integral for null Borromean surgeries. They imply that Z is universal with respect to a natural filtration. According to…
New methods for computing a variety of gauge theoretic invariants for homology 3-spheres are developed. These invariants include the Chern-Simons invariants, the spectral flow of the odd signature operator, and the rho invariants of irreducible SU(2) representations. These quantities are calculated for flat SU(2) connections on homology 3-spheres obtained by 1/k Dehn surgery on (2,q) torus knots. The methods are then applied to compute the SU(3) gauge theoretic Casson invariant (introduced in [H U Boden and C M Herald, The SU(3) Casson invariant for integral homology 3--spheres, J. Diff. Geom.…
We investigate the Reshetikhin--Turaev invariants associated to SU(2) for the 3-manifolds M obtained by doing any rational surgery along the figure 8 knot. In particular, we express these invariants in terms of certain complex double contour integrals. These integral formulae allow us to propose a formula for the leading asymptotics of the invariants in the limit of large quantum level. We analyze this expression using the saddle point method. We construct a certain surjection from the set of stationary points for the relevant phase functions onto the space of conjugacy classes of nonabelian S…
The spherical manifold realization problem asks which spherical three-manifolds arise from surgeries on knots in $S^3$. In recent years, the realization problem for C, T, O, and I-type spherical manifolds has been solved, leaving the D-type manifolds (also known as the prism manifolds) as the only remaining case. Every prism manifold can be parametrized as $P(p,q)$, for a pair of relatively prime integers $p>1$ and $q$. We determine a complete list of prism manifolds $P(p, q)$ that can be realized by positive integral surgeries on knots in $S^3$ when $q<0$. The methodology undertaken to obtain…
We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by a unique connected sum of lens spaces whose first homology embeds in any other element in the same class. As a first consequence, we show that several natural maps to the rational homology cobordism group have infinite rank cokernels. Further consequences include a divisibility condition between the determinants of a connected sum of 2-bridge knots and any …
In the setting of finite type invariants for null-homologous knots in rational homology 3-spheres with respect to null Lagrangian-preserving surgeries, there are two candidates to be universal invariants, defined respectively by Kricker and Lescop. In a previous paper, the second author defined maps between spaces of Jacobi diagrams. Injectivity for these maps would imply that Kricker and Lescop invariants are indeed universal invariants; this would prove in particular that these two invariants are equivalent. In the present paper, we investigate the injectivity status of these maps for degree…
In a 3-manifold M, let K be a knot and R be an annulus which meets K transversely. We define the notion of the pair (R,K) being caught by a surface Q in the exterior of the link given by K and the boundary curves of R. For a caught pair (R,K), we consider the knot K^n gotten by twisting K n times along R and give a lower bound on the bridge number of K^n with respect to Heegaard splittings of M -- as a function of n, the genus of the splitting, and the catching surface Q. As a result, the bridge number of K^n tends to infinity with n. In application, we look at a family of knots K^n found by T…