Aspherical manifolds with boundary

We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case.

Our main theorems give a homological criterion for when a closed manifold, together with maps from the fundamental groups of its components to a fixed group, can be realized as the boundary of a compact aspherical manifold.

This is done in two steps: we first produce a Poincaré pair and then apply surgery theory to obtain a manifold.

We illustrate this in the case of abelian fundamental group.

The results of this paper will be applied in a sequel where we classify compact aspherical 4-manifolds with elementary amenable fundamental group.