Max-Planck-Institut für Mathematik Bonn

Transcription

1 Max-Planck-Institut für Mathematik Bonn Milnor invariants and twisted Whitney towers by James Conant Rob Schneiderman Peter Teichner Max-Planck-Institut für Mathematik Preprint Series 2011 (8)

2

3 Milnor invariants and twisted Whitney towers James Conant Rob Schneiderman Peter Teichner Max-Planck-Institut für Mathematik Vivatsgasse Bonn Germany Department of Mathematics University of Tennessee Knoxville, TN USA Department of Mathematics and Computer Science Lehman College, City University of New York Bronx, NY USA Department of Mathematics University of California Berkeley, CA USA MPIM 11-8

4

5 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS JAMES CONANT, ROB SCHNEIDERMAN, AND PETER TEICHNER Abstract. This paper describes the relation between the first non-vanishing Milnor invariants of a link in the 3 sphere and the intersection invariant of a twisted Whitney tower in the 4 ball bounded by the link. In combination with results from three closely related papers [5, 6, 7], we conclude that for n 0, 1, 3 mod 4, the group W n of links bounding order n twisted Whitney towers modulo order n + 1 twisted Whitney tower concordance is free abelian with rank equal to the number of length n + 2 Milnor invariants. We also show that the groups W 4k+2 contain at most 2-torsion and give an upper bound on the number of generators of these groups. These upper bounds are sharp if and only if our higher-order Arf invariants Arf k are Z 2 -linearly independent. Constructing boundary links realizing the image of Arf k for all k leads to two new geometric characterizations of links with vanishing length 2n Milnor invariants. 1. Introduction In [5] we defined the twisted Whitney tower filtration on the set L = L(m) of framed links in the 3 sphere with m components: (W ) W 3 W 2 W 1 W 0 = L Here W n = W n (m) is the set of framed links with m components that bound a twisted Whitney tower of order n in the 4 ball. The equivalence relation on W n of twisted Whitney tower concordance of order n + 1 led us to the associated graded W n = W n (m), and we showed that these are finitely generated abelian groups for all n, under a band sum operation #. As a consequence, we showed that W n is the set of links L W n modulo the relation that [L 1 ] = [L 2 ] W n if and only if L 1 # L 2 lies in W n+1, for some choice of band sum #. Here L is the mirror image of L with reversed framing. Key words and phrases. Milnor invariants, Whitney towers, twisted Whitney tower, Whitney disk, link concordance, higher-order Arf invariants, trees, k-slice. 1

6 2 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER The twist symbol in our notation stands for the fact that some of the Whitney disks in a twisted Whitney tower are allowed to be nontrivially twisted, rather than framed (which corresponds to 0-twisting). In this paper, we will show how Milnor invariants [21, 22] give rise to invariants defined on the associated graded groups W n : Theorem 1. The Milnor invariants of length n + 1 vanish for links L W n, and the length n + 2 Milnor invariants of L can be computed from the intersection tree τ n (W) of any twisted Whitney tower W of order n bounded by the link L. The second statement will be made precise in Theorem 5. For example, W 0 = W 0 (m) = Z k where k = m(m + 1)/2 is the number of possible linking numbers and framings (on the diagonal) of a link with m components. Recall that linking numbers (Milnor invariants of length 2) are just intersection numbers of disks bounding the components of the link (Whitney towers of order 0), showing the relation to our filtration and intersection invariants at the lowest order. Theorem 5 shows how to compute higher-order Milnor invariants in terms of higher-order intersections of Whitney disks. Quite surprisingly, results from [5, 6, 7] together with Theorem 5 imply that for n 0, 1, 3 mod 4 the Milnor invariants completely classify the groups W n, see Theorem 7 for a precise statement. The classification of W 4k 2 requires in addition what we call higher-order Arf invariants Arf k, see Definition 10. We show in Lemma 9 that Arf 1 contains the same information as the classical Arf invariants of the link components. Theorem 2. For all n N, the groups W n are classified by Milnor invariants µ n and, in addition, higher-order Arf invariants Arf k for n = 4k 2. While we do show in [7] that these higher-order Arf invariants are the only remaining obstructions after the Milnor invariants, it is possible that Arf k are trivial for k > 1. In Proposition 8 we give upper bounds for the range of Arf k in terms of known 2-torsion groups and we conjecture that these upper bounds are optimal in Conjecture 11. The construction of boundary links realizing the range of Arf k (Lemma 12) yields two new geometric characterizations of links with vanishing length 2n Milnor invariants, as described in Theorem 16 and Theorem 17 below. The results in this paper on the twisted Whitney tower filtration also have implications for the framed grope and Whitney tower filtrations G n = W n introduced in [5]. In particular, combining the results of this

7 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 3 paper with our resolution of a combinatorial conjecture of J. Levine in [6], leads to a complete classification in [7] of the associated graded groups G n = W n, again in terms of Milnor invariants and higher-order Arf invariants, together with higher-order Sato-Levine invariants. It turns out that the higher-order Arf and Sato-Levine invariants represent the obstructions to framing ( untwisting ) a twisted Whitney tower. Also in [7] we describe how the target group T 2n for the (even order) twisted Whitney tower intersection theory can be viewed as a universal quadratic refinement of the target group T 2n for the (even order) framed intersection theory. Aside from being a satisfying algebraic construction of the groups T 2n, this general development is also essential in the classification of the graded groups associated to the framed filtrations. This entire program is surveyed in [4]. The relevant papers are organized as follows: The geometric definitions and arguments are given in [5], the current paper connects the geometry with the Milnor invariants, [6] proves the combinatorial Levine Conjecture using discrete Morse theory, and the algebraic framework for computing the geometric filtrations is assembled in [7]. Related applications to the settings of string links and 3-dimensional homology cylinders are described in [8]. The rest of this introduction develops enough material to give the precise statements of Theorems 1 and 2, and present the geometric applications in Theorem 16 and Theorem Quick review of Milnor s invariants. If L S 3 is an m- component link such that all its longitudes lie in the (n + 1)-th term of the lower central series of the link group π 1 (S 3 \ L) n+1, then the choice of meridians induces an isomorphism π 1 (S 3 \ L) n+1 π 1 (S 3 \ L) n+2 = F n+1 F n+2 where F = F (m) is the free group on {x 1, x 2,..., x m }. Let L = L(m) denote the free Lie algebra (over the ground ring Z) on generators {X 1, X 2,..., X m }. It is N-graded, L = n L n, where the degree n part L n is the additive abelian group of length n brackets, modulo Jacobi identities and self-annihilation relations [X, X] = 0. The multiplicative abelian group F n+1 F n+2 of length n + 1 commutators is isomorphic to L n+1, with x i mapping to X i and group commutators to Lie brackets. In this setting, denote by µ i n(l) the image of the i-th longitude in L n+1 under the above isomorphisms and define the first non-vanishing

