The distortion dimension of $\mathbb Q$--rank $1$ lattices

TL;DR

This paper investigates the geometric properties of horospheres in symmetric spaces and establishes the distortion dimension of certain $ ext{Q}$-rank 1 lattices, showing they satisfy Euclidean isoperimetric inequalities up to a specific dimension.

Contribution

It proves that horospheres are Lipschitz $(k-2)$--connected under certain conditions and determines the distortion dimension of irreducible $ ext{Q}$--rank-$1$ lattices in semisimple Lie groups.

Findings

Horospheres are Lipschitz $(k-2)$--connected if centers are not in a proper join factor.

The distortion dimension of irreducible $ ext{Q}$--rank-$1$ lattices is $k-1$.

Arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension $k-1$.

Abstract

Let $X=G/K$ be a symmetric space of noncompact type and rank $k\ge 2$. We prove that horospheres in $X$ are Lipschitz $(k-2)$--connected if their centers are not contained in a proper join factor of the spherical building of $X$ at infinity. As a consequence, the distortion dimension of an irreducible $\mathbb{Q}$--rank-$1$ lattice $\Gamma$ in a linear, semisimple Lie group $G$ of $\mathbb R$--rank $k$ is $k-1$. That is, given $m< k-1$, a Lipschitz $m$--sphere $S$ in (a polyhedral complex quasi-isometric to) $\Gamma$, and a $(m+1)$--ball $B$ in $X$ (or $G$) filling $S$, there is a $(m+1)$--ball $B'$ in $\Gamma$ filling $S$ such that $\operatorname{vol} B'\sim \operatorname{vol} B$. In particular, such arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension $k-1$.