Moduli space of certain mirror projective polyhedra (Q5961885)

There is a classical method, due to Poincaré, of constructing, starting from a convex polyhedron \(\Omega\) in a hyperbolic space \(\mathbb{H}^n\), a discrete group of transformations \(\Gamma\) of \(\mathbb{H}^n\) that preserve the polyhedron \(\Omega\) and that act cocompactly on \(\mathbb{H}^n\). One says then that \(\Omega\) is \textit{divisible} by \(\Gamma\). E. Vinberg found a construction in projective space \(\mathbb{P}^n(\mathbb{R})\) which produces divisible convex sets \(\Omega\) in that space. Motivated by the work of Vinberg, the author of the paper under review introduces a notion of \textit{mirror projective polyhedron}. This is a polyhedron \(P\) in projective space \(\mathbb{P}^n(\mathbb{R})\) equipped with some reflections along its faces. The definition provides a natural notion of dihedral angle for such a polyhedron. The author is interested in the following question: Given the graph of a polyhedron \(\mathcal{G}\) whose edges are labelled by real numbers \(\theta \in (0,\frac{\pi}{2}]\), the question is to understand the moduli space \(X_\mathcal{G}\) of mirror projective polyhedra whose combinatorics is the one of \(\mathcal{G}\) and whose dihedral angles are those that are determined by the labeling of \(\mathcal{G}\). The main result of this paper is the construction of an explicit diffeomorphism between the moduli space of a mirror projective polyhedron with fixed dihedral angles in \((0,\frac{\pi}{2}]\) and the union of \(n\) copies of \(\mathbb{R}^d\), when the polyhedron is an \textit{ecimahedron}, a combinatorial notion introduced in this paper. The author also shows that in this case the integers \(n\) and \(d\) can be computed explicitly in terms of the combinatorics and the fixed dihedral angles.