8 4 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER Milnor invariant µ n (L) of order n by µ n (L) := i X i µ i n(l) L 1 L n+1 Note that µ n (L) is the total Milnor invariant and corresponds to all Milnor invariants of length n + 2. For example, µ 0 (L) contains the same information as all linking numbers of L. It turns out that µ n (L) actually lies in the kernel D n = D n (m) of the bracket map L 1 L n+1 L n+2 by cyclic symmetry [12]. We observe that L n and D n are free abelian groups of known ranks: The rank r n = r n (m) of L n (m) is given by r n = 1 n d n mob(d)mn/d, with mob( ) denoting the Möbius function [19]; and the rank of D n (m) is equal to mr n+1 r n+2, first identified as the number of independent (integer) µ-invariants of length n + 2 in [23] Intersection trees for twisted Whitney towers. Recall from [5], or Definition 24 below, that an order n (framed) Whitney tower W in the 4 ball has an intersection invariant τ n (W) which lies in the group T n = T n (m). Here m is the number of components of the link on the boundary of W. For the convenience of the reader, we recall these important groups briefly. Definition 3. In this paper, a tree will always refer to an oriented unitrivalent tree, where the orientation of a tree is given by cyclic orientations at all trivalent vertices. The order of a tree is the number of trivalent vertices. Univalent vertices will usually be labeled from the set {1, 2, 3,..., m} corresponding to the link components, and we consider trees up to isomorphisms preserving these labelings. We define T = T (m) to be the free abelian group on such trees, modulo the antisymmetry (AS) and Jacobi (IHX) relations shown in Figure 1. Since the AS and IHX relations are homogeneous with respect to order, T inherits a grading T = n T n, where T n = T n (m) is the free abelian group on order n trees, modulo AS and IHX relations. For twisted Whitney towers of order n, there is also an intersection invariant τ n which takes values in the following groups. They take into account the twisting obstruction (relative Euler number) for those Whitney disks in the tower that are not framed, compare Definition 27. Definition 4. The group T 2k 1 is the quotient of T 2k 1 by the boundarytwist relations: i < J J = 0

9 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 5 AS: IHX: Figure 1. Local pictures of the antisymmetry (AS) and Jacobi (IHX) relations in T. Here all trivalent orientations are induced from a fixed orientation of the plane, and univalent vertices possibly extend to subtrees which are fixed in each equation. For any rooted tree J we define the corresponding -tree, denoted by J, by labeling the root univalent vertex with the twist-symbol : J := J The group T 2k is the free abelian group on order 2k trees as above and order k -trees, modulo the following relations: (i) AS and IHX relations on order 2k trees (ii) symmetry relations: ( J) = J (iii) twisted IHX relations: I = H + X H, X (iv) interior twist relations: 2 J = J, J Here the inner product H, X of two rooted trees is defined by gluing the roots together, hence obtaining an unrooted tree of order 2k. The geometric origin of these relations will be explained in Section The summation maps η n. The connection between µ n (L) and τ n (W) is via a homomorphism η n : T n D n, which is best explained when we regard rooted trees of order n as elements in L n+1 in the usual way: For v a univalent vertex of an order n tree t as in Definition 24, denote by B v (t) L n+1 the Lie bracket of generators X 1, X 2,..., X m determined by the formal bracketing of indices which is gotten by considering v to be a root of t. Denoting the label of a univalent vertex v by l(v) {1, 2,..., m}, the map η n : T n L 1 L n+1 is defined on generators by η n (t) := v t X l(v) B v (t) and η n (J ) := η n ( J, J )/2

10 6 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER The first sum is over all univalent vertices v of t, and the second expression lies in L 1 L n+1 because the coefficients of η n ( J, J ) are even. Here J is a rooted tree of order k for n = 2k. For example, η 1 (1 < 3 2 ) = X 1 < X 2 1 < 3 + X 3 1 < 2 = X 1 [X 2, X 3 ] + X 2 [X 3, X 1 ] + X 3 [X 1, X 2 ] And similarly η 2 ( < 2 1 ) = η 2 ( 1 2 > < 2 1) /2 = X 1 2 > < X 2 1 > < 2 1 = X 1 [X 2, [X 1, X 2 ]] + X 2 [[X 1, X 2 ], X 1 ] We can now make Theorem 1 precise as follows: Theorem 5. If L bounds a twisted Whitney tower W of order n, then the total Milnor invariants µ k (L) vanish for k < n and µ n (L) = η n τ n (W) D n It is important to point out that the theorem implies that the right hand side of the equation indeed only depends on the link L and not on the twisted Whitney tower W it bounds. In [27] the above result was shown for framed Whitney towers, using a translation into claspers and the Habbeger-Masbaum identification of the Milnor invariants with the tree part of the Kontsevich invariant [13]. This roundabout argument is now replaced by a very direct geometric one, namely using the notion of grope duality from [16]. It explains clearly the relationship between higher-order intersection trees and iterated commutators, as expressed algebraically by the map η, and also works for twisted Whitney towers. The proof will shed light on the geometry behind Habbeger and Masbaum s computation in [13]. In particular, the coefficients of 1/2 on certain symmetric trees in the image lattice correspond to the effect of reflecting commutators in the longitudes which is provided by twisted Whitney disks in a twisted Whitney tower Computing the associated graded groups. In [5] we constructed realization epimorphisms R n : T n W n which send g T n to the equivalence class of links bounding an order n twisted Whitney tower W with τ n (W) = g. Roughly speaking, these maps are defined by Bing doubling along trees and taking internal band sums if indices repeat. More precisely, for unrooted trees we start with the Hopf link (whose intersection tree is 1 2) and do iterated (untwisted) Bing doubling according to the branching of the

