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(t), even modulo T_2. This extends the recent result of Cha on the primary decomposition of T_n/T_{n+1} for all n greater than 1 to the case n=1.
To prove our theorem, we show that the surgery manifolds of satellite links of $ν^+$-equivalent knots with the same pattern link have the same Ozsváth-Szabó $d$-invariants, which is of independent interest. As another application, for each g greater than 0, we give a topologically slice knot of concordance genus g that is $ν^+$-equivalent to the unknot.
The bipolar filtration introduced by T. Cochran, S. Harvey, and P. Horn is a framework for the study of smooth concordance of topologically slice knots and links. It is known that there are topologically slice 1-bipolar knots which are not 2-bipolar. For knots, this is the highest known level at which the filtration does not stabilize. For the case of links with two or more components, we prove that the filtration does not stabilize at any level: for any n, there are topologically slice links which are n-bipolar but not (n+1)-bipolar. In the proof we describe an explicit geometric construction…
Let T denote the group of smooth concordance classes of topologically sice knots. We show that the first quotient in the bipolar filtration of T (i.e. 0-bipolar knots modulo 1-bipolar knots) has infinite rank, even modulo Alexander polynomial one knots. Any 0-bipolar knot has vanishing tau-, epsilon-, and s-invariants. We prove the result using d-invariants associated to the 2-fold branched covers of knot complements.
The bipolar filtration of Cochran, Harvey and Horn presents a framework of the study of deeper structures in the smooth concordance group of topologically slice knots. We show that the graded quotient of the bipolar filtration of topologically slice knots has infinite rank at each stage greater than one. To detect nontrivial elements in the quotient, the proof simultaneously uses higher order amenable Cheeger-Gromov $L^2$ $ρ$-invariants and infinitely many Heegaard Floer correction term $d$-invariants.
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.
We construct an infinite family of topologically slice 2--component boundary links $\ell_i$, none of which is smoothly concordant to a split link, such that $g_4(\ell_i)=i$.
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.
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 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…
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.
Let C_T be the subgroup of the smooth knot concordance group generated by topologically slice knots and let C_D be the subgroup generated by knots with trivial Alexander polynomial. We prove the quotient C_T/C_D is infinitely generated, and uncover similar structure in the 3-dimensional rational spin bordism group. Our methods also lead to the construction of links that are topologically, but not smoothly, concordant to boundary links.
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.
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.
We describe an error in the proof of a key proposition, which was necessary for the proof of the main result. Alternate proofs of the main result are given by Ozsvath-Stipsicz-Szabo and Dai-Hom-Stoffregen-Truong.
We propose and analyze a structure with which to organize the difference between a knot in the 3-sphere bounding a topologically embedded 2-disk in the 4-ball and it bounding a smoothly embedded disk. The n-solvable filtration of the topological knot concordance group, due to Cochran-Orr-Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically slice. However, the natural extension of this filtration to what is called the n-solvable filtration of the smooth knot concordance group, is unsatisfactory because any topologically slice knot lies …
Let $\mathcal{T}$ be the group of smooth concordance classes of topologically slice knots, and $\{0\}\subset\cdots\subset \mathcal{T}_{n+1}\subset\mathcal{T}_{n}\subset \cdots\subset \mathcal{T}_{0}\subset \mathcal{T}$ be the bipolar filtration. In this paper, we show that a proper collection of the knots employed by Hedden, Kim, and Livingston to prove $\mathbb{Z}_2^{\infty} < \mathcal{T}$ can be used to see $\mathbb{Z}_2^{\infty} < \mathcal{T}_0/\mathcal{T}_1$.
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 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.
For every integer g, we construct a 2-solvable and 2-bipolar knot whose topological 4-genus is greater than g. Note that 2-solvable knots are in particular algebraically slice and have vanishing Casson-Gordon obstructions. Similarly all known smooth 4-genus bounds from gauge theory and Floer homology vanish for 2-bipolar knots. Moreover, our knots bound smoothly embedded height four gropes in $D^4$, an a priori stronger condition than being 2-solvable. We use new lower bounds for the 4-genus arising from $L^{(2)}$-signature defects associated to meta-metabelian representations of the fundament…
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 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.
As proved by Hedden and Ording, there exist knots for which the Ozsvath-Szabo and Rasmussen smooth concordance invariants, tau and s, differ. The Hedden-Ording examples have nontrivial Alexander polynomials and are not topologically slice. It is shown in this note that a simple manipulation of the Hedden-Ording examples yields a topologically slice Alexander polynomial one knot for which tau and s differ. Manolescu and Owens have previously found a concordance invariant that is independent of both tau and s on knots of polynomial one, and as a consequence have shown that the smooth concordance…
We introduce a new technique for showing classical knots and links are not slice. As one application we resolve a long-standing question as to whether certain natural families of knots contain topologically slice knots. We also present a simpler proof of the result of Cochran-Teichner that the successive quotients of the integral terms of the Cochran-Orr-Teichner filtration of the knot concordance group have rank 1. For links we have similar results. We show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence…
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.
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 algebraic genus of a knot is an invariant that arises when one considers upper bounds for the topological slice genus coming from Freedman's theorem that Alexander polynomial one knots are topologically slice. This paper develops null-homologous twisting operations as a tool for studying the algebraic genus and, consequently, for bounding the topological slice genus above. As applications we give new upper bounds on the algebraic genera of torus knots and satellite knots.
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.
We study the effect of satellite operations on the Upsilon invariant of Ozsvath-Stipsicz-Szabo. We obtain results concerning when a knot and its satellites are independent; for example, we show that the set $\{D_{2^i,1}\}_{i=1}^\infty$ is a basis for an infinite rank summand of the group of smooth concordance classes of topologically slice knots, for D the positive clasped untwisted Whitehead double of any knot with positive tau-invariant, e.g. the right-handed trefoil. We also prove that the image of the Mazur satellite operator on the smooth knot concordance group contains an infinite rank s…
From Furuta's $\frac{10}{8}$ theorem, we derive a smooth slicing obstruction for knots in $S^3$ using a spin $4$-manifold whose boundary is $0$-surgery on a knot. We show that this obstruction is able to detect torsion elements in the smooth concordance group and find topologically slice knots which are not smoothly slice.
A crucial step in the surgery-theoretic program to classify smooth manifolds is that of representing a middle--dimensional homology class by a smoothly embedded sphere. This step fails even for the simple 4-manifolds obtained from the 4-ball by adding a 2-handle with framing r along some knot K in S^3. An r-shake slice knot is one for which a generator of the second homology of this 4-manifold can be represented by a smoothly embedded 2-sphere. It is not known whether there exist 0-shake slice knots that are not slice. We define a relative notion of shake sliceness of knots, which we call shak…
For an oriented link $L \subset S^3 = \Bd\!D^4$, let $χ_s(L)$ be the greatest Euler characteristic $χ(F)$ of an oriented 2-manifold $F$ (without closed components) smoothly embedded in $D^4$ with boundary $L$. A knot $K$ is {\it slice} if $χ_s(K)=1$. Realize $D^4$ in $\C^2$ as $\{(z,w):|z|^2+|w|^2\le1\}$. It has been conjectured that, if $V$ is a nonsingular complex plane curve transverse to $S^3$, then $χ_s(V\cap S^3)=χ(V\cap D^4)$. Kronheimer and Mrowka have proved this conjecture in the case that $V\cap D^4$ is the Milnor fiber of a singularity. I explain how this seemingly special case imp…
We define a new smooth concordance homomorphism based on the knot Floer complex and an associated concordance invariant, epsilon. As an application, we show that an infinite family of topologically slice knots are independent in the smooth concordance group.
In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obtain topologically slice knots that are not smoothly slice in any rational homology ball.
We define a filtration of the smooth concordance group based on the genus of representative knots. We use the Heegaard Floer epsilon and Upsilon invariants to prove the quotient groups with respect to this filtration are infinitely generated. Results are applied to three infinite families of topologically slice knots.
We produce infinite families of knots $\{K^i\}_{i\geq 1}$ for which the set of cables $\{K^i_{p,1}\}_{i,p\geq 1}$ is linearly independent in the knot concordance group. We arrange that these examples lie arbitrarily deep in the solvable and bipolar filtrations of the knot concordance group, denoted by $\{F_n\}$ and $\{B_n\}$ respectively. As a consequence, this result cannot be reached by any combination of algebraic concordance invariants, Casson-Gordon invariants, and Heegaard-Floer invariants such as tau, epsilon, and Upsilon. We give two applications of this result. First, for any n>=0, th…
There is an infinitely generated free subgroup of the smooth knot concordance group with the property that no nontrivial element in this subgroup can be represented by an alternating knot. This subgroup has the further property that every element is represented by a topologically slice knot.
We introduce a technique for showing classical knots and links are not slice. As one application we show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. We define generalized doubling operators, of which Bing doubling is an instance, and prove our nontriviality results in this more general context. Our main examples are boundary links that cannot be detected in the algebraic boundary link concordance group.
The n-solvable filtration $\{\mathcal{F}_n\}_{n=0}^\infty$ of the smooth knot concordance group (denoted by $\mathcal{C}$), due to Cochran-Orr-Teichner, has been instrumental in the study of knot concordance in recent years. Part of its significance is due to the fact that certain geometric characterizations of a knot imply membership in various levels of the filtration. We show the counterpart of this fact for two new filtrations of $\mathcal{C}$ due to Cochran-Harvey-Horn, the positive and negative filtrations, denoted by $\{\mathcal{P}_n\}_{n=0}^\infty$ and $\{\mathcal{N}_n\}_{n=0}^\infty$ …
We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot with trivial Alexander polynomial.
Let P be a knot in an unknotted solid torus (i.e. a satellite operator or pattern), K a knot in S^3 and P(K) the satellite of K with pattern P. For any satellite operator P, this correspondence gives a function P : C -> C on the set of smooth concordance classes of knots. We give examples of winding number one satellite operators P and a class of knots K, such that the iterated satellites P^i(K) are distinct as smooth concordance classes, i.e. if i=/=j>0, P^i(K)=/=P^j(K), where each P^i is unknotted when considered as a knot in S^3. This implies that the operators P^i give distinct functions o…
We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.
It is known that if any prime power branched cyclic cover of a knot in the 3-sphere is a homology sphere, then the knot has vanishing Casson-Gordon invariants. We construct infinitely many examples of (topologically) non-slice knots in the 3-sphere whose prime power branched cyclic covers are homology spheres. We show that these knots generate an infinite rank subgroup of F_(1.0)/F_(1.5) for which Casson-Gordon invariants vanish in Cochran-Orr-Teichner's filtration of the classical knot concordance group . As a corollary, it follows that Casson-Gordon invariants are not a complete set of obstr…
The operation of (untwisted) Whitehead doubling trivializes the Alexander module of a knot (and consequently, all known abelian invariants), and converts knots to topologically slice ones. In this note we show that Whitehead doubling does not trivialize the rational function that equals to the 2-loop part of the Kontsevich integral.
We use classical techniques to answer some questions raised by Daniele Celoria about almost-concordance of knots in arbitrary closed $3$-manifolds. We first prove that, given $Y^3 \neq S^3$, for any non-trivial element $g\in π_1(Y)$ there are infinitely many distinct smooth almost-concordance classes in the free homotopy class of the unknot. In particular we consider these distinct smooth almost-concordance classes on the boundary of a Mazur manifold and we show none of these distinct classes bounds a PL-disk in the Mazur manifold, but all the representatives we construct are topologically sli…
We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau …
