Related papers: Finite-volume hyperbolic Coxeter 4-dimensional pol…

We construct finite volume hyperbolic manifolds with large symmetry groups. The construction makes use of the presentations of finite Coxeter groups provided by Barot and Marsh and involves mutations of quivers and diagrams defined in the…

In this article we prove a formula for the volume of 4-dimensional polytopes, in terms of their face bivectors, and the crossings within their boundary graph. This proves that the volume is an invariant of bivector-coloured graphs in $S^3$.

We compute Coxeter diagrams of several ``large'' reflective even 2-elementary hyperbolic lattices and their maximal parabolic subdiagrams, and give some applications of these results to the theory of K3 surfaces and hyperkahler varieties.

We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases.

In this paper we obtain new upper bounds on volumes of right-angled polyhedra in hyperbolic space $\mathbb{H}^3$ in three different cases: for ideal polyhedra with all vertices on the ideal hyperbolic boundary, for compact polytopes with…

A permutation polytope is the convex hull of a group of permutation matrices. In this paper we investigate the combinatorics of permutation polytopes and their faces. As applications we completely classify permutation polytopes in…

We exhibit some (compact and cusped) finite-volume hyperbolic four-manifolds M with perfect circle-valued Morse functions, that is circle-valued Morse functions $f\colon M \to S^1$ with only index 2 critical points. We construct in…

We show that cusped finite-volume hyperbolic 3-manifolds contain infinitely many simple closed geodesics.

Let $P$ be a compact hyperbolic Coxeter truncation polytope of dimension $d\ge 3$, and let $\Gamma$ be the orbifold fundamental group of the associated Coxeter orbifold $\mathcal{O}_P$. Let $\mathscr{G}(\Gamma,G)$ be the geometric component…

Beside simplices, $n$-cubes form an important class of simple polyhedra. Unlike hyperbolic Coxeter simplices, hyperbolic Coxeter $n$-cubes are not classified. We show that there is no hyperbolic Coxeter $n$-cube for $n\geq~6$, and provide a…

We are interested in the maximum possible number of facets that Dirichlet stereohedra for three-dimensional crystallographic groups can have. The problem for non-cubic groups was studied in previous papers by D. Bochis and the second author…

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 ${\mathbb R}^n$ modulo the…

See math.CV/0509030 which replaces this paper.

In this paper we finish the intensive study of three-dimensional Dirichlet stereohedra started by the second author and D. Bochis, who showed that they cannot have more than 80 facets, except perhaps for crystallographic space groups in the…

The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a…

We prove that every finite group is the automorphism group of a finite abstract polytope isomorphic to a face-to-face tessellation of a sphere by topological copies of convex polytopes. We also show that this abstract polytope may be…

We establish some geometric constraints on compact Coxeter polytopes in hyperbolic spaces and show that these constraints can be a very useful tool for the classification problem of reflective anisotropic Lorentzian lattices and cocompact…

Gromov and Piatetski-Shapiro proved existence of finite volume non-arithmetic hyperbolic manifolds of any given dimension. In dimension four and higher, we show that there are about v^v such manifolds of volume at most v, considered up to…

We give a quantification of residual finiteness for the fundamental groups of hyperbolic manifolds that admit a totally geodesic immersion to a compact, right-angled Coxeter orbifold of dimension 3 or 4. Specifically, we give explicit upper…

The lists of facets -- $298,592$ in $86$ orbits -- and of extreme rays -- $242,695,427$ in $9,003$ orbits -- of the hypermetric cone $HYP_8$ are computed. The first generalization considered is the hypermetric polytope $HYPP_n$ for which we…