Splitting formulas for the LMO invariant of rational homology three–spheres

Massuyeau, Gwénaël¹

¹Institut de Recherche Mathématique Avancée, Université de Strasbourg and CNRS, 7 rue René Descartes, 67084 Strasbourg, France

Algebraic and Geometric Topology, Tome 14 (2014) no. 6, pp. 3553-3588

Résumé

For rational homology 3–spheres, there exist two universal finite-type invariants: the Le–Murakami–Ohtsuki invariant and the Kontsevich–Kuperberg–Thurston invariant. These invariants take values in the same space of “Jacobi diagrams”, but it is not known whether they are equal. In 2004, Lescop proved that the KKT invariant satisfies some “splitting formulas” which relate the variations of KKT under replacement of embedded rational homology handlebodies by others in a “Lagrangian-preserving” way. We show that the LMO invariant satisfies exactly the same relations. The proof is based on the LMO functor, which is a generalization of the LMO invariant to the category of 3–dimensional cobordisms, and we generalize Lescop’s splitting formulas to this setting.

Détail

DOI : 10.2140/agt.2014.14.3553

Classification : 57M27
Keywords: $3$–manifold, finite-type invariant, LMO invariant, Lagrangian-preserving surgery

Bibliographie

[1] E Auclair, C Lescop, Clover calculus for homology $3$–spheres via basic algebraic topology, Algebr. Geom. Topol. 5 (2005) 71

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

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

[4] D Bar-Natan, S Garoufalidis, L Rozansky, D P Thurston, The \AArhus integral of rational homology $3$–spheres, III: Relation with the Le–Murakami–Ohtsuki invariant, Selecta Math. 10 (2004) 305

[5] G E Bredon, Topology and geometry, Graduate Texts in Math. 139, Springer (1993)

[6] D Cheptea, K Habiro, G Massuyeau, A functorial LMO invariant for Lagrangian cobordisms, Geom. Topol. 12 (2008) 1091

[7] D Cimasoni, V Turaev, A generalization of several classical invariants of links, Osaka J. Math. 44 (2007) 531

[8] L Crane, D Yetter, On algebraic structures implicit in topological quantum field theories, J. Knot Theory Ramifications 8 (1999) 125

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

[10] K Habiro, Claspers and finite type invariants of links, Geom. Topol. 4 (2000) 1

[11] K Habiro, G Massuyeau, Symplectic Jacobi diagrams and the Lie algebra of homology cylinders, J. Topol. 2 (2009) 527

[12] T Kerler, Towards an algebraic characterization of $3$–dimensional cobordisms, from: "Diagrammatic morphisms and applications" (editors D E Radford, F J O Souza, D N Yetter), Contemp. Math. 318, Amer. Math. Soc. (2003) 141

[13] T T Q Le, An invariant of integral homology $3$–spheres which is universal for all finite type invariants, from: "Solitons, geometry, and topology: on the crossroad" (editors V M Buchstaber, S P Novikov), Amer. Math. Soc. Transl. Ser. 2 179, Amer. Math. Soc. (1997) 75

[14] T T Q Le, J Murakami, Representation of the category of tangles by Kontsevich's iterated integral, Comm. Math. Phys. 168 (1995) 535

[15] T T Q Le, J Murakami, The universal Vassiliev–Kontsevich invariant for framed oriented links, Compositio Math. 102 (1996) 41

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

[17] C Lescop, Splitting formulae for the Kontsevich–Kuperberg–Thurston invariant of rational homology $3$–spheres,

[18] C Lescop, A sum formula for the Casson–Walker invariant, Invent. Math. 133 (1998) 613

[19] C Lescop, Surgery formulae for finite type invariants of rational homology $3$–spheres, Algebr. Geom. Topol. 9 (2009) 979

[20] G Massuyeau, J B Meilhan, Equivalence relations for homology cylinders and the core of the Casson invariant, Trans. Amer. Math. Soc. 365 (2013) 5431

[21] S V Matveev, Generalized surgeries of three-dimensional manifolds and representations of homology spheres, Mat. Zametki 42 (1987) 268, 345

[22] I Moffatt, The \AArhus integral and the $\mu$–invariants, J. Knot Theory Ramifications 15 (2006) 361

[23] D Moussard, Finite type invariants of rational homology $3$–spheres, Algebr. Geom. Topol. 12 (2012) 2389

[24] H Murakami, Y Nakanishi, On a certain move generating link-homology, Math. Ann. 284 (1989) 75

[25] T Ohtsuki, Quantum invariants, Series on Knots and Everything 29, World Scientific (2002)

[26] K Walker, An extension of Casson's invariant, Annals of Math. Studies 126, Princeton Univ. Press (1992)