The three smallest compact arithmetic hyperbolic 5-orbifolds (Q1948300)

For odd \(n\geq 3\), the (orientable) compact arithmetic hyperbolic \(n\)-orbifold of smallest possible volume has been determined by \textit{M. Belolipetsky} and \textit{V. Emery} [Proc. Lond. Math. Soc. (3) 105, No. 3, 541--570 (2012; Zbl 1327.22013)] using the Prasad volume formula. In the paper under review, the authors refine this method to determine the three arithmetic compact five-orbifolds of smallest volume, equivalently the three lattices in the isometry group \(\mathrm{SO}(1,5)^\circ\) of smallest covolume. These are the \(\Gamma_0'\) which was already known by M. Belolipetsky and V. Emery [loc. cit.], the unique subgroup \(\Gamma_1'\subset\Gamma_0'\) of index two and a third lattice \(\Gamma_2'\) which is not commensurable with \(\Gamma_0'\). This is the contents of Theorem 1 and Table 1 of the reviewed paper. The other main result of this paper is a realization of these orbifolds as quotients of hyperbolic five-space \({\mathbb H}^5\) by Coxeter groups. The proof of this is by constructing compact Coxeter polytopes \(P_0,P_2\) in \({\mathbb H}^5\) whose hyperbolic volumes approximate those of \(\Gamma_0'\backslash{\mathbb H}^5\), \(\Gamma_2'\backslash{\mathbb H}^5\), respectively, and applying Theorem 1 (the Coxeter groups coming from \(P_0,P_2\) were already known to be arithmetic). This is Theorem 2 and Table 2 of the paper.