arxiv:math/ v2 [math.gt] 8 Jun 2001

Transcription

1 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS STAVROS GAROUFALIDIS AND ANDREW KRICKER arxiv:math/005028v2 [math.gt] 8 Jun 200 Abstract. We construct an invariant of boundary links which is at least as strong as the Kontsevich integral, determines the S-equivalence class of a boundary link and which takes values in a space of trivalent graphs whose edges are decorated by rational functions in noncommuting variables. Our invariant is aomatically characterized by a universal property closely related to the Homology Surgery view of boundary links, and comes equipped with a diagrammatic integration theory, in the spirit of perturbative quantum field theory.. Introduction.. History. It is well-known that the problem of Homology Surgery and its application to the classification of boundary links, up to cobordism, is closely related to the set of Hermitian matrices over Z[F] the groupring of the free group), invertible over Z. Cappell-Shaneson formulated the problem of boundary link cobordism in high dimensions) in terms of Γ-groups see [CS, CS2]) and Vogel identified these Γ-groups in terms of surgery L-groups of a suitable localization the Cohn localization) of Z[F], [Vo]. Later on, Vogel and Farber identified the Cohn localization of Z[F] with the ring of rational functions in noncommuting variables, [FV]. In addition, Farber constructed an invariant of boundary links with values in that ring, [Fa]. In a completely different direction, Kontsevich defined a graph-valued invariant of links in particular, boundary links) that is closely related to perturbative quantum field theory, [Ko]..2. A brief summary. The paper introduces a graph-valued invariant Z rat pronounced: the rational Z-invariant) of boundary links that is, links whose components bound pairwise disjoint imbedded surfaces) with the following features: Z rat is defined for boundary links and their cousins, F-links) L in integral homology 3-spheres M. It takes values in a space of trivalent graphs, whose edges are decorated by rational functions in noncommuting variables {t,..., t g }, see Theorem.3. For good boundary links, i.e., for those whose free cover is acyclic, the edges of the graphs are decorated by polynomials in noncommuting variables, see Remark.6. A word of caution: the word rational in the name of Z rat and in the title of the paper refers to rational functions and not to the field of rational numbers. The degree 0 part of Z rat is a matrix-valued invariant that determines the Blanchfield pairing of M, L) thus also all classical concordance invariants of boundary links), and the analytic invariant of Farber [Fa] and the χ of F-links of [GL2], see Proposition.2. Z rat determines the LMO-Aarhus extension of the Kontsevich integral, see Theorem.3. Z rat comes equipped with a diagrammatic integration theory, in the spirit of perturbative quantum field theory, see Sections 3-5. Z rat can be aomatically characterized by a universal property, namely that it is the universal finite type invariant of F-links with respect to the loop filtration, after Cohn-localization, see Theorem.2. For knots, the estence of Z rat gives a new proof the MMR Conjecture, originally proven in [BG] as well as a strong form of Rozansky s Rationality Conjecture for the Kontsevich integral, [R2], previously unknown, see Remark.8. Date: This edition: April 8, 200 First edition: April 8, 200. S.G. was partially supported by an NSF grant DMS and by an Israel-US BSF grant. A.K. was partially supported by a JSPS fellowship. This and related preprints can also be obtained at stavros. 99 Mathematics Classification. Primary 57N0. Secondary 57M25. Key words and phrases:boundary links, Kontsevich integral, Cohn localization.

2 2 STAVROS GAROUFALIDIS AND ANDREW KRICKER An application of the invariant Z rat is a formula for the LMO invariant of cyclic branched covers of knots K in integral homology 3-spheres M in terms of residues of Z rat and the signature function of M, K), see [GK]. Another application of the degree 2 part of Z rat and its properties under surgery is a result of Teichner and the first author on knots with trivial Alexander polynomial, [GT]. Question: Why consider boundary links and not all links, or at least all links with linking numbers zero? Answer: There are two reasons. The Z rat -invariant is closely related to the surgery view of boundary links and their cousins, the F-links), see Section.4. At present a surgery view of links with linking number zero is unknown. An additional reason is that the comparison between the Z rat and Z invariants requires links with vanishing µ-invariants, see Remark 7.2. Examples of such links are the boundary links. Question: How does the paper compare with the results of Rozansky [R] regrading rationality properties of the colored Jones polynomial of links? Answer: The class of algebraically connected links studied by Rozansky which, in the case of a link of two components being algebraically connected is equivalent to the nonvanishing of the linking number) is disjoint from the class of boundary links that we consider. It is an interesting problem to extend the notion of rationality in such a way that it covers both boundary and algebraically connected links. A refinement of boundary links abbreviated -links) are F-links, i.e., a triple M, L, φ) of a link L in an integral homology 3-sphere M and an onto map φ : π M L) F, where F is the free group on a set T in - correspondence with the components of L) such that the ith meridian is sent to the ith generator. Two F-links M, L, φ) and M, L, φ ) are equivalent iff M, L) and M, L ) are isotopic and the maps φ and φ differ by an inner automorphism of F. The underlying link of an F-link is a -link. Knots K in integral homology 3-spheres M are examples of -links in fact, F-links) with one component whose canonical F-structure is given by the map π M K) H M K) Z..3. Statement of the results. As a warm-up, recall that the Alexander polynomial of a knot measures the order of the first homology of the free abelian cover of its complement. Given an F-link M, L, φ), we can consider the free cover X ω of its complement, and its homology H X ω ), which is a module over the group-ring Λ Z[F] of the free group. Since the ring Λ is not Noetherian when L is not a knot), the notion of a torsion module does not make sense. However, in [GL2], Levine and the first author defined an invariant χ of F-links with values in ˆΛ/cyclic), the group of formal power series with rational coefficients) in noncommutative variables, modulo cyclic permutation. The invariant χ is a reformulation of an invariant defined earlier by Farber, [Fa], and in the case of knots equals, up to a multiple, to the logarithm of the Alexander polynomial. Thus, χ can be thought as a noncommutative torsion invariant of F-links. Our first goal is to define a matrix-valued generalization of χ using the surgery view of F-links. The surgery view considers the set NO) of nullhomotopic links L with Z-invertible linking matrix in the complement of a standard trivial unlink O in S 3. It turns out that surgery on L transforms S 3, O) to an an F-link. Alterning L by a kirby move κ i.e., by adding a parallel of a link component to another, or adding/removing a unit-framed unlink away from L) preserves surgery and does not change the corresponding F-link. Let NO)/ κ denote the set of equivalence classes of NO) under the Kirby equivalence relation. The next theorem explains what we mean by the surgery view of F-links. Theorem.. Proof in Sections ) The surgery map gives a - onto correspondence NO)/ κ F links. The equivariant linking matrix of L NO) is a Hermitian matrix that is, a matrix A over Λ is that satisfies A A where A is the transpose of A followed by the natural involution of Λ), defined up to an indeterminacy that is a reflection of the Kirby moves; compare also [GL]. Indeed, recall that two Hermitian matrices A, B are simply stably congruent iff A S PB S 2 )P for some diagonal matrices S, S 2 with ± entries and some elementary matrix P i.e., one which differs from the identity matrix on a single non-diagonal entry) or a diagonal matrix with entries in ±F Λ. There is a natural map of rings Λ Z that sends F to. Let BΛ Z) denote the set of simple stable congruence classes of Hermitian matrices

