Dehn surgery equivalence relations on 3-manifolds
Suppose M is an oriented 3-manifold. A Dehn surgery on M (defined below) is a process by which M is altered by deleting a tubular neighbourhood of an embedded circle and replacing it again via some diffeomorphism of the boundary torus. It was shown by Lickorish [Li] and Wallace [Wa] that any closed oriented connected 3-manifold can be obtained from any other such manifold by a finite sequence of Dehn surgeries. Thus under this equivalence relation all closed oriented 3-manifolds are equivalent. We shall investigate this same question for more restricted classes of surgeries. In particular we shall insist that our Dehn surgeries preserve the integral (or rational) homology groups. Specifically, if M0 and M1 have isomorphic integral (respectively rational) homology groups, is there a sequence of Dehn surgeries, each of which preserves integral (respectively rational) homology, that transforms M0 to M1? What is the situation if we further restrict the Dehn surgeries to preserve more of the fundamental group? Is there a difference if we require ‘integral’ surgeries? We also show that these Dehn surgery relations are strongly connected to the following questions concerning another point of view towards understanding 3-manifolds. Is there a Heegard splitting of M0, M0 = H1 [cup B: union or logical sum]f H2 (Hi are handlebodies of genus g and f is a homeomorphism of their common boundary surface), and a homeomorphism g of [partial partial differential]H1 such that M1 has a Heegard splitting using g [circ B: composite function (small circle)] f as the identification? Since there are many natural subgroups of the mapping class group, such as the Torelli subgroup and the ‘Johnson subgroup’, one can ask the same question where g is restricted to lie in one of these subgroups. This is related to work of Morita on Casson's invariant for homology 3-spheres [Mo1]. Even under these restrictions it has been known for some time that any homology 3-sphere is related to S3. This fact has been used to define, calculate and understand invariants of homology 3-spheres (such as Casson's invariant) by choosing such a ‘path to S3’ in the ‘space’ of 3-manifolds.(Received October 25 1999)
1 Partially supported by the National Science Foundation and the Mathematical Sciences Research Institute.