67 pages, 21 figures; v3: accepted version, using a new .cls file and redrawing some figures. Data and codes can be found at https://doi.org/10.7910/DVN/GLFLHI
In this paper, we study a special family of $(1,1)$ knots called constrained knots, which includes 2-bridge knots in the 3-sphere $S^3$ and simple knots in lens spaces. Constrained knots are parameterized by five integers and characterized by the distribution of spin$^c$ structures in the corresponding $(1,1)$ diagrams. The knot Floer homology $\widehat{HFK}$ of a constrained knot is thin. We obtain a complete classification of constrained knots based on the calculation of $\widehat{HFK}$ and presentations of knot groups. We provide many examples of constrained knots constructed from surgeries on links in $S^3$, which are related to 2-bridge knots and 1-bridge braids. We also show many examples of constrained knots whose knot complements are orientable hyperbolic 1-cusped manifolds with simple ideal triangulations.
Let $K$ be a hyperbolic knot in the 3-sphere. If $r$-surgery on $K$ yields a lens space, then we show that the order of the fundamental group of the lens space is at most $12g-7$, where $g$ is the genus of $K$. If we specialize to genus one case, it will be proved that no lens space can be obtained from genus one, hyperbolic knots by Dehn surgery. Therefore, together with known facts, we have that a genus one knot $K$ admits Dehn surgery yielding a lens space if and only if $K$ is the trefoil.
We determine the non-null homologous knots in lens spaces whose exteriors contain properly embedded once-punctured tori. All such knots arise as surgeries on the Whitehead link and are grid number 1 in their lens spaces. As a corollary, we classify once-punctured torus bundles that admit a lens space filling.
Divide knots and links, defined by A'Campo in the singularity theory of complex curves, is a method to present knots or links by real plane curves. The present paper is a continuation of the author's previous result that every knot in the major subfamilies of Berge's lens space surgery (i.e., knots yielding a lens space by Dehn surgery) is presented by an L-shaped curve as a divide knot. In the present paper, L-shaped curves are generalized and it is shown that every knot in the minor subfamilies, called sporadic examples, of Berge's lens space surgery is presented by a generalized L-shaped cu…
Ozsváth-Szabó proved the property that any coefficient of Alexander polynomial of lens space knot is either $\pm1$ or $0$ and the non-zero coefficients are alternating. Combining the formulas of the Alexander polynomial of lens space knots due to Kadokami-Yamada and Ichihara-Saito-Teragaito, we refine Ozsváth-Szabó's property as the existence of simple curves included in a region in ${\Bbb R}^2$. The existence of curves, that has no end-points connected, is just 1-component in a region, can search distribution of non-zero coefficients of the Alexander polynomial of the lens space knot. This cu…
We show that there exist infinitely many pairs of distinct knots in the 3-sphere such that each pair can yield homeomorphic lens spaces by the same Dehn surgery. Moreover, each knot of the pair can be chosen to be a torus knot, a satellite knot or a hyperbolic knot, except that both cannot be satellite knots simultaneously. This exception is shown to be unavoidable by the classical theory of binary quadratic forms.
In this paper, we consider the knot complement problem for not null-homologous knots in homology lens spaces. Let $M$ be a homology lens space with $H_1(M; \mathbb{Z}) \cong \mathbb{Z}_p$ and $K$ a not null-homologous knot in $M$. We show that $K$ is determined by its complement if $M$ is non-hyperbolic, $K$ is hyperbolic, and $p$ is a prime more than 7, or, if $M$ is actually a lens space $L(p,q)$ and $K$ represents a generator of $H_1(L(p,q))$.
Closed 3-string braids admit many bandings to two-bridge links. By way of the Montesinos Trick, this allows us to construct infinite families of knots in the connected sum of lens spaces L(r,1) # L(s,1) that admit a surgery to a lens space for all pairs of integers (r,s) except (0,0). These knots are typically hyperbolic. We also demonstrate that the previously known two families of examples of hyperbolic knots in non-prime manifolds with lens space surgeries of Eudave-Munoz--Wu and Kang all fit this construction. As such, we propose a generalization of the Cabling Conjecture of Gonzales-Acuna…
In this paper, we consider which lens spaces are obtainable by Dehn surgery described by Berge on doubly primitive knots. It is given an algorithm to decide whether a given lens space is obtainable by such surgery. Also included is a complete characterization of such surgery yielding lens spaces with Klein bottles.
Supose that $Y$ is a lens space with $|H_1(Y; \mathbb{Z})|$ prime, and $Y$ does not contain a genus one fibered knot. We show that $Y$ contains a knot whose exterior is a once-punctured torus bundle if and only if $Y$ is the result of $p/q$-surgery on the trefoil. This partially answers a question posed by Ken Baker in a paper in which he gives a complete classification of genus one fibered knots contained in lens spaces. Combining Baker's classification with Moser's characterization of lens space surgeries on the trefoil, we generate an infinite family of lens spaces which do not contain any …
The braid axis of a closed 3-braid lifts to a genus one fibered knot in the double cover of S^3 branched over the closed braid. Every (null homologous) genus one fibered knot in a 3-manifold may be obtained in this way. Using this perspective we answer a question of Morimoto about the number of genus one fibered knots in lens spaces. We determine the number of genus one fibered knots up to homeomorphism in any given lens space. This number is 3 in the case of the lens space L(4,1), 2 for the lens spaces L(m,1) with m>0, and at most 1 otherwise.
We propose a classification of knots in S^1 x S^2 that admit a longitudinal surgery to a lens space. Any lens space obtainable by longitudinal surgery on some knots in S^1 x S^2 may be obtained from a Berge-Gabai knot in a Heegaard solid torus of S^1 x S^2, as observed by Rasmussen. We show that there are yet two other families of knots: those that lie on the fiber of a genus one fibered knot and the `sporadic' knots. All these knots in S^1 x S^2 are both doubly primitive and spherical braids. This classification arose from generalizing Berge's list of doubly primitive knots in S^3, though we …
In this survey we summarize results regarding the Kauffman bracket, HOMFLYPT, Kauffman 2-variable and Dubrovnik skein modules, and the Alexander polynomial of links in lens spaces, which we represent as mixed link diagrams. These invariants generalize the corresponding knot polynomials in the classical case. We compare the invariants by means of the ability to distinguish between some difficult cases of knots with certain symmetries.
It is proved that every knot in the major subfamilies of J. Berge's lens space surgery (i.e., knots yielding a lens space by Dehn surgery) is presented by an L-shaped (real) plane curve as a "divide knot" defined by N. A'Campo in the context of singularity theory of complex curves. For each knot given by Berge's parameters, the corresponding plane curve is constructed. The surgery coefficients are also considered. Such presentations support us to study each knot itself, and the relationship among the knots in the set of lens space surgeries.
Using computational techniques we tabulate prime knots up to five crossings in the solid torus and the infinite family of lens spaces $L(p,q)$. For these knots we calculate the second and third skein module and establish which prime knots in the solid torus are amphichiral. Most knots are distinguished by the skein modules. For the handful of cases where the skein modules fail to detect inequivalent knots, we calculate and compare the hyperbolic structures of the knot complements. We were unable to resolve a handful of 5-crossing cases for $p\geq 13$.
We give an alternative proof of a recent theorem of Tange using the technology of changemaker lattices. Specifically, for $K\subset S^3$ a non-trivial knot with a lens space surgery, we give constraints on the Alexander polynomial of $K$ and the lens space surgery when the coefficient of $T^{g(K)-2}$ in $Δ_K(T)$ is non-zero.
We determine the lens spaces that arise by integer Dehn surgery along a knot in the three-sphere. Specifically, if surgery along a knot produces a lens space, then there exists an equivalent surgery along a Berge knot with the same knot Floer homology groups. This leads to sharp information about the genus of such a knot. The arguments rely on tools from Floer homology and lattice theory, and are primarily combinatorial in nature.
Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type VII, it admits an L-space homology sphere surgery. In this note we give a simple proof that these L-space homology spheres are always the Poincaré homology sphere.
We calculate the Witte-Reshetikhi-Turaev invariant for a knot in the lens space of type L(m,1) for the N-th root of unity, and study its asymptotic behavior for large N.
A knot k in a closed orientable 3-manifold is called nonsimple if the exterior of k possesses a properly embedded essential surface of nonnegative Euler characteristic. We show that if k is a nonsimple prime tunnel number one knot in a lens space M (where M does not contain any embedded Klein bottles), then k is a (1,1) knot. Elements of the proof include handle addition and Dehn filling results/techniques of Jaco, Eudave-Munoz and Gordon as well as structure results of Schultens on the Heegaard splittings of graph manifolds.
Let $p\geq 2$ and $q\neq 0$ an integer. A knot $K$ in the three-sphere is said to be a $(p,q)$-lens knot if and only if it covers a link in the lens space $L(p,q)$. In this paper, we use the second coefficient of the HOMFLY polynomial to provide a necessary condition for a knot to be a $(p,q)$-lens knot. As an application, it is shown that this criterion rules out the possibility of being $(5,1)$-lens for 80 among the 84 knots with less than 9 crossings.
This paper describes a Dehn surgery approach to generating asymmetric hyperbolic manifolds with two distinct lens space fillings. Such manifolds were first identified in work of Dunfield-Hoffman-Licata as the result of a computer search of the SnapPy census, but the current work establishes a topological framework for constructing vastly many more such examples. We introduce the notion of a ``jointly primitive'' presentation of a knot and show that a refined version of this condition ``longitudinally jointly primitive'' is equivalent to being surgery dual to a $(1,2)$--knot in a lens space. Th…
We exhibit an infinite family of knots in the Poincare homology sphere with tunnel number 2 that have a lens space surgery. Notably, these knots are not doubly primitive and provide counterexamples to a few conjectures. In the appendix, it is shown that hyperbolic knots in the Poincare homology sphere with a lens space surgery has either no symmetries or just a single strong involution.
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…
This is a facsimile of the circa 1990 unpublished manuscript with the same title. All the original text, figures and tables are included; although text has been reset in \TeX, the original hand-drawn figures have been redrawn digitally, and the parameter $k$ in the original table of lens spaces has been replaced with the originally intended $λ$. And, of course, this abstract has been added.
Grid diagrams encode useful geometric information about knots in S^3. In particular, they can be used to combinatorially define the knot Floer homology of a knot K in S^3, and they have a straightforward connection to Legendrian representatives of K in (S^3, ξ_\st), where ξ_\st is the standard, tight contact structure. The definition of a grid diagram was extended to include a description for links in all lens spaces, resulting in a combinatorial description of the knot Floer homology of a knot K in L(p, q) for all p > 0. In the present article, we explore the connection between lens space gri…
An important geometric invariant of links in lens spaces is the lift in the 3-sphere of a link $L$ in $L(p,q)$, that is the counterimage $\widetilde L$ of $L$ under the universal covering of $L(p,q)$. If lens spaces are defined as a lens with suitable boundary identifications, then a link in $L(p,q)$ can be represented by a disk diagram, that is to say, a regular projection of the link on a disk. Starting from a disk diagram of $L$, we obtain a diagram of the lift $\widetilde L$ in the 3-sphere. With this construction we are able to find different knots and links in $L(p,q)$ having equivalent …
We take advantage of the correspondence between fibered links, open book decompositions and contact structures on a closed connected 3-dimensional manifold to determine a mixed link diagram presentation for a particular fibered link $L$ in the lens space $L(p,q)$. Moreover, we construct a diagram for the lift of $L$ in the 3-sphere $S^3$ in order to show that, for $q=1$, $L$ is compatible with the standard contact structure of $L(p,1)$ when $p \leq -1$.
In this paper we study some aspects of knots and links in lens spaces. Namely, if we consider lens spaces as quotient of the unit ball $B^{3}$ with suitable identification of boundary points, then we can project the links on the equatorial disk of $B^{3}$, obtaining a regular diagram for them. In this contest, we obtain a complete finite set of Reidemeister type moves establishing equivalence, up to ambient isotopy, a Wirtinger type presentation for the fundamental group of the complement of the link and a diagrammatic method giving the first homology group. We also compute Alexander polynomia…
Given a one-dimensional homology class in a lens space, a question related to the Berge conjecture on lens space surgeries is to determine all knots realizing the minimal rational genus of all knots in this homology class. It is known that simple knots are rational genus minimizers. In this paper, we construct many non-simple genus minimizers. This negatively answers a question of Rasmussen.
Let K be a fibered knot in the 3-sphere. We show that if the monodromy of K is sufficiently complicated, then Dehn surgery on K cannot yield a lens space. Work of Yi Ni shows that if K has a lens space surgery then it is fibered. Combining this with our result we see that if K has a lens space surgery then it is fibered and the monodromy is relatively simple.
In a lens space X of order r a knot K representing an element of the fundamental group pi_1 X = Z/rZ of order s <= r contains a connected orientable surface S properly embedded in its exterior X-N(K) such that the boundary of S intersects the meridian of K minimally s times. Assume S has just one boundary component. Let g be the minimal genus of such surfaces for K, and assume s >= 4g-1. Then with respect to the genus one Heegaard splitting of X, K has bridge number at most 1.
It is well-known that the second coefficient of the Alexander polynomial of any lens space knot in $S^3$ is $-1$. We show that the non-zero third coefficient condition of the Alexander polynomial of a lens space knot $K$ in $S^3$ confines the surgery to the one realized by the $(2,2g+1)$-torus knot, where $g$ is the genus of $K$. In particular, such a lens surgery polynomial coincides with $Δ_{T(2,2g+1)}(t)$.
In this note, we first classify all topological torus knots lying on the Heegaard torus in lens spaces, and then we study Legendrian representatives of these knots. We classify oriented positive Legendrian torus knots in the universally tight contact structures on the lens spaces up to contactomorphism.
We consider free symmetries on cobordisms between knots. We classify which freely periodic knots bound equivariant surfaces in the 4-ball in terms of corresponding homology classes in lens spaces. A key tool is the homology cobordism classification of lens spaces using d-invariants. We give a numerical condition determining the free periods for which torus knots bound equivariant surfaces in the 4-ball.
The Cabling Conjecture states that surgery on hyperbolic knots in $S^3$ never produces reducible manifolds. In contrast, there do exist hyperbolic knots in some lens spaces with non-prime surgeries. Baker constructed a family of such hyperbolic knots and posed a conjecture that his examples encompass all hyperbolic knots in lens spaces with non-prime surgeries. Using the idea of seiferters we construct a counterexample to this conjecture. In the process of construction, we also derive an obstruction for a small Seifert fibred space to be obtainable by a surgery with a seiferter.
Baker showed that 10 of the 12 classes of Berge knots are obtained by surgery on the minimally twisted 5-chain link. In this article we enumerate all hyperbolic knots in S^3 obtained by surgery on the minimally twisted 5 chain link that realize the maximal known distances between slopes corresponding to exceptional (lens, lens), (lens, toroidal), (lens, Seifert fibred spaces) pairs. In light of Baker's work, the classification in this paper conjecturally accounts for 'most' hyperbolic knots in S^3 realizing the maximal distance between these exceptional pairs. All examples obtained in our clas…
We prove that every lens space contains a genus one homologically fibered knot, which is contrast to the fact that some lens spaces contain no genus one fibered knot. In the proof, the Chebotarev density theorem and binary quadratic forms in number theory play a key role. We also discuss the Alexander polynomial of homologically fibered knots.
We study the invariant of knots in lens spaces defined from quantum Chern-Simons theory. By means of the knot operator formalism, we derive a generalization of the Rosso-Jones formula for torus knots in L(p,1). In the second part of the paper, we propose a B-model topological string theory description of torus knots in L(2,1).
We describe necessary and sufficient conditions for a knot in an L-space to have an L-space homology sphere surgery. We use these conditions to reformulate a conjecture of Berge about which knots in S^3 admit lens space surgeries.
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…
This paper concerns thin presentations of knots K in closed 3-manifolds M^3 which produce S^3 by Dehn surgery, for some slope gamma. If M does not have a lens space as a connected summand, we first prove that all such thin presentations, with respect to any spine of M have only local maxima. If M is a lens space and K has an essential thin presentation with respect to a given standard spine (of lens space M) with only local maxima, then we show that K is a 0-bridge or 1-bridge braid in M; furthermore, we prove the minimal intersection between K and such spines to be at least three, and finally…
We show that lens space surgeries on knots in $S^3$ which arise from the primitive/Seifert type construction also arise from the primitive/primitive construction. This is the first step of a three step program to prove the Berge conjecture for tunnel number one knots.
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.
We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in the sense of rank) knot Floer homology. The second (conjectured) step involves showing that, for a fixed lens space, the only knots with simple Floer homology belong to a simple finite family. Using results of Baker, we provide evidence for the conjectural part of the program by…
It is well-known that any pair of closed orientable 3-manifolds are related by a finite sequence of Dehn surgeries on knots. Furthermore Kawauchi showed that such knots can be taken to be hyperbolic. In this article, we consider the minimal length of such sequences connecting a pair of 3-manifolds, in particular, a pair of lens spaces.
Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov and Alexander gradings in terms of combinatorial data on the grid diagram. Motivated by existing results for the Floer homology of knots in S^3 and the similarity of the combinatorics presented here, we conjecture that a certain family of knots is characterized by their Floer homology. Coupled with work of the third author, an affirmative answer to this wou…
We apply Donaldson's theorem on the intersection forms of definite 4--manifolds to characterize the lens spaces which smoothly bound rational homology 4--dimensional balls. Our result implies, in particular, that every smoothly slice 2--bridge knot is ribbon, proving the ribbon conjecture for 2--bridge knots.
For a cyclic covering map $(Σ,K) \to (Σ',K')$ between two pairs of a 3-manifold and a knot each, we describe the fundamental group $π_1(Σ\setminus K)$ in terms of $π_1(Σ' \setminus K')$. As a consequence, we give an alternative proof for the fact that certain knots in $S^3$ cannot be represented as the preimage of any knot in a lens space, which is related to free periods of knots. In our proofs, the subgroup of a group $G$ generated by the commutators and the $p$th power of each element of $G$ plays a key role.
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 …
Using work of Ozsvath and Szabo, we show that if a nontrivial knot in S^3 admits a lens space surgery with slope p, then p <= 4g+3, where g is the genus of the knot. This is a close approximation to a bound conjectured by Goda and Teragaito.
Berge in [1] defined doubly primitive knots, which yield lens spaces by Dehn surgery. At the same paper he listed the knots into several types. In this paper we will prove the list is complete when $τ>1$. The invariant $τ$ is a quantity with regard to lens space surgery, which is defined in this paper. Furthermore at the same time we will also prove that Table~6 in [8] is complete as Poincaré homology sphere surgery when $τ>1$.
By obtaining surgery descriptions of knots which lie on the genus one fiber of the trefoil or figure eight knot, we show that these include hyperbolic knots with arbitrarily large volume. These knots admit lens space surgeries and form two families of Berge knots. By way of tangle descriptions we also obtain surgery descriptions for these knots on minimally twisted chain links.
Links in lens spaces may be defined to be equivalent by ambient isotopy or by diffeomorphism of pairs. In the first case, for all the combinatorial representations of links, there is a set of Reidemeister-type moves on diagrams connecting isotopy equivalent links. In this paper we provide a set of moves on disk, band and grid diagrams that connects diffeo equivalent links: there are up to four isotopy equivalent links in each diffeo equivalence class. Moreover, we investigate how the diffeo equivalence relates to the lift of the link in the $3$-sphere: in the particular case of oriented primit…
An irreducible 3--manifold with torus boundary either is a Seifert fibered space or admits at most three lens space fillings according to the Cyclic Surgery Theorem. We examine the sharpness of this theorem by classifying the non-hyperbolic manifolds with more than one lens space filling, classifying the hyperbolic manifolds obtained by filling of the Minimally Twisted 5 Chain complement that have three lens space fillings, showing that the doubly primitive knots in $S^3$ and $S^1 \times S^2$ have no unexpected extra lens space surgery, and showing that the Figure Eight Knot Sister Manifold is…