11 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 7 tree until we obtain the correct tree but with non-repeating indices labeling the univalent vertices. For example, the Borromean rings with tree 1 < 3 2 arises from the Hopf link by a single Bing doubling. Finally, we take internal band sums according to which indices repeat. For example, one internal band sum may take the Borromean rings to the Whitehead link which is thus R 1 (1 < 2 2). For -trees, the starting point is the 1-framed unknot as R 0 ( 1). The first Bing double has to be a twisted one, giving the Whitehead link as R 2 ( < 1 2). Notice that this means that the Whitehead link bounds two different Whitney towers, one framed of order 1 and one twisted of order 2. The rest of the Bing doublings are again untwisted because they are done away from the -labeled univalent vertex, and the internal bands sums are as above. The maps R n bound the size of the abelian groups W n from above, and the following corollary of Theorem 5 shows that Milnor invariants give a lower bound. Here we are using the surjectivity of η from [17], as adapted to our setting. Corollary 6. There is a commutative diagram of epimorphisms R n T n W n η n This result shows how the groups W n, defined in a 4-dimensional manner, are caught in between two combinatorially defined groups T n and D n. The latter groups are defined in terms of trees, so in a sense they are 1-dimensional; and in fact the generators are spines of the Whitney towers, in the sense that all singularities are contained in thickenings of embeddings of the trees. Using this dimensional reduction, the following algebraic result from [7] completes our calculation in three out of four cases: Theorem 7 ([7]). The maps η n : T n D n are isomorphisms for n 0, 1, 3 mod 4. As a consequence, both the total Milnor invariants µ n : W n D n and the realization maps R n : T n W n are isomorphisms for these orders. Theorem 7 is a consequence of our proof [6] of the Levine Conjecture [18], which says that related maps η n : T n D n are isomorphisms. In [7] we explain the relationship between η and η, and prove Theorem 7 as well as Proposition 8 below. µ n D n

12 8 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER The last quarter of the cases is more complicated as can already be seen for n = 2: In the case m = 1 of knots, Lemma 9 below shows that the Arf invariant induces an isomorphism W 2 (1) = Z 2, whereas all Milnor invariants vanish for knots. Unlike for n 0, 1, 3 mod 4, where Ker(η n ) = 0, there are some obvious elements in Ker(η 4k 2 ), namely those of the form < J J for an order k 1 rooted tree J. These are 2-torsion by the antisymmetry relation in T 4k 2 and hence must map to zero in the (torsion-free) group D 4k 2. In [7] we also deduce the following result from the Levine conjecture: Proposition 8 ([7]). The map sending 1 [J] to < J J T 4k 2 for rooted trees J of order k 1 defines an isomorphism: Z 2 L k = Ker(η4k 2 ) It follows that Z 2 L k is also an upper bound on the kernels of the epimorphisms R 4k 2 : T 4k 2 W 4k 2 and µ 4k 2 : W 4k 2 D 4k 2, and the calculation of W 4k 2 is completed by invariants defined on the kernel of µ 4k 2 which we believe are new concordance invariants generalizing the classical Arf invariant, as we describe next Higher-order Arf invariants. Let us first discuss the situation for order n = 2. Observe that < 1 1 is not zero in T 2 (1) but that 1 1 > < 1 1 = 0 by the IHX relation; so T 2 (1) is generated by < 1 1, which is 2-torsion by antisymmetry, and τ 2 (W) counts (modulo 2) the framing obstructions on the Whitney disks in an order 2 twisted Whitney tower W. Lemma 9. Any knot K bounds a twisted Whitney tower W of order 2 and the classical Arf invariant of K can be identified with the intersection invariant τ 2 (W) T 2 (1) = Z 2 More generally, the classical Arf invariants of the components of an m-component link give an isomorphism Arf : Ker(µ 2 : W 2 D 2 ) = (Z 2 L 1 ) = (Z 2 ) m This lemma, which is proved in Section 5, verifies our conjecture W n = Tn from Conjecture 11 below for n = 2, with Ker(η 2 ) = Ker(µ 2 ) = (Z 2 ) m. We will now propose a similarly satisfying picture for all orders of the form n = 4k 2 that takes both the Milnor and Arf invariants into account.

