Volume 5, issue 1 (2005)

 Recent Issues
 The Journal About the Journal Editorial Board Editorial Interests Subscriptions Submission Guidelines Submission Page Policies for Authors Ethics Statement ISSN (electronic): 1472-2739 ISSN (print): 1472-2747 Author Index To Appear Other MSP Journals
Clover calculus for homology 3-spheres via basic algebraic topology

Emmanuel Auclair and Christine Lescop

Algebraic & Geometric Topology 5 (2005) 71–106
 arXiv: math.GT/0401251
Abstract

We present an alternative definition for the Goussarov–Habiro filtration of the $ℤ$–module freely generated by oriented integral homology 3–spheres, by means of Lagrangian-preserving homology handlebody replacements ($\mathsc{ℒ}P$–surgeries). Garoufalidis, Goussarov and Polyak proved that the graded space ${\left({\mathsc{G}}_{n}\right)}_{n}$ associated to this filtration is generated by Jacobi diagrams. Here, we express elements associated to $\mathsc{ℒ}P$–surgeries as explicit combinations of these Jacobi diagrams in ${\left({\mathsc{G}}_{n}\right)}_{n}$. The obtained coefficient in front of a Jacobi diagram is computed like its weight system with respect to a Lie algebra equipped with a non-degenerate invariant bilinear form, where cup products in 3–manifolds play the role of the Lie bracket and the linking number replaces the invariant form. In particular, this article provides an algebraic version of the graphical clover calculus developed by Garoufalidis, Goussarov, Habiro and Polyak. This version induces splitting formulae for all finite type invariants of homology 3–spheres.

Keywords
3–manifolds, homology spheres, finite type invariants, Jacobi diagrams, Borromeo surgery, clover calculus, clasper calculus, Goussarov–Habiro filtration
Primary: 57M27
Secondary: 57N10