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 obstructions to a second layer of Whitney disks.
In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $π$ be a group and let $M \to N$ be a homomorphism between projective $\Z[π]$-modules such that $\Z_p \otimes_{\Z[π]} M\to \Z_p \otimes_{\Z[π]} N$ is injective; for which other right $\Z[π]$-modules $V$ is the induced map $V \otimes_{\Z[π]} M\to V\otimes_{\Z[π]}N$ also injective? Our main theorem gives a new criterion which combines and generalizes many previous results.
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$ …
In this paper we prove that the Casson-Gordon invariants of the connected sum of two knots split when the Alexander polynomials of the knots are coprime. As one application, for any knot K, all but finitely many algebraically slice twisted doubles of K are linearly independent in the knot concordance group.
The knot Floer complex together with the associated concordance invariant epsilon can be used to define a filtration on the smooth concordance group. We show that the indexing set of this filtration contains the natural numbers cross the integers as an ordered subset.
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.
In 2016 Levine showed that there exists a knot in a homology 3-sphere which is not smoothly concordant to any knot in the 3-sphere where one allows concordances in any smooth homology cobordism. Whether the same is true if one allows topological concordances is not known. One might hope that such an example might be detected by the powerful filtration of knot concordance introduced by Cochran-Orr-Teichner. We prove that this is not the case, demonstrating that for any knot in any homology sphere there is a knot in the 3-sphere equivalent to the original knot modulo any term of this filtration.…
We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures.
In this paper, we prove a conjecture of Friedl and Powell that their Casson-Gordon type invariant of 2-component link with linking number one is actually an obstruction to being height 3.5 Whitney tower/grope concordant to the Hopf Link. The proof employs the notion of solvable cobordism of 3-manifolds with boundary, which was introduced by Cha. We also prove that the Blanchfield form and the Alexander polynomial of links in $S^3$ give obstructions to height 3 Whitney tower/grope concordance. This generalizes the results of Hillman and Kawauchi.
We use the Heegaard-Floer homology correction terms defined by Ozsváth--Szabó to formulate a new obstruction for a knot to be of finite order in the smooth concordance group. This obstruction bears a formal resemblance to that of Casson and Gordon but is sensitive to the difference between the smooth versus topological category. As an application we obtain new lower bounds for the concordance order of small crossing knots.
The concordance genus of a knot K is the minimum three-genus among all knots concordant to K. For prime knots of 10 or fewer crossings there have been three knots for which the concordance genus was unknown. Those three cases are now resolved. Two of the cases are settled using invariants of Levine's algebraic concordance group. The last case depends on the use of twisted Alexander polynomials, viewed as Casson-Gordon invariants.
In knot concordance three genera arise naturally, g(K), g_4(K), and g_c(K): these are the classical genus, the 4-ball genus, and the concordance genus, defined to be the minimum genus among all knots concordant to K. Clearly 0 <= g_4(K) <= g_c(K) <= g(K). Casson and Nakanishi gave examples to show that g_4(K) need not equal g_c(K). We begin by reviewing and extending their results. For knots representing elements in A, the concordance group of algebraically slice knots, the relationships between these genera are less clear. Casson and Gordon's result that A is nontrivial implies that g_4(K) ca…
This is survey about the classical knot concordance group, prepared for an upcoming handbook of knot theory. Topics include: the basic definitions of concordance; the theory of algebraic concordance as developed by Levine; the theory of Casson-Gordon invariants; applications of topological surgery as developed by Freedman; smooth results based on differential geometric techniques such as those of Donaldson; the filtration of the concordance group as developed by Cochran, Orr, and Teichner; and relations to classical 3-dimensional knot theory. There is also a short problem list.
We establish several new results about both the (n)-solvable filtration, F_n^m, of the set of link concordance classes and the (n)-solvable filtration of the string link concordance group. We first establish a relationship between Milnor's invariants and links, L, with certain restrictions on the 4-manifold bounded by M_L. Using this relationship, we can relate (n)-solvability of a link (or string link) with its Milnor's invariants. Specifically, we show that if a link is (n)-solvable, then its Milnor's invariants vanish for lengths up to 2^{n+2}-1. Previously, there were no known results abou…
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.
Various obstructions to knot concordance have been found using Casson-Gordon invariants, higher-order Alexander polynomials, as well as von-Neumann rho-invariants. Examples have been produced using (iterated) doubling operations K=R(c,J), and considering these as parametrized by invariants of the base knot J and doubling operator R. In this paper, we introduce a new mew method to obstruct concordance. We show that infinitely many distinct concordance classes may be constructed by varying the infecting curve c in S^3-R. Distinct concordance classes are found even while fixing the base knot, the…
The concordance orders of many algebraic order two knots of ten or fewer crossings have been heretofore unknown. We use Casson-Gordon invariants and twisted Alexander polynomials to find that, in all but one case, these knots do not have concordance order two. We also find that a certain family of algebraic order two twisted doubles of the unknot have infinite concordance order.
We establish certain "non-triviality" results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group defined by K. Orr, P. Teichner and the first author, we refine the recent non-triviality results of Cochran and Teichner by including information on the Alexander modules. These results also extend those of C. Livingston and the second author. We exhibit similar structure in the closely related symmetric Grope filtration of the knot concordance group considered by the first author and T…
Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the mapping cylinder construction. Two homology cylinders M and M' are said to be Y_k-equivalent if M' is obtained from M by "twisting" an arbitrary surface S in M with a homeomorphim belonging to the k-th term of the lower central series of the Torelli group of S. The J_k-equivalence relation on IC is defined in a similar way using the k-th term of the Johnson filtration. In this paper, we characterize the Y_3-equivalence with thr…
We prove the nontriviality, at all integral levels n, of the filtration, F_n, of the classical topological knot concordance group recently defined by the authors and Kent Orr [COT]. Recall that this filtration is significant not only because of it's strong connection to Whitney tower constructions of Casson and Freedman, but also because all previously-known concordance invariants are related to the first few terms in the filtration. In [COT] we proved nontriviality at the first new level (n=3) by using von Neumann $ρ$-invariants of the 3-manifolds obtained by zero surgery on the knots. Here, …
This paper describes grope and Whitney tower filtrations on the set of concordance classes of classical links in terms of class and order respectively. Using the tree-valued intersection theory of Whitney towers, the associated graded quotients are shown to be finitely generated abelian groups under a (surprisingly) well-defined connected sum operation. Twisted Whitney towers are also introduced, along with a corresponding quadratic enhancement of the intersection theory for framed Whitney towers that measures Whitney-disk framing obstructions. The obstruction theory in the framed setting is s…
We consider the Grope filtration of the classical knot concordance group that was introduced in a paper of Cochran, Orr and Teichner. Our main result is that successive quotients at each stage in this filtration have infinite rank. We also establish the analogous result for the Grope filtration of the concordance group of string links consisting of more than one component.
We show that the Artin representation on concordance classes of string links induces a well-defined epimorphism modulo order n twisted Whitney tower concordance, and that the kernel of this map is generated by band sums of iterated Bing-doubles of any string knot with nonzero Arf invariant. We also continue J. Levine's work [20, 21, 22] comparing two filtrations of the group of homology cobordism classes of 3-dimensional homology cylinders, one defined in terms of an Artin-type representation (the Johnson filtration) and one defined using clasper surgery (the Goussarov-Habiro filtration). In p…
We introduce new obstructions to topological knot concordance. These are obtained from amenable groups in Strebel's class, possibly with torsion, using a recently suggested $L^2$-theoretic method due to Orr and the author. Concerning $(h)$-solvable knots which are defined in terms of certain Whitney towers of height $h$ in bounding 4-manifolds, we use the obstructions to reveal new structure in the knot concordance group not detected by prior known invariants: for any $n>1$ there are $(n)$-solvable knots which are not $(n.5)$-solvable (and therefore not slice) but have vanishing Cochran-Orr-Te…
It is known that each of the successive quotient groups of the grope and solvable filtrations of the knot concordance group has an infinite rank subgroup. The generating knots of these subgroups are constructed using iterated doubling operators. In this paper, for each of the successive quotients of the filtrations we give a new infinite rank subgroup which trivially intersects the previously known infinite rank subgroups. Instead of iterated doubling operators, the generating knots of these new subgroups are constructed using the notion of algebraic $n$-solutions, which was introduced by Coch…
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.
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 …
We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we…
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…
This paper computes Whitney tower filtrations of classical links. Whitney towers consist of iterated stages of Whitney disks and allow a tree-valued intersection theory, showing that the associated graded quotients of the filtration are finitely generated abelian groups. Twisted Whitney towers are studied and a new quadratic refinement of the intersection theory is introduced, measuring Whitney disk framing obstructions. It is shown that the filtrations are completely classified by Milnor invariants together with new higher-order Sato-Levine and higher-order Arf invariants, which are obstructi…
For any group G, we define a new characteristic series related to the derived series, that we call the torsion-free derived series of G. Using this series and the Cheeger-Gromov rho-invariant, we obtain new real-valued homology cobordism invariants rho_n for closed (4k-1)-dimensional manifolds. For 3-dimensional manifolds, we show that {rho_n} is a linearly independent set and for each n, the image of rho_n is an infinitely generated and dense subset of R. In their seminal work on knot concordance, T. Cochran, K. Orr, and P. Teichner define a filtration F_(n)^m of the m-component (string) link…
We employ Hirzebruch-type invariants obtained from iterated p-covers to investigate concordance of links and string links. We show that the invariants naturally give various group homomorphisms of the string link concordance group into L-groups over number fields. We also obtain homomorphisms of successive quotients of the Cochran-Orr-Teichner filtration. As an application we show that the kernel of Harvey's $ρ_n$-invariant is large enough to contain a subgroup with infinite rank abelianization, modulo local knots. As another application, we show that recently discovered nontrivial 2-torsion e…
In 1997 Cochran-Orr-Teichner introduced a natural filtration, called the n-solvable filtration, of the smooth knot concordance group, C. Its terms {F_n} are indexed by half integers. We show that each associated graded abelian group G_n=F_n/F_{n.5}, n>1, contains infinite linearly independent sets of elements of order 2 (this was known previously for n=0,1). Each of the representative knots is negative amphichiral, with vanishing s-invariant, tau-invariant, delta-invariants and Casson-Gordon invariants. Moreover each is smoothly slice in a rational homology 4-ball. In fact we show that there a…
We give a sufficient condition under which vanishing property of Cochran-Orr-Teichner knot concordance obstructions splits under connected sum. The condition is described in terms of self-annihilating submodules with respect to higher-order Blanchfield linking forms. This extends results of Levine and the authors on distinguishing knots with coprime Alexander polynomials up to concordance. As an application, we show that the knots constructed by Cochran, Orr and Teichner as the first examples of nonslice knots with vanishing Casson-Gordon invariants are not concordant to any knot of genus one.
We define an algebraic group comprising symmetric chain complexes which captures the first two stages of the Cochran-Orr-Teichner solvable filtration of the knot concordance group in a single obstruction. To achieve this we impose additional structure on each chain complex which puts extra control on the fundamental groups, and in particular on the way in which they can change in a concordance.
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…
We give a formula for the duality structure of the 3-manifold obtained by doing zero-framed surgery along a knot in the 3-sphere, starting from a diagram of the knot. We then use this to give a combinatorial algorithm for computing the twisted Blanchfield pairing of such 3-manifolds. With the twisting defined by Casson-Gordon style representations, we use our computation of the twisted Blanchfield pairing to show that some subtle satellites of genus two ribbon knots yield non-slice knots. The construction is subtle in the sense that, once based, the infection curve lies in the second derived s…
A knot in the 3-sphere is called doubly slice if it is a slice of an unknotted 2-sphere in the 4-sphere. We give a bi-sequence of new obstructions for a knot being doubly slice. We construct it following the idea of Cochran-Orr-Teichner's filtration of the classical knot concordance group. This yields a bi-filtration of the monoid of knots (under the connected sum operation) indexed by pairs of half integers. Doubly slice knots lie in the intersection of this bi-filtration. We construct examples of knots which illustrate non-triviality of this bi-filtration at all levels. In particular, these …
In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition whose gluing diffeomorphism lies at that level, on which this invariant is non-zero. In a final section we examine the relationship between the Johnson and Lagrangian filtrations.
We define an algebraic group comprising symmetric chain complexes which captures the first two stages of the Cochran-Orr-Teichner solvable filtration of the knot concordance group in a single invariant. To achieve this we impose additional structure on each chain complex which puts extra control on the fundamental groups, and in particular on the way in which they can change in a concordance.
In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and…
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$.
For each sequence of polynomials, P=(p_1(t),p_2(t),...), we define a characteristic series of groups, called the derived series localized at P. Given a knot K in S^3, such a sequence of polynomials arises naturally as the orders of certain submodules of the sequence of higher-order Alexander modules of K. These group series yield new filtrations of the knot concordance group that refine the (n)-solvable filtration of Cochran-Orr-Teichner. We show that the quotients of successive terms of these refined filtrations have infinite rank. These results also suggest higher-order analogues of the p(t)…
We compute the knot Floer filtration induced by a cable of the meridian of a knot in the manifold obtained by large integer surgery along the knot. We give a formula in terms of the original knot Floer complex of the knot in the three-sphere. As an application, we show that a knot concordance invariant of Hom can equivalently be defined in terms of filtered maps on the Heegaard Floer homology groups induced by the two-handle attachment cobordism of surgery along a knot.
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.
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.
We study knots of order 2 in the grope filtration $\{\G_h\}$ and the solvable filtration $\{\F_h\}$ of the knot concordance group. We show that, for any integer $n\ge4$, there are knots generating a $\Z_2^\infty$ subgroup of $\G_n/\G_{n.5}$. Considering the solvable filtration, our knots generate a $\Z_2^\infty$ subgroup of $\F_n/\F_{n.5}$ $(n\ge2)$ distinct from the subgroup generated by the previously known 2-torsion knots of Cochran, Harvey, and Leidy. We also present a result on the 2-torsion part in the Cochran, Harvey, and Leidy's primary decomposition of the solvable filtration.
We provide a framework for studying the interplay between concordance and positive mutation and identify some of the basic structures relating the two. The fundamental result in understanding knot concordance is the structure theorem proved by Levine: for n>1 there is an isomorphism phi from the concordance group C_n of knotted (2n-1)-spheres in S^{2n+1} to an algebraically defined group G_{+-}; furthermore, G__{+-} is isomorphic to the infinite direct sum Z^infty direct sum Z_2^infty direct sum Z_4^infty. It was a startling consequence of the work of Casson and Gordon that in the classical ca…
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 establish several results about two short exact sequences involving lower terms of the $n$-solvable filtration, $\{\mathcal{F}^m_n\}$ of the string link concordance group $\mathcal{C}^m$. We utilize the Thom-Pontryagin construction to show that the Sato-Levine invariants $\barμ_{(iijj)}$ must vanish for 0.5-solvable links. Using this result, we show that the short exact sequence $0\rightarrow \mathcal{F}^m_0/\mathcal{F}^m_{0.5} \rightarrow \mathcal{F}^m_{-0.5}/\mathcal{F}^m_{0.5} \rightarrow \mathcal{F}^m_{-0.5}/\mathcal{F}^m_0 \rightarrow 0$ does not split for links of two or more componen…
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…
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 use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic properties of the $s$-invariant all extend to the case of links; in particular, any orientable cobordism $Σ$ between links induces a map between their corresponding vector spaces which is filtered of degree $χ(Σ)$. A corollary of this construction is that any component preserving orientable cobordism from a $\Kh$-thin link to a link split into $k$ components …
We present a lower bound on the stable $4$-genus of a knot based on Casson-Gordon $τ$-signatures. We compute the lower bound for an infinite family of knots, the twist knots, and show that a twist knot is torsion in the knot concordance group if and only if it has vanishing stable $4$-genus.
