In this paper, we consider decompositions of 3-manifolds with three handlebodies. We classify such decompositions of the 3-sphere and lens spaces with small genera. These decompositions admit operations called stabilizations. We also determine whether these decompositions are stabilized.
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the …
For a genus two Heegaard splitting of a lens space, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting spanned by all vertices of primitive disks. In this work, we describe the complete combinatorial structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we find all lens spaces whose primitive disk complexes are contractible.
For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invariant satisfies some "splitting formulas" which relate the variations of KKT under replacement of embedded rational homology handlebodies by others in a "Lagrangian-preserving" way. We show that the LMO invariant satisfies exactly the same relations. The proof is based on the LMO …
Motivated by M. Scharlemann and A. Thompson's definition of thin position of 3-manifolds, we define the width of a handle decomposition a 4-manifold and introduce the notion of thin position of a compact smooth 4-manifold. We determine all manifolds having width equal to $\{1,\dots, 1\}$, and give a relation between the width of $M$ and its double $M\cup_{id_\partial} \overline M$. In particular, we describe how to obtain genus $2g+2$ and $g+2$ trisection diagrams for sphere bundles over orientable and non-orientable surfaces of genus $g$, respectively. By last, we study the problem of describ…
We consider the problem when lens spaces are given from homology spheres, and demonstrate that many lens spaces are obtained from L-space homology sphere which the Ozsváth Szabó's correction term $d(Y)$ is equal to 2. We show an inequality of slope and genus when $Y$ is L-space and $Y_p(K)$ is lens space.
It is known by the author that there exist 20 families of Dehn surgeries in the Poincaré homology sphere yielding lens spaces. In this paper, we give the concrete knot diagrams of the families and extend them to families of lens space surgeries in Brieskorn homology spheres. We illustrate families of lens space surgeries in $Σ(2,3,6n\pm1)$ and $Σ(2,2s+1,2(2s+1)n\pm1)$ and so on. As other examples, we give lens space surgeries in graph homology spheres, which are obtained by splicing two Brieskorn homology spheres.
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.
A regular fiber of the Seifert fibering of the Poincaré homology sphere admits a Dehn surgery to $L(2,1)\#L(3,2)\#L(5,4)$. We prove that this is the only knot in the Poincaré homology sphere with a surgery to a connected sum of more than two lens spaces.
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.
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 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.
A manifold which admits a reducible genus-$2$ Heegaard splitting is one of the $3$-sphere, $S^2 \times S^1$, lens spaces or their connected sums. For each of those splittings, the complex of Haken spheres is defined. When the manifold is the $3$-sphere, $S^2 \times S^1$ or the connected sum whose summands are lens spaces or $S^2 \times S^1$, the combinatorial structure of the complex has been studied by several authors. In particular, it was shown that those complexes are all contractible. In this work, we study the remaining cases, that is, when the manifolds are lens spaces. We give a precis…
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.
Concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index <=2 (``Heegard'' decompositions).Sample result: Two 2-complexes are (up to 2-deformation) dual spines of a Heegard decomposition of the 4-sphere if and only if they satisfy the conclusions of the Alexander-Lefshetz duality theorem ($H_1K\simeq H^2L$ and $H_2K\simeq H^1L$).
We consider compact 3-manifolds M having a submersion h to R in which each generic point inverse is a planar surface. The standard height function on a submanifold of the 3-sphere is a motivating example. To (M, h) we associate a connectivity graph G. For M in the 3-sphere, G is a tree if and only if there is a Fox reimbedding of M which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of the complement of M is a tree, then there is a level-preserving reimbedding of M so that its complement is a connected sum of…
By taking the complements of embeddings of sphere plumbings in connected sums of $\mathbb{C} P^2$, we construct examples of simply connected four-manifolds with lens space boundary and $b_2 = 1$. The resulting boundaries include many lens spaces that cannot come from integer surgery on any knot in $S^3$, so the corresponding four-manifolds cannot be built by attaching a single two-handle to $B^4$. Using similar constructions, we give an example of an embedded sphere in $\#^4 \mathbb{C} P^2$ with self-intersection number $20$, and conjecture that this is the maximum possible.
In this paper the properties of the Kauffman bracket skein module of $L(p,q)$ are investigated. Links in lens spaces are represented both through band and disk diagrams. The possibility to transform between the diagrams enables us to compute the Kauffman bracket skein module on an interesting class of examples consisting of inequivalent links with equivalent lifts in the $3$-sphere. The computation show that the Kauffman bracket skein module is an essential invariant, that is, it may take different values on links with equivalent lifts. We also show how the invariant is related to the Kauffman…
We show that a free period three action on a lens space is standard, i.e. the quotient is homeomorphic to a lens space. This is an extension of the result for period three actions on the three-sphere, arXiv:math.GT/0204077, by the author and J. Hyam Rubinstein.
Let K be a non-trivial knot in the 3-sphere with a lens space surgery and L(p,q) a lens space obtained by a Dehn surgery on K. We study a relationship between the order of the fundamental group of L(p,q) and the Seifert genus of K.
We classify connected sums of three-dimensional lens spaces which smoothly bound rational homology balls. We use this result to determine the order of each lens space in the group of rational homology 3-spheres up to rational homology cobordisms, and to determine the concordance order of each 2-bridge knot.
For a 3-manifold M, the twist group Twist(M) is the subgroup of the mapping class group Mod(M) generated by twists about embedded 2-spheres. We study the Nielsen realization problem for subgroups of Twist(M). We prove that a nontrivial subgroup G<Twist(M) is realized by diffeomorphisms if and only if G is cyclic and M is a connected sum of lens spaces. We also apply our methods to the Burnside problem for 3-manifolds and show that Diff(M) does not contain an infinite torsion group when M is reducible and not a connected sum of lens spaces.
We show how the Alexander polynomial of links in lens spaces is related to the classical Alexander polynomial of a link in the 3-sphere, obtained by cutting out the exceptional lens space fibre. It follows from these relationship that a certain normalization of the Alexander polynomial satisfies a skein relation in lens spaces.
We show that a free period three action on the three-sphere is standard, i.e. the quotient is homeomorphic to a lens space. We use a minimax argument involving sweepouts.
We define combinatorial invariants of Legendrian and transverse links in universally tight lens spaces using grid diagrams, generalizing [OST08] and prove that they are equivalent to the invariants defined in [BVVV13] and [LOSS09]. We use these combinatorial invariants to characterize index one grid diagrams for knots in lens spaces which admit surgeries to the 3-sphere and discuss a potential application to the Berge conjecture.
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.
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$.
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$.
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 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.
The original Smale Conjecture asserted that the inclusion of the group O(4) of isometries of the round 3-sphere S into the full diffeomorphism group Diff(S) is a homotopy equivalence. The (Generalized) Smale Conjecture asserts that the inclusion of Isom(M) into Diff(M) is a homotopy equivalence whenever M is an elliptic 3-manifold, that is, a closed Riemannian 3-manifold of constant positive curvature. We prove the Smale Conjecture for all lens spaces L(m,q), where m is at least 3.
The lens space $L_{p,q}$ is the orbit space of a $\mathbb{Z}_{p}$-action on the three sphere. We investigate polynomials of two complex variables that are invariant under this action, and thus define links in $L_{p,q}$. We study properties of these links, and their relationship with the classical algebraic links. We prove that all algebraic links in lens spaces are fibered, and obtain results about their Seifert genus. We find some examples of algebraic knots in lens spaces, whose lift in the $3$-sphere is a torus link.
We construct a simple topological invariant of certain 3-manifolds, including quotients of the 3-sphere by finite groups, based on the fact that the tangent bundle of an orientable 3-manifold is trivialisable. This invariant is strong enough to yield the classification of lens spaces of odd, prime order. We also use properties of this invariant to show that there is an oriented 3-manifold with no universally tight contact structure. We generalise and sharpen this invariant to an invariant of a finite covering of a 3-manifold.
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…
We show that every tight contact structure on any of the lens spaces $L(ns^2-s+1,s^2)$ with $n\geq 2$, $s\geq 1$, can be obtained by a single Legendrian surgery along a suitable Legendrian realisation of the negative torus knot $T(s,-(sn-1))$ in the tight or an overtwisted contact structure on the 3-sphere.
Let C be the contact structure naturally induced on the lens space L(p,q) by the standard contact structure on the three--sphere. We obtain a complete classification of the symplectic fillings of (L(p,q),C) up to orientation-preserving diffeomorphisms. In view of our results, we formulate a conjecture on the diffeomorphism types of the smoothings of complex two-dimensional cyclic quotient singularities.
Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give information about knots which admit lens space surgeries, and to exhibit families of three-manifolds which do not admit taut foliations.
In this paper, we collect various structural results to determine when an integral homology $3$--sphere bounds an acyclic smooth $4$--manifold, and when this can be upgraded to a Stein manifold. In a different direction we study whether smooth embedding of connected sums of lens spaces in $\mathbb{C}^2$ can be upgraded to a Stein embedding, and determined that this never happens.