Some properties of lattices in a Lie group (Q2536808)

Let \(G\) be a connected Lie group, \(\Gamma\) a discrete subgroup of \(G\) and \(G/\Gamma\) be the space of left cosets. \(\Gamma\) is called a lattice if \(G/\Gamma\) has finite invariant Haar measure. Let \(S(G)\) be the set of all lattices of \(G\) with topology defined by Chabauty. Let \(A(G)\) be the group of all open continuous automorphisms of \(G\) with compact open topology. Clearly \(A(G)\) acts continuously on \(S(G)\). In this note we are going to prove the following: Theorem A. Let \(\Gamma\) be a finitely generated lattice of a linear semisimple Lie group without compact factors. If the set \(\mathrm{tr}(\Gamma) = \{\text{trace} (\gamma): \gamma\in\Gamma\}\) is discrete, then \(A(G)\Gamma\) is homeomorphic to \(A(G)/N(\Gamma)\) where \(N(\Gamma) = \{\alpha\in A(G): \alpha(\Gamma) = \Gamma\}\). Recently, the author succeeded in proving Theorem A without any assumptions on \(\Gamma\). Let \(\mu\) be a fixed Haar measure on \(G\). \(\mu\) induces a measure \(\bar\mu\) over \(G/\Gamma\). There is a map \(v: S(G)\to\mathbb R\) defined by \(v(\Gamma) = \bar\mu(G/\Gamma)\) for any \(\Gamma\in S(G)\). Theorem B. Let \(G\) be a connected semisimple Lie group without compact factors and \(\Gamma_0\) a lattice of \(G\). If \(v\) is continuous at \(\Gamma_0\), then there is a neighborhood \(V\) of \(\Gamma_0\) in \(S(G)\) and a positive integer \(n\) such that each \(\Gamma\in V\) is contained in at most \(n\) discrete subgroups of \(G\).