In this note, I give a method to construct rational Seifert surface for those smooth or piece-wise linear oriented knots in Lens space. I assume that the oriented knot has a regular projection on Heegaard torus and then construct rational Seifert surface on twist toroidal diagram.
Rationally null-homologous links in Seifert fibered spaces may be represented combinatorially via labeled diagrams. We introduce an additional condition on a labeled link diagram and prove that it is equivalent to the existence of a rational Seifert surface for the link. In the case when this condition is satisfied, we generalize Seifert's algorithm to explicitly construct a rational Seifert surface for any rationally null-homologous knot. As an application of the techniques developed in the paper, we derive closed formulae for the rational Thurston-Bennequin and rotation numbers of a Legendri…
We verify that the rational blow-down schemes along certain Seifert fibered 3-manifolds found by the second author, Szabo and Wahl are, in fact, symplectic operations.
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.
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.
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.
We classify the Seifert fibrations of any given lens space L(p,q). We give an algorithmic construction of a Seifert fibration of L(p,q) over the base orbifold S^2(m,n) with the coprime parts of m and n arbitrarily prescribed. This algorithm produces all possible Seifert fibrations, and the equivalences between the resulting Seifert fibrations are described completely. Also, we show that all Seifert fibrations are equivalent to certain standard models.
We give some constraints on intersection forms of spin 4-manifolds bounded by Seifert rational homology 3-spheres in terms of the $\barμ$ invariant and compare them with those in terms of the $κ$ invariant. We also show that the difference between $κ$ and $-\barμ$ for a Seifert rational homology 3-sphere is at most 2, and under certain extra conditions the difference is 0.
In this paper, we investigate a relation between rational blowdown surgery and minimal symplectic fillings of a given Seifert 3-manifold with a canonical contact structure. Consequently, we determine a necessary and sufficient condition for a minimal symplectic filling of a Seifert 3-manifold satisfying certain conditions to be obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding weighted homogeneous surface singularity. Furthermore, as an application of the main results, we prove that every minimal symplectic filling of a large family of Seifert 3-mani…
We calculate the RT-invariants of all oriented Seifert manifolds directly from surgery presentations. We work in the general framework of an arbitrary modular category as in [V. G. Turaev, Quantum invariants of knots and 3--manifolds, de Gruyter Stud. Math. 18, Walter de Gruyter (1994)], and the invariants are expressed in terms of the S- and T-matrices of the modular category. In another direction we derive a rational surgery formula, which states how the RT-invariants behave under rational surgery along framed links in arbitrary closed oriented 3-manifolds with embedded colored ribbon graphs…
Let $M$ be a Seifert fiber space with non-abelian fundamental group and admitting a triangulation with $t$ tetrahedra. We show that there is a non-abelian $\text{PSL}(2, \mathbb{F})$ quotient where $|\mathbb F| < c(2^{20t}3^{120t})$ for an absolute constant $c>0$ and use this to show that the lens space recognition problem lies in coNP for Seifert fiber space input. We end with a discussion of our results in the context of distinguishing lens spaces from other $3$--manifolds more generally.
Using the mapping cone of a rational surgery, we give several obstructions for Seifert fibered surgeries, including obstructions on the Alexander polynomial, the knot Floer homology, the surgery coefficient and the Seifert and four-ball genus of the knot.
We give finiteness results and some classifications up to diffeomorphism of minimal strong symplectic fillings of Seifert fibered spaces over S^2 satisfying certain conditions, with a fixed natural contact structure. In some cases we can prove that all symplectic fillings are obtained by rational blow-downs of a plumbing of spheres. In other cases, we produce new manifolds with convex symplectic boundary, thus yielding new cut-and-paste operations on symplectic manifolds containing certain configurations of symplectic spheres.
In this note we study the Seifert rational homology spheres with two complementary legs, i.e. with a pair of invariants whose fractions add up to one. We give a complete classification of the Seifert manifolds with 3 exceptional fibers and two complementary legs which bound rational homology balls. The result translates in a statement on the sliceness of some Montesinos knots.
In this survey paper we present results about link diagrams in Seifert manifolds using arrow diagrams, starting with link diagrams in $F\times S^1$ and $N\hat{\times}S^1$, where $F$ is an orientable and $N$ an unorientable surface. Reidemeister moves for such arrow diagrams make the study of link invariants possible. Transitions between arrow diagrams and alternative diagrams are presented. We recall results about %the knot group presentation for lens spaces and the Kauffman bracket and HOMFLYPT skein modules of some Seifert manifolds using arrow diagrams, namely lens spaces, a product of a di…
Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yields a Seifert fibered space. Here we construct a two-parameter family of knots that have distinct primitive/Seifert embeddings in $F$ with the same surface slope, as well as a family of torus knots that have a primitive/primitive representative and a primitive/Seifert representativ…
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…
The aim of this paper is to investigate the relations between Seifert manifolds and (1,1)-knots. In particular, we prove that every orientable Seifert manifold with invariants {Oo,0|-1;(p,q),...,(p,q),(l, l-1)} has a cyclically presented fundamental group and, moreover, it is the n-fold strongly-cyclic covering of the lens space L(|nlq-p|,q), branched over the (1,1)-knot K(q,q(nl-2),p-2q,p-q) if p>=2q, and over the (1,1)-knot K(p-q,2q-p,q(nl-2),p-q) if p<2q.
We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N, Garoufalidis, Rozansky and Thurston. As steps, side benefits and asides we give explicit formulas for the values of the Kontsevich integral on the Hopf link and on Hopf chains, and for the LMO invariant of lens spaces and Seifert fibered spaces. We find that the LMO invariant does not separate lens spaces, is far from separating general Seifert fibered space…
We establish an inequality which gives strong restrictions on when the standard definite plumbing intersection lattice of a Seifert fibered space over $S^2$ can embed into a standard diagonal lattice, and give two applications. First, we answer a question of Neumann-Zagier on the relationship between Donaldson's theorem and Fintushel-Stern's $R$-invariant. We also give a short proof of the characterisation of Seifert fibered spaces which smoothly bound rational homology $S^1 \times D^3$'s.
We show that if $Y$ is the boundary of an almost-rational plumbing, then the framed instanton Floer homology $\smash{I^\#(Y)}$ is isomorphic to the Heegaard Floer homology $\smash{\widehat{\mathit{HF}}(Y; \mathbb{C})}$. This class of 3-manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$ (we establish the isomorphism for the remaining Seifert fibered rational homology spheres$\unicode{x2014}$with base $\mathbb{RP}^2$$\unicode{x2014}$directly). Our proof utilizes lattice homology, and relies on a decomposition theorem for instanton Floer cobordism maps recen…
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.
We prove that the Witten-Reshetikhin-Turaev (WRT) SO(3) invariant of an arbitrary 3-manifold M is always an algebraic integer. Moreover, we give a rational surgery formula for the unified invariant dominating WRT SO(3) invariants of rational homology 3-spheres at roots of unity of order co-prime with the torsion. As an application, we compute the unified invariant for Seifert fibered spaces and for Dehn surgeries on twist knots. We show that this invariant separates integral homology Seifert fibered spaces and can be used to detect the unknot.
We classify Legendrian rational unknots with tight complements in the lens spaces L(p,1) up to coarse equivalence. As an example of the general case, this classification is also worked out for L(5,2). The knots are described explicitly in a contact surgery diagram of the corresponding lens space.
The genus of satellite tunnel number one knots and torti-rational knots is computed using the tools introduced by Floyd and Hatcher. An implementation of an algorithm is given to compute genus and slopes of minimal genus Seifert surfaces for such knots.
Let $K$ be a rationally null-homologous knot in a three-manifold $Y$. We construct a version of knot Floer homology in this context, including a description of the Floer homology of a three-manifold obtained as Morse surgery on the knot $K$. As an application, we express the Heegaard Floer homology of rational surgeries on $Y$ along a null-homologous knot $K$ in terms of the filtered homotopy type of the knot invariant for $K$. This has applications to Dehn surgery problems for knots in $S^3$. In a different direction, we use the techniques developed here to calculate the Heegaard Floer homolo…
We study the linking numbers in a rational homology 3-sphere and in the infinite cyclic cover of the complement of a knot. They take values in $\Bbb Q$ and in ${Q}({\Bbb Z}[t,t^{-1}])$ respectively, where ${Q}({\Bbb Z}[t,t^{-1}])$ denotes the quotient field of ${\Bbb Z}[t,t^{-1}]$. It is known that the modulo-$\Bbb Z$ linking number in the rational homology 3-sphere is determined by the linking matrix of the framed link and that the modulo-${\Bbb Z}[t,t^{-1}]$ linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate `…
If K is a rationally null-homologous knot in a 3-manifold M, the rational genus of K is the infimum of -χ(S)/2p over all embedded orientable surfaces S in the complement of K whose boundary wraps p times around K for some p (hereafter: S is a p-Seifert surface for K). Knots with very small rational genus can be constructed by "generic" Dehn filling, and are therefore extremely plentiful. In this paper we show that knots with rational genus less than 1/402 are all geometric -- i.e. they may be isotoped into a special form with respect to the geometric decomposition of M -- and give a complete c…
In combinatorial topology we aim to triangulate manifolds such that their topological properties are reflected in the combinatorial structure of their description. Here, we give a combinatorial criterion on when exactly triangulations of 3-manifolds with transitive cyclic symmetry can be generalised to an infinite family of such triangulations with similarly strong combinatorial properties. In particular, we construct triangulations of Seifert fibred spaces with transitive cyclic symmetry where the symmetry preserves the fibres and acts non-trivially on the homology of the spaces. The triangul…
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 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.
A natural generalization of a crossing change is a rational subtangle replacement (RSR). We characterize the fundamental situation of the rational tangles obtained from a given rational tangle via RSR, building on work of Berge and Gabai, and determine the sites where these RSR may occur. In addition we also determine the sites for RSR distance at least two between 2-bridge links. These proofs depend on the geometry of the branched double cover. Furthermore, we classify all knots in lens spaces whose exteriors are generalized Seifert fibered spaces and their lens space surgeries, extending wor…
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.
A torti-rational knot, denoted by K(2a,b|r), is a knot obtained from the 2-bridge link B(2a,b) by applying Dehn twists an arbitrary number of times, r, along one component of B(2a,b). We determine the genus of K(2a,b|r) and solve a question of when K(2a,b|r) is fibred. In most cases, the Alexander polynomials determine the genus and fibredness of these knots. We develop both algebraic and geometric techniques to describe the genus and fibredness by means of continued fraction expansions of b/2a. Then, we explicitly construct minimal genus Seifert surfaces. As an application, we solve the same …
We show that the properties of admitting a co-oriented taut foliation and having a left-orderable fundamental group are equivalent for rational homology $3$-sphere graph manifolds and relate them to the property of not being a Heegaard-Floer L-space. This is accomplished in several steps. First we show how to detect families of slopes on the boundary of a Seifert fibred manifold in four different fashions - using representations, using left-orders, using foliations, and using Heegaard-Floer homology. Then we show that each method of detection determines the same family of detected slopes. Next…
We study lens space surgeries along two different families of 2-component links, denoted by $A_{m,n}$ and $B_{p,q}$, related with the rational homology 4-ball used in J.\ Park's (generalized) rational blow down. We determine which coefficient $r$ of the knotted component of the link yields a lens space by Dehn surgery. The link $A_{m,n}$ yields a lens space only by the known surgery with $r=mn$ and unexpectedly with $r=7$ for $(m,n)=(2,3)$. On the other hand, $B_{p,q}$ yields a lens space by infinitely many $r$. Our main tool for the proof is the Reidemeister-Turaev torsions, i.e.\ Reidemeiste…
We study a class of scalar, linear, non-local Riemann-Hilbert problems (RHP) involving finite subgroups of PSL(2,C). We associate to such problems a (maybe infinite) root system and describe the relevance of the orbits of the Weyl group in the construction of its solutions. As an application, we study in detail the large N expansion of SU(N) or SO(N) or Sp(2N) Chern-Simons partition function Z_N(M) of 3-manifolds M that are either rational homology spheres or more generally Seifert fibered spaces. It has a matrix model-like representation, whose spectral curve can be characterized in terms of …
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 …
Let S^3_r(K) be the oriented 3--manifold obtained by rational r-surgery on a knot K in S^3. Using the contact Ozsvath-Szabo invariants we prove, for a class of knots K containing all the algebraic knots, that S^3_r(K) carries positive, tight contact structures for every r not= 2g_s(K)-1, where g_s(K) is the slice genus of K. This implies, in particular, that the Brieskorn spheres -Sigma(2,3,4) and -Sigma(2,3,3) carry tight, positive contact structures. As an application of our main result we show that for each m in N there exists a Seifert fibered rational homology 3-sphere M_m carrying at lea…
In this paper we describe braid equivalence for knots and links in a 3-manifold $M$ obtained by rational surgery along a framed link in $S^3$. We first prove a sharpened version of the Reidemeister theorem for links in $M$. We then give geometric formulations of the braid equivalence via mixed braids in $S^3$ using the $L$-moves and the braid band moves. We finally give algebraic formulations in terms of the mixed braid groups $B_{m,n}$ using cabling and the techniques of parting and combing for mixed braids. We also provide concrete formuli of the braid equivalence in the case where $M$ is a …
We construct a positive allowable Lefschetz fibration over the disk on any minimal weak symplectic filling of the canonical contact structure on a lens space. Using this construction we prove that any minimal symplectic filling of the canonical contact structure on a lens space is obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding complex two-dimensional cyclic quotient singularity.
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.
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 determine when there exists a ribbon rational homology cobordism between two connected sums of lens spaces, i.e. one without $3$-handles. In particular, we show that if a lens space $L$ admits a ribbon rational homology cobordism to a different lens space, then $L$ must be homeomorphic to $L(n,1)$, up to orientation-reversal. As an application, we classify ribbon $χ$-concordances between connected sums of $2$-bridge links. Our work builds on Lisca's work on embeddings of linear lattices.
For each connected alternating tangle, we provide an infinite family of non-left-orderable L-spaces. This gives further support for Conjecture [3] of Boyer, Gordon, and Watson that is a rational homology 3-sphere is an L-space if and only if it is non-left-orderable. These 3-manifolds are obtained as Dehn fillings of the double branched covering of any alternating encircled tangle. We give a presentation of these non-left-orderable L-spaces as double branched coverings of S^3, branched over some specified links that turn out to be hyperbolic. We show that the obtained families include many non…