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 use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory.
These introductory notes on Whitney towers in 4-manifolds, as developed in collaboration with Jim Conant and Peter Teichner, are an expansion of three expository lectures given at the Winter Braids X conference February 2020 in Pisa, Italy. Topics presented include local manipulations of surfaces in 4-space, fundamental definitions related to Whitney towers and their associated trees, geometric Jacobi identities, the classification of order n twisted Whitney towers in the 4-ball and higher-order Arf invariants, and low-order Whitney towers on 2-spheres in 4-manifolds and related invariants.
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 present complete classifications of links in the 3-sphere modulo framed and twisted Whitney towers in a rational homology 4-ball. This provides a geometric characterization of the vanishing of the Milnor invariants of links in terms of Whitney towers. Our result also says that the higher order Arf invariants, which are conjectured to be nontrivial, measure the potential difference between the Whitney tower theory in rational homology 4-balls and that in the 4-ball extensively developed by Conant, Schneiderman and Teichner.
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…
Many open problems and important theorems in low-dimensional topology have been formulated as statements about certain 2--complexes called gropes. This paper describes a precise correspondence between embedded gropes in 4--manifolds and the failure of the Whitney move in terms of iterated `towers' of Whitney disks. The `flexibility' of these Whitney towers is used to demonstrate some geometric consequences for knot and link concordance connected to n-solvability, k-cobordism and grope concordance. The key observation is that the essential structure of gropes and Whitney towers can be described…
We show that Tim Cochran's invariants $β^i(L)$ of a $2$-component link $L$ in the $3$--sphere can be computed as intersection invariants of certain 2-complexes in the $4$--ball with boundary $L$. These 2-complexes are special types of twisted Whitney towers, which we call {\em Cochran towers}, and which exhibit a new phenomenon: A Cochran tower of order $2k$ allows the computation of the $β^i$ invariants for all $i\leq k$, i.e. simultaneous extraction of invariants from a Whitney tower at multiple orders. This is in contrast with the order $n$ Milnor invariants (requiring order $n$ Whitney tow…
We relate certain abelian invariants of a knot, namely the Alexander polynomial, the Blanchfield form, and the Arf invariant, to intersection data of a Whitney tower in the 4-ball bounded by the knot. We also give a new 3-dimensional algorithm for computing these invariants.
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…
The first part of this paper completes the classification of Whitney towers in the 4-ball that was started in three related papers. We provide an algebraic framework allowing the computations of the graded groups associated to geometric filtrations of classical link concordance by order n (twisted) Whitney towers in the 4-ball. Higher-order Sato-Levine invariants and higher-order Arf invariants are defined and shown to be the obstructions to framing a twisted Whitney tower. In the second part of this paper, a general theory of quadratic forms is developed and then specialized from the non-comm…
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.
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…
The first part of this paper exposits a simple geometric description of the Kirby-Siebenmann invariant of a 4--manifold in terms of a quadratic refinement of its intersection form. This is the first in a sequence of higher-order intersection invariants of Whitney towers studied by the authors, particularly for the 4--ball. In the second part of this paper, a general theory of quadratic forms is developed and then specialized from the non-commutative to the commutative to finally, the symmetric settings. The intersection invariant for twisted Whitney towers is shown to be the universal symmetri…
A geometric characterization of the Arf invariant of a knot in the 3-sphere is given in terms of two kinds of 4-dimensional bordisms, half-gropes and Whitney towers. These types of bordisms have associated complexities class and order which filter the condition of bordism by an embedded annulus, i.e. knot concordance, and it is shown constructively that the Arf invariant is exactly the obstruction to cobording pairs of knots by half-gropes and Whitney towers of arbitrarily high class and order. This illustrates geometrically how, in the setting of knot concordance, the Vassiliev (isotopy) inva…
This paper describes the relationship between the first non-vanishing Milnor invariants of a classical link and the intersection invariant of a twisted Whitney tower. This is a certain 2-complex in the 4-ball, built from immersed disks bounded by the given link in the 3-sphere together with finitely many `layers' of Whitney disks. The intersection invariant is a higher-order generalization of the intersection number between two immersed disks in the 4-ball, well known to give the linking number of the link on the boundary, which measures intersections among the Whitney disks and the disks boun…
We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and with relations well known from the 3-dimensional theory of finite type invariants. Surprisingly, the same exact relations arise in 4 dimensions, for example the Jacobi (or IHX) relation comes in our context from the freedom of choosing Whitney arcs. We use the finite type theory to show that our invariants agree with the (leading term of the tree part of the)…
We show how to measure the failure of the Whitney trick in dimension 4 by constructing higher- order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on immersed disks in the 4-ball, we identify some of these new invariants with previously known link invariants like Milnor, Sato-Levine and Arf invariants. We also define higher- order Sato-Levine and Arf invariants and show that these invariants detect the obstructions to framing a twisted Whitney tower. Together with Milnor invariants, these higher-order invaria…
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 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…
Knots and links in 3-manifolds are studied by applying intersection invariants to singular concordances. The resulting link invariants generalize the Arf invariant, the mod 2 Sato-Levine invariants, and Milnor's triple linking numbers. Besides fitting into a general theory of Whitney towers, these invariants provide obstructions to the existence of a singular concordance which can be homotoped to an embedding after stabilization by connected sums with $S^2\times S^2$. Results include classifications of stably slice links in orientable 3-manifolds, stable knot concordance in products of an orie…
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 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 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, …
In his study of the group of homology cylinders, J. Levine made the conjecture that a certain homomorphism eta': T -> D' is an isomorphism. Here T is an abelian group on labeled oriented trees, and D' is the kernel of a bracketing map on a quasi-Lie algebra. Both T and D' have strong connections to a variety of topological settings, including the mapping class group, homology cylinders, finite type invariants, Whitney tower intersection theory, and the homology of the group of automorphisms of the free group. In this paper, we confirm Levine's conjecture. This is a central step in classifying …
We study the group of rational concordance classes of codimension two knots in rational homology spheres. We give a full calculation of its algebraic theory by developing a complete set of new invariants. For computation, we relate these invariants with limiting behaviour of the Artin reciprocity over an infinite tower of number fields and analyze it using tools from algebraic number theory. In higher dimensions it classifies the rational concordance group of knots whose ambient space satisfies a certain cobordism theoretic condition. In particular, we construct infinitely many torsion element…
Along with excursions into manifolds with corners, resolution towers of Thom and Whitney stratifications, I show that for a generic gradientlike vector field on a manifold with a Morse function, the stable manifolds give a CW decomposition of the manifold. This has been done before.
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…
Relative self-linking and linking "numbers" for pairs of knots in oriented 3-manifolds are defined in terms of intersection invariants of immersed surfaces in 4-manifolds. The resulting concordance invariants generalize the usual homological notion of linking by taking into account the fundamental group of the ambient manifold and often map onto infinitely generated groups. The knot invariants generalize the cyclic (type 1) invariants of Kirk and Livingston and when taken with respect to certain preferred knots, called spherical knots, relative self-linking numbers are characterized geometrica…
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…
