Action rigidity for free products of hyperbolic manifold groups

Abstract

Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. We consider free products of uniform lattices in isometry groups of rank-1 symmetric spaces and prove, within each quasi-isometry class, that residually finite groups that have a common model geometry are abstractly commensurable. Our result gives the first examples of hyperbolic groups that are quasi-isometric but do not virtually have a common model geometry. An important component of the proof is a generalization of Leighton's graph covering theorem. The main theorem depends on residual finiteness, and we show that finite extensions of uniform lattices in rank-1 symmetric spaces that are not residually finite would give counterexamples.Résumé. -Deux groupes ont la même géométrie de modèle s'ils agissent proprement et cocompactement par isométries sur un même espace métrique propre et géodésique. Nous étudions les produits libres de réseaux uniformes dans les groupes d'isométries d'espaces symétriques de rang 1 et prouvons que, dans chaque classe de quasi-isométries, les groupes résiduellement finis qui ont la même géométrie de modèle sont abstraitement commensurables. Notre résultat donne les premiers exemples de groupes hyperboliques qui sont quasi-isométriques mais qui n'ont virtuellement pas la même géométrie de modèle. Un élément important de la preuve est une généralisation d'un théorème de Leighton sur les revêtements finis communs des graphes. Le théorème principal utilise la notion de finitude résiduelle, et nous montrons que les extensions finies de réseaux uniformes des espaces symétriques de rang 1 qui ne sont pas résiduellement finis produisent des contre-exemples.

Incommensurable lattices in Baumslag–Solitar complexes

“…The motivation for this work came in part from the following question of Stark and Woodhouse [30, Question 1.9]: If $$H$$ and $$H^{\prime }$$ are one‐ended residually finite hyperbolic groups that act geometrically on the same simplicial complex, are $$H$$ and $$H^{\prime }$$ abstractly commensurable? The groups considered here are certainly not hyperbolic or residually finite, but they provide another setting, in addition to lattices in products of trees, in which incommensurable groups can have a common combinatorial model.…”