On quasi-arithmeticity of hyperbolic hybrids

Nikolay Bogachev,Dmitry Guschin,Andrei Vesnin

2024-09-17

Abstract:We study a more general version of the hybrid construction of Gromov and Piatetski--Shapiro, where the building blocks are no longer assumed to be arithmetic. We show that if such a general hyberbolic hybrid of dimension $\geqslant 3$ is quasi-arithmetic (a notion which is a broader notion than that of arithmeticity) then each building block must be quasi-arithmetic as well and, moreover, must with the same ambient group and adjoint trace field. On the other hand, we provide an example of a nonarithmetic but quasi-arithmetic orbifold such that a specific gluing of this orbifold with itself along the boundary gives rise to an arithmetic hyperbolic orbifold. We also note that if the building blocks are incommensurable, then the hybrid is not arithmetic. Together with the above, this implies that if a hyperbolic hybrid is arithmetic, then it is glued from commensurable quasi-arithmetic blocks. We illustrate the above results in the setting of reflection groups and hyperbolic Coxeter polyhedra and apply them to rule out the (quasi-)arithmeticity of a family of ideal hyperbolic right-angled $3$-polyhedra, namely, certain ``twisted'' ideal right-angled antiprisms.

Geometric Topology,Group Theory,Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to study the quasi - arithmeticity of hyperbolic hybrids under more general conditions. Specifically, the authors explore the properties of these hyperbolic hybrids when the building blocks are no longer assumed to be arithmetic. The main contributions of the paper are as follows:

1. **Condition analysis**: If a generalized hyperbolic hybrid with dimension greater than or equal to 3 is quasi - arithmetic, then each building block must also be quasi - arithmetic and have the same ambient group and adjoint trace field.

2. **Example provision**: The paper provides an example of a non - arithmetic but quasi - arithmetic orbifold. Through a specific self - boundary gluing, an arithmetic hyperbolic orbifold can be generated.

3. **Non - arithmetic condition**: If the building blocks are incommensurable, then the hybrid is not arithmetic. This means that if a hyperbolic hybrid is arithmetic, then it is formed by gluing commensurable quasi - arithmetic building blocks.

4. **Application and generalization**: These results are illustrated in the context of reflection groups and hyperbolic Coxeter polyhedra and are applied to exclude the (quasi) - arithmeticity of certain ideal hyperbolic right - angled 3 - polyhedra (such as "twisted" ideal right - angled antiprisms).

Through these studies, the paper further expands the understanding of the arithmeticity and quasi - arithmeticity of hyperbolic hybrids, especially in high - dimensional spaces. This not only contributes to the development of theoretical mathematics but also provides a new perspective for applications in related fields.