Discrete linear groups containing arithmetic groups

DOI10.5802/JEP.318MaRDI QIDQ6906535zbMATH OpenFDO

Authors Indira Chatterji, T. N. Venkataramana

Publication date 4 November 2025

Published in Journal de l'École Polytechnique -- Mathématiques (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.5802/JEP.318

zbMATH Keywords

arithmetic groups lattices in Lie groups Lie groups superrigidity

Mathematics Subject Classification ID

Linear algebraic groups over global fields and their integers (20G30) Discrete subgroups of Lie groups (22E40)

Review text

This paper deals with rigidity questions concerning lattices of semisimple Lie groups. A \textit{lattice} of a Lie group is a discrete subgroup which has finite covolume. The most famous example is certainly \(\mathrm{SL}_n(\mathbb{Z})\) which is a lattice of \(\mathrm{SL}_n(\mathbb{R})\).\N\NThis paper deals with the following question. Let \(G\) be a connected simple real Lie group. Given an algebraic subgroup \(H\) of \(G\), is it true that any Zariski-dense discrete subgroup of \(G\) intersecting \(H\) in a lattice is itself a lattice of \(G\)? The answer, of course, depends on the subgroup \(H\) and the focus of this paper is when \(H\) is semisimple of rank at least \(2\).\N\NFor instance, consider \(G=\mathrm{SL}_n(\mathbb{R})\), \(n\geq 3\) and \(H=\mathrm{SL}_3(\mathbb{R})\) embedded as a \(3\)-by-\(3\) block in \(G\). The first theorem of the paper states that if \(\Gamma\) is a Zariski-dense discrete subgroup of \(\mathrm{SL}_n(\mathbb{R})\) whose intersection with \(H\) is a finite-index subgroup of \(\mathrm{SL}_3(\mathbb{Z})\), then \(\Gamma\) has a conjugate which is commensurable with \(\mathrm{SL}_n(\mathbb{Z})\).\N\NThis is a consequence of the main result of this paper, which goes as follows. Let \(H\) be a semisimple algebraic subgroup of \(G\) of rank at least \(2\). The authors give conditions, mainly in terms of the action of \(H\) on the Furstenberg boundary of \(G\), under which any Zariski-dense discrete subgroup of \(G\) intersecting \(H\) in an irreducible lattice is contained in a lattice of \(G\). This conditions are fulfilled, if, for example, \(H\) has dimension larger than the maximal compact subgroup of \(G\).

Cites work

This page was built for publication: Discrete linear groups containing arithmetic groups

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