We present a class of knots associated with labelled generic immersions of intervals into the plane and compute their Gordian numbers and 4-dimensional invariants. At least 10% of the knots in Rolfsen's table belong to this class of knots. We call them track knots. They are contained in the class of quasipositive knots. In this connection, we classify quasipositive knots and strongly quasipositive knots up to 10 crossings.
A knot K is called Gordian adjacent to a knot L if there exists an unknotting sequence for L containing K. We provide a sufficient condition for Gordian adjacency of torus knots via the study of knots in the thickened torus. We also completely describe Gordian adjacency for torus knots of index 2 and 3 using Levine-Tristram signatures as obstructions to Gordian adjacency. Finally, Gordian adjacency for torus knots is compared to the notion of adjacency for plane curve singularities.
We give lower bounds for the Gordian distance and the unknotting number of handlebody-knots by using Alexander biquandle colorings. We construct handlebody-knots with Gordian distance $n$ and unknotting number $n$ for any positive integer $n$.
The Gordian distance between two knots measures how many crossing changes are needed to transform one knot into the other. It is known that there are always infinitely many non-equivalent knots `between' a pair of knots of Gordian distance two. In this paper we prove an extreme generalisation of this fact: there are knots with arbitrarily prescribed Vassiliev invariants between every pair of knots of Gordian distance two.
Gordian complex of knots was defined by Hirasawa and Uchida as the simplicial complex whose vertices are knot isotopy classes in $\mathbb{S}^3$. Later Horiuchi and Ohyama defined Gordian complex of virtual knots using $v$-move and forbidden moves. In this paper we discuss Gordian complex of knots by region crossing change and Gordian complex of virtual knots by arc shift move. Arc shift move is a local move in the virtual knot diagram which results in reversing orientation locally between two consecutive crossings. We show the existence of an arbitrarily high dimensional simplex in both the Go…
A knot $K_1$ is said to be Gordian adjacent to a knot $K_2$ if $K_1$ is an intermediate knot on an unknotting sequence of $K_2$. We extend previous results on Gordian adjacency by showing sufficient conditions for Gordian adjacency between classes of positive braid knots through manipulations of braid words. In addition, we explore unknotting sequences of positive braid knots and give a proof that there are only finitely many positive braid knots for a given unknotting number.
We give an obstruction for genus one knots $K$, $K'$ to have the Gordian distance one by using the $0$th coefficient of the HOMFLT polynomials. As an application, we give a new constraint for genus one knot to admit a (generalized) cosmetic crossing. Combining known results, we prove the (generalized) cosmetic crossing conjecture for genus one pretzel knots.
We define a metric filtration of the Gordian graph by an infinite family of 1-dense subgraphs. The n-th subgraph of this family is generated by all knots whose fundamental groups surject to a symmetric group with parameter at least n, where all meridians are mapped to transpositions. Incidentally, we verify the Meridional Rank Conjecture for a family of knots with unknotting number one yet arbitrarily high bridge number.
The Gordian graph and H(2)-Gordian graphs of knots are abstract graphs whose vertex sets represent isotopy classes of unoriented knots, and whose edge sets record whether pairs of knots are related by crossing changes or H(2)-moves, respectively. We investigate quotients of these graphs under equivalence relations defined by several knot invariants including the determinant, the span of the Jones polynomial, and an invariant related to tricolorability. We show, in all cases considered, that the quotient graphs are Gromov hyperbolic. We then prove a collection of results about the graph isomorp…
Starting from a divide, i.e. a generic immersion of finitely many copies of the interval [0,1] in the disk, we construct a classical link in the 3-sphere. We prove that the link's complement fibers over the circle, if the divide is connected. Moreover, we compute the monodromy diffeomorphism from the combinatorics of the divide. We added to this version of the paper the theorem about the gordian number of the link of a divide. The gordian number of the link of a divide equals the number of double points of the divide.
We call a knot $K$ a complete Alexander neighbor if every possible Alexander polynomial is realized by a knot one crossing change away from $K$. It is unknown whether there exists a complete Alexander neighbor with nontrivial Alexander polynomial. We eliminate infinite families of knots with nontrivial Alexander polynomial from having this property and discuss possible strategies for unresolved cases. Additionally, we use a condition on determinants of knots one crossing change away from unknotting number one knots to improve KnotInfo's unknotting number data on 11 and 12 crossing knots. Licko…
We study a local twist move on welded knots that is an analog of the virtualization move on virtual knots. Since this move is an unknotting operation we define an invariant, unknotting twist number, for welded knots. We relate the unknotting twist number with warping degree and welded unknotting number, and establish a lower bound on the twist number using Alexander quandle coloring. We also study the Gordian distance between welded knots by twist move and define the corresponding Gordian complex.
Given a link in $S^3$ we will use invariants derived from the Alexander module and the Blanchfield pairing to obtain lower bounds on the Gordian distance between links, the unlinking number and various splitting numbers. These lower bounds generalise results recently obtained by Kawauchi. We give an application restricting the knot types which can arise from a sequence of splitting operations on a link. This allows us to answer a question asked by Colin Adams in 1996.
We define a broad class of graphs that generalize the Gordian graph of knots. These knot graphs take into account unknotting operations, the concordance relation, and equivalence relations generated by knot invariants. We prove that overwhelmingly, the knot graphs are not Gromov hyperbolic, with the exception of a particular family of quotient knot graphs. We also investigate the property of homogeneity, and prove that the concordance knot graph is homogeneous. Finally, we prove that that for any $n$, there exists a knot $K$ such that the ball of radius $n$ in the Gordian graph centered at $K$…
We study the gordian graph of all knots in $\R^3$: two knots are adjacent if they differ by a single crossing change. We prove that this graph contains isometrically an infinite countable tree with infinite valency, and that the complement of any finite subset is connected.
New lower bounds on the unknotting number of a knot are constructed from the classical knot signature function. These bounds can be twice as strong as previously known signature bounds. They can also be stronger than known bounds arising from Heegaard Floer and Khovanov homology. Results include new bounds on the Gordian distance between knots and information about four-dimensional knot invariants. By considering a related non-balanced signature function, bounds on the unknotting number of slice knots are constructed; these are related to the property of double-sliceness.
Given a knot K in S^3, let u^-(K) (respectively, u^+(K)) denote the minimum number of negative (respectively, positive) crossing changes among all unknotting sequences for K. We use knot Floer homology to construct the invariants l^-(K), l^+(K) and l(K), which give lower bounds on u^-(K), u^+(K) and the unknotting number u(K), respectively. The invariant l(K) only vanishes for the unknot, and is greater than or equal to the ν^-(K). Moreover, the difference l(K)-ν^-(K) can be arbitrarily large. We also present several applications towards bounding the unknotting number, the alteration number an…
We show that if the connected sum of two knots with coprime Alexander polynomials is doubly slice, then the Ozsváth-Szabó correction terms as smooth double sliceness obstructions vanish for both knots. Recently, Jeffrey Meier gave smoothly slice knots that are topologically doubly slice, but not smoothly doubly slice. As an application, we give a new example of such knots that is distinct from Meier's knots modulo doubly slice knots.
A knot is said to be slice if it bounds a smooth properly embedded disk in the 4-ball. We demonstrate that the Conway knot, 11n34 in the Rolfsen tables, is not slice. This completes the classification of slice knots under 13 crossings, and gives the first example of a non-slice knot which is both topologically slice and a positive mutant of a slice knot.
We prove that there are infinitely many $(1,1)$-knots which are topologically slice, but not smoothly slice, which was a conjecture proposed by Béla András Rácz.
We prove that there exist infinitely many topologically slice knots which cannot bound a smooth null-homologous disk in any definite 4-manifold. Furthermore, we show that we can take such knots so that they are linearly independent in the the knot concordance group.
The knot Floer complex and the concordance invariant $\varepsilon$ can be used to define a filtration on the smooth concordance group. We exhibit an ordered subset of this filtration that is isomorphic to $\mathbb{N} \times \mathbb{N}$ and consists of topologically slice knots.
We prove that certain fibered, $-$amphicheiral knots are rationally slice. Moreover, we show that the concordance invariants $ν^+$ and $Υ(t)$ from Heegaard Floer homology vanish for a class of knots that includes rationally slice knots.
We use twisted Alexander polynomials to show that certain algebraically slice 2-bridge knots are not topologically slice, even though all prime power Casson-Gordon signatures vanish. We also provide some computations indicating the efficacy of Casson-Gordon signatures in obstructing the smooth sliceness of 2-bridge knots.
A knot in $S^3$ is rationally slice if it bounds a disk in a rational homology ball. We give an infinite family of rationally slice knots that are linearly independent in the knot concordance group. In particular, our examples are all infinite order. All previously known examples of rationally slice knots were order two.
We consider the question of when a slice knot admits a reducible Dehn surgery. By analyzing the correction terms associated to such a surgery, we show that slice knots cannot admit surgeries with more than two summands. We also give a necessary Heegaard Floer theoretic condition for a positive cable of a knot to be slice.
For $\ell >1$, we develop $L^{(2)}$-signature obstructions for $(4\ell-3)$-dimensional knots with metabelian knot groups to be doubly slice. For each $\ell>1$, we construct an infinite family of knots on which our obstructions are non-zero, but for which double sliceness is not obstructed by any previously known invariant.
We construct an infinite family of smoothly slice knots that we prove are topologically doubly slice. Using the correction terms coming from Heegaard Floer homology, we show that none of these knots is smoothly doubly slice. We use these knots to show that the subgroup of the double concordance group consisting of smoothly slice, topologically doubly slice knots is infinitely generated. As a corollary, we produce an infinite collection of rational homology 3-spheres that embed in $S^4$ topologically, but not smoothly.
We construct a hyperbolic fibered slice knot with right-veering monodromy, giving a negative answer to the question posed by Hubbard-Kawamuro-Kose-Martin-Plamenevskaya-Raoux-Truong-Turner.
We establish the slice-ribbon conjecture for a large family of Montesinos' knots by means of Donaldson's theorem on the intersection forms of definite 4-manifolds.
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 show that the subgroup of the knot concordance group generated by links of isolated complex singularities intersects the subgroup of algebraically slice knots in an infinite rank subgroup.
We study the classification of slice disks of knots up to isotopy and diffeomorphism using an invariant in knot Floer homology. We compute the invariant of a slice disk obtained by deform-spinning, and show that it can be effectively used to distinguish non-isotopic slice disks with diffeomorphic complements. Given a slice disk of a composite knot, we define a numerical stable diffeomorphism invariant called the rank. This can be used to show that a slice disk is not a boundary connected sum, and to give lower bounds on the complexity of certain hyperplane sections of the slice disk.
Frame-spun knots are constructed by spinning a knot of lower dimension about a framed submanifold of S^n. We show that all frame-spun knots are slice (null-cobordant).
We define an operation on homology ${B}^4$ which we call an $n$-twist annulus modification. We give a new construction of smoothly slice knots and exotically slice knots via $n$-twist annulus modifications. As an application, we present a new example of a smoothly slice knot with non-slice derivatives. Such examples were first discovered by Cochran and Davis. Also, we relate $n$-twist annulus modifications to $n$-fold annulus twists which was first introduced by Osoinach, then has been used by Abe and Tange to construct smoothly slice knots. Furthermore we consider $n$-twist annulus modificati…
The concordance group of algebraically slice knots is the subgroup of the classical knot concordance group formed by algebraically slice knots. Results of Casson and Gordon and of Jiang showed that this group contains in infinitely generated free (abelian) subgroup. Here it is shown that the concordance group of algebraically slice knots also contain elements of finite order; in fact it contains an infinite subgroup generated by elements of order 2.
A knot in the three-sphere is doubly slice if it is the cross-section of an unknotted two-sphere in the four-sphere. For low-crossing knots, the most complete work to date gives a classification of doubly slice knots through 9 crossings. We extend that work through 12 crossings, resolving all but four cases among the 2,977 prime knots in that range. The techniques involved in this analysis include considerations of the Alexander module and signature functions as well as calculations of the twisted Alexander polynomials for higher-order branched covers. We give explicit illustrations of the dou…
For n >1, if the Seifert form of a knotted 2n-1 sphere K in S^{2n+1} has a metabolizer, then the knot is slice. Casson and Gordon proved that this is false in dimension three (n = 1). However, in the three dimensional case it is true that if the metabolizer has a basis represented by a strongly slice link then K is slice. The question has been asked as to whether it is sufficient that each basis element is represented by a slice knot to assure that K is slice. For genus one knots this is of course true; here we present a genus two counterexample.
We give a new construction of slice knots via annulus twists. The simplest slice knots obtained by our method are those constructed by Omae. In this paper, we introduce a sufficient condition for given slice knots to be ribbon, and prove that all Omae's knots are ribbon.
In this paper, we compute the slice genus for many low-crossing virtual knots. For instance, we show that 1295 out of 92800 virtual knots with 6 or fewer crossings are slice, and that all but 248 of the rest are not slice. Key to these results are computations of Turaev's graded genus, which we show extends to give an invariant of virtual knot concordance. The graded genus is remarkably effective as a slice obstruction, and we develop an algorithm that applies virtual unknotting operations to determine the slice genus of many virtual knots with 6 or fewer crossings.
We use recently introduced Rasmussen invariant to find knots that are topologically locally-flatly slice but not smoothly slice. We note that this invariant can be used to give a combinatorial proof of the slice-Bennequin inequality. Finally, we compute the Rasmussen invariant for quasipositive knots and show that most of our examples of non-slice knots are not quasipositive and, to the best of our knowledge, were previously unknown.
We construct an infinite family of topologically slice knots that are not smoothly concordant to their reverses. More precisely, if T denotes the concordance group of topologically slice knots and R is the involution of T induced by string reversal, then T/Fix(R) contains an infinitely generated free subgroup. The result remains true modulo the subgroup of T generated by knots with trivial Alexander polynomial.
Kawauchi proved that every strongly negative amphichiral knot $K \subset S^3$ bounds a smoothly embedded disk in some rational homology ball $V_K$, whose construction a priori depends on $K$. We show that $V_K$ is independent of $K$ up to diffeomorphism. Thus, a single 4-manifold, along with connected sums thereof, accounts for all known examples of knots that are rationally slice but not slice.
In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at least has Arf invariant zero. Since that time, considerable evidence has been amassed in support of this conjecture. In particular, many invariants that obstruct a knot from being a slice knot have been explictly expressed in terms of invariants of such curves on the Seifert surface. We give counterexamples to Kauffman's conjecture, that is, we exhibit (smoo…
If the Bing double of a knot K is slice, then K is algebraically slice. In addition, Heegaard--Floer concordance invariants developed by Ozsvath-Szabo and by Manolescu-Owens vanish on K.
We present a large family of knots for which the Rasmussen s-invariants of arbitrary satellites do not detect sliceness. This answers a question of Hedden. The proof hinges on work of Kronheimer-Mrowka and Cochran-Harvey-Horn.
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.