3 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 3 over Λ, invertible over Z. The Kirby equivalence class of the equivariant linking matrix of L as above lies in BΛ Z). Let χ be the ˆΛ/cyclic)-valued invariant on the set HermΛ Z) of Hermitian matrices W over Λ, nonsingular over Z, defined by χw) tr log ) n W) : tr WǫW) I) n) n n where ǫ : Λ Z. With the above notation we have the following Proposition.2. Proof in Section 2.3) a) There est an invariant W of F-links with values in BΛ Z). b) H X ω ) is a Λ-module with presentation W. c) The Blanchfield pairing [Dv] H X ω, Z) H X ω, Z) Λ loc /Λ is given by W mod Λ, where Λ loc is the Cohn localization of Λ, [FV]. d) χ χ. We now introduce a graph-valued deformation of the matrix-valued invariant W of F- and -links. Recall that the Kontsevich integral or rather, its LMO-Aarhus extension) ZM, L) of a link L in an integral homology 3-sphere M takes values in in a completed vector space A H ) over Q of diagrams whose skeleton is a disjoint union of solid circles i hi, one circle labeled by a variable h i for each component of L, [LMO, A]. The Z rat invariant takes values in a set A 0 Λ loc ) BΛ loc Z) AΛ loc ) where AΛ loc ) is the completed vector space of vertex and edge oriented, trivalent diagrams whose edges are decorated by elements of the Cohn localization Λ loc of Λ, [BR], or equivalently, by the ring of rational functions in noncommuting variables, [FV]. The diagrams in AΛ loc ) are considered modulo some algebraic analogs of geometric relations on links, explained in detail in Section 3), namely the well-known AS and IHX relations, relations on the labels of the edges of diagrams that first appeared in [GL]), see Figures and 2. There are some additional ω and CA relations on A 0 Λ loc ), see Sections 3 and 5.4). Moreover, there is a map Hair ν : A 0 Λ loc )/ ω, CA A H ) that replaces a generator t i of the free group F by an exponential of i-colored legs, labeled by h i, explained in Section 7. and in Figure 4. Question: Why consider the Cohn localization Λ loc of Λ? Answer: For two independent reasons, see Remark 5.2. Theorem.3. Proof in Sections 5.5, 6.5, 7.4) There est invariants Z rat of F-links and -links that fit in a commutative diagram F links Z rat A 0 Λ loc )/ ω links Z rat A 0 Λ loc )/ ω, CA Hair ν links A H ) Z We will call Z rat the rational Z-invariant of -links. The above theorem states that Z rat is a lift of the LMO-Aarhus-Kontsevich invariant of -links. Some comments may help the reader familiarize with the rational invariant Z rat : Z. By invertible over Z, we mean that the image of a matrix which is defined over Λ under the map Λ Z is invertible over

4 4 STAVROS GAROUFALIDIS AND ANDREW KRICKER Remark.4. First a remark about the empty set. For the unlink O of g components, we have that Z rat O) empty matrix, ) A 0 Λ loc )/ ω, CA. On the other hand, the Kontsevich intregal of O is given by ZO) νh ) νh g ) where νh i ) is the Kontsevich integral of the unknot, whose diagrams are colored by h i ), and Hair ν empty matrix, ) νh ) νh g ). This is how Z rat O) determines ZO), as stated in the above theorem. Remark.5. In case L is the empty link, then Z rat M, ) empty matrix, ZM, )). Using the map ϕ ǫ : AΛ loc ) AQ) Aφ) induced by the canonical ring homomorphism ǫ : Λ loc Q, it follows that ϕ ǫ Z rat M, L) Z rat M, ). In other words, evaluating the rational invariant at t i has the effect of removing the components of the -link. Remark.6. The Z rat invariant of F-links takes values in a rather strange quotient A 0 Λ loc )/ ω of a set of pairs of matrices and vectors A 0. If we restrict Z rat S to a class S of F-links with the same Blanchfield pairing or the same S-equivalence class), then Z rat S is equivalent to an invariant S AΛ loc )/ω) that takes values in a graded vector space, where the degree of a graph is the number of trivalent vertices. In addition, the edges of the trivalent graphs are decorated by elements of a subring of Λ loc that depends on S. In particular, for good boundary links i.e., for links whose free cover is acyclic, or equivalently, whose Blanchfield pairing is trivial) Z rat is equivalent to an invariant with values in the more manageable graded vector space AΛ)/ω, CA); see Section 5.5. Remark.7. For g, the sets of -component F-links and -links coincide with the set of knots in integral homology 3-spheres, and the relations ω and CA are trivial, see Lemmas 3.0 and 6.8. In this case, Z rat takes values in BΛ loc Z) AΛ loc ), and the matrix-free part of Z rat takes values in the graded algebra AΛ loc ), where the multiplication in AΛ loc ) is given by the disjoint union of graphs. It turns out that the matrix-free part of Z rat is a group-like element in AΛ loc ), i.e., it equals to the exponential of a series of connected graphs. For g 2 i.e., for two component -links) the relation CA g is trivial, see Lemma 6.8 and the set of 2-component F-links coincides with the one of -links. Remark.8. How unique is the lift Z rat of Z? A weak form of the RC Conjecture for -links states that the image of Z lies in the image of the map Hair ν : A 0 Λ loc )/ ω, CA A H ). A strong form of the RC Conjecture for knots states that the Kontsevich integral lifts. The map Hair ν is not - even for knots, since in that case A 0 Λ loc )/ ω, CA BΛ loc Z) AΛ loc ) and the map Hair ν restricted on BΛ loc Z) depends on the determinant of the stable equivalence class of a Hermitian matrix and its size. The weak form of RC Conjecture for knots was formulated by Rozansky in [R2] and was proven by the second named author in [Kr]. The strong form of the RC Conjecture for F-links was formulated by the first named author in [Ga] and is proven in Theorem.3 above. Question.9. In the case of knots, is the map Hair ν : AΛ loc ) A H ) -? Remark.0. In a sense, Z is a graph-valued ˆΛ-invariant of -links, where ˆΛ is the completion of Λ Q with respect to the augmentation ideal whereas Z rat is a graph-valued Λ loc -invariant. It often happens that ˆΛ-invariants can be lifted to Λ loc -invariants, see for example the discussion of Farber-Ranicki, [FRa], on a problem of Novikov about circle-valued Morse theory. It would be nice if an extension of this circle-valued Morse theory to infinite dimensions using the circle-valued Chern-Simons action on the space of gauge equivalence classes of connections on a principal bundle over a 3-manifold) would lead to an explanation for the estence of the Z rat -invariant. Remark.. As will become apparent from the construction of the Z rat invariant, it is closely related to equivariant linking matrices of nullhomotopic links in the complement of an F-link, see Proposition 8.2. It is an interesting question to ask whether the Z rat invariant of an F-link can be defined in terms of an equivariant construction on the free cover of the F-link.