13 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 9 Let K 4k 2 denote the kernel of µ 4k 2. It follows from Corollary 6 and Proposition 8 above that mapping 1 [J] to R 4k 2 ( < J J ) induces a surjection α k : Z 2 L k K 4k 2, for all k 1. Denote by α k the induced isomorphism on (Z 2 L k )/ Ker α k. Definition 10. The higher-order Arf invariants are defined by Arf k := (α k ) 1 : K 4k 2 (Z 2 L k )/ Ker α k From Theorem 7, Proposition 8 and Definition 10 we see that the groups W n are computed by the Milnor and higher-order Arf invariants, as claimed in Theorem 2 above. We conjecture that α k is an isomorphism, which would mean that the Arf k are very interesting new concordance invariants: Conjecture 11. Arf k : K 4k 2 Z 2 L k is an isomorphism for all k. Conjecture 11 would imply that W 4k 2 = (Z2 L k ) D 4k 2 = T4k 2 This is true for k = 1, as shown above, with Arf 1 = Arf the classical Arf invariant. It remains an open problem whether Arf k is non-trivial for any k > 1. We have the following specialization of the Bing doubling construction discussed above Corollary 6 which applies to symmetric -trees of the form < J J. It starts with the fact that any knot with non-trivial Arf invariant represents R 2 ( < 1 1), then observes that the application of (untwisted) Bing doublings symmetrically extends both branches of the tree. This idea will play a key role in deriving the geometric interpretations of Milnor invariants given in Theorem 16 and Theorem 17 below. Lemma 12. Let K be a knot with non-trivial Arf-invariant, and J a rooted tree of order k 1. By performing iterated Bing doublings and interior band sums on K, a boundary link K J arises as the boundary of a twisted Whitney tower W of order 4k 2 with τ 4k 2 (W) = < J J It is thus already interesting to ask whether our proposed Arf invariants Arf k can be defined on the cobordism group of boundary links. The links K J of Lemma 12 are known not to be slice [1], providing evidence supporting our conjecture that Arf k is indeed a non-trivial link concordance invariant which represents an obstruction to bounding an order 4k 1 twisted Whitney tower. The following result emphasizes the relevance of the first open case k = 2.

14 10 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER Proposition 13. If Arf 2 vanishes on any link in K 6, then Arf k is trivial for all k Geometrically k-slice links. A link L S 3 is k-slice if L bounds an embedded orientable surface Σ B 4 such that π 0 (L) π 0 (Σ) is a bijection and there is a push-off homomorphism π 1 (Σ) π 1 (B 4 \ Σ) whose image lies in the kth term of the lower central series π 1 (B 4 \ Σ) k. By carefully studying the third homology of F/F k, Igusa and Orr [14] proved the following k-slice conjecture : Theorem 14 ([14]). A link L is k-slice if and only if µ i (L) = 0 for all i 2k 2 (equivalently, all Milnor invariants of length 2k vanish). For any topological space Y, a k-fold commutator in π 1 (Y ) has a nice topological model in terms of a continuous map G Y, where G is a grope of class k. Such 2-complexes G (with specified boundary circle) are recursively defined as follows. A grope of class 1 is a circle. A grope of class 2 is an orientable surface Σ with one boundary component. A grope of class k is formed by attaching to every dual pair of curves in a symplectic basis for Σ a pair of gropes whose classes add to k. A curve γ : S 1 Y represents a k-fold commutator in π 1 (Y ) if and only if it extends to a continuous map of a grope of class k. Thus we obtain a very natural notion of geometrically k-slice links: These are links for which there is a symplectic basis of curves on Σ B 4 that bound disjointly embedded framed gropes of class k in B 4 \ Σ. The following result uses the translation between gropes and Whitney towers in [24], and will be proven in Section 8. Proposition 15. L is geometrically k-slice if and only if L W 2k 1. So the higher-order Arf invariants Arf k detect the difference between k-sliceness and geometric k-sliceness. Combining Proposition 15 together with Corollary 6, Proposition 8 and Lemma 12 we get: Theorem 16. A link L has vanishing Milnor invariants of all orders 2k 2 if and only if it is geometrically k-slice after a finite number of connected sums with boundary links. It turns out that the operation of taking connect sums with boundary links is equivalent to a certain approximation of being geometrically k- slice, as described by the following theorem. The basic observation here is that any curve on a surface in S 3 bounds an immersed disk in B 4, leading to the surfaces of type Σ i below, associated to the boundary links in Theorem 16. We note that the only if part of the following theorem uses a mild generalization of Theorem 5, described in Proposition 34.

15 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 11 Theorem 17. A link has vanishing Milnor invariants of all orders 2k 2 if and only if its components bound disjointly embedded surfaces Σ i in the 4 ball, with each surface a connected sum of two surfaces Σ i and Σ i such that (i) a symplectic basis of curves on Σ i bound disjointly embedded framed gropes G i,j of class k in the complement of Σ := i Σ i, and (ii) a symplectic basis of curves on Σ i bound immersed disks in the complement of Σ G, where G is the union of all G i,j. This result is proven in Section 8; it is a considerable strengthening of the Igusa-Orr k-slice theorem, and it is quite surprising that one can clean up their immersed gropes in this way without running into additional obstructions. Acknowledgments: This paper was partially written while the first two authors were visiting the third author at the Max-Planck- Institut für Mathematik in Bonn. They all thank MPIM for its stimulating research environment and generous support. The first author was also supported by NSF grant DMS , and the last author was also supported by NSF grants DMS and DMS The second author was partially supported by PSC-CUNY research grant PSCREG Whitney towers We sketch here the relevant theory of Whitney towers as developed in [3, 5, 24, 27], concentrating on the setting of (twisted) Whitney towers on immersed disks in B 4 bounded by links in S 3. We work in the smooth oriented category (with orientations usually suppressed from notation), even though all our results hold in the locally flat topological category by the basic results on topological immersions in Freedman Quinn [11]. In particular, the techniques of this paper do not distinguish smooth from locally flat surfaces (see Section 2 of [5]) Trees. To describe Whitney towers it is convenient to use the bijective correspondence between formal non-associative bracketings of elements from the index set {1, 2, 3,..., m} and rooted unitrivalent trees, equipped with orientations at the trivalent vertices, with each univalent vertex labeled by an element from the index set, except for the root univalent vertex which is left unlabeled. Here an orientation of a trivalent vertex is a cyclic ordering of the three adjacent edges. Definition 18. Let I and J be two rooted trees.

