Subspace stabilisers in hyperbolic lattices

TL;DR

This paper characterizes hyperbolic suborbifolds related to arithmeticity, introduces fc-subspaces, and explores their algebraic properties, including examples with special trace field relationships and exceptional orbifolds.

Contribution

It establishes a new correspondence between geodesic suborbifolds and finite subgroups of the commensurator, providing an arithmeticity criterion and algebraic characterization of suborbifolds.

Findings

Hyperbolic orbifolds are arithmetic iff they have infinitely many fc-subspaces.

Constructed examples of non-arithmetic orbifolds with non-fc subspaces.

Every exceptional trialitarian 7-orbifold contains a geodesic arithmetic 3-orbifold.

Abstract

This paper shows that immersed totally geodesic $m$-dimensional suborbifolds of $n$-dimensional arithmetic hyperbolic orbifolds correspond to finite subgroups of the commensurator whenever $m \geqslant \frac{n-1}{2}$. We call such totally geodesic suborbifolds finite centraliser subspaces (or fc-subspaces) and use them to formulate an arithmeticity criterion for hyperbolic lattices. We show that a hyperbolic orbifold $M$ is arithmetic if and only if it has infinitely many fc-subspaces, and exhibit examples of non-arithmetic orbifolds that contain non-fc subspaces of codimension one. We provide an algebraic characterization of totally geodesically immersed suborbifolds of arithmetic hyperbolic orbifolds by analysing Vinberg's commensurability invariants. This allows us to construct examples with the property that the adjoint trace field of the geodesic suborbifold properly contains the adjoint trace field of the orbifold. The case of special interest is that of exceptional trialitarian $7$-dimensional orbifolds. We show that every such orbifold contains a totally geodesic arithmetic hyperbolic $3$-orbifold of exceptional type. Finally, we study arithmetic properties of orbifolds that descend to their totally geodesic suborbifolds, proving that all suborbifolds in a (quasi-)arithmetic orbifold are (quasi-)arithmetic.