5 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 5 The next theorem characterizes Z rat by a universal property. Using the terminology of [Ga], recall that a loop move on an F-link M, L, φ) can be described by surgery on a clover G in M L whose leaves lie in the kerner of φ, [Ga]. The result M, L, φ) G of surgery is another F-link. As usual, one can define a notion of finite type invariants on the set of F-links using loop moves. The number of invariants of degree n can be. In [Ga], it was shown that Gn loop is a module over n Λ, and n,loc 0 for odd n and is a quotient of A0 nλ loc )/ ω for even n. The next theorem constructs enough finite type invariants to characterize Z rat by a universal property. identified with a quotient vector space Gn loop that after localization, i.e., after tensoring with Λ loc ), G loop Theorem.2. Proof in Section 8) a) The matrix-part of Z rat is at least as strong as a universal finite type invariant. b) The matrix-free part of Z rat is the universal AΛ loc )/ω)-valued finite type invariant of F-links with respect to the loop filtration. In particular, we have that A 2n Λ loc )/ω) G loop 2n,loc for n..4. The main ideas of the proof. The three main ideas of the paper are summarized as follows: Surgery view of F-links Noncommutative rational functions Formal Gaussian Integration The invariant Z rat is closely related to the surgery view of -links and their cousins, the F-links. Section 2, which consists entirely of classical geometric topology, identifies the set of F-links resp. - links) with the quotient i.e., the set of equivalence classes) NO)/ κ of NO) under a suitable Kirby-type resp. and in addition, a CA g -type) equivalence relation κ. Using this, and arguments of surgery theory, we give a proof of Proposition.2. The rest of the section identifies the set NO) it terms of a set of tangles DD g )/ r, β, ω of NO), namely a a set of sliced crossed links in a solid handlebody, modulo certain equivalence relations that include regular isotopy, r basing, β and wrapping ω. The road to define the invariant Z rat that appears in Theorem.3 is long, and given in Sections 3-7. Section 3 presents the various sets of diagrams and their relations, where ultimately all the invariants will take value. The algebraic relations on diagrams are motivated by the geometric relations of Section 2. In Section 4 we will define an invariant DD g ) A gp X, Λ) and show that it maps the various geometric relations on the set DD g ) to the corresponding algebraic relations on diagrams, thus giving rise to a map NO) A gp X, Λ)/ ω gp. Unfortunately, the map NO) A gp X, Λ)/ ω gp is not invariant under the Kirby moves κ. To accommodate for that, in Section 5 we construct an integration theory in the spirit of the Aarhus Integral [A] with the property that the above map, composed with integration and a slight normalization), is invariant under the Kirby moves. This is our desired invariant that appears in Theorem.3. The -integration is a formal diagrammatic analogue of Gaussian Integration, expressed in terms of gluing legs of diagrams to each other and preserves the basing, wrapping and Kirby equivalence relations. Some identities of this theory of integration motivate the algebraic form of the wrapping relations, as well as what the value of the invariant Z rat in degree 0, see Section 5.4 and Section B. Section 5.5 ends by defining the invariants of F-links and -links that appear in Theorem.3. The comparison between the Z rat invariant and the Kontsevich integral Z of boundary links is done in Section 7, using a magic formula for the Kontsevich integral of the Long Hopf Link, conjectured in [A0] in conjunction with the Wheels and Wheeling Conjectures) and proven in [BLT]. Section 7.4 completes the proof of Theorem.3. Section 8 is devoted to the proof of Theorem.2, namely the universal property of Z rat. This follows from the general principle of locality of the invariant Z rat i.e., with the behavior of Z rat under sublinks) together with the identification of the covariance of Z rat with an equivariant linking function. The paper ends with some appendices on diagrammatic integration and its various identities.

