New hyperbolic 4-manifolds of low volume (Q2279066)

The authors show that there exist at least two distinguished commensurability classes of hyperbolic 4-manifolds containing an oriented representative with minimal volume. They first need to introduce two hyperbolic \(4\)-polytopes. The rectified \(5\)-cell \(\mathcal{R}\), obtained as the convex hull of \(10\)-points in \(\mathbb{H}^4\), and the Kerckhoff-Storm polytope \(\mathcal{P}\), described as the intersection of \(24\)-halfspaces in \(\mathbb{H}^4\). Both \(\mathcal{R}\) and \(\mathcal{P}\) are arithmetic and, together with the ideal right-angled \(24\)-cell \(\mathcal{C}\), they are pairwise non-commensurable. The proof is based on \textit{C. Maclachlan}'s criterion of commensurability based on the study of a suitable ramification set [Groups Geom. Dyn. 5, No. 4, 767--785 (2011; Zbl 1278.11047)]. Additionally the authors construct the smallest examples of non-arithmetic hyperbolic \(4\)-manifolds. The building blocks of both examples are still the polytopes \(\mathcal{R}\) and \(\mathcal{P}\). The main idea behind the proof is to construct two hyperbolic \(4\)-manifolds with totally geodesic boundary and then apply the interbreeding technique of \textit{M. Gromov} and \textit{I. I. Piatetski-Shapiro} [Publ. Math., Inst. Hautes Étud. Sci. 66, 93--103 (1988; Zbl 0649.22007)] gluing the \(4\)-manifolds along their boundaries to get the desired examples.