On the homology and cohomology of congruence subgroups (Q5893763): Difference between revisions

For any prime p let \(\Gamma_ n(p)\) denote the congruence subgroup of \(SL_ n({\mathbb{Z}})\) of level p, i.e. the kernel of the surjective homomorphism \(SL_ n({\mathbb{Z}})\to SL_ n({\mathbb{F}}_ p)\). The author compares the stable homology groups of \(\Gamma_ n(p)\) with those of \(SL_ n({\mathbb{Z}})\) and calculates the stable homology groups \(H_ i(\Gamma_ n(p),{\mathbb{Z}}/q^ d)\) in low dimensions. The main results are as follows. (1) If p and q are different primes and \(q\neq 2\). Then for \(i=2,3\), \(d\geq 1\) and \(n\geq 11\) (or \(n\geq 9\) if \(i=2)\), \(H_ i(\Gamma_ n(p),{\mathbb{Z}}/q^ d)\cong {\mathbb{Z}}/((p^ 2- 1)/3,q^ d)\) if \(p\neq 3\) and \(H_ i(\Gamma_ n(3),{\mathbb{Z}}/q^ d)=0\). (2) Assume \(p\neq 2\), \(n\geq 9\) and \(d\geq 1\). If \(p^ 2\not\equiv 1 mod 16\), then \(H_ 2(\Gamma_ n(p),{\mathbb{Z}}/2^ d)\cong {\mathbb{Z}}/2\). If \(p^ 2\equiv 1 mod 16\), one has an exact sequence \[ 0\to ({\mathbb{Z}}/(p^ 2-1)/8)_ 2\to H_ 2(\Gamma_ n(p),{\mathbb{Z}})_ 2\to {\mathbb{Z}}/2\to 0. \] Moreover, for \(n\geq 11\), \(H_ 3(\Gamma_ n(p),{\mathbb{Z}}/2^ d)\cong H_ 2(\Gamma_ n(p),{\mathbb{Z}}/2^ d)\oplus m{\mathbb{Z}}/2\) where \(m=0\) or 1. (3) Assume \(p\neq q\), \((p^ 2-1,q)=(p^ 3-1,q)=1\), \(d\geq 1\). One has \(H_ 4(\Gamma_ n(p),{\mathbb{Z}}/q^ d)=0\) for \(n\geq 13\) and \(H_ 5(\Gamma_ n(p),{\mathbb{Z}}/q^ d)\cong {\mathbb{Z}}/q^ d\) for \(n\geq 15\). Finally the author studies the cohomology with \({\mathbb{Z}}\)-coefficients and proves that res: \(H^ 4(SL_ n({\mathbb{Z}}),{\mathbb{Z}})\to H^ 4(\Gamma_ n(p),{\mathbb{Z}})\) is zero for all odd primes p and \(n\geq 9\).