6 6 STAVROS GAROUFALIDIS AND ANDREW KRICKER.5. Acknowledgement. The results of this work were first announced by the first named author in a meeting on Influence of Physics on Topology on August 2000, in the sunny San Diego. We thank the organizers, M. Freedman and P. Teichner for arranging such a fertile meeting. We also wish to express our gratitude to J. Levine who shared with the first author his expertise on topology, and to J. Hillman and T. Ohtsuki for encouragement and support of the second author. Contents. Introduction.. History.2. A brief summary.3. Statement of the results 2.4. The main ideas of the proof 5.5. Acknowledgement 6 2. A surgery view of F-links A surgery description of F-links A relative version of Fenn-Rourke s theorem A matrix-valued invariant of F-links A tangle description of F-links and -links 3. An assortment of diagrams and their relations A review of the Cohn localization The infinitesimal wrapping relations Group-like relations 6 4. An invariant of links in the complement of an unlink 9 5. A rational version of the Aarhus integral The definition of respects the basing relations Dealing with the Kirby moves Dealing with the wrapping relations The definition of the rational invariant Z rat of F-links The CA action and invariants of boundary links A surgery description of boundary links The action of CA on diagrams Z rat commutes with the CA action 30 rat 6.4. commutes with the CAg action The definition of the rational invariant Z rat of -links A comparison between Z and Z rat The Hair map A comparison between Z rat and Z A comparison between and End of the proof of Theorem A universal property of Z rat 35 Appendix A. A brief review of diagrammatic calculus 37 A.. Some useful identities 37 A.2. Iterated Integration 38 A.3. Integration by parts 40 Appendix B. The Wheels Identity 4 Appendix C. Infinitesimal versus group-like wrapping relations 43 Appendix D. Infinitesimal basing relations 47 Appendix E. A useful calculation 48 References 49

7 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 7 2. A surgery view of F-links 2.. A surgery description of F-links. The purpose of this section is to give a link-surgery description of the set of F-links and -links. This will be achieved by adapting classical surgery theory arguments to the case of 3-manifolds with boundary. This section consists entirely of classical geometric topology. Before we proceed, a remark on notation: Remark 2.. Throughout the paper, given an equivalence relation ρ on a set X, we will denote by X/ ρ the set of equivalence classes. Occasionally, an equivalence relation on X will be defined by one of the following ways: Either by the action of a group G on X, in which case X/ ρ coincides with the set of orbits of G on X. Or by a move on X, i.e., by a subset of X X, in which case the equivalence relation is the smallest one that contains the move. Proof.of Theorem.) Fix once and for all a based unlink O of g components in S 3. Let NO) denote the set of nullhomotopic links L with Z-invertible linking matrix in the complement of O. Surgery on an element C of NO) transforms S 3, O) to a F-link M, L). Indeed, since C is nullhomotopic the natural map π S 3 O) F gives rise to a map π M L) F. Alternatively, one can construct disjoint Seifert surfaces for each component of L by tubing the disjoint disks that O bounds, which is possible, since each component of C is nullhomotopic. Since the linking matrix of C is invertible over Z, M is an integral homology 3-sphere. Let κ denote the equivalence relation on NO) generated by the moves of handle-slide κ i.e., adding a parallel of a link component to another component) and stabilization κ 2 i.e., adding to a link an unknot away from the link with framing ±). It is well-known that κ-equivalence preserves surgery, thus we get a surgery map NO)/ κ F links. Now, we will show that the surgery map is onto. Given a F-link M, L) choose disjoint Seifert surfaces Σ for its components and choose a framed link C in M such that M C S 3. C might intersect Σ, however by a small isotopy which does not change the property that M C S 3 ) we may assume that C is disjoint from Σ. Consider the image Σ of Σ in S 3 M C. By doing crossing changes among the bands of Σ, translated in terms of surgery on a unit-framed link C S 3 Σ, we can assume that each component of Σ lies in a ball disjoint from the other components and further that the boundary of Σ is an unlink. The link C C is nullhomotopic in the complement of the unlink Σ since it is disjoint from Σ and the linking matrix of C C is invertible over Z since SC C 3 M, an integral homology 3-sphere. By moving the basing around, if necessary, we can assume that the basing of Σ is standard. By construction, C C NO) maps to M, L). Next, we need to show that the surgery map is -; we will do this in the next section A relative version of Fenn-Rourke s theorem. The goal of this independent section is to show a relative version of Fenn-Rourke s theorem [FR, Theorem 6]. We begin with some notation. Given a 3- manifold M possibly with nonempty boundary) and a framed link L in its interior, surgery produces a 3-manifold M L whose boundary is canonically identified with that of M and a cobordism W L with boundary M M I) M L. Theorem 2.2. If M is a 3-manifold with boundary, L, L 2 two framed links in its interior, then L and L 2 are κ-equivalent iff there est a) h : M L M L2, a diffeo rel. boundary. b) An isomorphism ι : π W L ) π W L2 ).

8 8 STAVROS GAROUFALIDIS AND ANDREW KRICKER c) A commutative diagram ) h π M L ) π M L2 ) ι π W L ) π W L2 ) ³ ³ π M) such that η ) 0 H 4 π). Here, η ) H 4 π) is the homology class of ρw), where ρ : W Kπ, ), W W L W L2 where the boundaries are identified via the identity on M, M I and h on the top piece) and π π W L ) π W L2 ). Note that W is a closed 4-manifold. The proof of Theorem 2.2 follows mainly from Fenn-Rourke [FR], with some simplifications due to Roberts, [Rb]. We begin with the following lemma from [FR], which reformulates the vanishing of the condition η ) 0. Lemma 2.3. [FR, Lemma 9] Assume that we are in the situation of Theorem 2.2 and that there ests h, ι making commute. Then η ) 0 iff W# r CP 2 # s CP 2 Ω 5 for some r, s and closed 5-manifold Ω such that the diagram commutes and j ), j 2 ) are split injections. ι π W L ) π W L2 ) ³ ³µ j ) j 2) π Ω 5 ) Proof. of Theorem 2.2) If L and L 2 are κ-equivalent, then it follows from the only if statement of Lemma 2.3 that η ) 0 since the induced homeomorphisms on π do not change. So, assume that the algebraic conditions of Theorem 2.2 are satisfied for L, L 2. We will show that L is κ-equivalent to L 2. The first step is to arrange via κ-moves that W L and W L2 diffeomorphic. The proof of [FR, p.9] where they assume M φ) using surgery works here, too. The next step is to use Cerf theory. Namely, consider Morse functions f i realizing the cobordisms W Li for i, 2. Since W L is diffeomorphic to W L2, f and f 2 are related by a one parameter family of smooth functions f t for t 2. The arguments of Roberts [Rb, Stage 2, p.3] in this case imply that L is κ-equivalent to L 2. Remark 2.4. If L is a nullhomotopic link in M, then W L is homotopic to a one point union of M and some number of 2-spheres S 2. In particular, π M) π W L ). End of the Proof of Theorem.. We will apply Theorem 2.2 to M S 3 O. Consider L i, φ i ) two surgery presentations of the same F-link for i, 2. Then, we have a homotopy commutative diagram M L h M L2 φ M M φ 2

