All 4-dimensional infra-solvmanifolds are boundaries (Q2349877)

Infra-solvmanifolds are a certain class of aspherical manifolds which generalize both flat and almost flat manifolds. Every 4-dimensional infra-solvmanifold \(M\) is diffeomorphic to a geometric 4-manifold, with geometry of solvable Lie type. In the paper under review the author proves that all 4-dimensional infra-solvmanifolds bound. The proof is by construction of an isometric involution with 2-dimensional fixed point set and an application of R. E. Stong's result that the Stiefel-Whitney number \(\omega_1^4(M)\) vanishes.