Dual decompositions of 4-manifolds III: s-cobordisms

Author:
Frank Quinn

Journal:
Trans. Amer. Math. Soc. **359** (2007), 1433-1443

MSC (2000):
Primary 57N13, 57N70, 57R80

Published electronically:
August 16, 2006

MathSciNet review:
2272132

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The main result is that an s-cobordism (topological or smooth) of 4-manifolds has a product structure outside a ``core'' sub-s-cobordism. These cores are arranged to have quite a bit of structure, for example they are smooth and abstractly (forgetting boundary structure) diffeomorphic to a standard neighborhood of a 1-complex. The decomposition is highly nonunique so cannot be used to define an invariant, but it shows that the topological s-cobordism question reduces to the core case. The simply-connected version of the decomposition (with 1-complex a point) is due to Curtis, Freedman, Hsiang and Stong. Controlled surgery is used to reduce topological triviality of core s-cobordisms to a question about controlled homotopy equivalence of 4-manifolds. There are speculations about further reductions. The decompositions on the ends of the s-cobordism are ``dual decompositions'' with homotopically-controlled handle structures, and the main result is an application of earlier papers in the series.

**1.**Selman Akbulut,*An exotic 4-manifold*, J. Differential Geom.**33**(1991), no. 2, 357–361. MR**1094460****2.**C. L. Curtis, M. H. Freedman, W. C. Hsiang, and R. Stong,*A decomposition theorem for ℎ-cobordant smooth simply-connected compact 4-manifolds*, Invent. Math.**123**(1996), no. 2, 343–348. MR**1374205**, 10.1007/s002220050031**3.**S. K. Donaldson,*Irrationality and the ℎ-cobordism conjecture*, J. Differential Geom.**26**(1987), no. 1, 141–168. MR**892034****4.**Michael H. Freedman and Frank Quinn,*Topology of 4-manifolds*, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990. MR**1201584****5.**Michael H. Freedman and Peter Teichner,*4-manifold topology. I. Subexponential groups*, Invent. Math.**122**(1995), no. 3, 509–529. MR**1359602**, 10.1007/BF01231454**6.**Robert E. Gompf,*Killing the Akbulut-Kirby 4-sphere, with relevance to the Andrews-Curtis and Schoenflies problems*, Topology**30**(1991), no. 1, 97–115. MR**1081936**, 10.1016/0040-9383(91)90036-4**7.**Robert E. Gompf and András I. Stipsicz,*4-manifolds and Kirby calculus*, Graduate Studies in Mathematics, vol. 20, American Mathematical Society, Providence, RI, 1999. MR**1707327****8.**Rob Kirby,*Akbulut’s corks and ℎ-cobordisms of smooth, simply connected 4-manifolds*, Turkish J. Math.**20**(1996), no. 1, 85–93. MR**1392665****9.**Vyacheslav S. Krushkal and Frank Quinn,*Subexponential groups in 4-manifold topology*, Geom. Topol.**4**(2000), 407–430 (electronic). MR**1796498**, 10.2140/gt.2000.4.407**10.**R. Matveyev,*A decomposition of smooth simply-connected ℎ-cobordant 4-manifolds*, J. Differential Geom.**44**(1996), no. 3, 571–582. MR**1431006****11.**Erik Kjær Pedersen, Frank Quinn, and Andrew Ranicki,*Controlled surgery with trivial local fundamental groups*, High-dimensional manifold topology, World Sci. Publ., River Edge, NJ, 2003, pp. 421–426. MR**2048731**, 10.1142/9789812704443_0018**12.**Frank Quinn,*Ends of maps. III. Dimensions 4 and 5*, J. Differential Geom.**17**(1982), no. 3, 503–521. MR**679069****13.**Frank Quinn,*Dual decompositions of 4-manifolds*, Trans. Amer. Math. Soc.**354**(2002), no. 4, 1373–1392 (electronic). MR**1873010**, 10.1090/S0002-9947-01-02940-3

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
57N13,
57N70,
57R80

Retrieve articles in all journals with MSC (2000): 57N13, 57N70, 57R80

Additional Information

**Frank Quinn**

Affiliation:
Department of Mathematics, Virginia Tech, Blacksburg, Virginia 24061-0123

Email:
quinn@math.vt.edu

DOI:
http://dx.doi.org/10.1090/S0002-9947-06-03917-1

Received by editor(s):
September 24, 2004

Received by editor(s) in revised form:
November 30, 2004

Published electronically:
August 16, 2006

Additional Notes:
This work was partially supported by the National Science Foundation

Article copyright:
© Copyright 2006
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.