Aspherical 4-manifolds with elementary amenable fundamental group

Abstract

We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the Farrell-Jones Conjecture, one concludes that such manifolds satisfy topological rigidity: a homotopy equivalence which is a homeomorphism on the boundary is homotopic, relative to the boundary, to a homeomorphism. We classify the closed 3-manifolds which arise as the boundary of an compact aspherical 4-manifold with elementary amenable fundamental group, generalizing results of Freedman and Quinn in the cases of trivial and infinite cyclic fundamental groups. Moreover, two such 4-manifolds are homeomorphic if and only if their "enhanced" peripheral group systems are equivalent, and each such manifold is the boundary connected sum of a compact aspherical 4-manifold with prime boundary and a contractible 4-manifold.