Unstable cohomology of \(SL(n,O)\) (Q1330034)

Let \(k\) be an algebraic number field with class number one, \({\mathcal O}\) its ring of integers. Let \(P\) be a parabolic \(\mathbb{Q}\)-subgroup of \(G= \text{Res}_{k/ \mathbb{Q}} SL_ n\) with Levi decomposition \(P=LN\), and let \(\Gamma\subset G(\mathbb{Q})\) be an arithmetic subgroup of \(G\). Suppose that \(\Gamma\) is a congruence subgroup. Then the author constructs an injective \(R\)-map in homology \[ H_ * (\Gamma\cap L, St_ L\otimes R)\to H_ *(\Gamma, St_ G\otimes R) \tag \(*\) \] where \(St\) denotes the Steinberg representation for \(G(\mathbb{Q})\) resp. \(L(\mathbb{Q})\) and \(R\) is a suitable coefficient ring. This is done in a very explicit way by using a variant of a \(R[\Gamma]\)-free resolution of the Steinberg module (viewed as \(R[\Gamma]\)-module) given by Lee and Szczarba. The left hand side in \((*)\) decomposes as a tensor product of the `factors' of \(L\) such that analogous resolutions can be used. Then the desired mapping is constructed on the level on cycles. As applications of the existence of such a map the following topics are discussed: existence of unstable real classes, existence of torsion classes, lower bounds on Betti numbers in cohomology.