9 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 9 where φ i : M Li M are splitting maps. It follows by Remark 2.4 that a map ι ests such that the following diagram ) commutes h π M L ) π M L2 ) φ φ 2 π W L ) ι π W L2 ) π M) The obstruction η ) lies in H 4 F). However, KF, ) S, thus H 4 F) H 4 S ) 0. Thus, Theorem 2.2 implies that L is κ-equivalent to L A matrix-valued invariant of F-links. The goal of this section is to prove Proposition.2. We begin by defining the map W. Given a nullhomotopic link L in the complement of O, consider its equivariant linking matrix, i.e., the equivariant linking numbers of the lifts of L to the universal cover of S 3 O. The equivariant linking matrix is Hermitian and well-defined modulo congruence by diagonal matrices with elements in Λ. If L is in NO), then its equivariant linking matrix is invertible over Z, and if we modify L by Kirby moves, the class of its equivariant linking matrix in BΛ Z) remains unchanged. Thus, we have well-defined map NO)/ κ BΛ Z), which, combined with Theorem., gives rise to a map Recall the χ-invariant of Section.3. F links BΛ Z). Proposition 2.5. a) For Hermitian matrices A, B over Λ loc, nonsingular over Z, we have in ˆΛ/cyclic) that χab) χa) + χb) and χa B) χa) + χb). b) χ descends to a ˆΛ/cyclic)-valued invariant of the set BΛ loc Z). c) For A as above, χa) χaǫa ) where ǫ : Λ Z. Proof. b) follows from a). For a), let R denote the ring of square matrices with entries in ˆΛ, and [R, R] denote the subgroup of it generated by matrices of the form AB BA where A, B R. We claim that if A, B are Hermitian over Λ loc, with augmentations A 0, B 0 invertible over Z, then ) log AB) log A) + log B) mod [R, R]. Indeed, if A 0 B 0 I, then this follows from the Baker-Cambell-Hausdorff formula, since log AB) logab). For the general case, we have modulo [R, R], that log AB) logaba 0 B 0 ) ) logabb0 A AA 0 ) logabb0 A ) + logaa 0 ) AlogBB0 )A + logaa 0 ) log B) + log A). Taking traces in ˆΛ/cyclic), Equation ) implies a). c) follows immediately from the definition of χ and the fact that ǫaǫa ) I. We will also denote by χ the ˆΛ/cyclic)-valued invariant of F-links defined by F links NO)/ κ BΛ Z) ˆΛ/cyclic). Proof. of Proposition.2) Consider C NO) and let M, L b ) the corresponding F-link. Let W denote the equivariant linking matrix of C, and X ω denote the free cover of M L b given by φ. Parts a) and b) follow from classical surgery arguments presented in the case of knots by Levine in [Le] and adapted without difficulty in the case of F-links; see also [GL3, Lemma 2.4]. For part c), observe that the χ and the χ invariant of [GL2] are defined, respectively, via the Seifert surface and the surgery view of boundary links. The two views can be related using the so-called Y-view

10 0 STAVROS GAROUFALIDIS AND ANDREW KRICKER of knots presented in [GGP, Section 6.4] and extended without difficulty to the case of boundary links. Consider a disjoint union Σ of Seifert surfaces in S 3 which we think of as a disjoint union of imbedded disks with pairs of bands attached in an alternating way along each disk. Consider an additional link L in S 3 Σ such that its linking matrix C satisfies detc) ± and such that the linking number between the cores of the bands and L vanishes. With respect to a choice of orientation of -cycles corresponding to the cores of the bands, a Seifert matrix of Σ is given by ) L xx L A xy + I L yx L yy Start from a surgery presentation of S 3, Σ) in terms of clovers with three leaves, as was explained in [GGP, Section 6.4] and summarized in the following figure: ~ Surgery on a clover with three leaves can be described in terms of surgery on a six component link L. It was observed by the second author in [Kr2, Figure 3.] that L can be simplified via Kirby moves to a four component link L shown below: x i x i y i y i The equivariant linking matrix of a based representative of) L L is given by W C where W is the following matrix in {x i, y i, x i, y i } basis: L xx L xy I 0 ) W L xy L yy 0 I L I I 0 0 xi I B 0 I xi 0 where x t and x t. Thus ) ) ) L I 0 I I 0 WW). I B I L B I BL and χw) χi BL). It is easy to see that every F-link has a surgery presentation L L as above by adapting the onto part of the proof of Theorem.. ) 0 I Using the notation of [GL2], let Z AA A ). Since A A ) it follows that L + ) 0 I A Z 0 0 Substituting, we obtain that ) 0 I BL 0 t 0 t 0 ) x 0 0 x ) I + XZ) Proposition 2.5 implies that χi F L) χ 0 ) I I 0 Σ thus L Z ) 0 I Z I 0 ) 0 I. I 0 0 t 0 0 I I 0 ) 0 t 0 I 0 ) 0 I 0 0 ) x 0 Z 0 x ). ) 0 ) I I 0 ) + χi + XZ) χ A) as required.

11 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 2.4. A tangle description of F-links and -links. In this section we give a tangle diagram description of F-links and -links which is useful in defining invariants. We begin by giving a tangle description of the set NO). Consider the following surfaces in R 2 t 0 Σ a Σ b Σ b t together with a distinguished part of their boundary called a gluing site) marked by an arrow in the figure above. By a tangle on a surface Σ x for x a, b, c) we mean an oriented, framed, smooth, proper immersions of an oriented -manifold into the surface, up to isotopies rel boundary of the surface, double points being equipped with crossing information, with the boundary points of the tangle lying on standard points at t 0 and t. A crossed tangle on a surface Σ x is a tangle diagram on Σ x possibly with some crosses marking those boundary points of the diagram that lie either on a t 0 edge of Σ x for x a, b or on a t edge of Σ c. The following is an example of a crossed tangle diagram on Σ b : The cross notation evokes a small pair of scissors that will be sites where the skeleton of the tangle will be cut. A sliced crossed link on D g is a sequence of crossed tangles, {T,...,T k } such that the boundaries of the surfaces match up, that is, their shape, distribution of endpoints, and crosses. For example, if T i is of the form then T i+ is of the form the top and bottom boundaries of T and T k look like: After stacking the tangles {T,..., T k } from top to bottom, we obtain a crossed link in D g I, where D g is a disk with g holes. Note that the holes in D g are ordered from the top one to the bottom one and that D g is equipped with g gluing sites. Clearly, every crossed link in D g I can be obtained this way. Here is an example of a sliced crossed link in D whose corresponding link in NO) is a surgery presentation for the Figure 8 knot: Let DD g ) denote the set of sliced crossed links on D g such that each component of the associated link is nullhomotopic in D g I and marked with precisely one cross. We now introduce some equivalence relations on DD g ) that are important in comparing DD g ) to NO).

