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 concordance group, called the (n)-solvable filtration. They also define a grope filtration G_n^m. We show that rho_n vanishes for (n+1)-solvable links. Using this, and the non-triviality of rho_n, we show that for each m>1, the successive quotients of the (n)-solvable filtration of the link concordance group contain an infinitely generated subgroup. We also establish a similar result for the grope filtration. We remark that for knots (m=1), the successive quotients of the (n)-solvable filtration are known to be infinite. However, for knots, it is unknown if these quotients have infinite rank when n>2.
We submit a new way to detect pairs of non-cobordant surface-links. We find a new example of a pair of non-cobordant surface-links with the following properties: Orr invariant, Cochran sequence, Sato-Levine invariant, the alinking number and one of Stallings's theorems cannot distinguish them. However our new way can distinguish them.
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 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 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…
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…
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 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 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…
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.
We use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological concordance group.
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…
The pair (K,r) consisting of a knot K and a surjective map r from the knot group onto a dihedral group is said to be a p-colored knot. D. Moskovich conjectured that for any odd prime p there are exactly p equivalence classes of p-colored knots up to surgery along unknots in the kernel of the coloring. We show that there are at most 2p equivalence classes. This is a vast improvement upon the previous results by Moskovich for p=3, and 5, with no upper bound given in general. T. Cochran, A. Gerges, and K. Orr, in "Dehn surgery equivalence relations of 3-manifolds", define invariants of the surger…
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.
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 give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a subgroup ``large enough'' to map onto a non-abelian free solvable group, and to concordance and grope cobordism of links. We also greatly generalize several key homological results employed in recent work of Cochran-Orr-Teichner, in the context of classical knot concordance. In …
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…
Cochran, Orr and Teichner introduced $L^2$--eta--invariants to detect highly non--trivial examples of non slice knots. Using a recent theorem by Lück and Schick we show that their metabelian $L^2$--eta--invariants can be viewed as the limit of finite dimensional unitary representations. We recall a ribbon obstruction theorem proved by the author using finite dimensional unitary eta--invariants. We show that if for a knot $K$ this ribbon obstruction vanishes then the metabelian $L^2$--eta--invariant vanishes too. The converse has been shown by the author not to be true.
This paper continues the study of decompositions of a smooth 4-manifold into two handlebodies with handles of index $\leq2$. Part I gave existence results in terms of spines and chain complexes over the fundamental group of the ambient manifold. Here we assume that one side of a decomposition has larger fundamental group, and use this to define algebraic-topological invariants. These reveal a basic asymmetry in these decompositions: subtle changes on one side can force algebraic-topologically detectable changes on the other. A solvable iteration of the basic invariant gives an ``obstruction th…
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…
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…
We explain new developments in classical knot theory in 3 and 4~dimensions, i.e. we study knots in 3-space, up to isotopy as well as up to concordance. In dimension~3 we give a geometric interpretation of the Kontsevich integral (joint with Jim Conant), and in dimension 4 we introduce new concordance invariants using von Neumann signatures (joint with Tim Cochran and Kent Orr). The common geometric feature of our results is the notion of a grope cobordism.
We introduce a notion of symmetric Whitney tower cobordism between bordered 3-manifolds, aiming at the study of homology cobordism and link concordance. It is motivated by the symmetric Whitney tower approach to slicing knots and links initiated by Cochran, Orr, and Teichner. We give amenable Cheeger-Gromov rho-invariant obstructions to bordered 3-manifolds being Whitney tower cobordant. Our obstruction is related to and generalizes several prior known results, and also gives new interesting cases. As an application, our method applied to link exteriors reveals new structures on (Whitney tower…
We give a new geometric obstruction to the iterated Bing double of a knot being a slice link: for n>1 the (n+1)-st iterated Bing double of a knot is rationally slice if and only if the n-th iterated Bing double of the knot is rationally slice. The main technique of the proof is a covering link construction simplifying a given link. We prove certain similar geometric obstructions for n <= 1 as well. Our results are sharp enough to conclude, when combined with algebraic invariants, that if the n-th iterated Bing double of a knot is slice for some n, then the knot is algebraically slice. Also our…
Cochran, Orr, and Teichner developed a filtration of the knot concordance group indexed by half integers called the solvable filtration. Its terms are denoted by $\mathcal{F}_n$. It has been shown that $\mathcal{F}_n/\mathcal{F}_{n.5}$ is a very large group for $n\ge 0$. For a generalization to the setting of links the third author showed that $\mathcal{F}_{n.5}/\mathcal{F}_{n+1}$ is non-trivial. In this paper we provide evidence that for knots $\mathcal{F}_{0.5}=\mathcal{F}_1$. In particular we prove that every genus 1 algebraically slice knot is 1-solvable.
The $n$-solvable filtration of the $m$-component smooth (string) link concordance group, $$\dots \subset \mathcal{F}^m_{n+1} \subset \mathcal{F}^m_{n.5} \subset \mathcal{F}^m_n \dots \subset \mathcal{F}^m_1 \subset \mathcal{F}^m_{0.5} \subset \mathcal{F}^m_0 \subset \mathcal{F}^m_{-0.5} \subset \mathcal{C}^m,$$ as defined by Cochran, Orr, and Teichner, is a tool for studying smooth knot and link concordance that yields important results in low-dimensional topology. The focus of this paper is to give a characterization of the set of 0-solvable links. We introduce a new equivalence relation on l…
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 study the structure of the exteriors of gropes and Whitney towers in dimension 4, focusing on their fundamental groups. In particular we introduce a notion of unknottedness of gropes and Whitney towers in the 4-sphere. We prove that various modifications of gropes and Whitney towers preserve the unknottedness and do not enlarge the fundamental group. We exhibit handlebody structures of the exteriors of gropes and Whitney towers constructed by earlier methods of Cochran, Teichner, Horn, and the first author, and use them to construct examples of unknotted gropes and Whitney towers. As an app…
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.
We explain how the usual algebras of Feynman diagrams behave under the grope degree introduced in "Grope cobordism of classical knots." We show that the Kontsevich integral rationally classifies grope cobordisms of knots in 3-space when the ``class'' is used to organize gropes. This implies that the grope cobordism equivalence relations are highly nontrivial in dimension three. We also show that the class is not a useful organizing complexity in four dimensions since only the Arf invariant survives. In contrast, measuring gropes according to ``height'' does lead to very interesting four-dimens…
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 …
We obtain new invariants of topological link concordance and homology cobordism of 3-manifolds from Hirzebruch-type intersection form defects of towers of iterated p-covers. Our invariants can extract geometric information from an arbitrary depth of the derived series of the fundamental group, and can detect torsion which is invisible via signature invariants. Applications illustrating these features include the following: (1) There are infinitely many homology equivalent rational 3-spheres which are indistinguishable via multisignatures, eta-invariants, and L2-signatures but have distinct hom…
We give a useful classification of the metabelian unitary representations of pi_1(M_K), where M_K is the result of zero-surgery along a knot K in S^3. We show that certain eta invariants associated to metabelian representations pi_1(M_K) --> U(k) vanish for slice knots and that even more eta invariants vanish for ribbon knots and doubly slice knots. We show that our vanishing results contain the Casson-Gordon sliceness obstruction. In many cases eta invariants can be easily computed for satellite knots. We use this to study the relation between the eta invariant sliceness obstruction, the eta-…
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 explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it…
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…
Geometric aspects of the filtration on classical links by k-quasi-isotopy are discussed, including the effect of Whitehead doubling, relations with Smythe's n-splitting and Kobayashi's k-contractibility. One observation is: ω-quasi-isotopy is equivalent to PL isotopy for links in a homotopy 3-sphere (resp. contractible open 3-manifold) M if and only if M is homeomorphic to S^3 (resp. R^3). As a byproduct of the proof of the "if" part, we obtain that every compact subset of an acyclic open set in a compact orientable 3-manifold M is contained in a PL homology 3-ball in M. We show that k-quasi-i…
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$ …
This thesis develops some general calculational techniques for finding the orders of knots in the topological concordance group C. The techniques currently available in the literature are either too theoretical, applying to only a small number of knots, or are designed to only deal with a specific knot. The thesis builds on the results of Herald, Kirk and Livingston [HKL10] and Tamulis [Tam02] to give a series of criteria, using twisted Alexander polynomials, for determining whether a knot is of infinite order in C. There are two immediate applications of these theorems. The first is to give t…
The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the knot group, G, these invariants reflect the structure of G^(1)/G^(2) as a module over G/G^(1) (here G^(n) is the n-th term of the derived series of G). Hence any phenomenon associated to G^(2) is invisible to abelian invariants. This paper begins the systematic study of invarian…
