M. Scharlemann has recently proved that any genus one tunnel number one knot is either a satellite or 2-bridge knot, as conjectured by H. Goda and M. Teragaito; all such knots admit a (1,1) decomposition. In this paper we give a classification of the family of (1,1) knots in $S^3$ with crosscap number two (i.e., bounding an essential once-punctured Klein bottle).
The crosscap number of a knot in the 3-sphere is the minimal genus of non-orientable surface bounded by the knot. We determine the crosscap numbers of torus knots.
We define the concordance crosscap number of a knot as the minimum crosscap number among all the knots concordant to the knot. The four-dimensional crosscap number is the minimum first Betti number of non-orientable surfaces smoothly embedded in 4-dimensional ball, bounding the knot. Clearly the 4-dimensional crosscap number is smaller than or equal to the concordance crosscap number. We construct two infinite sequences of knots to explain the gap between the two. In particular, the knot $7_4$ is one of the examples.
We present a practical algorithm to determine the minimal genus of non-orientable spanning surfaces for 2-bridge knots, called the crosscap numbers. We will exhibit a table of crosscap numbers of 2-bridge knots up to 12crossings (all 362 of them).
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
The crosscap number of a knot in the 3-sphere is defined as the minimal first Betti number of non-orientable subsurfaces bounded by the knot. In this paper, we determine the crosscap numbers of pretzel knots. The key ingredient to obtain the result is the algorithm of enumerating all essential surfaces for Montesinos knots developed by Hatcher and Oertel.
We specify the computational complexity of crosscap numbers of alternating knots by introducing an automatic computation. For an alternating knot $K$, let $\cal{E}$ be the number of edges of its diagram. Then there exists a code such that the complexity of this computation of the crosscap number of $K$ is estimated by $O(\cal{E}^3)$.
For a knot K, the concordance crosscap number, c(K), is the minimum crosscap number among all knots concordant to K. Building on work of G. Zhang, which studied the determinants of knots with c(K) < 2, we apply the Alexander polynomial to construct new algebraic obstructions to c(K) < 2. With the exception of low crossing number knots previously known to have c(K) < 2, the obstruction applies to all but four prime knots of 11 or fewer crossings.
A knot in S^3 is said to have crosscap number two if it bounds a once-punctured Klein bottle but not a Moebius band. In this paper we give a method of constructing crosscap number two hyperbolic (1,2)-knots with tunnel number one which are neither 2-bridge nor (1,1)-knots. An explicit infinite family of such knots is discussed in detail.
The concordance crosscap number $γ_c(K)$ of a knot $K$ is the smallest crosscap number $γ_3(K')$ of any knot $K'$ concordant to $K$ (and with $γ_3(K')$ defined as the least first Betti number of any nonorientable surface $Σ$ embedded in $S^3$ with boundary $K'$). This invariant has been introduced and studied by Zhang using knot determinants and signatures, and has further been studied by Livingston using the Alexander polynomial. We show in this work that the rational Witt class of a knot can be used to obtain a lower bound on the concordance crosscap number, by means of a new integer-valued …
For a torus knot K, we bound the crosscap number c(K) in terms of the genus g(K) and crossing number n(K): c(K) \leq [(g(K)+9)/6] and c(K) \leq [(n(K) + 16)/12]. The (6n-2,3) torus knots show that these bounds are sharp.
Ito-Takimura recently defined a splice-unknotting number $u^-(D)$ for knot diagrams. They proved that this number provides an upper bound for the crosscap number of any prime knot, asking whether equality holds in the alternating case. We answer their question in the affirmative. (Ito has independently proven the same result.) As an application, we compute the crosscap numbers of all prime alternating knots through at least 13 crossings, using Gauss codes.
We consider the relationship between the crosscap number $γ$ of knots and a partial order on the set of all prime knots, which is defined as follows. For two knots $K$ and $J$, we say $K \geq J$ if there exists an epimorphism $f:π_1(S^3-K) \longrightarrow π_1(S^3-J)$. We prove that if $K$ and $J$ are 2-bridge knots and $K> J$, then $γ(K) \geq 3γ(J) -4$. We also classify all pairs $(K,J)$ for which the inequality is sharp. A similar result relating the genera of two knots has been proven by Suzuki and Tran. Namely, if $K$ and $J$ are 2-bridge knots and $K >J$, then $g(K) \geq 3 g(J)-1$, where $…
We study the 3-dimensional immersed crosscap number of a knot, which is a nonorientable analogue of the immersed Seifert genus. We study knots with immersed crosscap number 1, and show that a knot has immersed crosscap number 1 if and only if it is a nonntrivial $(2p,q)$-torus or $(2p,q)$-cable knot. We show that unlike in the orientable case the immersed crosscap number can differ from the embedded crosscap number by arbitrarily large amounts, and that it is neither bounded below nor above by the 4-dimensional crosscap number. We then use these constructions to find, for any $n\geq 2$, an ori…
We introduce a "deformation" of plumbing. We also define a structure of data used in a calculation by computer aid of the crosscap numbers of alternating knots.
The crosscap number of a knot is an invariant describing the non-orientable surface of smallest genus that the knot bounds. Unlike knot genus (its orientable counterpart), crosscap numbers are difficult to compute and no general algorithm is known. We present three methods for computing crosscap number that offer varying trade-offs between precision and speed: (i) an algorithm based on Hilbert basis enumeration and (ii) an algorithm based on exact integer programming, both of which either compute the solution precisely or reduce it to two possible values, and (iii) a fast but limited precision…
We give sharp two-sided linear bounds of the crosscap number (non-orientable genus) of alternating links in terms of their Jones polynomial. Our estimates are often exact and we use them to calculate the crosscap numbers for several infinite families of alternating links and for several alternating knots with up to twelve crossings. We also discuss generalizations of our results for classes of non-alternating links.
Given a knot in the 3-sphere, the non-orientable 4-genus or 4-dimensional crosscap number of a knot is the minimal first Betti number of non-orientable surfaces, smoothly and properly embedded in the 4-ball, with boundary the knot. In this paper, we calculate the non-orientable 4-genus of knots with crossing number 10.
In the symplectization of standard contact $3$-space, $\mathbb R \times \mathbb R^3$, it is known that an orientable Lagrangian cobordism between a Legendrian knot and itself, also known as an orientable Lagrangian endocobordism for the Legendrian knot, must have genus $0$. We show that any Legendrian knot has a non-orientable Lagrangian endocobordism, and that the crosscap genus of such a non-orientable Lagrangian endocobordism must be a positive multiple of $4$. The more restrictive exact, non-orientable Lagrangian endocobordisms do not exist for any exactly fillable Legendrian knot but do e…
In the present paper, we will show that for any integer n>0 there are infinitely many twisted torus knots with n-string essential tangle decompositions.
We construct an infinite collection of knots with the property that any knot in this family has $n$-string essential tangle decompositions for arbitrarily high $n$.
We show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingredients for the proof are Cheeger-Gromov-von Neumann rho-invariants for amenable groups developed by Cha and Orr and polynomial splittings of metabelian rho-invariants.
We describe the genus two knots which admit a genus one, one bridge position. These are divided into several families, one consists of vertical bandings of two genus one $(1,1)$-knots, other consists of vertical bandings of two cross cap number two 2-bridge knots, and the last one consists of genus two tunnel number one satellite knots.
Strongly-cyclic branched coverings of knots are studied by using their (g,1)-decompositions. Necessary and sufficient conditions for the existence and uniqueness of such coverings are obtained. It is also shown that their fundamental groups admit geometric g-words cyclic presentations.
We show that the fundamental quandle defines a functor from the oriented tangle category to a suitably defined quandle category. Given a tangle decomposition of a link $L$, the fundamental quandle of $L$ may be obtained from the fundamental quandles of tangles. We apply this result to derive a presentation of the fundamental quandle of periodic links, composite knots and satellite knots.
The paper applies the JSJ decomposition and Koda-Ozawa's annulus classification to analyze the annulus configuration in a handlebody-knot exterior. We introduce the notion of the annulus diagram, to pack the configuration into a labeled graph, and classify genus two handlebody-knots in terms of their annulus diagrams. Applications to handlebody-knot symmetries are discussed; methods to produce handlebody-knots with various types of annulus diagrams are also presented.
We determine the structure of the circular handle decompositions of the family of free genus one knots. Namely, if k is a free genus one knot, then the handle number h(k)= 0, 1 or 2, and, if k is not fibered (that is, if h(k)>0), then k is almost fibered. For this, we develop practical techniques to construct circular handle decompositions of knots with free Seifert surfaces in the 3-sphere (and compute handle numbers of many knots), and, also, we characterize the free genus one knots with more than one Seifert surface. These results are obtained through analysis of spines of surfaces on handl…
We address primary decomposition conjectures for knot concordance groups, which predict direct sum decompositions into primary parts. We show that the smooth concordance group of topologically slice knots has a large subgroup for which the conjectures are true and there are infinitely many primary parts each of which has infinite rank. This supports the conjectures for topologically slice knots. We also prove analogues for the associated graded groups of the bipolar filtration of topologically slice knots. Among ingredients of the proof, we use amenable $L^2$-signatures, Ozsváth-Szabó $d$-inva…
We address the primary decomposition of the knot concordance group in terms of the solvable filtration and higher-order von Neumann $ρ$-invariants by Cochran, Orr, and Teichner. We show that for a nonnegative integer n, if the connected sum of two n-solvable knots with coprime Alexander polynomials is slice, then each of the knots has vanishing von Neumann $ρ$-invariants of order n. This gives positive evidence for the conjecture that nonslice knots with coprime Alexander polynomials are not concordant. As an application, we show that if K is one of Cochran-Orr-Teichner's knots which are the f…
We present an enhanced prime decomposition theorem for knots that gives the isotopy classes of composite knots that can be constructed from a given list of prime factors (allowing for the mirroring and orientation reversing for each factor). Underlying the theorem is an algebraic construction that also allows for the computation of the intrinsic symmetries (invertibility, chirality, etc.) of a composite knot from those of the prime factors. We then use this construction to give a table of composite knots through 12 crossings that can be constructed from prime factors through 9 crossings. This …
For all n > 0 there is a homomorphism from the smooth concordance group of knots in dimension 2n + 1 to an algebraically defined group called the rational algebraic concordance group. This algebraic concordance group splits as a direct sum of groups indexed by polynomials. For n > 1 the homomorphism is injective. This leads to what is called a primary decomposition theorem for knot concordance. In the classical dimension, the kernel of this homomorphism includes the smooth concordance group of topologically slice knots, and Jae Choon Cha has begun studying possible primary decompositions of th…
The fusion number of a ribbon knot is the minimal number of 1-handles needed to construct a ribbon disk. The strong homotopy fusion number of a ribbon knot is the minimal number of 2-handles in a handle decomposition of a ribbon disk complement. We demonstrate that these invariants behave completely differently under cabling by showing that the (p,1)-cable of any ribbon knot with fusion number one has strong homotopy fusion number one and fusion number p. Our main tools are Juhász-Miller-Zemke's bound on fusion number coming from the torsion order of knot Floer homology and Hanselman-Watson's …
A fixed knot $K$ acts via Murasugi sum on the space $\mathcal{S}$ of isotopy classes of knots. This operation endows $\mathcal{S}$ with a directed graph structure denoted by $M\kern-1pt SG(K)$. We show that any given family of knots in $M\kern-1pt SG(K)$ has the structure of a bi-directed complete graph, which is not the case if we restrict the complexity of Murasugi sums. For that purpose, we show that any knot is a Murasugi sum of any two knots, and we give lower and upper bounds for the minimal complexity of Murasugi sum to obtain $K_3$ by $K_1$ and $K_2$. As an application, we show that gi…
It is well-known that the monoid of long virtual knots is not commutative. This contrasts with the case of classical long knots, where $A \# B \leftrightharpoons B \# A$ for all $A,B$. In the present paper, we present a new proof that two inequivalent non-classical prime long virtual knots never commute. The original result is due to Manturov. The techniques used here are mostly geometric. First, a slightly strengthened version of Kuperberg's theorem is established. We then show that a well-defined concatenation of two long knots in a thickened surface is preserved by stabilization when both l…
We show that any non-minimal bridge decomposition of a torus knot is stabilized and that $n$-bridge decompositions of a torus knot are unique for any integer $n$. This implies that a knot in a bridge position is a torus knot if and only if there exists a torus containing the knot such that it intersects the bridge sphere in two essential loops.
We show that for any given closed orientable 3-manifold M with a Heegaard surface of genus g, any positive integers b and n, there exists a knot K in M which admits a (g,b)-bridge splitting of distance greater than n with respect to the Heegaard surface except for (g,b) = (0,1), (0,2).
Let $K$ be a tunnel number two knot. Then, by considering the $(g, b)$-decompositions, $K$ is one of (3, 0)-, (2, 1)-, (1, 2)- or (0, 3)-knots. In the present paper, we analyze the connected sum summands of composite tunnel number two knots and give a complete table of those summands from the point of view of $(g, b)$-decompositions.
We show that a small tree-decomposition of a knot diagram induces a small sphere-decomposition of the corresponding knot. This, in turn, implies that the knot admits a small essential planar meridional surface or a small bridge sphere. We use this to give the first examples of knots where any diagram has high tree-width. This answers a question of Burton and of Makowsky and Mariño.
Let {T_n} be the bipolar filtration of the smooth concordance group of topologically slice knots, which was introduced by Cochran, Harvey, and Horn. It is known that for each n not equal to 1 the quotient group T_n/T_{n+1} has infinite rank and T_1/T_2 has positive rank. In this paper, we show that T_1/T_2 also has infinite rank. Moreover, we prove that there exist infinitely many Alexander polynomials p(t) such that there exist infinitely many knots in T_1 with Alexander polynomial p(t) whose nontrivial linear combinations are not concordant to any knot with Alexander polynomial coprime to p(…
We consider knots whose diagrams have a high amount of twisting of multiple strands. By encircling twists on multiple strands with unknotted curves, we obtain a link called a generalized augmented link. Dehn filling this link gives the original knot. We classify those generalized augmented links that are Seifert fibered, and give a torus decomposition for those that are toroidal. In particular, we find that each component of the torus decomposition is either "trivial", in some sense, or homeomorphic to the complement of a generalized augmented link. We show this structure persists under high D…
A knot $K$ in $S^3$ is $q$-periodic if it admits a symmetry that is conjugate to a rotation of order $q$ of $S^3$. If $K$ admits a symmetry which is a homeomorphism without fixed point of period $q$ of $S^3$, then $K$ is called freely $q$-periodic. In a previous paper, we obtained, as a consequence of Flyping Theorem due to Menasco and Thislethwaite, that the $q$-periodicity with $q>2$ can be visualized in an alternating projection as a rotation of the projection sphere. In this paper, we show that the free $q$-action of an alternating knot can be represented on some alternating projection as …
In this paper, we characterize closed incompressible surfaces of genus two in the complements of 3-bridge knots and links. This characterization includes that of essential 2-string tangle decompositions for 3-bridge knots and links.
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 Seifert surface F for a knot K is disk decomposable if there is a taut sutured manifold heirarchy for the complement of F, whose decomposing surfaces are all disks. It follows that F has minimal genus for the knot K, and has handlebody complement, i.e., F is free. We show that these necessary conditions for disk decomposability are not sufficient, by constructing a family of knots with genus one free Seifert surfaces, which are not disk decomposable.
We construct knots in S^3 with Heegaard splittings of arbitrarily high distance, in any genus. As an application, for any positive integers t and b we find a tunnel number t knot in the three-sphere which has no (t,b)-decomposition.
We show that a transverse link in a contact structure supported by an open book decomposition can be transversely braided. We also generalize Markov's theorem on when the closures of two braids represent (transversely) isotopic links.
Sutured Floer homology, denoted by SFH, is an invariant of balanced sutured manifolds previously defined by the author. In this paper we give a formula that shows how this invariant changes under surface decompositions. In particular, if (M, γ)--> (M', γ') is a sutured manifold decomposition then SFH(M',γ') is a direct summand of SFH(M, γ). To prove the decomposition formula we give an algorithm that computes SFH(M,γ) from a balanced diagram defining (M,γ) that generalizes the algorithm of Sarkar and Wang. As a corollary we obtain that if (M, γ) is taut then SFH(M,γ) is non-zero. Other applica…
Fractional Dehn twists give a measure of the difference between the relative isotopy class of a homeomorphism of a bordered surface and the Thurston representative of its free isotopy class. We show how to estimate and compute these invariants. We discuss the the relationship of our work to stabilization problems in classical knot theory, general open book decompositions, and contact topology. We include an elementary characterization of overtwistedness for contact structures described by open book decompositions.
This paper establishes a new technique that enables us to access some fundamental structural properties of instanton Floer homology. As an application, we establish, for the first time, a relation between the instanton Floer homology of a $3$-manifold or a null-homologous knot inside a $3$-manifold and the Heegaard diagram of that $3$-manifold or knot. We further use this relation to compute the instanton knot homology of some families of $(1,1)$-knots, including all torus knots in $S^3$, which were mostly unknown before. As a second application, we also study the relation between the instanto…
We determine the set of all genus g bridge numbers of many iterated torus knots, listing these numbers in a sequence called the bridge spectrum. In addition, we prove a structural lemma about the decomposition of a strongly irreducible bridge surface induced by cutting along a collection of essential surfaces.