12 2 STAVROS GAROUFALIDIS AND ANDREW KRICKER Regular isotopy r of sliced crossed links is the equivalence relation generated by regular isotopy of individual tangles and the following moves: T a T e T b T c T f T d T g where the glued edge of T e must have no crosses marking it. Basing relation β of sliced crossed links is the equivalence relation generated by moving a cross of each component of the associated link in some other admissible position in the sliced crossed link. Notice that moving the cross of a sliced crossed link can be obtained in an equivalent way) by the local moves β and β 2, where β resp. β 2 ) moves the cross across consecutive tangles in such a way that a gluing site is not resp. is) crossed. Here is an example of a β 2 move: {...,,,... } {...,,,... } The wrapping relation ω of sliced crossed links is generated by the following move {...,,,... } {...,,,... } Recall that Theorem. identifies the set of F-links with a quotient of NO). Since we are interested to give a description of the set of F-links and NO) with a quotient of DD g ), we need to introduce analogs of the κ-relation on DD g ). The handleslide move κ is generated by the move: {..., T i, T i, x i x j, T i+2,... } {..., T i, T i, x j x i x, x j, T i i+2,... }. where each tangle in {T k } is obtained from the corresponding tangle in {T k} by taking a framed parallel of every component contributing to the component x j,. Proposition 2.6. There is a - correspondence DD g )/ r, β, ω NO) and DD g )/ r, β, ω, κ F links. Proof. The first identification is well-known without crosses, see for example [AMR] and [Tu, Figure 7]. The idea is that it follows from general position arguments analogous to those that prove the sufficiency of the Reidemaster moves for planar knot projections. The addition of crosses presents no extra difficulty. The second identification follows easily from the first, together with the following observation that takes care of inner automorphisms: the group InnF) of inner automorphisms acts trivially on the set of F-links by definition) and it also acts trivially on the set DD g )/ r, β, ω. The proof of this observation is a pleasant exercise, left to the reader. 3. An assortment of diagrams and their relations In this section we explain what are the spaces of diagrams in which our invariants will take values. We begin with some notation, which generalizes the notion of the A-groups introduced in [GL]: given a ring R with a distinguished group of units U, and possibly empty sets) X, Y, T, D X, Y, T, R, U) is the completed graded vector space over Q generated by Uni-trivalent diagrams with skeleton X, with symmetric univalent vertices labeled by Y T.

13 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 3 The diagrams have oriented edges and skeleton and each edge is labeled by an element of R, such that the edges that are part of the skeleton are labeled only by U. Moreover, the product of the labels along each component of the skeleton is. Labels on edges or part of the skeleton will be called beads. The degree of a diagram is the number of trivalent vertices, and the completion is with respect to this degree. Empty sets will be omitted from the notation, and so will U, the selected group of units of R. For example, A Y, R), AR) and Aφ) stands for A φ, Y, φ, R, U), A φ, φ, φ, R, U) and A φ, φ, φ, Z, ) respectively. Univalent vertices of diagrams will often be called legs. Diagrams will sometimes be referred to as graphs. Special diagrams, called struts, labeled by a, c with bead b are drawn as follows a b. c oriented from bottom to top. Multiplication of diagrams D and D 2, unless otherwise mentioned, means their disjoint union and will be denoted by D D 2 and occasionally by D D 2. We will only be interested in the rings Λ Q[F] the group ring of the free group F on some fixed set T {t,..., t g } of generators), its completion ˆΛ with respect to the powers of the augmentation ideal) and its Cohn localization Λ loc i.e., the localization with respect to the set of matrices over Λ that are invertible over Z) all with selected group of units F. Λ, ˆΛ and Λ loc are rings with involution induced by ḡ g for g F, with augmentation over Q, and with a commutative diagram Λ ˆΛ Λ loc where Λ ˆΛ is given by the modern version of the Magnus expansion t i e hi. ˆΛ can be indentified with the ring of noncommuting variables {h,...,h g } and Λ loc with the ring of rational functions in noncommuting variables {t,..., t g }, [FV, BR]. We now collect various relations on spaces of diagrams. We define A X, Y, R, U) D X, Y, R, U)/AS, IHX, Multilinear, Push) where AS, IHX and Multilinear are the relations shown in Figure and Push is the relation shown in Figure 2. Note that the AS and IHX are well-known relations in the theory of finite type invariants of links and 3-manifolds, whereas the Multilinear and Push are more recent, first appearing in work of [GL] in relation to finite type invariants of homology surgery and in [GR]. Note also that the above relations on are homogenous with respect to the grading, thus A is a completed graded vector space, too. r r r+s r + s s r r s Figure. The AS, IHX for arbitrary orientations of the edges) and multilinear relations. Here r r is the involution of R, r, s R. The following is a companion to Remark 2.: Remark 3.. Throughout the paper, given a subspace W of a vector space V, we will denote by V/W) the quotient of V modulo W. Occasionally, W will be defined by one of the following ways: Either by a linear action of a group G on V, in which case W {gv v} and V/W) coincides with the space of coinvariants of G on V.

14 4 STAVROS GAROUFALIDIS AND ANDREW KRICKER g g g g g g g g g g g g Figure 2. Pushing a unit g U past a trivalent vertex. Or by a subset of V, in which case W is the subspace spanned by that subset. We now introduce on A algebraic analogs of the geometric wrapping relations of sliced crossed links in D g. We begin by defining the infinitesimal wrapping relations ω on A. This will require an enlargement of the vector space A by a set of matrices as stated in Theorem.3, as well as some analysis of the notion of localization. We begin with the latter. 3.. A review of the Cohn localization. In this self-contained section we review several facts about the Cohn localization that are used in the text. Consider the free group F g on generators {t,...,t g }. The Cohn localization Λ loc of its group-ring Λ Q[F g ] is characterized by a universal property, Λ Λ loc α namely that for every Σ-inverting ring homomorphism α : Λ R there ests a unique ring homomorphism ᾱ : Λ loc R that makes the above diagram commute, [C]. Farber and Vogel identified Λ loc with the ring of rational functions in noncommuting variables, [FV, BR]. An example of such a rational function is 3 t 2 t 2 t 3 + )t ) t 2 5. There is a close relation between rational functions in noncommuting variables and finite state automata, sedcribed in [BR, FV]. Farber-Vogel showed that every element s Λ loc can be represented as a solution to a system of equations M x b where M is a matrix over Λ, invertible over Z, and b is a column vector over Λ, [FV, Proposition 2.]. More precisely, we have that R ᾱ s, 0,...,0)M b, which we will call a matrix presentation of s Λ loc. In the text, we often use substitutions of the form ϕ ti t ie h, or ϕ t i e h t i or ϕ ti e h t ie h, where h does not commute with F g. In order to make sense of these substitutions, we need to enlarge our ring Λ loc. This can be achieved in the following way. F g can be included in the free group F with one additional generator t. Let L denote the group-ring of F, L loc denote its Cohn localization and L loc denote the completion of L loc with respect to the the ideal generated by t. There is an identification of L loc with the following ring R whose elements consist of formal sums of the form m,f i f hmi i where f i Λ loc and m m, m 2,...) : N N is eventually 0 and f f, f 2,... ) : N Λ loc is eventually. In the above sum, for each fixed k, there are finitely many sequences m with m i m i k. It is easy to see that R is a ring with involution in fact a subring of the completion of L with respect to the augmentation ideal) such that t i and e h are units, where h log t. In particular, L loc is an h-graded ring. Let deg n h : L loc L loc n denote the projection on the h-degree n part of Lloc. There is a map ϕ i : Λ L loc given by substituting t i for e h t i e h for i g. It extends to a map ϕ i : Λ loc L loc. Indeed, using the defining property of the Cohn localization, it suffices to show that ϕ i is Σ-inverting, [C, FV]. In other

15 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 5 words, we need to show that if a matrix W over Λ is invertible over Z, then ϕ i W) is invertible over L loc. Since L loc is a completion of L loc, it suffices to show that deg 0 hϕ i W)) is invertible over L loc. However, deg 0 h ϕ iw)) W, invertible over Λ loc and thus also over L loc. The result follows. Let η i : Λ loc L loc denote the h-degree part of ϕ i. The following lemma gives an aomatic definition of η i by properties analogous to a derivation. Compare also with the derivations of Fox differential calculus, [FV]. Lemma 3.2. η i is characterized by the following properties: η i t j ) δ ij [t i, h] δ ij t i h ht i ) η i ab) η i a + b) η i a)b + aη i b) η i a) + η i b). Proof. It is easy to see that η i satisfies the above properties, by looking at the h-degree 0 and part in ϕ i a). This determines η i uniquely on Λ. By the universal property, we know that η i extends over Λ loc ; a priori the extension need not be unique. Since however, η i extends uniquely to matrices over Λ, and since every element of Λ loc has a matrix presentation see the discussion in the beginning of the section), it follows that η i is characterized by the derivation properties The infinitesimal wrapping relations. We have all the required preliminaries to introduce an infinitesimal wrapping relation on A 0 BΛ loc Z) A. Given a vector v A X, Λ loc ) and a diagram D A X, Λ loc ) with a single special leg colored by h and M HermΛ loc Z), the infinitesimal wrapping relation ω i at the ith place in HermΛ loc Z) A X, Λ loc ) is generated by the move M, v) ωi M, v + con {h} η i D) 2 D )) trm η i M)). It is easy to see that the above definition depends only on the image of M in BΛ loc Z). We define A 0 X, Λ loc )/ ω A 0 X, Λ loc )/ ω,...,ω g. We give two examples of infinitesimal wrapping relations: Example 3.3. In this example, the beads of a diagram are monomials t j, M is the empty matrix, and all the edges labeled by t i are shown: t i t i : t i t i + t i t i t i t i t i t i 0. Note that in the ω relation, we allow for D to be a diagram of a circle with a bead and with a special h leg). In addition, we allow the h leg to have a bead in Λ loc. The next example illustrates the infinitesimal wrapping relation in its full complication. Example 3.4. Consider the matrix M [ t3 t 2 t t 3 t t 2 which is Hermitian over Λ, and invertible over Z. Lemma 3.2 and the following property of η i, η i AB) η i A)B + Aη i B) valid for not necessarily square matrices A, B of appropriate size, implies that η M ) M t 2 t, 0) h0, )M + M t 2, 0) h0, t )M + M 0, t ) ht 2, 0)M + M 0, ) ht t 2, 0)M. ]

16 6 STAVROS GAROUFALIDIS AND ANDREW KRICKER Further, observe that /2 trm η M)) /2, 0)M 0, t ) ht 2 + /2, 0)M 0, ) ht t 2 + 0, /2)M t 2 t, 0) h + 0, /2)M t 2, 0) ht. Now, consider the infinitesimal wrapping relation arising from the diagram h D t t 3, 2)M /2, 0) That, is we have M, v) ω M, v + x), where x x + x 2, and x is given by gluing the h, h) legs in each of the following diagrams, h h t t 3 0, )M /2, 0) h, 2)M t 2 t, 0) h, t t 3 0, t )M /2, 0) h, 2)M t 2, 0) h as well as these diagrams t t 3 t 2, 0)M /2, 0) h, 2)M 0, t ) h t 3 t h, 2)M /2, 0),, t t 3 t t 2, 0)M /2, 0) h, 2)M 0, ) h t t 3 h, 2)M /2, 0) and summing the result up, and x 2 is given by gluing the h, h) legs of the disjoint union of D with the following sum: h h +, 2)M /2, 0), 2)M /2, 0) h h + + 0, /2)M t 2 t, 0). 0, t /2)M t 2, 0) Notice that x is a sum of diagrams of degree 2 of the form Θ and understand the infinitesimal wrapping relation in degree 2.. It is an interesting question to 3.3. Group-like relations. Although the invariant Z rat that appears in Theorem.3 takes values in A 0, we will actually construct a refined invariant Z rat,gp which takes values in a set of group-like elements, modulo appropriate equivalence relations. Let A gp denote the set of group-like elements of A i.e., elements of the form expa) where a is a sum of connected diagrams. We now define an analog of the basing relations on A gp. Let m x,y z : A gp {x,y} X, Λ loc ) A gp {z} X, Λ loc ) be the map that glues the end of the x-skeleton to the beginning of the y-skeleton and then

