Some computations of the cohomology of GL_N(Z) and the K-theory of Z

From MaRDI portal
Publication:700295



Abstract: For N=5 and N=6, we compute the Voronoi cell complex attached to real N-dimensional quadratic forms, and we obtain the homology of GL_N(Z) with trivial coefficients, up to small primes. We also prove that K_5(Z) = Z and K_6(Z) has only 3-torsion.


The authors calculate (modulo small primes) the cohomology of \(\Gamma=\text{GL}_5(\mathbb{Z})\) and \(\Gamma=\text{GL}_6(\mathbb{Z})\) with trivial coefficients. They show that \(K_5(\mathbb{Z})=\mathbb{Z}\) and \(K_6(\mathbb{Z})\) is a finite Abelian 3-group. In order to prove these results, they calculate, for small values of \(m\) and \(N\), the groups \(H_m(\text{GL}_N(\mathbb{Z}),\text{St}_N)\), where \(\text{St}_N\) is the Steinberg module of \(\text{SL}_N(\mathbb{Q})\). These homology groups, in turn, are calculated (modulo small primes) by expressing them is terms of the \(\Gamma\)-equivariant cohomology of the CW-pair \((X^*_N,\partial X_N^*)\), where \(X_N^*\) is a certain cell complex made out of positive real quadratic forms on \(\mathbb{R}^N\) (the Voronoï complex). In order to achieve these cohomology computations, computer calculations were required to enumerate appropriate \(\Gamma\)-orbits of \(n\)-cells of \(X_N^*\).





Describes a project that uses

Uses Software






This page was built for publication: Some computations of the cohomology of \(\text{GL}_N(\mathbb{Z})\) and the \(K\)-theory of \(\mathbb{Z}\)

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