Angles and volumes of regular polytopes in geometries of constant curvature

Zakhar Kabluchko; Philipp Schange

In the authors' words

We derive closed-form expressions for the internal and external angles of $d$ -dimensional cubes, regular simplices and regular crosspolytopes in geometries of constant sectional curvature $κ \in R$ . More generally, we determine internal and external angles at arbitrary faces of rectangular boxes, acute orthocentric simplices, rectangular orthocentric simplices and asymmetric crosspolytopes in arbitrary dimension $d$ . We also characterize Riemannian tangent and normal cones of these polytopes, up to isometry. Combining internal angle formulas with the Poincar\'e relation, we derive formulas for the Riemannian volume of these polytopes if the dimension $d$ is even. All formulas are stated in terms of the standard normal distribution function $Φ (x)$ and its imaginary version $Φ (i x)$ . For example, if $d \geq 2$ is even, then the hyperbolic volume of the ideal regular simplex in the $d$ -dimensional hyperbolic space of curvature $κ = - 1$ is $\frac{π ^{d /2}}{2 i ^{d} Γ ( \frac{d + 1}{2} )} \int_{- \infty}^{\infty} [Φ (\frac{i y}{d})^{d + 1} + Φ (- \frac{i y}{d})^{d + 1}] e^{- y^{2} /2} d y .$

Main resultLimitation the authors admit

Angles and volumes of regular polytopes in geometries of constant curvature

In the authors' words

More on Geometry & topology that day

Prescribed singular sets for stationary harmonic maps

Kakeya and Furstenberg problems for sticky sets of tubes

Improved bounds for universal convex covers of unit arcs

The metric extension problem under positive and negative curvature conditions

Measure contraction property on isometric leaves and monotone fibres