e92811912a4853ad.tex
1: \begin{abstract}
2:   We consider mapping class groups $\Gamma(M) = \pi_0 \Diff(M \fix
3:   \partial M)$ of smooth compact simply connected oriented
4:   4--manifolds $M$ bounded by a collection of 3--spheres.  We show
5:   that if $M$ contains $\C P^2$ or $\overline{\C P}^2$ as a connected
6:   summand then all Dehn twists around 3--spheres are trivial, and
7:   furthermore, $\Gamma(M)$ is independent of the number of boundary
8:   components.  By repackaging classical results in surgery and
9:   handlebody theory from Wall, Kreck and Quinn, we show that the
10:   natural homomorphism from the mapping class group to the group of
11:   automorphisms of the intersection form becomes an isomorphism after
12:   stabilization with respect to connected sum with $\C P^2 \#
13:   \overline{\C P^2}$.  We next consider the 3+1 dimensional cobordism
14:   2--category $\calC$ of 3--spheres, 4--manifolds (as above) and
15:   enriched with isotopy classes of diffeomorphisms as 2--morphisms.
16:   We identify the homotopy type of the classifying space of this
17:   category as the Hermitian algebraic $K$-theory of the integers.  We
18:   also comment on versions of these results for simply connected spin
19:   4--manifolds.  Finally, we observe that a related 4--manifold operad
20:   detects infinite loop spaces.
21: \end{abstract}
22: