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.
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.
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.
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).
We show that all pretzel knots satisfy the (purely) cosmetic surgery conjecture, i.e. Dehn surgeries with different slopes along a pretzel knot provide different oriented three-manifolds.
There are infinitely many pretzel links with the same Alexander polynomial (actually with trivial Alexander polynomial). By contrast, in this note we revisit the Jones polynomial of pretzel links and prove that, given a natural number S, there is only a finite number of pretzel links whose Jones polynomials have span S. More concretely, we provide an algorithm useful for deciding whether or not a given knot is pretzel. As an application we identify all the pretzel knots up to nine crossings, proving in particular that $8_{12}$ is the first non-pretzel knot.
We prove that an odd pretzel knot is doubly slice if it has $2n+1$ twist parameters consisting of $n+1$ copies of $a$ and $n$ copies of $-a$ for some odd integer $a$. Combined with the work of Issa and McCoy, it follows that these are the only doubly slice odd pretzel knots.
We complete the classification of hyperbolic pretzel knots admitting Seifert fibered surgeries. This is the final step in understanding all exceptional surgeries on hyperbolic pretzel knots. We also present results toward similar classifications for non-pretzel Montesinos knots of length three.
We show that for an alternating pretzel knot K the canonical genera of its Whitehead doubles W(K) are equal to the crossing number c(K) of K, verifying a conjecture of Tripp in the case of these knots.
A rational homology sphere whose Heegaard Floer homology is the same as that of a lens space is called an L-space. We classify pretzel knots with any number of tangles which admit L-space surgeries. This rests on Gabai's classification of fibered pretzel links.
A pair of surgeries on a knot is chirally cosmetic if they result in homeomorphic manifolds with opposite orientations. Using recent methods of Ichihara, Ito, and Saito, we show that, except for the (2,5) and (2,7)-torus knots, the genus 2 and 3 alternating odd pretzel knots do not admit any chirally cosmetic surgeries. Further, we show that for a fixed genus, at most finitely many alternating odd pretzel knots admit chirally cosmetic surgeries.
We give a complete characterization of the topological slice status of odd 3-strand pretzel knots, proving that an odd 3-strand pretzel knot is topologically slice if and only if either it is ribbon or has trivial Alexander polynomial. (By work of [FS85], a nontrivial odd 3-strand pretzel knot $K$ cannot both be ribbon and have $Δ_K(t)=1$.) We also show that topologically slice even 3-strand pretzel knots (except perhaps for members of Lecuona's exceptional family of [Lec13]) must be ribbon. These results follow from computations of the Casson-Gordon 3-manifold signature invariants associated …
In this note we exhibit concrete examples of characterizing slopes for the knot $12n242$, aka the $(-2,3,7)$-pretzel knot. Although it was shown by Lackenby that every knot admits infinitely many characterizing slopes, the non-constructive nature of the proof means that there are very few hyperbolic knots for which explicit examples of characterizing slopes are known.
In the present paper, we will show that a $(p,q,r)$-pretzel knot has the representativity 3 if and only if $(p,q,r)$ is either $\pm(-2,3,3)$ or $\pm(-2,3,5)$. We also show that a large algebraic knot has the representativity less than or equal to 3.
We calculate the twisted Alexander polynomials of $(-2,3,2n+1)$-pretzel knots associated to their holonomy representations. As a corollary, we obtain new supporting evidences of Dunfield, Friedl and Jackson's conjecture, that is, the twisted Alexander polynomials of hyperbolic knots associated to their holonomy representations determine the genus and fiberedness of the knots.
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 prove that many pretzel knots of the form $P(2n,m,-2n\pm1,-m)$ are not topologically slice, even though their positive mutants $P(2n, -2n\pm1, m, -m)$ are ribbon. We use the sliceness obstruction of Kirk and Livingston related to the twisted Alexander polynomials associated to prime power cyclic covers of knots.
A pretzel knot $K$ is called $odd$ if all its twist parameters are odd, and $mutant$ $ribbon$ if it is mutant to a simple ribbon knot. We prove that the family of odd, 5-stranded pretzel knots satisfies a weaker version of the Slice-Ribbon Conjecture: All slice, odd, 5-stranded pretzel knots are $mutant$ $ribbon$. We do this in stages by first showing that 5-stranded pretzel knots having twist parameters with all the same sign or with exactly one parameter of a different sign have infinite order in the topological knot concordance group, and thus in the smooth knot concordance group as well. N…
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 construct a 1-parameter family of $\mathrm{SL}_2(\mathbf{R})$ representations of the pretzel knot $P(-2,3,7)$. As a consequence, we conclude that Dehn surgeries on this knot are left-orderable for all rational surgery slopes less than 6. Furthermore, we discuss a family of knots and exhibit similar orderability results for a few other examples.
We study the representation spaces $R(K;\bf{i})$ as appearing in Kronheimer and Mrowka's framed instanton knot Floer homology, for a class of pretzel knots. In particular, for pretzel knots $P(p,q,r)$ with $p, q, r$ pairwise coprime, these appear to be non-degenerate and comprise representations in SU(2) that are not binary dihedral.
We describe a method to compute the Culler-Shalen seminorms of a knot, using the (-3,3,4) pretzel knot as an illustrative example. We deduce that the SL2(C)-character variety of this knot consists of three algebraic curves and that it admits no non-trivial cyclic or finite surgeries. We also summarize similar results for other (-3,3,n) pretzel knots including the observation that the Seifert surgeries for these knots are precisely those integral slopes lying between two of the boundary slopes.
Using the Hatcher-Oertel algorithm for finding boundary slopes of Montesinos knots, we prove the Slope Conjecture and the Strong Slope Conjecture for a family of 3-tangle pretzel knots. More precisely, we prove that the maximal degrees of the colored Jones polynomial of such knots determine a boundary slope as predicted by the Slope Conjecture, and that the linear term in the degrees correspond to the Euler characteristic of an essential surface.
We prove the non-left-orderability of the fundamental group of the $n$-th fold cyclic branched cover of the pretzel knot $P(3,-3,-2k-1)$ for all integers $k$ and $n\ge 1$. These $3$-manifolds are $L$-spaces discovered by Issa and Turner.
Let K be a hyperbolic (-2,3,n) pretzel knot and M = S^3 K its complement. For these knots, we verify a conjecture of Reid and Walsh: there are at most three knot complements in the commensurability class of M. Indeed, if n \neq 7, we show that M is the unique knot complement in its class. We include examples to illustrate how our methods apply to a broad class of Montesinos knots.
In this paper, we prove that the fundamental group of the manifold obtained by Dehn surgery along a $(-2,3,2s+1)$-pretzel knot ($s\ge 3$) with slope $\frac{p}{q}$ is not left orderable if $\frac{p}{q}\ge 2s+3$, and that it is left orderable if $\frac{p}{q}$ is in a neighborhood of zero depending on $s$.
We determine the smooth concordance order of the 3-stranded pretzel knots P(p,q,r) with p,q,r odd. We show that each one of finite order is, in fact, ribbon, thereby proving the slice-ribbon conjecture for this family of knots. As corollaries we give new proofs of results first obtained by Fintushel-Stern and Casson-Gordon.
We give a complete description of exceptional surgeries on pretzel knots of type $(-2, p, p)$ with $p \ge 5$. It is known that such a knot admits a unique toroidal surgery yielding a toroidal manifold with a unique incompressible torus. By cutting along the torus, we obtain two connected components, one of which is a twisted $I$-bundle over the Klein bottle. We show that the other is homeomorphic to the one obtained by certain Dehn filling on the magic manifold. On the other hand, we show that all such pretzel knots admit no Seifert fibered surgeries.
We apply the theory of "peculiar modules" for the Floer homology of 4-ended tangles developed by Zibrowius (specifically, the immersed curve interpretation of the tangle invariants) to compute the Knot Floer Homology ($\widehat{HFK}$) of 3-stranded pretzel knots of the form ${P(2a,-2b-1,\pm(2c+1))}$ for positive integers $a,b,c$. This corrects a previous computation by Eftekhary; in particular, for the case of ${P(2a,-2b-1,2c+1)}$ where $b<c$ and $b<a-1$, it turns out the rank of $\widehat{HFK}$ is larger than that predicted by that work.
We classify Dehn surgeries on (p,q,r) pretzel knots that result in a manifold of finite fundamental group. The only hyperbolic pretzel knots that admit non-trivial finite surgeries are (-2,3,7) and (-2,3,9). Agol and Lackenby's 6-theorem reduces the argument to knots with small indices p,q,r. We treat these using the Culler-Shalen norm of the SL(2,C)-character variety. In particular, we introduce new techniques for demonstrating that boundary slopes are detected by the character variety.
Let K_s be a (-2,3,2s+1)-type Pretzel knot (s >= 3) and E(K_s)(p/q) be a closed manifold obtained by Dehn surgery along K_s with a slope p/q. We prove that if q>0, p/q >= 4s+7 and p is odd, then E(K_s)(p/q) cannot contain an R-covered foliation. This result is an extended theorem of a part of works of Jinha Jun for (-2,3,7)-Pretzel knot.
We classify Dehn surgeries on (p,q,r) pretzel knots resulting in a manifold M(s) having cyclic fundamental group and analyze those leading to a finite fundamental group. The proof uses the theory of cyclic and finite surgeries developed by Culler, Shalen, Boyer, and Zhang. In particular, Culler-Shalen seminorms play a central role.
In his pioneering work from 1969, Jerry Levine introduced a complete set of invariants of algebraic concordance of knots. The evaluation of these invariants requires a factorization of the Alexander polynomial of the knot, and is therefore in practice often hard to realize. We thus propose the study of an alternative set of invariants of algebraic concordance - the rational Witt classes of knots. Though these are rather weaker invariants than those defined by Levine, they have the advantage of lending themselves to quite manageable computability. We illustrate this point by computing the ratio…
Greene-Jabuka and Lecuona confirmed the slice-ribbon conjecture for 3-stranded pretzel knots except for an infinite family $P(a,-a-2,-\frac{(a+1)^2}{2})$ where $a$ is an odd integer greater than $1$. Lecuona and Miller showed that $P(a,-a-2,-\frac{(a+1)^2}{2})$ are not slice unless $a\equiv 1, 11, 37, 47, 59 \pmod{60}$. In this note, we show that four-fifths of the remaining knots in the family are not slice.
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 compute the unknotting number of two infinite families of pretzel knots, $P(3,1,\dots,1,b)$ (with $b$ positive and odd and an odd number of 1s) and $P(3,3,3c)$ (with $c$ positive and odd). To do this, we extend a technique of Owens using Donaldson's diagonalization theorem, and one of Traczyk using the Jones polynomial, building on work of Lickorish and Millett.
We show that the SL(2,C)-character variety of the (-2,3,n) pretzel knot consists of two (respectively three) algebraic curves when 3 does not divide n (respectively 3 divides n) and give an explicit calculation of the Culler-Shalen seminorms of these curves. Using this calculation, we describe the fundamental polygon and Newton polygon for these knots and give a list of Dehn surgeries yielding a manifold with finite or cyclic fundamental group. This constitutes a new proof of property P for these knots.
The 3-strand pretzel knots and links are a well-studied source of examples in knot theory. However, while there have been computations of the Khovanov homology of some sub-families of 3-strand pretzel knots, no general formula has been given for all of them. We give a general formula for the unreduced Khovanov homology of all 3-strand pretzel links, over the rational numbers.
We computed the arc index for some of the pretzel knots $K=P(-p,q,r)$ with $p,q,r\ge2$, $r\geq q$ and at most one of $p,q,r$ is even. If $q=2$, then the arc index $α(K)$ equals the minimal crossing number $c(K)$. If $p\ge3$ and $q=3$, then $α(K)=c(K)-1$. If $p\ge5$ and $q=4$, then $α(K)=c(K)-2$.
We give a necessary, and in some cases sufficient, condition for sliceness inside the family of pretzel knots $P (p_1,...,p_n)$ with one $p_i$ even. The three stranded case yields two interesting families of examples: the first consists of knots for which the non-sliceness is detected by the Alexander polynomial while several modern obstructions to sliceness vanish. The second family has the property that the correction terms from Heegaard-Floer homology of the double branched covers of these knots do not obstruct the existence of a rational homology ball; however, the Casson-Gordon invariants…