16 12 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER (i) The rooted product (I, J) is the rooted tree gotten by identifying the root vertices of I and J to a single vertex v and sprouting a new rooted edge at v. This operation corresponds to the formal bracket, with the orientation of (I, J) inherited from those of I and J as well as the order in which they are glued. (ii) The inner product I, J is the unrooted tree gotten by identifying the roots of I and J to a single non-vertex point. Note that I, J inherits an orientation from I and J, and that all the univalent vertices of I, J are labeled. (iii) The order of a tree, rooted or unrooted, is defined to be the number of trivalent vertices. The notation of this paper will not distinguish between a bracketing and its corresponding rooted tree (as opposed to the notation I and t(i) used in [24, 27]). In [24, 27] the inner product is written as a dot-product, and the rooted product is denoted by. Rooted trees will be denoted by capital letters, and un-rooted trees will be denoted by lowercase letters Order zero Whitney towers and higher-order intersections. Fixing an orientation for the pair (B 4, B 4 ), a framed link in S 3 = B 4 has oriented components, each equipped with a nowherevanishing normal section. A collection D 1,..., D m B 4 of properly immersed disks bounded by a framed link L = L 1,..., L m S 3 is a Whitney tower of order zero. Here the orientation of each L i is induced by that of D i, and the non-vanishing normal section over L i extends over D i. To each order zero disk D i is associated the order zero rooted tree consisting of an edge with one vertex labeled by i, and to each transverse intersection p D i D j is associated the order zero tree t p := i, j consisting of an edge with vertices labelled by i and j. Note that for singleton brackets (rooted edges) we drop the bracket from notation, writing i for (i). The order 1 rooted Y-tree (i, j), with a single trivalent vertex and two univalent labels i and j, is associated to any Whitney disk W (i,j) pairing intersections between D i and D j. This rooted tree can be thought of as an embedded subset of B 4, with its trivalent vertex and rooted edge sitting in W (i,j), and its two other edges descending into D i and D j as sheet-changing paths. (The cyclic orientation at the trivalent vertex of the bracket (i, j) corresponds to an orientation of W (i,j) via a convention described below in 2.6.)

17 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 13 Recursively, the rooted tree (I, J) is associated to any Whitney disk W (I,J) pairing intersections between W I and W J (see left-hand side of Figure 2); with the understanding that if, say, I is just a singleton i, then W I denotes the order zero disk D i. Note that a W (I,J) can be created by a finger move pushing W J through W I. To any transverse intersection p W (I,J) W K between W (I,J) and any W K is associated the un-rooted tree t p := (I, J), K (see righthand side of Figure 2). W ( I, J ) W K p W I W J W I W J Figure 2. On the left, (part of) the rooted tree (I, J) associated to a Whitney disk W (I,J). On the right, (part of) the unrooted tree t p = (I, J), K associated to an intersection p W (I,J) W K. Note that p corresponds to where the roots of (I, J) and K are identified to a (non-vertex) point in (I, J), K. Definition 19. The order of a Whitney disk W I is defined to be the order of the rooted tree I, and the order of a transverse intersection p is defined to be the order of the tree t p Order n Whitney towers. Definition 20. A collection W of properly immersed disks in B 4 together with higher-order Whitney disks is an order n Whitney tower if W contains no unpaired intersections of order less than n. The Whitney disks in W are allowed to have immersed interiors, but must have disjointly embedded boundaries, and be framed (as discussed next) Twisted Whitney disks. The normal disk-bundle of a Whitney disk W in B 4 is isomorphic to D 2 D 2, and comes equipped with a canonical nowhere-vanishing Whitney section over the boundary given by pushing W tangentially along one sheet and normally along the other (see Figure 3 and e.g. [11]). Pulling back the orientation of B 4

18 14 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER with the requirement that the normal disks have +1 intersection with W means the Whitney section determines a well-defined (independent of the orientation of W ) relative Euler number ω(w ) Z which represents the obstruction to extending the Whitney section to a nowherevanishing section over W. Following traditional terminology, when ω(w ) vanishes W is said to be framed. (Since D 2 D 2 has a unique trivialization up to homotopy, this terminology is only mildly abusive.) We say that W is k-twisted if ω(w ) = k, or just twisted if the value of ω(w ) is not specified. So 0-twisted is a synonym for framed. W J I J I Figure 3. The Whitney section over the boundary of a framed Whitney disk is indicated by the dotted loop shown on the left for a clean Whitney disk W in a 3- dimensional slice of 4 space. On the right is shown an embedding into 3 space of the normal disk-bundle over W, indicating how the Whitney section determines a well-defined nowhere vanishing section which lies in the I-sheet and avoids the J-sheet Twisted Whitney towers. In the definition of an order n Whitney tower given just above (following [3, 24, 25, 27]) all Whitney disks are required to be framed. It turns out that the natural generalization to twisted Whitney towers involves allowing twisted Whitney disks only of at least half the order as follows: Definition 21. An order 0 twisted Whitney tower is just a collection of connected properly immersed disks in B 4 ; that is, just an order 0 Whitney tower but without the requirement of inducing any framing on the boundary. For n 1: A twisted Whitney tower of order (2n 1) is just a (framed) Whitney tower of order (2n 1) as in Definition 20 above. A twisted Whitney tower of order 2n is a Whitney tower having all intersections of order less than 2n paired by Whitney disks, with all

