The profinite completion of relatively hyperbolic virtually special groups
Pavel Zalesskii
TL;DR
This paper develops a profinite perspective on relatively hyperbolic virtually compact special groups and standard arithmetic hyperbolic manifolds. It shows that toral relative hyperbolicity and relative hyperbolicity with abelian parabolics can be detected algebraically via the profinite completion, and proves a Tits-alternative for closed subgroups of the profinite completion, classifying finitely generated pro-$p$ subgroups as pro-$p$ fundamental groups of finite graphs of pro-$p$ groups. Applying these structural results to standard arithmetic lattices, it provides a detailed description of finitely generated pro-$p$ subgroups in the profinite completions and in the congruence kernel, including that such subgroups are free pro-$p$ in many cases. The findings unify geometric group theory with profinite techniques and yield concrete consequences for arithmetic hyperbolic manifolds, notably the freeness of pro-$p$ subgroups in congruence kernels.
Abstract
We give a characterization of toral relatively hyperbolic virtually special groups in terms of the profinite completion. We also prove a Tits alternative for subgroups of the profinite completion $\hat G$ of a relatively hyperbolic virtually compact special group $G$ and completely describe finitely generated pro-$p$ subgroups of $\hat G$. This applies to the profinite completion of the fundamental group of a hyperbolic arithmetic manifold. We deduce that all finitely generated pro-$p$ subgroups of the congruence kernel of a standard arithmetic lattice of $SO(n,1)$ are free pro-$p$.
