Injectivity radii of hyperbolic polyhedra. (Q5937864)

A convex polyhedron \(P\) in hyperbolic space \(H^n\) of finite volume is called a Coxeter polyhedron if its dihedral angles are integer submultiples of \(\pi\). For Coxeter polyhedra \(P\) the group \(\Gamma^+(P)\) of all orientation preserving isometries generated by reflections at faces of \(P\) is known to be a discrete transformation group \(\Gamma\). Thus, the orbit space \(H^n/\Gamma\) forms a hyperbolic orbifold \(M\), if \(\Gamma\) is torsionfree, and the injectivity radius of \(M\) can be defined as \(\sup\{a > 0\mid \text{every }x \in M\) is the center of an embedded ball of radius \(a\)