Minimal Equiangular Hyperbolic Polyhedra in the Tetrahedral Range

Abstract: We consider finite-volume convex hyperbolic polyhedra whose dihedral angles are all equal to a fixed number $α$. Such non-obtuse equiangular polyhedra may exist only for $\fracπ{3}\leqα\leq\fracπ{2}$. The endpoint cases of the minimal-volume problem are known: for $α=\fracπ{3}$, the minimum is attained by the ideal regular tetrahedron, while for $α=\fracπ{2}$, among right-angled polyhedra, it is attained by the triangular bipyramid $P(3,2)$, whose volume is Catalan's constant. We prove the corresponding statement in the tetrahedral range $\fracπ{3}\leqα<\arccos\left(\frac{1}{3}\right)$, where the regular hyperbolic tetrahedron with dihedral angle $α$ exists. Namely, for every such $α$, among all equiangular hyperbolic polyhedra with dihedral angle $α$, the minimum volume is attained only by this tetrahedron. The proof combines Andreev's theorem, the Schläfli formula, Atkinson's decomposition into atoroidal and prismatic parts, explicit volume estimates for ordinary prisms and complete orthoschemes, and a direct equiangular version of Inoue's edge surgery.