The mapping class group of connect sums of $S^2\times S^1$

Abstract

Let $M_n$ be the connect sum of $n$ copies of $S^2\times S^1$. A classical theorem of Laudenbach says that the mapping class group $\text{Mod}(M_n)$ is an extension of $\text{Out}(F_n)$ by a group $(\mathbb{Z}/2{)}^n$ generated by sphere twists. We prove that this extension splits, so $\text{Mod}(M_n)$ is the semidirect product of $\text{Out}(F_n)$ by $(\mathbb{Z}/2{)}^n$, which $\text{Out}(F_n)$ acts on via the dual of the natural surjection $\text{Out}(F_n)\to {\text{GL}}_n(\mathbb{Z}/2)$. Our splitting takes $\text{Out}(F_n)$ to the subgroup of $\text{Mod}(M_n)$ consisting of mapping classes that fix the homotopy class of a trivialization of the tangent bundle of $M_n$. Our techniques also simplify various aspects of Laudenbach's original proof, including the identification of the twist subgroup with $(\mathbb{Z}/2{)}^n$.

18 pages, 2 figures; to appear in Trans. Amer. Math. Soc

References in corpus (1)

• Mapping class groups of highly connected $(4k+2)$-manifolds

Cited by in corpus (3)

• Strong Haken via Sphere Complexes
• Generating Sets and Algebraic Properties of Pure Mapping Class Groups of Infinite Graphs
• Cutting and Pasting in the Torelli subgroup of Out($F_n$)