17 A RATIONAL NONCOMMUTATIVE INVARIANT OF BOUNDARY LINKS 7 relabeling the skeleton by z, for x, y, z X. Given s, s 2 A gp X, Λ loc ), we say that β gp s s 2, if there ests an element s A gp {x} {x } X {x}, Λ loc ) with the property that 2) σ m x,x x s)) s and σ m x,x x s)) s 2. β gp 2 s s 2 iff s 2 is obtained from s by pushing an element of F on each of the X-labeled legs of s. For example, if all x legs are shown below, we have: D + D 2 β 2 D f f + f D 2 xx x 2 x 2 x x 2 x 2 x 2 x x x 2 x 2 x x 2 x 2 x 2 Remark 3.5. When we push an element of the free group f in the legs of a diagram, depending on the orientation of the leg, we add f or f to the leg. See also Figure 2 for a convention for all choices of orientations. Similarly, when we glue two legs of diagrams together, the label on the bead depends on the orientations of the legs. For example, a b a b a b We define A gp X, Λ loc ) A gp X, Λ loc )/ β gp, βgp 2. We mention a useful reformulation of the β gp relation for diagrams in A X, Λ loc ), which makes obvious the formal similarity between the β gp and β gp 2 relations. In order to do so, it is convenient to introduce a contraction map con : A X X, Λ loc ) A..., Λ loc ), defined as follows. For s A X X, Λ loc ), a b con X s) div X ) X 0. In words, contraction glues all ways of pairing all legs labeled from X to all legs labeled from X. For s, s 2 A gp X, Λ loc ), we say that β gp s s 2 iff there ests s 2 A gp X h, Λ loc ) such that s con {h} s 2 ) and s 2 con {h} s 2 X Xe h) where s 2 X Xe h is by definition the result of pushing e h to each X-labeled leg of s 2. Lemma 3.6. The equivalence relations β gp and β gp are equal on A gp X, Λ loc ). β gp Proof. Suppose that s s 2 and consider the corresponding element s from Equation 2). We start by presenting s as a result of a contraction. Let α x s con {h} s h)), s con {h} σ X ) m x,x x a b a b e h σ {x} s) ) x h. Lemma A. implies that ) α), s 2 ) ) con {h} σ X m x,x x α). Now the term m x,x x α) is obtained from the term m x,x x α) by conjugating by an e h. Indeed: h h D... D... h h e h e h e -h e h Conjugating with e h commutes with the symmetrization map σ X Exercise!). Letting ) ) s 2 con {h} σ X m x,x x α) h h+ h A gp X h, Λ loc ), it follows that s con {h }s 2 ) and s 2 con {h }s 2 x xe h ) as needed. The converse can be obtained by reversing the steps in the above proof.

18 8 STAVROS GAROUFALIDIS AND ANDREW KRICKER Now, we define a group-like wrapping relation on A gp. This enlargement might sound artificial, however there are several good reasons for doing so. For example, the loop move on the set of F-links and its associated filtration predicts that in degree 0, the universal invariant is given by the S-equivalence class of F-links), or equivalently, by the set of Blanchfield pairings of F-links. A gp,0 Λ loc ), defined below, maps onto BΛ loc Z) which in turn maps onto the set of Blanchfield pairings of F-links. In addition, the A-groups, studied in relation to Homology Surgery in [GL], are secondary obstructions to the vanishing of a Witt-type obstruction which lies in BZ[π] Z). In the case of F-links, this motivates the fact that the set BΛ loc Z) should be taken together with AΛ loc ). With these motivations, we will consider the set A gp,0 X, Λ loc ) BΛ loc Z) A gp X, Λ loc ). Definition 3.7. Two pairs M, s m ) HermΛ loc Z) A gp X, Λ loc ) m, 2 are related by a wrapping move at the jth gluing site for some j such that j g) if there ests an s A gp X, h, Λ loc ) such that: s m con {h} ϕ m s) exp ))) 2 χ hm ϕ m M) for m, 2 where ϕ is the identity and ϕ 2 is the substitution ϕ tj e h t je h, and χ h A) tr loga) A h, Λ loc ). Our first task is to make sure that the above definition makes sense. Using the h-graded ring with involution L loc from Section 3., it follows that ϕ m s 2 ) A gp X, L loc ). Furthermore, χ h M ϕ m M) can be thought of either as a circle with a bead in L loc /cyclic) that has vanishing h-degree 0 part, or as a sum of wheels with h-colored legs and beads in Λ loc. Thus, the contraction con {h} in the above definition results in an element of A gp X, Λ loc ). It is easy to see that χ h satisfies the properties in Proposition 2.5; thus χ h depends only on the image of M in BΛ loc Z) and the above definition makes sense in A gp,0. Remark 3.8. In the above definition 3.7 of the wrapping relation, we could have chosen equivalently that ϕ and ϕ 2 denote the substitutions ϕ tj t je h and ϕ t j e h t j. Remark 3.9. In the above definition, the h colored legs are alloed to have beads in Λ loc. Also, we allow the case of the empty matrix M, with the understanding that the χ h term is absent. Lemma 3.0. For g, the wrapping relation ω gp on A gp,0 X, Λ loc ) is trivial. Proof. It follows from a swapping argument analogous to the isotopy of the following figure T T T T T T T T We end this section with a comparison between A 0 and A gp,0. There is an obvious inclusion The next proposition states that A gp,0 X, Λ loc ) A 0 X, Λ loc ). Proposition 3.. The inclusion A gp,0 X, Λ loc ) A 0 X, Λ loc ) maps the ω gp -relations to ω-relations, and thus induces a map A gp,0 X, Λ loc )/ ω gp A 0 X, Λ loc )/ ω. Proof. See Appendix C.