19 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 15 Whitney disks of order less than n required to be framed, but Whitney disks of order at least n allowed to be twisted. Remark 22. Note that, for any n, an order n (framed) Whitney tower is also an order n twisted Whitney tower. We may sometimes refer to a Whitney tower as a framed Whitney tower to emphasize the distinction, and will always use the adjective twisted in the setting of Definition 21. Remark 23. The convention of allowing only order n twisted Whitney disks in order 2n twisted Whitney towers will be explained in section 4 where it will be seen that twisted Whitney disks reflect commutators contributed to the link longitudes, which has the effect of doubling the commutator length as described by the η map. In any event, an order 2n twisted Whitney tower can always be modified so that all its Whitney disks of order > n are framed, so the twisted Whitney disks of order equal to n are the relevant ones Whitney tower orientations. Since we work with oriented links, orientations on the order zero disks in a Whitney tower W are fixed by a convention which induces the orientations on their boundary link components. After choosing and fixing orientations on all the Whitney disks in W, the associated trees are embedded in W so that the vertex orientations are induced from the Whitney disk orientations, with the descending edges of each trivalent vertex enclosing the negative intersection point of the corresponding Whitney disk, as in Figure 2. (In fact, if a tree t has more than one trivalent vertex which corresponds to the same Whitney disk, then t will only be immersed in W, but this immersion can be taken to be a local embedding around each trivalent vertex of t as in Figure 2.) This negative corner convention, which agrees with [5] but differs from the positive corner convention in [3, 27], will turn out to be compatible with commutator conventions (and is purely cosmetic, eliminating what would be a global minus sign in Theorem 5). With these conventions, different choices of orientations on Whitney disks in W correspond to AS anti-symmetry relations (as explained in [27]) Intersection invariants for Whitney towers. The abelian group T n is the free abelian group on (labeled vertex-oriented) order n trees, modulo the AS antisymmetry and IHX Jacobi relations shown in Figure 1 in the introduction.

20 16 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER Definition 24. The order n intersection invariant τ n (W) of an order n Whitney tower W is defined to be τ n (W) := ɛ p t p T n where the sum is over all order n intersections p, with ɛ p = ±1 the usual sign of a transverse intersection point. The vanishing of τ n (W) T n implies that, after a homotopy, the order 0 disks bound an order n+1 Whitney tower. Here we are interested in the analogous intersection theory for twisted Whitney towers Intersection invariants for twisted Whitney towers. The intersection invariants τ n for Whitney towers are extended to twisted Whitney towers as follows: Definition 25. Odd order twisted groups: The abelian group T 2n 1 is the quotient of T 2n 1 by the boundary-twist relations: (i, J), J = i < J J = 0 Here J ranges over all order n 1 rooted trees. The boundary-twist relations correspond geometrically to the fact that performing a boundary twist (Figure 16) on an order n Whitney disk W (i,j) creates an order 2n 1 intersection point p W (i,j) W J with associated tree t p = (i, J), J (which is 2-torsion by the AS relations) and changes ω(w (i,j)) ) by ±1. Since order n twisted Whitney disks are allowed in an order 2n Whitney tower such trees do not represent obstructions to raising the order of an order 2n 1 twisted tower. -trees: For any rooted tree J we define the corresponding -tree, denoted by J, by labeling the root univalent vertex with the symbol : J := J Here the -symbol represents a twisted Whitney disk (not infinity ). Even order twisted groups: The abelian group T 2n is the free abelian group on order 2n trees (oriented) and order n -trees (unoriented), modulo the following relations: (i) AS and IHX relations on order 2n trees (ii) symmetry relations: ( J) = J (iii) twisted IHX relations: I = H + X H, X (iv) interior twist relations: 2 J = J, J Here the AS and IHX relations are as usual, but they only apply to nontrees. The second symmetry relations corresponds to the fact that the relative Euler number ω(w ) is independent of the orientation of the

21 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 17 Whitney disk W. The twisted-ihx relations correspond to the effect of performing a Whitney move in the presence of a twisted Whitney disk, as described in the twisted-ihx lemma of [5]. The interior-twist relations corresponds to the fact that creating a ±1 self-intersection in a W J changes the twisting by 2. Remark 26. In [7] we describe how T 2n can be considered to be the universal quadratic refinement of the T 2n -valued inner product on rooted trees. Recall from Definition 21 (and Remark 23) that twisted Whitney disks only occur in even order twisted Whitney towers, and only those of half-order are relevant to the obstruction theory. Definition 27. The order n intersection invariant τ n (W) of an order n twisted Whitney tower W is defined to be τ n (W) := ɛ p t p + ω(w J ) J T n where the first sum is over all order n intersections p and the second sum is over all order n/2 Whitney disks W J with twisting ω(w J ). The vanishing of τ n (W) T n implies that, after a homotopy, the order 0 disks bound an order n + 1 twisted Whitney tower [5]. Remark 28 ([5]). The order 0 case is somewhat special but still consistent with the positive order cases. The group T 0 is generated by the order zero trees i j and j, and only the last family of interior twist relations j, j = j j = 2 j from Definition 25 are relevant. Interpreting Definition 27 for τ 0 (W), where W is an order 0 twisted Whitney tower (a collection of properly immersed disks), the transverse intersections between disks D i and D j give the signed trees ɛ i j in the first sum, and each coefficient ω(d j ) of j is taken to be the relative Euler number of the normal bundle of D j with respect to the given framing of D j (which in a twisted Whitney tower is not necessarily zero). Remark 29. It follows from Theorem 5 and Theorem 7 that for n 0, 1, 3 mod 4, the intersection invariant τ n (L) := τ n (W) T n only depends on the concordance class of the link L and not on the choice of order n twisted Whitney tower W Split twisted Whitney towers. A twisted Whitney tower is split if all Whitney disks are embedded, and the set of singularities in the interior of any framed Whitney disk consists of either a single

