## Geometry & Topology

### 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.

#### Article information

Source
Geom. Topol., Volume 5, Number 2 (2001), 551-578.

Dates
Revised: 2 May 2001
First available in Project Euclid: 21 December 2017

https://projecteuclid.org/euclid.gt/1513883037

Digital Object Identifier
doi:10.2140/gt.2001.5.551

Mathematical Reviews number (MathSciNet)
MR1833753

Zentralblatt MATH identifier
1009.57022

#### Citation

Garoufalidis, Stavros; Levine, Jerome. Homology surgery and invariants of 3–manifolds. Geom. Topol. 5 (2001), no. 2, 551--578. doi:10.2140/gt.2001.5.551. https://projecteuclid.org/euclid.gt/1513883037

#### References

• R Fenn, C Rourke, On Kirby's calculus of links, Topology, 18 (1979) 1–15
• M Freedman, F Quinn, Topology of 4–manifolds, Princeton University Press, Princeton, NJ (1990)
• S Garoufalidis, M Goussarov, M Polyak, Calculus of \clover s and finite type invariants of 3–manifolds, Geometry and Topology, 5 (2001) 75–108
• S Garoufalidis, J Levine, Finite-type invariants of 3–manifolds II, Math. Annalen 306 (1996), 691–718
• S Garoufalidis, T Ohtsuki, On finite type 3–manifold invariants III: manifold weight systems, Topology, 37 (1998) 227–244
• M Goussarov, Finite type invariants and $n$–equivalence of 3–manifolds, CR Acad. Sci. Paris Ser. I Math. 329 (1999) 517–522
• K Habiro, Claspers and finite type invariants of links, Geometry and Topology, 4 (2000) 1–83
• R Kirby, L R Taylor, A survey of 4–manifolds though the eyes of surgery, from: “Surveys on surgery theory”, vol. 1, ed. S Cappell, A Ranicki, J. Rosenberg, Annals of Math. Studies 145, Princeton U. Press (2000)
• J Levine, Surgery equivalence of links, Topology, 26 (1987) 45–61
• T T Q Le, J Murakami, T Ohtsuki, A universal quantum invariant of 3–manifolds, Topology, 37 (1998) 539–574
• S V Matveev, Generalized surgery of three-dimensional manifolds and representations of homology spheres, Math. Notices Acad. Sci. USSR, 42:2 (1987) 651–656
• H Murakami, Y Nakanishi, On a certain move generating link homology, Math. Annalen, 284 (1989) 75–89
• T Ohtsuki, Finite type invariants of integral homology 3–spheres, J. Knot Theory and its Ramifications, 5 (1996) 101–115
• A Ranicki, The algebraic theory of surgery I. Foundations, Proc. London Math. Soc. 40 (1980) 87–192
• C T C Wall, Surgery on manifolds, Academic Press, London (1970)