The congruence topology, Grothendieck duality and thin groups. (English) Zbl 1448.11080

Lubotzky, Alexander; Venkataramana, Tyakal Nanjundiah

Algebra Number Theory 13, No. 6, 1281-1298 (2019).

Let \(\Gamma\) be a finitely generated subgroup of \(\mathrm{GL}_n(\mathbb{Z})\). For a representation \(\rho: \Gamma\to \mathrm{GL}(V)\) on a lattice \(V\), let \(\hat{\rho}:\hat{V}\to \mathrm{GL}(\hat{V})\) be the natural continuous extension to the profinite completions. Let \(\mathrm{Cl}_{\rho}(\Gamma)=\{g\in\hat{\Gamma}\,:\,\hat{\rho}(g)(V)\subseteq V\}\). In [Am. J. Math. 102, 663–689 (1980; Zbl 0449.20051)] the first author proved that \(\mathrm{Cl}(\Gamma):=\bigcap_{\rho}\mathrm{Cl}_{\rho}(\Gamma)\) coincides with the group \(\mathrm{Cl}_{\mathbb{Z}}(\Gamma)\), which is essentially defined in [A. Grothendieck, Manuscr. Math. 2, 375–396 (1970; Zbl 0239.20065)] and called the Grothendieck closure of \(\Gamma\).
The main theorem of the paper under review asserts that the equality \(\Gamma=\mathrm{Cl}(\Gamma)\) holds if and only if \(\Gamma\) has the so-called congruence subgroup property. As a corollary, Conjecture A of [Lubotzky, loc. cit.] is confirmed. That is, if \(\Gamma\) is a congruence subgroup of \(G(\mathbb{Q})\), where \(G\) is a simply connected semisimple algebraic group over \(\mathbb{Q}\), then \(\mathrm{Cl}(\Gamma)=\Gamma\) happens if and only if \(\Gamma\) has the strict congruence subgroup property. In particular, if \(\Gamma=\mathrm{SL}_2(\mathbb{Z})\) or \(\Gamma\) is a finitely generated free group on at least two generators, then \(\mathrm{Cl}(\Gamma)\neq\Gamma\).
A classical theorem of Chevalley says that a homomorphism of complex algebraic groups sends a closed subgroup to a closed subgroup. In the course of proving their main theorem, the authors obtained an analogue of Chevalley’s theorem for congruence subgroups.
The techniques in this paper also have a very interesting application to thin subgroups of \(\mathrm{GL}_n(\mathbb{Z})\). Recall that \(\Gamma\) is called a thin subgroup of \(\mathrm{GL}_n(\mathbb{Z})\) if it is of infinite index in \(G\cap\mathrm{GL}_n(\mathbb{Z})\), where \(G\) is the Zariski closure of \(\Gamma\) in \(\mathrm{GL}_n\). Theorem 0.10 of the present paper provides a purely group theoretic criterion for the thinness: \(\Gamma\) is thin if and only if \(\Gamma\) does not have a finite index subgroup with an infinite abelianization or \(\mathrm{Cl}(\Gamma)/\Gamma\) is not compact.

Reviewer: Yong Hu (Guangdong)

MSC:

11E57	Classical groups
20G30	Linear algebraic groups over global fields and their integers

Keywords:

congruence subgroup; thin groups; arithmetic groups; congruence topology

Citations:

Zbl 0449.20051; Zbl 0239.20065

References:

[1]	10.2307/121131 · Zbl 0963.22005
[2]	; Bass, Inst. Hautes Études Sci. Publ. Math., 33, 59 (1967)
[3]	10.4007/annals.2004.160.359 · Zbl 1083.20023
[4]	10.1017/S0027763000018985 · Zbl 0445.20022
[5]	10.2307/2946567 · Zbl 0768.53025
[6]	; Gromov, Inst. Hautes Études Sci. Publ. Math., 76, 165 (1992)
[7]	10.1007/BF01719593 · Zbl 0239.20065
[8]	10.1090/noti1900 · Zbl 1423.20060
[9]	10.2307/2374092 · Zbl 0449.20051
[10]	10.1007/978-3-642-51445-6
[11]	10.1007/BF01388909 · Zbl 0632.20030
[12]	; Platonov, Algebraic groups and number theory. Pure and Appl. Math., 139 (1994) · Zbl 0841.20046
[13]	; Platonov, Dokl. Akad. Nauk SSSR, 288, 1054 (1986)
[14]	10.1215/S0012-7094-04-12115-3 · Zbl 1057.20019
[15]	; Raghunathan, Inst. Hautes Études Sci. Publ. Math., 46, 107 (1976)
[16]	; Raghunathan, Proceedings of the Hyderabad Conference on Algebraic Groups, 465 (1991)
[17]	; Sarnak, Thin groups and superstrong approximation. Math. Sci. Res. Inst. Publ., 61, 343 (2014)
[18]	; Serre, Séminaire Bourbaki, 1966/1967 (1968)
[19]	10.1016/0021-8693(72)90058-0 · Zbl 0236.20032
[20]	10.1155/S1073792899000422 · Zbl 0982.11019
[21]	10.2307/2006943 · Zbl 0568.14025