22 18 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER transverse intersection point, or a single boundary arc of a higher-order Whitney disk, or is empty; and if each non-trivially twisted Whitney disk has no singularities in its interior, and has twisting equal to ±1. This can always be arranged, as observed in [5], by performing (twisted) finger moves along Whitney disks guided by arcs connecting the Whitney disk boundary arcs. Splitting simplifies the combinatorics of Whitney tower constructions and will be assumed, often without mention, in subsequent sections. Splitting an order n (twisted) Whitney tower W does not change τ n (W) T n (see [5]) Intersection forests for split twisted Whitney towers. Recall from [5] that the disjoint union of signed trees and -trees associated to the unpaired intersections and ±1-twisted Whitney disks in a split twisted Whitney tower W is denoted by t(w), and called the intersection forest of W. Here each tree t p associated to an unpaired intersection p is equipped with the sign of p, and each -tree J associated to a clean ±1-twisted Whitney disk is given the corresponding sign ±1. In any split W, the intersection forest can be thought of as an embedded subset t(w) W which embodies both the geometric and algebraic data associated to W: If we think of the trees as subsets of W, then all singularities of W are contained in a neighborhood of t(w); and if we think of the trees as generators, then t(w) is an abelian word representing τ n (W). In any W of order n, it is always possible to eliminate all intersections of order strictly greater than n, for instance by performing finger moves ( pushing down ) to create canceling pairs of order n intersections. Remark 30. In the older papers [3, 24, 27] we referred to t(w) as the geometric intersection tree (and to the group element τ n (W) as the order n intersection tree, rather than invariant ), but the term forest better describes the disjoint union of (signed) trees t(w). 3. twisted Whitney towers and gropes For use in subsequent sections, this section recalls the correspondence between (split) Whitney towers and (dyadic) capped gropes [3, 24] in the 4 ball, and extends this relationship to the twisted setting. The main goal is to describe how this correspondence preserves the associated disjoint unions of signed trees. In particular, Lemma 31 will be used in Section 4 to prove Theorem 5.

23 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS Dyadic gropes and their associated trees. This subsection reviews and fixes some basic grope terminology. We take a slightly different (but compatible) approach to defining gropes from that given in 1.6 of the introduction. It will suffice to work with dyadic gropes, i.e. gropes whose higher stages are all genus one; these correspond to split Whitney towers (and gropes in 4 manifolds can always be modified to be dyadic by Krushkal s grope splitting operation [15]). A dyadic grope G is constructed by the following method: (i) Start with a compact oriented connected surface of any genus, called the bottom stage of G, and choose a symplectic basis of circles on this bottom stage surface. (ii) Attach punctured tori to any number of the basis circles and choose hyperbolic pairs of circles on each attached torus. (iii) Iterate the second step a finite number of times. The attached tori are the higher stages of G, and at each iteration in the construction tori can be attached to circles in any stage. The basis circles in all stages of G that do not have a torus attached to them are called the tips of G. Attaching 2 disks along all the tips of G yields a capped (dyadic) grope, denoted G c, and the uncapped grope G is called the body of G c. Cutting the bottom stage of G into genus one pieces decomposes G (and G c ) into branches, and our notion of dyadic grope (following [3, 24]) is more precisely called a grope with dyadic branches in [15]. The disjoint union t(g c ) of unitrivalent trees associated to a capped grope G c is defined as follows. Assume first that the bottom stage of G c is a genus one surface with boundary. Then define t(g c ) to be the unitrivalent tree which is dual to the 2 complex G c : Specifically, t(g c ) sits as an embedded subset of G c in the following way. Choose a vertex in the interior of each surface stage and each cap of G c. Then each edge of t(g c ) is a sheet-changing path between vertices in adjacent stages or caps (here adjacent means intersecting in a circle ). One univalent vertex of t(g c ) sits in the bottom stage of G c, each of the other univalent vertices is a point in the interior of a cap of G c, and each higher stage of G c contains a single trivalent vertex of t(g c ). See e.g. Figure 13 below. In the case where the bottom stage of G c has genus > 1, then t(g c ) is defined by cutting the bottom stage into genus one pieces and taking the disjoint union of the unitrivalent trees just described. Thus, each branch of G c contains a single (connected) tree in t(g c ). If the bottom stage is genus zero, then t(g c ) is the empty tree.

24 20 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER Note that each tree in t(g c ) has exactly one univalent vertex which sits in the bottom stage of G c ; these vertices can naturally be considered as roots, and it is customary to associate rooted trees to gropes. Here we prefer to ignore this extra information, since we will be identifying t(g c ) with the unrooted trees associated to Whitney towers. The class of a capped grope G c is the one more than the minimum of the orders of the (connected) trees in t(g c ). The body G of G c inherits the same union of trees, t(g) := t(g c ), and the same notion of class (which is consistent with the inductive definition given in the introduction). If a grope consists of a surface of genus zero, we regard it as a grope of class n, for all n. We will assume throughout the paper that all surface stages in our gropes contribute to the class of the grope, i.e. we ignore the higher surface stages that can be deleted without changing the class. Convention: For the rest of this paper gropes may be assumed to be dyadic, even if not explicitly stated Trees for capped gropes in B 4. The boundary G of a grope G is the boundary of its bottom stage. An embedding (G, G) (B 4, S 3 ) is framed if a disjoint parallel push-off of the bottom stage of G extends to a disjoint parallel push-off of G. For a link L S 3, the statement L bounds a capped grope G c means that the link components L i bound disjointly embedded framed gropes G i in B 4, such that the tips of the G i bound framed caps whose interiors are disjointly embedded, with each cap having a single transverse interior intersection with the bottom stage of some G j. Here a cap is framed if the parallel push-off of its boundary in the grope extends to a disjoint parallel copy of the entire cap. The union of the gropes is denoted G := i G i, and G c := i G c i is the union of G together with all the caps. All previous grope notions carry over to this setting, even though the bottom stages of G are not connected; e.g. we refer to the grope G as the body of the capped grope G c. In particular, the disjoint union of trees t(g c ) := i t(g c i) can now be considered as a subset of B 4. This provides labels from {1, 2,..., m} for all univalent vertices: The bottom-stage vertex of each tree in t(g c i) inherits the label i; and if a cap intersects the bottom stage of G j, then the vertex corresponding to that cap inherits the label j (e.g. Figure 13 below). Orientations on all higher stages of G induce orientations of the trivalent vertices in t(g c ), and orientations on all caps determines signs for each capbottom stage intersection. To each tree in t(g c ) is associated a sign ± which is the product of the signs of its caps. We assume the convention

