Aspherical $PD_4$-pairs

Abstract

This is the third of three related preprints. We consider here which groups $\pi$ and $PD_3$-complexes $Y$ are realised by $PD_4$-pairs $(X,Y)$ with $X$ aspherical and $\pi_1X\cong\pi$, and show that such a pair may be assembled from $(D^4,S^3)$ and $PD_4$-pairs of groups, by adding 1-handles and mapping cylinders of $\mathbb{Z}\pi_1N$-homology equivalences over boundary components $N$, if and only if $H^2(\pi;\mathbb{Z}\pi)=0$. (This includes all such pairs with $\pi_1$-injective boundary components and all with $\pi$ a free group, but none with $c.d.\pi=2$. Adding a 1-handle includes connected sum.) If there is a finite 2-dimensional $K(\pi,1)$-complex then $\pi$ is realisable by some such pair $(X,Y)$, but there are no obvious building blocks analogous to $PD_4$-pairs of groups, except for when $\pi$ is a $PD_2$-group.