Homotopy classification of $4$-manifolds with $3$-manifold fundamental group

Abstract

We give a criterion on a group $\ddot{I}€$ and a homomorphism $w:\ddot{I}€\to C_2$ under which closed $4$-manifolds with fundamental group $\ddot{I}€$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic $2$-types. We verify the criterion for a large class of $3$-manifold groups and orientation characters, in particular for the fundamental group $\ddot{I}€$ of any closed, orientable $3$-manifold whose finite subgroups are cyclic, provided $w$ vanishes on every element of $\ddot{I}€$ of finite order. We deduce a homeomorphism classification of closed, orientable $4$-manifolds with infinite dihedral fundamental group $\mathbb{Z}/2\ast \mathbb{Z}/2$.

64 pages, 2 figures