25 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS p W ((1,2),3) W D (1,2) 1 Figure 4. Pushing into B 4 from left to right, a Bingdoubled Hopf link L S 3 bounds an order 2 Whitney tower W: The order 1 disk D 1 consists of a collar on L 1 together with the indicated embedded disk on the right. The other three order 1 disks in W consist of collars on the other link components which extend further into B 4 and are capped off by disjointly embedded disks. The Whitney disk W (1,2) pairs D 1 D 2, and W ((1,2),3) pairs W (1,2) D 3, with p = W ((1,2),3) D 4 the only unpaired intersection point in W. that the orientations of the bottom stages of G correspond to the link orientation. Thus, when G c is oriented, t(g c ) is a disjoint union of signed oriented labeled trees which we call the intersection forest, in line with the terminology for Whitney towers Twisted capped gropes in B 4. A twisted capped grope G c in B 4 is the same as a capped grope defined just above, except that at most one cap in each branch of G c is allowed to be arbitrarily twisted as long as its interior is embedded and disjoint from all other caps and stages of G c. Here a cap c is k-twisted, for k Z, if the parallel pushoff of its boundary in the grope determines a section of the normal bundle of c B 4 with relative Euler number k. (So a 0-twisted cap is framed.) The disjoint union of signed oriented labeled trees t(g c ) is extended to twisted capped gropes by labeling each univalent vertex that corresponds to a non-trivially k-twisted cap with the twist symbol, and taking the twisting k as a coefficient. Recall from 3.1 above that for a capped grope G c, if n is the minimum of the orders of the trees in t(g c ), then the class of G c is n + 1. Motivated by the correspondence with twisted Whitney towers described below, we define the class of a twisted capped grope G c to be n + 1 if n is the minimum of the orders of the non- trees in t(g c ), and n/2 is the minimum of the orders of the -trees in t(g c ).

26 22 J. CONANT, R. SCHNEIDERMAN, AND P. TEICHNER Figure 5. Both sides of this figure correspond to the slice of B 4 shown in the right-hand side of Figure 4. The tree t p = ((1, 2), 3), 4 is shown as a subset of the order 2 Whitney tower W on the left. Replacing this left-hand side by the right-hand side illustrates the tree-preserving construction of a class 3 capped grope G c bounded by L. In this case, the component G c 1 bounded by L 1 is the class 3 capped grope shown (partly translucent) on the right (together with a collar on L 1 ) which is gotten by surgering D 1 and W (1,2). The three other components of G are just the disks D 2, D 3 and D 4 of W, each of which has a single intersection with a cap of G c From twisted Whitney towers to twisted capped gropes. The similarity between the trees associated to (twisted) Whitney towers and (twisted) capped gropes is no coincidence, and in [24] a treepreserving procedure for converting an order n (framed) Whitney tower W into a class n+1 capped grope (and vice versa) is described in detail. This construction will be extended to the twisted setting in the proof of Lemma 31 below. The rough idea is that the subtower of Whitney disks containing a tree in a split Whitney tower can be surgered to a dyadic branch of a capped grope containing the same tree, with the capped grope orientation inherited from that of the Whitney tower. Orientation and sign conventions will be presented during the course of the proof. Lemma 31. If L bounds an order n split twisted Whitney tower W, then L bounds a class n + 1 twisted capped grope G c such that: (i) t(w) is isomorphic to t(g c ). (ii) Each framed cap has intersection +1 with a bottom stage of G, except that one framed cap in each dyadic branch of G c with signed tree ɛ p t p has intersection ɛ p with a bottom stage.

27 MILNOR INVARIANTS AND TWISTED WHITNEY TOWERS 23 Proof. A detailed inductive proof of the framed unoriented case is given in [24]. We will adapt the proof from [24] to the current twisted setting, sketching the construction while introducing orientation and sign conventions. The basic idea of the procedure is to tube (0-surger) along one boundary-arc of each Whitney disk; but in order to maximize the class of the resulting grope, Whitney moves may need to be performed (when trees are not simple, meaning right- or left-normed). A simple example of the construction (in the framed case) is illustrated in Figures 4 and 5, which show how an order 2 Whitney tower bounded by the Bing-double of the Hopf link can be converted to a class 3 capped grope. For each t p t(w), the construction works upward from a chosen Whitney disk having a boundary arc on an order 0 disk D i, which corresponds to the choice of an i-labeled univalent vertex of t p, creating caps out of Whitney disks, then turning these caps into surface stages whose caps are created from higher-order Whitney disks, and so on. The resulting dyadic branch of G c will inherit the tree t p as an embedded subset. Similarly, for each -tree ±J t(w) the construction will yield a dyadic branch containing J with the -vertex sitting in a ±1-twisted cap. Figure 6 illustrates a surgery step and the corresponding modification of the embedded tree near a trivalent vertex corresponding to a Whitney disk W (I,J) in W. The sheet c I is a (temporary) cap which has already been created, or is just an order zero disk D i with I = i in the first step of creating a dyadic branch of G c. Any interior intersections of W (I,J) are not shown. After the surgery which turns the c I into a surface stage S I, the Whitney disk W (I,J) minus part of a collar becomes one cap c (I,J), and a normal disk to the J-sheet becomes a dual cap c J. The S I stage inherits the orientation of c I, and the cap c (I,J) inherits the orientation of W (I,J). As pictured in the figure, the effect of the surgery on the tree sends the trivalent vertex in W (I,J) to the trivalent vertex in the S I sheet, with the induced orientation: This can always be arranged by re-choosing (if needed) the way the tree edge passes between W (I,J) and c I ; this choice of which side of W (I,J) the edge passes into c I does not change (the isomorphism class of) the oriented tree. The cap c J is a parallel copy of what used to be a neighborhood in c I around the negative intersection point paired by W (I,J), but with the opposite orientation, so that c J has a single positive intersection with the J-sheet. Here the I-subtree sits in the part of the grope branch which has already been constructed, while the J-subtree as well as any K-subtree