Projective deformations of weakly orderable hyperbolic Coxeter orbifolds

From MaRDI portal
Publication:2517166



Abstract: A Coxeter n-orbifold is an n-dimensional orbifold based on a polytope with silvered boundary facets. Each pair of adjacent facets meet on a ridge of some order m, whose neighborhood is locally modeled on mathbbRn modulo the dihedral group of order 2m generated by two reflections. For ngeq3, we study the deformation space of real projective structures on a compact Coxeter n-orbifold Q admitting a hyperbolic structure. Let e+(Q) be the number of ridges of order geq3. A neighborhood of the hyperbolic structure in the deformation space is a cell of dimension e+(Q)−n if n=3 and Q is weakly orderable, i.e., the faces of Q can be ordered so that each face contains at most 3 edges of order 2 in faces of higher indices, or Q is based on a truncation polytope.


The paper under review computes the deformation space of projective structures in a class of compact hyperbolic Coxeter orbifolds of dimension \(n\geq 3\). A hyperbolic orbifold admits a natural projective structure, induced for instance from the projective model of hyperbolic space, and in general it is difficult to compute the moduli space of its projective structures for \(n\geq 3\). This paper describes the deformation space (a neighborhood in the moduli space) of the projective structure induced from the hyperbolic one for this family of Coxeter orbifolds, which is a relevant contribution. Those Coxeter groups are realized by an \(n\)-dimensional, compact, and hyperbolic polyhedron. The group is generated by reflections on its facets (codimension 1 sides), in particular the orbifold is a polyhedron with mirrors in its facets. Such an polyhedron is simple (every vertex meets precisely \(n\) facets, where \(n\) is the dimension). To each face of codimension 2 (called ridge) one associates a natural number, the order of the rotation that is the product of the adjacent facets. Weak orderability is a way to control the number of those ridges that have order 2. More precisely, it means that one can order the facets so that each one has at most \(n\) other adjacent facets that come later for this order and that their common ridge has order 2. In addition, it is also required that those adjacent facets are in generic position. This genericity always holds true for \(n=3\) [\textit{S. Choi} et al., Geom. Dedicata 159, 125--167 (2012; Zbl 1266.57012)]. Another condition is added for the number of facets \(f\) and ridges \(e\): \(e-n f+n(n+1)/2=0\), which is always satisfied for three dimensional polytopes. Under the above conditions, it is shown that the deformation space of projective structures is a ball of dimension the number of ridges of order at least 3 minus \(n\). There are two particular cases. In dimension three, just weak orderability is required. Another remarkable case is for a polyhedron obtained by iterated truncation on a simplex, where the conditions are always satisfied. For the proof, the deformation space is written as the solution space of the so called Vinberg equations. The authors prove that those equations define a submersion, hence the solution space is smooth, and they compute its dimension (in dimension 3, those have already been described by \textit{L. Marquis} in [Geom. Dedicata 147, 47--86 (2010; Zbl 1243.52015)]). Finally the authors provide examples that show the necessity of these conditions, in particular an example where the deformation space is singular.



Cites work









This page was built for publication: Projective deformations of weakly orderable hyperbolic Coxeter orbifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2517166)