{'fraction_non_alphanumeric': 0.025735294117647058, 'fraction_numerical': 0.003676470588235294, 'mean_word_length': 5.482142857142857, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Algebraic version of the clover calculus for homology 3-spheres

We present an alternative definition for the Goussarov-Habiro filtration of the Z-module freely generated by oriented integral homology 3-spheres, by means of Lagrangian-preserving homology handlebody replacements (LP-surgeries). Garoufalidis, Goussarov and Polyak proved that the graded space (Gn)n associated to this filtration is generated by Jacobi diagrams. Here, we express elements associated to LP-surgeries as explicit combinations of these Jacobi diagrams in (Gn)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 intersection forms of 3-manifolds play the role of the Lie bracket and the linking number replaces the invariant form. In particular, this article provides an algebraic interpretation of the graphical clover calculus developed by Garoufalidis, Goussarov and Polyak. This interpretation induces splitting formulae for all finite type invariants of homology 3-spheres.