Homology surgery and invariants of 3-manifolds

Abstract

We introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of π-algebraically-split links in 3-manifolds with fundamental group π. Using this class of links, we define a theory of finite type invariants of 3-manifolds in such a way that invariants of degree 0 are precisely those of conventional algebraic topology and surgery theory. When finite type invariants are reformulated in terms of clovers, we deduce upper bounds for the number of invariants in terms of π-decorated trivalent graphs. We also consider an associated notion of surgery equivalence of π-algebraically split links and prove a classification theorem using a generalization of Milnor's μ-invariants to this class of links.

Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper18.abs.html

References in corpus (2)

• Claspers and finite type invariants of links
• Calculus of clovers and finite type invariants of 3-manifolds

Cited by in corpus (12)

• Noncommutative knot theory
• A rational noncommutative invariant of boundary links
• Higher order intersection numbers of 2-spheres in 4-manifolds
• Higher Order Intersections in Low-Dimensional Topology
• Algebraic linking numbers of knots in 3-manifolds
• Stable concordance of knots in 3-manifolds
• Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$
• Links with trivial Alexander module and nontrivial Milnor invariants
• Jacobi identities in low-dimensional topology
• Pulling Apart 2-spheres in 4-manifolds
• Garoufalidis-Levine's finite type invariants for $\mathbb{Z}\pi$-homology equivalences from 3-manifolds to the 3-torus
• Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)