Let $M$ be a smooth orientable compact connected (with boundary) manifold of dimension $4$. In addition $M$ is assumed to be aspherical and acyclic.



> 
> **Question:** is there a "classification" of such manifolds? Or can they be classified in any effective way?
> 
> 
> 



Very particular kind of 4-manifolds. Classification
There are plenty of such manifolds, but as Danny indicates in his answer, there is not a known classification.


Take any acyclic group $G$ with a finite aspherical 2-complex $C$ with $\pi\_1(C)=G$. Then one can create an aspherical 4-manifold with boundary having $G$ as fundamental group. We may assume that the 1-skeleton $C^{(1)}$ of $C$ is a wedge of $k$ circles. Then take a 4-dimensional handlebody $H$ with $k$ 1-handles, with a spine of $C^{(1)}$. There are $k$ disks attached to the 1-skeleton in $C$. Attach $2$-handles to $H$ in such a way that the core of the attaching map is homotopic to the attaching map in the 2-skeleton $C^{(1)}$ to get a manifold $W$ with [handle structure](https://en.wikipedia.org/wiki/Handle_decomposition) so that $C$ is a deformation retract of $W$, and hence $\pi\_1(W)\cong G$. By the [Poincaré-Lefschetz theorem](https://en.wikipedia.org/wiki/Lefschetz_duality), $\partial W$ is a homology 3-sphere. But in general we may get many different boundaries depending on the choice of isotopy class and framing of the boundary of the cores of the 2-handles.


To get such groups $G$, one can choose a [small-cancellation](https://en.wikipedia.org/wiki/Small_cancellation_theory#Asphericity)
$C'(\frac16)$ balanced presentation with $H\_1(G)=0$. Then a presentation complex $C$ will be aspherical and acyclic. ***Added:*** See an explicit example due to Rylee Lyman in the comments. A simpler presentation of the Higman group is given (which perfect and has aspherical presentation complex).


The difficulty here is that one has no idea what 3-manifold the boundary of such a manifold will be. Moreover, it's not clear what the homeomorphism classification of such manifolds is, even if they have the same aspherical 2-skeleton spine and boundary.


Presumably there are also examples which do not have a 2-dimensional spine. The only obvious restriction I see is that the fundamental group must have cohomological dimension three.


