arXiv research

The paper studies deformation spaces of Coxeter truncation polytopes.

The study classifies all compact hyperbolic polytopes with eight facets.

The study classifies all compact 5D polytopes with 9 facets.

New noncompact Coxeter polytopes found in various dimensions.

The study classifies 331 specific 4D polytopes with 7 facets.

The paper classifies compact hyperbolic Coxeter polytopes and improves upper bounds.

Smooth deformation space of Coxeter polytopes proven for orderable orbifolds.

Geometric constraints help classify hyperbolic polytopes.

Finite volume Coxeter polytopes are quasiperfect and related to finite covolume reflection groups.

We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples.

New methods classify hyperbolic polytopes with up to 40 facets.

Researchers prove finiteness of integral representations on specific polytopes.

We construct infinite series of non-simple ideal hyperbolic Coxeter 4-polytopes whose growth rates are Perron numbers. This infinite series is the first example of such a non-compact infinite polytopal series.

Study real projective structures on a specific Coxeter orbifold.

In this paper, we compute the covolume of the group of units of the quadratic form f_d^n(x) = x_1^2 + x_2^2 + . . . + x_n^2 - d x_{n+1}^2 with d an odd, positive, square-free integer. Mcleod has determined the hyperbolic Coxeter fundamental domain of the reflection subgroup of the group of units of the quadratic form f…

Polytopes connect Lie theory to physics, integrating integrable systems.

In this paper, we construct a right-angled 5-polytope P of finite volume such that all the right-angled Coxeter groups with Fuchsian ends obtained from P are locally rigid.

Study character varieties of a Coxeter group in hyperbolic and Anti-de Sitter spaces.

In his seminal 1951 paper "Extreme forms" Coxeter \cite{cox51} observed that for $n \ge 9$ one can add vectors to the perfect lattice $\sfA_9$ so that the resulting perfect lattice, called $\sfA_9^2$ by Coxeter, has exactly the same set of minimal vectors. An inhomogeneous analog of the notion of perfect lattice is tha…

By gluing together the sides of eight copies of an all-right angled hyperbolic 6-dimensional polytope, two orientable hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of orientable hyperbolic 6-manifolds having the smallest possible volume.

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 dihedral group of order $2m$ generated by two reflections. For $n \geq 3$, we study…

There exist natural generalizations of the real moduli space of Riemann spheres based on manipulations of Coxeter complexes. These novel spaces inherit a tiling by the graph-associahedra convex polytopes. We obtain explicit configuration space models for the classical infinite families of finite and affine Weyl groups …

By gluing together copies of an all-right angled Coxeter polytope a number of open hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of hyperbolic 6-manifolds having the smallest possible volume.

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 large part of the Archimedean polytopes and tilings in dimension 3 and 4. We want …

A theorem of Tits - Vinberg allows to build an action of a Coxeter group $Γ$ on a properly convex open set $Ω$ of the real projective space, thanks to the data $P$ of a polytope and reflection across its facets. We give sufficient conditions for such action to be of finite covolume, convex-cocompact or geometrically fi…

Generalizes crystallographic properties to all dimensions.

In this paper, for each finite group $G$, we construct explicitly a non-compact complete finite-volume arithmetic hyperbolic $4$-manifold $M$ such that $\mathrm{Isom}\,M \cong G$, or $\mathrm{Isom}^{+}\,M \cong G$. In order to do so, we use essentially the geometry of Coxeter polytopes in the hyperbolic $4$-space, on o…

New combinatorial framework for geometric realizations of subword complexes.

Study on hyperbolic polyhedra and their volume, proving finiteness of arithmetic groups.

Shephard groups are unitary reflection groups arising as the symmetries of regular complex polytopes. For a Shephard group, we identify the representation carried by the principal ideal in the coinvariant algebra generated by the image of the product of all linear forms defining reflecting hyperplanes. This representat…

One can define what it means for a compact manifold with corners to be a "contractible manifold with contractible faces." Two combinatorially equivalent, contractible manifolds with contractible faces are diffeomorphic if and only if their 4-dimensional faces are diffeomorphic. It follows that two simple convex polytop…

The paper studies the topology and geometry of simple orbifolds, generalizing concepts from simple polytopes.

We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mu…

Much is known about random right-angled Coxeter groups (i.e., right-angled Coxeter groups whose defining graphs are random graphs under the Erdös-Rényi model). In this paper, we extend this model to study random general Coxeter groups and give some results about random Coxeter groups, including some information about t…

New proof shows not all Salem numbers are growth rates of Coxeter groups.

Survey on Coxeter groups for Lie group examples.

We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated…

Study on connectivity of Morse boundaries of Coxeter groups.

New proofs for growth series of Coxeter groups using complex structures.

Introduces Coxeter polyhedra in various geometries.

Characterizes Coxeter groups with convex cocompact representations in projective space.

We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.

The paper characterizes Conway-Coxeter friezes using rational links.

New groups found in hyperbolic 4D and 5D space have minimal growth rate.

We prove that two angle-compatible Coxeter generating sets of a given finitely generated Coxeter group are conjugate provided one of them does not admit any elementary twist. This confirms a basic case of a general conjecture which describes a potential solution to the isomorphism problem for Coxeter groups.

We provide geometric conditions on a pair of hyperplanes of a CAT(0) cube complex that imply divergence bounds for the cube complex. As an application, we classify all right-angled Coxeter groups with quadratic divergence and show right-angled Coxeter groups cannot exhibit a divergence function between quadratic and cu…

Flat coordinates found for algebraic Frobenius manifolds in low dimensions.

The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-…