Lie algebras and cohomology of congruence subgroups for SL_n(R).

DOI10.1016/J.JPAA.2013.05.011MaRDI QIDQ392407zbMATH OpenOpenAlexWikidataFDO

Authors Jonathan Lopez

Publication date 14 January 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1001.2071

zbMATH Keywords

congruence subgroupsLie algebras

Mathematics Subject Classification ID

Lie algebras of linear algebraic groups (17B45) Cohomology theory for linear algebraic groups (20G10) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05) Cohomology of groups (20J06)

Abstract: Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is isomorphic to the tensor product $$, the Lie algebra of polynomials with zero constant term and coefficients $nimesn$ traceless matrices with entries polynomials in $k$ variables over $F_p$. We use the Lie algebra structure along with the Lyndon-Hochschild-Serre spectral sequence to compute the $d^2$ homology differential for certain central extensions involving quotients of $p$-congruence subgroups. We also use the underlying group structure to obtain several homological results. For example, we compute the first homology group of the level $p$-congruence subgroup for $ngeq3$. We show that the cohomology groups of the level $p^r$-congruence subgroup are not finitely generated for $n=2$ and $$. Finally, we show that for $n=2$ and $$, the Gaussian integers, the second cohomology group of the level $p^r$-congruence subgroup has dimension at least two as an $F_p$-vector space.

Review text

Let \(R\) be a commutative ring that is free as an Abelian group, but not necessarily of finite rank. Let \(p\) be a prime. The author studies the Lie algebra associated to the filtration of \(\mathrm{SL}_n(R)\) by \(p\)-congruence subgroups. He also obtains some homological results.NEWLINENEWLINE Unfortunately the paper makes incorrect claims. The first claim is about vanishing of congruence kernels. The author tells it is proved in a paper of \textit{H. Bass} et al. [Publ. Math., Inst. Hautes Étud. Sci. 33, 59-137 (1967; Zbl 0174.05203)], but not where in that paper. The second claim is that maps of the type \(\mathrm{SL}_n(R)\to\mathrm{SL}_n(R\otimes_{\mathbb Z}\mathbb Z/p)\) are surjective. For this he refers to a book of \textit{G. Shimura} [Introduction to the arithmetic theory of automorphic functions. Princeton, Iwanami Shoten Publishers and Princeton University Press (1971; Zbl 0221.10029)], again without any further specification.NEWLINENEWLINE To get a counterexample one may use a paper of \textit{T. Vorst} [Math. Ann. 244, 193-204 (1979; Zbl 0426.13005)]. Take \(A=\mathbb Z[X,Y]/(Y^2-X^3-6)\). It is regular, hence \(NK_1\)-regular. But \(A/2A\) is not seminormal, so its \(NK_1\) does not vanish by the main result of the paper of Vorst. It follows that \(\mathrm{SL}_n(A[T])\to\mathrm{SL}_n(A[T]\otimes_{\mathbb Z}\mathbb Z/2)\) is not surjective for \(n\) large.

Recommendations

• CONGRUENCE SUBGROUPS AND TWISTED COHOMOLOGY OF SLn(F[t]). II. FINITE FIELDS AND NUMBER FIELDS
• The cohomology of \(\text{SL}(3,\mathbb{Z}[1/2])\)
• On the homology and cohomology of congruence subgroups
• Congruence subgroups and twisted cohomology of \(\text{SL}_n(F[t])\)
• On the top-dimensional cohomology groups of congruence subgroups of \(\operatorname{SL}(n,\mathbb{Z})\)

Cites work

• A group theoretic characterization of linear groups
• Homology of linear groups
• scientific article; zbMATH DE number 1339096 (Why is no real title available?)
• scientific article; zbMATH DE number 3214660 (Why is no real title available?)
• scientific article; zbMATH DE number 3349944 (Why is no real title available?)
• On the associated graded ring of a group ring
• On the homology and cohomology of congruence subgroups
• Remarks concerning Lubotzky's filtration.
• Unstable homotopy invariance and the homology of \(\text{SL}_2(\mathbb{Z}[t])\)

Cited in

(9)

• Congruence subgroups and twisted cohomology of \(\text{SL}_n(F[t])\)
• About a theorem of Hyman Bass and some other topics
• On the stable Andreadakis problem
• On the geometric construction of cohomology classes for cocompact discrete subgroups of \(\mathrm{SL}_n(\mathbb{R})\) and \(\mathrm{SL}_n(\mathbb{C})\)
• CONGRUENCE SUBGROUPS AND TWISTED COHOMOLOGY OF SLn(F[t]). II. FINITE FIELDS AND NUMBER FIELDS
• scientific article; zbMATH DE number 2168871 (Why is no real title available?)
• Coinvariant Algebras of Finite Subgroups of SL(3;C)
• scientific article; zbMATH DE number 2124866 (Why is no real title available?)
• On the homology and cohomology of congruence subgroups

This page was built for publication: Lie algebras and cohomology of congruence subgroups for \(\mathrm{SL}_n(R)\).

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