We show that every thin position for a connected sum of small knots is obtained in an obvious way: place each summand in thin position so that no two summands intersect the same level surface, then connect the lowest minimum of each summand to the highest maximum of the adjacent summand below.
We produce embeddings of knots in thin position that admit compressible thin levels. We also find the bridge number of tangle sums where each tangle is high distance.
Two Dehn surgeries on a knot are called purely cosmetic if their surgered manifolds are homeomorphic as oriented manifolds. Gordon conjectured that non-trivial knots in $S^3$ do not admit purely cosmetic surgeries. In this article, we confirm this conjecture for connected sums of knots by analysing the JSJ-structures.
We prove a formula for the conjugation action on the knot Floer complex of the connected sum of two knots. Using the formula we construct a homomorphism from the smooth concordance group to an abelian group consisting of chain complexes with homotopy automorphisms, modulo an equivalence relation. Using our connected sum formula, we perform some example computations of Hendricks and Manolescu's involutive invariants on large surgeries of connected sums of knots.
In this paper, we generalize a result of Satoh to show that for any odd natural $n$, the connected sum of the $n$-twist spun sphere of a knot $K$ and an unknotted projective plane in the 4-sphere is equivalent to the same unknotted projective plane. We additionally provide a fix to a small error in Satoh's proof of the case that $K$ is a 2-bridge knot.
We study 2-string free tangle decompositions of knots with tunnel number two. As an application, we construct infinitely many counter-examples to a conjecture in the literature stating that the tunnel number of the connected sum of prime knots doesn't degenerate by more than one.
In this article we prove that, if $X$ is a smooth $4$-manifold containing an embedded double node neighborhood, all knot surgery $4$-manifolds $X_K$ are mutually diffeomorphic to each other after a connected sum with $\mathbb{CP}^2$. Hence, by applying to the simply connected elliptic surface $E(n)$, we also show that every knot surgery $4$-manifold $E(n)_K$ is almost completely decomposable.
In this paper we find infinitely many lattices in $SL(4,\mathbb{R})$ each of which contains thin subgroups commensurable with the figure-eight knot group.
This paper studies the question of whether minimal genus Heegaard splittings of exterior spaces of knots which are connected sums are weakly reducible or not. Furthermore it is shown that the Heegaard splittings of the knots used by Morimoto to show that tunnel number can be sub-additive are all strongly irreducible. These are the first examples of strongly irreducible minimal genus Heegaard splittings of composite knots. We also give a characterization of when is a set of primitive annuli on a handlebody simultaneously primitive. This characterization is different from that given in [Go].
We define a new notion of thin position for a graph in a 3-manifold which combines the ideas of thin position for manifolds first originated by Scharlemann and Thompson with the idea of thin position for knots first originated by Gabai. This thin position has the property that connect summing annuli and pairs-of-pants show up as thin levels. In a forthcoming paper, this new thin position allows us to define two new families of invariants of knots, links, and graphs in 3-manifolds. The invariants in one family are similar to bridge number and the invariants in the other family are similar to Ga…
We use bordered Floer homology to give a formula for the knot Floer homology of any (p, pn+1)-cable of a thin knot K in terms of Delta_K(t), tau(K), p, and n. We also give a formula for the Ozsvath-Szabo concordance invariant tau(K_{p, pn+1}) in terms of tau(K), p, and n, and a formula for tau(K_{p,q}) for almost all relatively prime p and q.
A regular circle-valued Morse function on the knot complement C(K) = S^3\K is a function f from C(K) to S^1 which separates critical points and which behaves nicely in a neighborhood of the knot. Such a function induces a handle decomposition on the knot exterior E(K) = S^3\N (K), with the property that every regular level surface contains a Seifert surface for the knot. We rearrange the handles in such a way that the regular surfaces are as simple as possible. To make this precise the concept of circular width for E(K) is introduced. When E(K) is endowed with a handle decomposition which real…
Let k be a knot in S3. In [8], H.N. Howards and J. Schultens introduced a method to construct a manifold decomposition of double branched cover of (S3, k) from a thin position of k. In this article, we will prove that if a thin position of k induces a thin decomposition of double branched cover of (S3,k) by Howards and Schultens' method, then the thin position is the sum of prime summands by stacking a thin position of one of prime summands of k on top of a thin position of another prime summand, and so on. Therefore, k holds the nearly additivity of knot width (i.e. for k = k1#k2, w(k) = w(k1…
A knot is an a-small knot if its exterior does not contain closed incompressible surfaces disjoint from some incompressible Seifert surface for the knot. Using circular thin position for knots we prove that the handle number is additive under the connected sum of two a-small knots. As a consequence the Morse-Novikov number turns out to be additive under the connected sum of two a-small knots.
We extend the notion of thin multiple Heegaard splittings of a link in a 3-manifold to take into consideration not only compressing disks but also cut-disks for the Heegaard surfaces. We prove that if H is a c-strongly compressible bridge surface for a link K contained in a closed orientable irreducible 3-manifold M then one of the following is satisfied: H is stabilized, H is meridionally stabilized, H is perturbed, a component of K is removable, M contains an essential meridional surface.
Among the knots that are the connected sum of two torus knots with cobordism distance 1, we characterize those that have 4-dimensional clasp number at least 2, and we show that their n-fold connected self-sum has 4-dimensional clasp number at least 2n. Our proof works in the topological category. To contrast this, we build a family of topologically slice knots for which the n-fold connected self-sum has 4-ball genus n and 4-dimensional clasp number at least 2n.
We show that if a knot or link has n thin levels when put in thin position then its exterior contains a collection of n disjoint, non-parallel, planar, meridional, essential surfaces. A corollary is that there are at least n/3 tetrahedra in any triangulation of the complement of such a knot.
We study the behavior of Legendrian and transverse knots under the operation of connected sums. As a consequence we show that there exist Legendrian knots that are not distinguished by any known invariant. Moreover, we classify Legendrian knots in some non-Legendrian simple knot types.
Using the covering involution on the double branched cover of the three-sphere branched along a knot, and adapting ideas of Hendricks-Manolescu and Hendricks-Hom-Lidman, we define new knot invariants and apply them to deduce novel linear independence results in the smooth concordance group of knots.
We prove that if $K_1 \subset M_1,...,K_n \subset M_n$ are m-small knots in closed orientable 3-manifolds then the Heegaard genus of $E(#_{i=1}^n K_i)$ is strictly less than the sum of the Heegaard genera of the $E(K_i)$ ($i=1,...,n$) if and only if there exists a proper subset $I$ of $\{1,...,n\}$ so that $#_{i \in I} K_i$ admits a primitive meridian. This generalizes the main result of Morimoto in \cite{morimoto1}.
We are giving tables of quasi-alternating knots with $8\le n \le 12$ crossings. As the obstructions for a knot to be quasialternating we used homology thickness with regards to Khovanov homology, odd homology, and Heegaard-Floer homology $\widehat{HFK}$. Except knots which are homology thick, so cannot be quasialternating, by using the results of our computations [JaSa1], for one of knots which are homology thin, knot $11n_{50}$, J. Greene proved that it is not quasi-alternating, so this is the first example of homologically thin knot which is not quasi-alternating [Gr]. In this paper we provi…
We show that, for any integer $n\ge 3$, there is a prime knot $k$ such that (1) $k$ is not meridionally primitive, and (2) for every $m$-bridge knot $k'$ with $m\leq n$, the tunnel numbers satisfy $t(k\# k')\le t(k)$. This gives counterexamples to a conjecture of Morimoto and Moriah on tunnel number under connected sum and meridionally primitive knots.
In this paper, we describe the relation between the study of closed connected surfaces embedded in $S^3$ and the theory of handlebody-knots. By Fox's theorem, a pair of handlebody-knots is associated to a closed connected surface embedded in $S^3$ in the sense that their exterior components are pairwise homeomorphic. We show that for every handlebody-knot pair associated to a genus two "prime bi-knotted" surface, one is irreducible, and the other is reducible. Furthermore, for given two genus two handlebody-knots $H_1$ and $H_2$ satisfying certain conditions, we will construct a "prime bi-knot…
In this paper, we compute the Khovanov homology over \Q for (p,-p,q) pretzel knots for odd values of p from 3 to 15 and arbitrarily large q. We provide a conjecture for the general form of the Khovanov homology of (p,-p,q) pretzel knots. These computations reveal that these knots have thin Khovanov homology (over \Q and \Z). Because Greene has shown that these knots are not quasi-alternating, this provides an infinite class of non-quasi-alternating knots with thin Khovanov homology.
We study the four-genus of linear combinations of torus knots: aT(p,q) # -bT(p',q'). Fixing positive p, q, p', and q', our focus is on the behavior of the four-genus as a function of positive a and b. Three types of examples are presented: in the first, for all a and b the four-genus is completely determined by the Tristram-Levine signature function; for the second, the recently defined Upsilon function of Ozsvath-Stipsicz-Szabo determines the four-genus for all a and b; for the third, a surprising interplay between signatures and Upsilon appears.
Thin position for knots in the 3-sphere was introduced by Gabai and has been used in a variety of contexts. We conjecture an analogue to a theorem of Schubert and Schultens concerning the bridge number of satellite knots. For a satellite knot K, we use the companion torus T to provide a lower bound for w(K), proving the conjecture for K with a 2-bridge companion. As a corollary, we find thin position for any satellite knot with a braid pattern and 2-bridge companion.
It is a very old conjecture that the crossing number of knots is additive under connected sum. In other words, if K#K' is the connected sum of knots K and K', then does the equality c(K#K') = c(K) + c(K') hold? We prove that c(K#K') is at most c(K) + c(K') and at least (c(K) + c(K'))/152.
When two boundary-parabolic representations of knot groups are given, we introduce the connected sum of these representations and show several natural properties including the unique factorization property. Furthermore, the complex volume of the connected sum is the sum of each complex volumes modulo $iπ^2$ and the twisted Alexander polynomial of the connected sum is the product of each polynomials with normalization.
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…
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $Σ$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $Σ$, but not diffeomorphic. We prove that for all known examples of surface knots constructed from knot surgery operations that preserve the fundamental group of the complement of surface knots, they become pairwise diffeomorphic after stabilizing by connected summing with one $S^2\tilde{\times}S^2$. When $X$ is spin, we show in addition that any surfaces obtained by a knot su…
We determine p-colorability of the paradromic rings. These rings arise by generalizing the well-known experiment of bisecting a Mobius strip. Instead of joining the ends with a single half twist, use $m$ twists, and, rather than bisecting ($n = 2$), cut the strip into $n$ sections. We call the resulting collection of thin strips $P(m,n)$. By replacing each thin strip with its midline, we think of $P(m,n)$ as a link, that is, a collection of circles in space. Using the notion of $p$-colorability from knot theory, we determine, for each $m$ and $n$, which primes $p$ can be used to color $P(m,n)$…
We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we define the higher indices, which invariants of knots in $\R^3$ define at arbitrary singular knots. More generally, for any finite-order cohomology class of the space of knots we define its principal symbol, which lies in a cohomology group of a certain finite-dimensional configuration space and characterizes our class modulo the classes of smaller filtration.
An upper bound of the superbridge index of the connected sum of two knots is given in terms of the braid index of the summands. Using this upper bound and minimal polygonal presentations, we give an upper bound in terms of the superbridge index and the bridge index of the summands when they are torus knots. In contrast to the fact that the difference between the sum of bridge indices of two knots and the bridge index of their connected sum is always one, the corresponding difference for the superbridge index can be arbitrarily large.
We show that for each even integer $m\ge 2$, every reduced shadow with sufficiently many crossings is a shadow of a torus knot T(2,m+1), or of a twist knot $T_m$, or of a connected sum of $m$ trefoil knots.
We define a "reduced" version of the knot Floer complex $CFK^-(K)$, and show that it behaves well under connected sums and retains enough information to compute Heegaard Floer $d$-invariants of manifolds arising as surgeries on the knot $K$. As an application to connected sums, we prove that if a knot in the three-sphere admits an $L$-space surgery, it must be a prime knot. As an application of the computation of $d$-invariants, we show that the Alexander polynomial is a concordance invariant within the class of $L$-space knots, and show the four-genus bound given by the $d$-invariant of +1-su…
We present computational results about quasi-alternating knots and links and odd homology obtained by looking at link families in the Conway notation. More precisely, we list quasi-alternating links up to 12 crossings and the first examples of quasi-alternating knots and links with at least two different minimal diagrams, where one is quasi-alternating and the other is not. We provide examples of knots and links with $n\le 12$ crossings which are homologically thin and have no minimal quasi-alternating diagrams. These links are candidates for homologically thin links that are not quasi-alterna…
We explore a knot invariant derived from colorings of corresponding $1$-tangles with arbitrary connected quandles. When the quandle is an abelian extension of a certain type the invariant is equivalent to the quandle $2$-cocycle invariant. We construct many such abelian extensions using generalized Alexander quandles without explicitly finding $2$-cocycles. This permits the construction of many $2$-cocycle invariants without exhibiting explicit $2$-cocycles. We show that for connected generalized Alexander quandles the invariant is equivalent to Eisermann's knot coloring polynomial. Computatio…
In this paper, we extend the definition of the $SL_2(\Bbb C)$ Casson invariant to arbitrary knots $K$ in integral homology 3-spheres and relate it to the $m$-degree of the $\widehat{A}$-polynomial of $K$. We prove a product formula for the $\widehat{A}$-polynomial of the connected sum $K_1 \# K_2$ of two knots in $S^3$ and deduce additivity of $SL_2(\Bbb C)$ Casson knot invariant under connected sum for a large class of knots in $S^3$. We also present an example of a nontrivial knot $K$ in $S^3$ with trivial $\widehat{A}$-polynomial and trivial $SL_2(\Bbb C)$ Casson knot invariant, showing tha…
We examine geometric properties of a knot J that are unchanged by taking a (p,q)-cable K of J. Specifically, we relate w(K) to w(J), where w(K) is the width of K in the sense of Gabai. We use this information to demonstrate that thin position is a minimal bridge position of J if and only if the same is true for K, and more generally we show that any thin position of K is an "obvious" cabling of a thin position of J. We conclude by proving that J is meridionally small (mp-small) if and only if K is meridionally small (mp-small), and if J is mp-small and every non-minimal bridge position of J is…
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$. We also discuss the $2p+1=3$ case. This result implies one of our main results: Let $μ$ be a natural number. A 1-link $A$ is pass-move equivalent to a 1-link $B$ if and only if the knot product of $A$ and $μ$ copies…
We study the set of Crowell states for alternating knot projections and show that for prime alternating knots the space of states for a reduced projection is connected, a result similar to that for Kauffman states. As an application we give a new proof of a result of Ozsvath and Szabo characterizing (2,2n+1) torus knots among alternating knots.