Kerckhoff and Storm conjectured that compact hyperbolic –orbifolds with totally geodesic boundary are infinitesimally rigid when . We verify this conjecture for a specific example based on the –dimensional hyperbolic –cell.
"Infinitesimal rigidity of a compact hyperbolic $4$–orbifold with totally geodesic boundary." Algebr. Geom. Topol. 9 (1) 537 - 548, 2009. https://doi.org/10.2140/agt.2009.9.537