On the stability of hyperbolicity under quantitative measure equivalence

Thiebout Delabie,Juhani Koivisto,François Le Maître,Romain Tessera

2024-11-15

Abstract:A well-known result of Shalom says that lattices in SO$(n,1)$ are $L^p$ measure equivalent for all $p<n-1$. His proof actually yields the following stronger statement: the natural coupling resulting from a suitable choice of fundamental domains from a uniform lattice $\Lambda$ to a uniform one $\Gamma$ is $(L^{\infty},L^p)$. Moreover, the fundamental domain of $\Gamma$ is contained in a union of finitely many translates of the fundamental domain of $\Lambda$. The purpose of this note is to prove a converse statement. More generally, it is proved that if a ME-coupling from a non-hyperbolic group $\Lambda$ to a hyperbolic group $\Gamma$ is $(L^{\infty},L^p)$ and the fundamental domain of $\Gamma$ is contained in a union of finitely many translates of the fundamental domain of $\Lambda$, then $p$ must be less than some $p_0$ only depending on $\Gamma$.

Group Theory,Metric Geometry