1: \begin{abstract}
2: We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds
3: with boundary and conclude that they are either polycyclic
4: 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.
5: Moreover, two such 4-manifolds are homeomorphic if and only if
6: their ``enhanced" peripheral group systems are equivalent,
7: and each such manifold is the boundary connected sum of a compact
8: aspherical 4-manifold with prime boundary and a
9: contractible 4-manifold.
10:
11:
12:
13:
14: \end{abstract}
15: