New hyperbolic 4–manifolds of low volume

We prove that there are at least two commensurability classes of (cusped, arithmetic) minimal-volume hyperbolic 4–manifolds. Moreover, by applying a well-known technique due to Gromov and Piatetski-Shapiro, we build the smallest known nonarithmetic hyperbolic 4–manifold.