This paper presents evidence supporting the surprising conjecture that in the topological category the slice genus of a satellite knot $P(K)$ is bounded above by the sum of the slice genera of $K$ and $P(U)$. Our main result establishes this conjecture for a variant of the topological slice genus, the $\mathbb{Z}$-slice genus. As an application, we show that the $(n,1)$-cable of any 3-genus 1 knot (e.g. the figure 8 or trefoil knot) has topological slice genus at most 1. Further, we show that the lower bounds on the slice genus coming from the Tristram-Levine and Casson-Gordon signatures cannot be used to disprove the conjecture. Notably, the conjectured upper bound does not involve the algebraic winding number of the pattern $P$. This stands in stark contrast with the smooth category, where for example there are many genus 1 knots whose $(n,1)$-cables have arbitrarily large smooth 4-genera.
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.
The concordance genus of a knot is the least genus of any knot in its concordance class. It is bounded above by the genus of the knot, and bounded below by the slice genus, two well-studied invariants. In this paper we consider the concordance genus of 11--crossing prime knots. This analysis resolves the concordance genus of 533 of the 552 prime 11--crossing knots. The appendix to the paper gives concordance diagrams for 59 knots found to be concordant to knots of lower genus, including null-concordances for the 30 11--crossing knots known to be slice.
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.
In this paper, we develop a lower bound for the double slice genus of a knot using Casson-Gordon invariants. As an application, we show that the double slice genus can be arbitrarily larger than twice the slice genus. As an analogue to the double slice genus, we also define the superslice genus of a knot, and give both an upper bound and a lower bound in the topological category.
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.
It is known that the linking form on the 2-cover of slice knots has a metabolizer. We show that several weaker conditions, or some other conditions related to sliceness, do not imply the existence of a metabolizer. We then show how the Rudolph-Bennequin inequality can be used indirectly to prove that some knots are not slice.
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 …
We study the double slice genus of a knot, a natural generalization of slice genus. We define a notion called band number, a natural generalization of band unknotting number, and prove it is an upper bound on double slice genus. Our bound is based on an analysis of broken surface diagrams and embedding properties of 3-manifolds in 4-manifolds.
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.
For a knot $K$, the doubly slice genus $g_{ds}(K)$ is the minimal $g$ such that $K$ divides a closed, orientable, and unknotted surface of genus $g$ embedded in $S^4$. In this paper, we identify the doubly slice genera of 2909 of the 2977 prime knots which have a crossing number of 12 or fewer.
We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank.
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.
In this paper, we study reducible surgeries on knots in $S^3$. We develop thickness bounds for L-space knots that admit reducible surgeries, and lower bounds on the slice genus for general knots that admit reducible surgeries. The L-space knot thickness bounds allow us to finish off the verification of the Cabling Conjecture for thin knots, which was mostly worked out in \cite{DeY21b}. We also provide a new upper bound on reducing slopes for fibered, hyperbolic slice knots and on multiple reducing slopes for slice knots. Our techniques involve the $d$-invariants and mapping cone formula from H…
We give infinitely many examples of 2-bridge knots for which the topological and smooth slice genera differ. The smallest of these is the 12-crossing knot $12a255$. These also provide the first known examples of alternating knots for which the smooth and topological genera differ.
In the early 1980's Mike Freedman showed that all knots with trivial Alexander polynomial are topologically slice (with fundamental group Z). This paper contains the first new examples of topologically slice knots. In fact, we give a sufficient homological condition under which a knot is slice with fundamental group Z semi-direct product Z[1/2]. These two fundamental groups are known to be the only solvable ribbon groups. Our homological condition implies that the Alexander polynomial equals (t-2)(t^{-1}-2) but also contains information about the metabelian cover of the knot complement (since …
The concordance genus of a knot K is the minimum Seifert genus of all knots smoothly concordant to K. Concordance genus is bounded below by the 4-ball genus and above by the Seifert genus. We give a lower bound for the concordance genus of K coming from the knot Floer complex of K. As an application, we prove that there are topologically slice knots with 4-ball genus equal to one and arbitrarily large concordance genus.
The existence of topologically slice knots that are of infinite order in the knot concordance group followed from Freedman's work on topological surgery and Donaldson's gauge theoretic approach to 4-manifolds. Here, as an application of Ozsvath and Szabo's Heegaard-Floer theory, we show the existence of an infinite subgroup of the smooth concordance group generated by topologically slice knots of concordance order two. In addition, no nontrivial element in this subgroup can be represented by a knot with Alexander polynomial one.
As a corollary of work of Ozsvath and Szabo [math.GT/0301149], it is shown that the classical concordance group of algebraically slice knots has an infinite cyclic summand and in particular is not a divisible group.
We define a notion of complexity for shake-slice knots which is analogous to the definition of complexity for h-cobordisms studied by Morgan-Szabó. We prove that for each framing $n \ne 0$ and complexity $c \ge 0$, there is an $n$-shake-slice knot with complexity at least $c$. Our construction makes use of dualizable patterns, and we include a crash course in their properties. We bound complexity by studying the behavior of the classical knot signature and the Levine-Tristram signature of a knot under the operation of twisting algebraically-one strands.
