The prime decomposition fibre sequence for moduli spaces of reducible 3-manifolds

Abstract

We study the moduli space $B{\text{Diff}}^{+}(M)$, for $M$ a reducible, oriented 3-manifold with irreducible prime factors $P_1,\dots ,P_n$. A programme of César de Sá-Rourke, Hendriks-Laudenbach, and Hendriks-McCullough studies the homotopy type of ${\text{Diff}}^{+}(M)$ in terms of the ${\text{Diff}}^{+}(P_i)$. Inspired by a delooping proposed by Hatcher, we construct a map from $B{\text{Diff}}^{+}(M)$ to $B{\text{Diff}}^{+}(P_1\bigsqcup \cdots \bigsqcup P_n)$, called the splitting map, that yields a prime decomposition fibre sequence. The fibre $H_g(P_1,\dots ,P_n)$ is a space of $1$-handle attachments which we describe geometrically as a homotopy colimit of certain configuration spaces on the $P_i$. Firstly, this allows us to show that for $n>0$ the fibre is equivalent to a finite, connected cell complex. Secondly, this makes the fibre sequence an effective tool for computations, which we illustrate by computing the rational cohomology ring of $B{\text{Diff}}^{+}\left((S^1\times S^2{)}^{♯2}\right)$.

77 pages, 8 figures