A rational noncommutative invariant of boundary links

Garoufalidis, Stavros¹ ; Kricker, Andrew²

¹ School of Mathematics, Georgia Institute of Technology, Atlanta, Georgia 30332-0160, USA
² Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G3

Geometry & topology, Tome 8 (2004) no. 1, pp. 115-204.

Résumé

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.

Détail

DOI : 10.2140/gt.2004.8.115

Keywords: boundary links, Kontsevich integral, Cohn localization

Bibliographie

[1] J E Andersen, J Mattes, N Reshetikhin, The Poisson structure on the moduli space of flat connections and chord diagrams, Topology 35 (1996) 1069

[2] D Bar-Natan, On the Vassiliev knot invariants, Topology 34 (1995) 423

[3] D Bar-Natan, S Garoufalidis, On the Melvin–Morton–Rozansky conjecture, Invent. Math. 125 (1996) 103

[4] D Bar-Natan, S Garoufalidis, L Rozansky, D P Thurston, Wheels, wheeling, and the Kontsevich integral of the unknot, Israel J. Math. 119 (2000) 217

[5] D Bar-Natan, S Garoufalidis, L Rozansky, D P Thurston, The \AArhus integral of rational homology 3–spheres I: A highly non trivial flat connection on $S^3$, Selecta Math. $($N.S.$)$ 8 (2002) 315

[6] D Bar-Natan, S Garoufalidis, L Rozansky, D P Thurston, The \AArhus integral of rational homology 3–spheres II: Invariance and universality, Selecta Math. $($N.S.$)$ 8 (2002) 341

[7] D Bar-Natan, R Lawrence, A rational surgery formula for the LMO invariant, Israel J. Math. 140 (2004) 29

[8] D Bar-Natan, T T Q Le, D P Thurston, Two applications of elementary knot theory to Lie algebras and Vassiliev invariants, Geom. Topol. 7 (2003) 1

[9] A Brownstein, R Lee, Cohomology of the group of motions of $n$ strings in 3–space, from: "Mapping class groups and moduli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991)", Contemp. Math. 150, Amer. Math. Soc. (1993) 51

[10] J Berstel, C Reutenauer, Rational series and their languages, EATCS Monographs on Theoretical Computer Science 12, Springer (1988)

[11] S E Cappell, J L Shaneson, The codimension two placement problem and homology equivalent manifolds, Ann. of Math. $(2)$ 99 (1974) 277

[12] S E Cappell, J L Shaneson, Link cobordism, Comment. Math. Helv. 55 (1980) 20

[13] P M Cohn, Free rings and their relations, London Mathematical Society Monographs 19, Academic Press (1985)

[14] J Duval, Forme de Blanchfield et cobordisme d'entrelacs bords, Comment. Math. Helv. 61 (1986) 617

[15] M Farber, P Vogel, The Cohn localization of the free group ring, Math. Proc. Cambridge Philos. Soc. 111 (1992) 433

[16] M Farber, Noncommutative rational functions and boundary links, Math. Ann. 293 (1992) 543

[17] M Farber, A Ranicki, The Morse–Novikov theory of circle-valued functions and noncommutative localization, Tr. Mat. Inst. Steklova 225 (1999) 381

[18] R Fenn, C Rourke, On Kirby's calculus of links, Topology 18 (1979) 1

[19] S Garoufalidis, L Rozansky, The loop expansion of the Kontsevich integral, the null-move and $S$–equivalence, Topology 43 (2004) 1183

[20] S Garoufalidis, J Levine, Homology surgery and invariants of 3–manifolds, Geom. Topol. 5 (2001) 551

[21] S Garoufalidis, J Levine, Analytic invariants of boundary links, J. Knot Theory Ramifications 11 (2002) 283

[22] S Garoufalidis, J Levine, Concordance and 1–loop clovers, Algebr. Geom. Topol. 1 (2001) 687

[23] S Garoufalidis, M Goussarov, M Polyak, Calculus of clovers and finite type invariants of 3–manifolds, Geom. Topol. 5 (2001) 75

[24] S Garoufalidis, to appear

[25] S Garoufalidis, A Kricker, Finite type invariants of cyclic branched covers, Topology 43 (2004) 1247

[26] S Garoufalidis, A Kricker, A surgery view of boundary links, Math. Ann. 327 (2003) 103

[27] S Garoufalidis, P Teichner, On knots with trivial Alexander polynomial, J. Differential Geom. 67 (2004) 167

[28] D L Goldsmith, The theory of motion groups, Michigan Math. J. 28 (1981) 3

[29] M A Gutiérrez, Boundary links and an unlinking theorem, Trans. Amer. Math. Soc. 171 (1972) 491

[30] M Gutiérrez, S Krstić, Normal forms for basis-conjugating automorphisms of a free group, Internat. J. Algebra Comput. 8 (1998) 631

[31] N Habegger, G Masbaum, The Kontsevich integral and Milnor's invariants, Topology 39 (2000) 1253

[32] M Kontsevich, Vassiliev's knot invariants, from: "I. M. Gel'fand Seminar", Adv. Soviet Math. 16, Amer. Math. Soc. (1993) 137

[33] K H Ko, Seifert matrices and boundary link cobordisms, Trans. Amer. Math. Soc. 299 (1987) 657

[34] A Kricker, The lines of the Kontsevich integral and Rozansky's rationality conjecture

[35] A Kricker, Covering spaces over claspered knots

[36] J Levine, Knot modules I, Trans. Amer. Math. Soc. 229 (1977) 1

[37] J P Levine, Link concordance and algebraic closure II, Invent. Math. 96 (1989) 571

[38] T T Q Le, J Murakami, Parallel version of the universal Vassiliev–Kontsevich invariant, J. Pure Appl. Algebra 121 (1997) 271

[39] T T Q Le, H Murakami, J Murakami, T Ohtsuki, A three-manifold invariant via the Kontsevich integral, Osaka J. Math. 36 (1999) 365

[40] T T Q Le, J Murakami, T Ohtsuki, On a universal perturbative invariant of 3–manifolds, Topology 37 (1998) 539

[41] J Mccool, On basis-conjugating automorphisms of free groups, Canad. J. Math. 38 (1986) 1525

[42] B Patureau-Mirand, Caractères sur l'algèbre de diagrammes trivalents $\Lambda$, Geom. Topol. 6 (2002) 563

[43] L Rozansky, Higher order terms in the Melvin–Morton expansion of the colored Jones polynomial, Comm. Math. Phys. 183 (1997) 291

[44] L Rozansky, A contribution of a $U(1)$–reducible connection to quantum invariants of links I: R-matrix and Bureau representation

[45] 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 “Invariants of Three–Manifolds” (Calgary, AB, 1999)" (2003) 47

[46] L Rozansky, A universal U(1)-RCC invariant of links and rationality conjecture

[47] J Roberts, Kirby calculus in manifolds with boundary, Turkish J. Math. 21 (1997) 111

[48] N Smythe, Boundary links, from: "Topology Seminar (Wisconsin 1965)", Princeton University Press (1966) 69

[49] V G Turaev, The Conway and Kauffman modules of a solid torus, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 167 (1988) 79, 190

[50] M Farber, P Vogel, The Cohn localization of the free group ring, Math. Proc. Cambridge Philos. Soc. 111 (1992) 433