## Geometry & Topology

### A rational noncommutative invariant of boundary links

#### Abstract

In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with prescribed denominators. Rozansky’s conjecture was soon proven by the second author. We begin our paper by reviewing Rozansky’s conjecture and the main ideas that lead to its proof. The natural question of extending this conjecture to links leads to the class of boundary links, and a proof of Rozansky’s conjecture in this case. A subtle issue is the fact that a ‘hair’ map which replaces beads by the exponential of hair is not 1-1. This raises the question of whether a rational invariant of boundary links exists in an appropriate space of trivalent graphs whose edges are decorated by rational functions in noncommuting variables. A main result of the paper is to construct such an invariant, using the so-called surgery view of boundary links and after developing a formal diagrammatic Gaussian integration. Since our invariant is one of many rational forms of the Kontsevich integral, one may ask if our invariant is in some sense canonical. We prove that this is indeed the case, by axiomatically characterizing our invariant as a universal finite type invariant of boundary links with respect to the null move. Finally, we discuss relations between our rational invariant and homology surgery, and give some applications to low dimensional topology.

#### Article information

Source
Geom. Topol., Volume 8, Number 1 (2004), 115-204.

Dates
Accepted: 16 January 2004
First available in Project Euclid: 21 December 2017

https://projecteuclid.org/euclid.gt/1513883365

Digital Object Identifier
doi:10.2140/gt.2004.8.115

Mathematical Reviews number (MathSciNet)
MR2033481

Zentralblatt MATH identifier
1075.57004

#### Citation

Garoufalidis, Stavros; Kricker, Andrew. A rational noncommutative invariant of boundary links. Geom. Topol. 8 (2004), no. 1, 115--204. doi:10.2140/gt.2004.8.115. https://projecteuclid.org/euclid.gt/1513883365

#### References

• J Andersen, J Mattes, N Reshetikhin, The Poisson structure on the moduli space of flat connections and chord diagrams, Topology 35 (1996) 1069–1083
• D Bar-Natan, On the Vassiliev knot invariants, Topology 34 (1995) 423–472
• D Bar-Natan, S Garoufalidis, On the Melvin-Morton-Rozansky conjecture, Inventiones Math. 125 (1996) 103–133
• D Bar-Natan, S Garoufalidis, L Rozansky, D Thurston, Wheels, wheeling and the Kontsevich integral of the unknot, Israel J. Math. 119 (2000) 217–238
• D Bar-Natan, S Garoufalidis, L Rozansky, D Thurston, The Aarhus integral of rational homology 3-spheres I, Selecta Math. 8 (2002) 315–339
• D Bar-Natan, S Garoufalidis, L Rozansky, D Thurston, The Aarhus integral of rational homology 3-spheres II, Selecta Math. 8 (2002) 341–371
• D Bar-Natan, R Lawrence, A rational surgery formula for the LMO invariant.
• D Bar-Natan, T T Q Le, D Thurston, Two applications of elementary knot theory to Lie algebras and Vassiliev invariants, \gtref720031131
• A Brownstein, R Lee, Cohomology of the group of motions of $n$ strings in 3-space, Contemporary Math. 150 (1993) 51–61
• J Berstel, C Reutenauer, Rational Series and their Languages, Springer-Verlag 1984
• S Cappell, J Shaneson, The codimension two placement problem and homology equivalent manifolds, Annals Math. 99 (1974) 277–348
• S Cappell, J Shaneson, Link cobordism, Commentarii Math. Helv. 55 (1980) 20–49
• P M Cohn, Free rings and their relations, Academic Press, 1985
• J Duval, Forme de Blanchfield et cobordisme d' enterlacs bords, Commentarii Math. Helv. 61 (1986) 617–635
• M Farber, P Vogel, The Cohn localization of the free group ring, Math. Proc. Cambridge Phil. Soc. 111 (1992) 432–443
• M Farber, P Vogel, Noncommutative rational functions and boundary links, Math. Annalen 293 (1992) 543–568
• M Farber, P Vogel, A Ranicki, The Morse-Novikov theory of circled-valued functions and noncommutative localization, Tr. Math. Inst. Steklova 225 (1999) 381–388, and also \arxivmath.DG/9812122
• R Fenn, C Rourke, On Kirby's calculus of links, Topology 18 (1979) 1–15.
• S Garoufalidis, L Rozansky, The loop expansion of the Kontsevich integral, abelian invariants of knots and $S$-equivalence., to appear in Topology
• S Garoufalidis, J Levine, Homology surgery and invariants of 3-manifolds, \gtrefl5200118551578
• S Garoufalidis, J Levine, Analytic invariants of boundary links, Journal of Knot Theory and its Rami. 11 (2002) 283–293
• S Garoufalidis, J Levine, Concordance and 1-loop clovers, agtrefl1200133687697
• S Garoufalidis, M Goussarov, M Polyak, Calculus of clovers and finite type invariants of 3-manifolds,\gtrefl52001375108
• S Garoufalidis, to appear
• S Garoufalidis, A Kricker, Finite type invariants of cyclic branched covers., to appear in Topology
• S Garoufalidis, A Kricker, A surgery view of boundary links, Math. Annalen 327 (2003) 103–115
• S Garoufalidis, P Teichner, On knots with trivial Alexander polynomial., to appear in the Journal of Diff. Geometry
• D Goldsmith, The theory of motion groups, Michigan Math. Journal 28 (1981) 3–17
• M Gutierrez, Boundary links and an unlinking theorem, Trans. Amer. Math. Soc. 171 (1972) 491–499
• M Gutierrez, S Krstic, Normal forms for basis-conjugating automorphisms of a free group, International J. Algebra Comput. 8 (1998) 631–669
• N Habegger, G Masbaum, The Kontsevich Integral and Milnor's Invariants, Topology 39 (2000) 1253–1289
• M Kontsevich, Vassiliev's knot invariants, Adv. in Sov. Math., 16(2) (1993), 137–150
• K H Ko, Seifert matrices and boundary link cobordisms, Trans. Amer. Math. Soc. 299 (1987) 657–681
• A Kricker, The lines of the Kontsevich integral and Rozansky's Rationality Conjecture, math/GT.0005284
• A Kricker, Covering spaces over claspered knots.
• J Levine, Knot modules I, Trans. AMS 229 (1977) 1–50
• J Levine, Link concordance and algebraic closure, II, Inventiones Math. 96 (1989) 571–592
• T T Q Le, J Murakami, Parallel version of the universal Vassiliev-Kontsevich invariant, J. Pure and Applied Algebra, 121 (1997) 271–291
• T T Q Le, H Murakami, J Murakami, T Ohtsuki, A three-manifold invariant via the Kontsevich integral, Osaka J. Math 36 (1999) 365–395
• T T Q Le, J Murakami, T Ohtsuki, A universal quantum invariant of 3-manifolds, Topology 37 (1998) 539–574.
• J McCool, On basis-conjugating automorphisms of free groups, Canadian J. Math. 38 (1986) 1525–1529
• B Patureau-Mirand, Non-Injectivity of the “hair” map, preprint 2002 \arxivmath.GT/0202065
• L Rozansky, Higher order terms in the Melvin-Morton expansion of the colored Jones polynomial, Comm. Math. Phys. 183 (1997) 291–306
• L Rozansky, A contribution of a $U(1)$-reducible connection to quantum invariants of links I: R-matrix and Bureau representation.
• L Rozansky, A rationality conjecture about Kontsevich integral of knots and its implications to the structure of the colored Jones polynomial, from: “Proceedings of the Pacific Institute for the Mathematical Sciences Workshop (Calgary, AB, 1999)”, Topology Appl. 127 (2003) 47–76.
• L Rozansky, A universal U(1)-RCC invariant of links and rationality conjecture.
• J Roberts, Kirby calculus in manifolds with boundary, Turkish J. Math. 21 (1997) 111–117
• N Smythe, Boundary links, Topology Seminar (Wisconsin 1965) Princeton Univ. Press, Princeton, NJ 1966, 69–72
• V Turaev, Conway and Kauffman modules of a solid torus, J. Soviet Math. 52 (1990) 2799–1805
• P Vogel, The Cohn localization of the free group ring, Math. Proc. Cambridge Phil. Soc. 111 (1992) 433–443