On discreteness of commensurators

From MaRDI portal
(Redirected from Publication:625336)



Abstract: We begin by showing that commensurators of Zariski dense subgroups of isometry groups of symmetric spaces of non-compact type are discrete provided that the limit set on the Furstenberg boundary is not invariant under the action of a (virtual) simple factor. In particular for rank one or simple Lie groups, Zariski dense subgroups with non-empty domain of discontinuity have discrete commensurators. This generalizes a Theorem of Greenberg for Kleinian groups. We then prove that for all finitely generated, Zariski dense, infinite covolume discrete subgroups of Isom(mathbbH3), commensurators are discrete. Together these prove discreteness of commensurators for all known examples of finitely generated, Zariski dense, infinite covolume discrete subgroups of Isom(X) for X a symmetric space of non-compact type.


Motivated by Margulis' celebrated characterization of arithmeticity of irreducible lattices in semisimple Lie groups in terms of density of the commensurator, the paper concerns the problem to describe the commensurators of Zariski dense subgroups of semisimple Lie groups. It starts with the observation that for Zariski dense subgroups of semisimple Lie groups occuring as isometry groups of rank one symmetric spaces, commensurators are discrete provided that the domain of discontinuity is nonempty, and then presents a generalization also for arbitrary symmetric spaces. Then, shifting the interest to Kleinian groups, it is proved that for all finitely generated, Zariski dense, infinite covolume discrete subgroups \(G\) of Isom(\(\mathbb H^3\)), commensurators are discrete; more generally, [Comm(\(G):G] < \infty\) unless \(G\) is virtually a fiber subgroup, in which case Comm(\(G\)) is the fundamental group of a virtually fibered finite volume hyperbolic 3-manifold. As the author notes, together these results prove discreteness of commensurators for all known examples of finitely presented, Zariski dense, infinite covolume discrete subgroups of Isom(\(X\)) for \(X\) a symmetric space of noncompact type.











This page was built for publication: On discreteness of commensurators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q625336)