No Arabic abstract
We establish a number of results about smooth and topological concordance of knots in $S^1times S^2$. The winding number of a knot in $S^1times S^2$ is defined to be its class in $H_1(S^1times S^2;mathbb{Z})cong mathbb{Z}$. We show that there is a unique smooth concordance class of knots with winding number one. This improves the corresponding result of Friedl-Nagel-Orson-Powell in the topological category. We say a knot in $S^1times S^2$ is slice (resp. topologically slice) if it bounds a smooth (resp. locally flat) disk in $D^2times S^2$. We show that there are infinitely many topological concordance classes of non-slice knots, and moreover, for any winding number other than $pm 1$, there are infinitely many topological concordance classes even within the collection of slice knots. Additionally we demonstrate the distinction between the smooth and topological categories by constructing infinite families of slice knots that are topologically but not smoothly concordant, as well as non-slice knots that are topologically slice and topologically concordant, but not smoothly concordant.
We classify the Legendrian torus knots in S^1times S^2 with its standard tight contact structure up to Legendrian isotopy.
Given a 3-manifold $Y$ and a free homotopy class in $[S^1,Y]$, we investigate the set of topological concordance classes of knots in $Y times [0,1]$ representing the given homotopy class. The concordance group of knots in the 3-sphere acts on this set. We show in many cases that the action is not transitive, using two techniques. Our first technique uses Reidemeister torsion invariants, and the second uses linking numbers in covering spaces. In particular, we show using covering links that for the trivial homotopy class, and for any 3-manifold that is not the 3-sphere, the set of orbits is infinite. On the other hand, for the case that $Y=S^1 times S^2$, we apply topological surgery theory to show that all knots with winding number one are concordant.
We generalize Ngs two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra of knots. Actually, our cord algebra has an extra variable, which potentially corresponds to the third variable in Ngs three-variable knot contact homology. Our main tool is Lins generalization of the Markov theorem for braids in $S^3$ to braids in $S^1 times S^2$. We conjecture that our framed cord algebras are always finitely generated for non-local knots.
Let $k$ be a subring of the field of rational functions in $x, v, s$ which contains $x^{pm 1}, v^{pm 1}, s^{pm 1}$. If $M$ is an oriented 3-manifold, let $S(M)$ denote the Homflypt skein module of $M$ over $k$. This is the free $k$-module generated by isotopy classes of framed oriented links in $M$ quotiented by the Homflypt skein relations: (1) $x^{-1}L_{+}-xL_{-}=(s-s^{-1})L_{0}$; (2) $L$ with a positive twist $=(xv^{-1})L$; (3) $Lsqcup O=(frac{v-v^{-1}}{s-s^{-1}})L$ where $O$ is the unknot. We give two bases for the relative Homflypt skein module of the solid torus with 2 points in the boundary. The first basis is related to the basis of $S(S^1times D^2)$ given by V. Turaev and also J. Hoste and M. Kidwell; the second basis is related to a Young idempotent basis for $S(S^1times D^2)$ based on the work of A. Aiston, H. Morton and C. Blanchet. We prove that if the elements $s^{2n}-1$, for $n$ a nonzero integer, and the elements $s^{2m}-v^{2}$, for any integer $m$, are invertible in $k$, then $S(S^{1} times S^2)=k$-torsion module $oplus k$. Here the free part is generated by the empty link $phi$. In addition, if the elements $s^{2m}-v^{4}$, for $m$ an integer, are invertible in $k$, then $S(S^{1} times S^2)$ has no torsion. We also obtain some results for more general $k$.
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 Bakers 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 classification are realized by filling the magic manifold. The classification highlights additional examples not mentioned in Martelli and Petronios survey of the exceptional fillings on the magic manifold. Of particular interest, is an example of a knot with two lens space surgeries that is not obtained by filling the Berge manifold.