We consider mapping class groups Г(M) = π0 Diff(M fix ∂M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains ℂP2 or as a connected summand then all Dehn twists around 3-spheres are trivial, and furthermore, Г(M) is independent of the number of boundary components. By repackaging classical results in surgery and handlebody theory from Wall, Kreck and Quinn, we show that the natural homomorphism from the mapping class group to the group of automorphisms of the intersection form becomes an isomorphism after stabilization with respect to connected sum with . We next consider the 3+1 dimensional cobordism 2-category of 3-spheres, 4-manifolds (as above) and enriched with isotopy classes of diffeomorphisms as 2-morphisms. We identify the homotopy type of the classifying space of this category as the Hermitian algebraic K-theory of the integers. We also comment on versions of these results for simply connected spin 4-manifolds. Finally, we observe that a related 4-manifold operad detects infinite loop spaces.
If the inline PDF is not rendering correctly, you can download the PDF file here.
Journal für die reine und angewandte Mathematik is the oldest mathematics periodical still in existence. Founded in 1826 by August Leopold Crelle and edited by him until his death in 1855, it soon became widely known under the name of
Crelle’s Journal. In the 190 years of its existence,
Crelle’s Journal has developed to an outstanding scholarly periodical with one of the worldwide largest circulations among mathematics journals.
01 Jan 1826
English, German, French
Tobias Colding, Daniel Huybrechts, Jun-Muk Hwang and Geordie Williamson