Stabilisation, scanning and handle cancellation

Abstract

In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension two trivial knots in a sphere. We also describe some natural extensions to these arguments. We begin with Cerf's `upgraded' proof of Smale's theorem, that the diffeomorphism group of the 2-sphere has the homotopy-type of the isometry group. This entails a canceling-handle construction, related to the `scanning' maps of Budney-Gabai. We further give a Bott-style variation on Cerf's construction, and a related Embedding Calculus framework for these constructions. We use these arguments to prove that the monoid of Schoenflies spheres is a group with respect to the connect-sum operation. This last result is perhaps only interesting when in dimension four, as in other dimensions it follows from the resolution of the various generalized Schoenflies problems.

arXiv comment17 pages, 3 figures. v3: One additional figure, and reformatted introduction for readability

References in corpus (8)

• A family of embedding spaces
• The rational homotopy of mapping spaces of E${}_n$ operads
• Deloopings of the spaces of long embeddings
• Embedding calculus and smooth structures
• A space level light bulb theorem in all dimensions
• Stability of concordance embeddings
• About the diffeomorphisms of the 3-sphere and a famous theorem of Cerf (${\Gamma }_4=0$)
• Euler characteristics for spaces of string links and the modular envelope of $L_{\infty }$