Dehn surgery equivalence relations on 3-manifolds
AbstractSuppose 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 M_{0} and M_{1} have isomorphic integral (respectively rational) homology groups, is there a sequence of Dehn surgeries, each of which preserves integral (respectively rational) homology, that transforms M_{0} to M_{1}? 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 M_{0}, M_{0} = H_{1} [cup B: union or logical sum]_{f} H_{2} (H_{i} are handlebodies of genus g and f is a homeomorphism of their common boundary surface), and a homeomorphism g of [partial partial differential]H_{1} such that M_{1} 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 S^{3}. 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 S^{3}’ in the ‘space’ of 3-manifolds. (Received October 25 1999)Footnotes^{1} Partially supported by the National Science Foundation and the Mathematical Sciences Research Institute. |