Abstract. 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.
IntroductionTopology of dimension 4 is different from high dimensions because the Whitney move may fail. The essential problem is to find an embedded Whitney disk along which a pair of intersections of two sheets could be removed by a Whitney move. Once an immersed Whitney disk is obtained from fundamental group data, one may try to remove double points of the disk by finding a next stage of Whitney disks. Iterating this, we are led to the notion of a Whitney tower.Since work of Cochran, Orr and Teichner [COT03], concordance of knots and links, which is the "local case" of general disk embedding, has been extensively studied via frameworks formulated in terms of Whitney towers. In this paper, we will focus on asymmetric Whitney towers in dimension 4 bounded by links in S 3 , motivated from work of Conant, Schneiderman and Teichner [CST11,CST12c,CST14,CST12b,CST12a]. Whitney towers come in two flavors: framed and twisted. Whitney towers we consider have an order, which is a nonnegative integer measuring the number of iterated stages. Precise definitions can be found in Section 2.The main result of this paper is a complete classification of links in S 3 modulo Whitney towers in rational homology 4-balls. To state our result, we use the following notation. Fix m > 0, and let W n be the set of m-component links in S 3 bounding a twisted Whitney tower of order n in a rational homology 4-ball with boundary S 3 . We define the graded quotient W n of W n by the condition that L and L ′ in W n represent the same element in W n if and only if a band sum of L and −L ′ lies in W n+1 . In fact, in Section 4.3, we will show that it is an equivalence relation, and L ∈ W n+1 if and only if [L] = 0 in W n . So we may write W n = W n /W n+1 .
Theorem A.(1) Band sum is a well-defined operation on the set W n , independent of the choice of bands, and W n is an abelian group under band sum. (2) W n is classified by the Milnor invariants of order n (= length n + 2). (3) W n is a free abelian group of rank mR(m, n + 1) − R(m, n + 2), where R(m, n) = We remark that R(m, n) is the rank of the degree n part of the free Lie algebra on m variables, due to Witt (e.g., see [MKS66, Section 5.6]), and mR(m, n + 1) − R(m, n + 2)2010 Mathematics Subject Classification. 57N13, 57N70, 57M25. Key words and phrases. Whitney towers, Concordance, Rational homology 4-balls, Links, Milnor invariants, higher order Arf invariants.
RATIONAL WHITNEY TOWER FILTRATION OF LINKS2 is the number of linearly independent Milnor invar...