Hostname: page-component-cd4964975-598jt Total loading time: 0 Render date: 2023-03-30T02:20:20.132Z Has data issue: true Feature Flags: { "useRatesEcommerce": false } hasContentIssue true

Dehn surgery equivalence relations on 3-manifolds

Published online by Cambridge University Press:  26 October 2001

Mathematics Department, Rice University, 6100 Main Street, Houston, TX 77005–1892, U.S.A. e-mail:
Mathematics Department, Rice University, 6100 Main Street, Houston, TX 77005–1892, U.S.A. e-mail:
Mathematics Department, Indiana University, Bloomington, IN 47405, U.S.A. e-mail:


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 = H1fH2 (Hi are handlebodies of genus g and f is a homeomorphism of their common boundary surface), and a homeomorphism g of ∂H1 such that M1 has a Heegard splitting using gf 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.

Research Article
2001 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)