What problem does this paper attempt to address?

The core problem that this paper attempts to solve is about the residual finiteness of discrete subgroups. Specifically, the paper explores whether the discrete subgroup \(\Gamma < G\) of a real Lie group \(G\) is residually finite. The following is the specific statement of the problem: ### Problem Description **Problem 1.1**: Let \(G\) be a connected real Lie group. Which discrete subgroups \(\Gamma < G\) are residually finite? More specifically, the paper aims to answer the following two key questions: 1. **For which connected real Lie groups \(G\), are all lattices in \(G\) residually finite?** 2. **Which connected real Lie groups contain lattices that are not residually finite?** ### Research Background and Motivation Residual finiteness is an important algebraic property and has wide applications in fields such as algebra, number theory, geometry, and topology. For example, Scott's criterion shows that if \(X\) is a Hausdorff space with fundamental group \(\Gamma\), and \(\tilde{X}\) is the universal covering space of \(X\), then \(\Gamma\) is residually finite if and only if for each compact subset \(C\subseteq\tilde{X}\), there exists a finite covering \(Y\rightarrow X\) such that the natural map \(\tilde{X}\rightarrow Y\) is an embedding on \(C\). ### Main Results and Findings The paper summarizes the known positive and negative results and proposes questions for further research. For example: - Malcev's theorem states that if \(\Gamma\) is a finitely generated subgroup of some \(GL_N(\mathbb{C})\), then \(\Gamma\) is residually finite. - Deligne's theorem states that for some specific Lie groups (such as \(Sp_{2g}(\mathbb{Z})\)), its pre - image under a finite covering is not residually finite. - For linear or solvable Lie groups \(G\), all lattices are residually finite. ### Special Case Analysis The paper also discusses in detail the case of semisimple Lie groups, especially dividing it into two cases according to the real rank of the Lie group: high rank (at least 2) and rank 1: - **In the high - rank case**: Assuming some widely accepted conjectures (such as Serre's congruence subgroup property conjecture), it is possible to understand very precisely when an irreducible lattice is residually finite and when it is not. - **In the rank 1 case**: Although there are some results, there are still some unsolved specific cases. For example, for \(SO^{\circ}(n, 1)\) and \(Sp(n, 1)\), all lattices are residually finite; while for \(PU(n, 1)\), the situation is more complex and has not been fully solved. Through these analyses, the paper provides a comprehensive understanding framework to help readers better understand the problem of the residual finiteness of discrete subgroups.

Residual finiteness and discrete subgroups of Lie groups

On residual finiteness of graphs of free groups with cyclic edge groups

Generalized Residual Finiteness of Groups

Remarks on discrete subgroups with full limit sets in higher rank Lie groups

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Discrete subgroups of semisimple Lie groups, beyond lattices

Recognition and constructive membership for discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$

Residual Deficiency

Residually finite non-linear hyperbolic groups

Almost-minimal nonuniform lattices of higher rank

ON THE LATTICE OF -SUBNORMAL SUBGROUPS OF A FINITE GROUP

Finite-sided Dirichlet domains and Anosov subgroups

Finitely presented residually free groups

Residually Finite Tubular Groups

Irreducible discrete subgroups in products of simple Lie groups

Sublinear Rigidity of Lattices in Semisimple Lie Groups

Arithmetic representations of fundamental groups II: finiteness

Infinite Volume and Infinite Injectivity Radius

On the lattice of closed subgroups of a profinite group

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Graphically discrete groups and rigidity