Farrell cohomology of GL(n,\({\mathbb{Z}})\) (Q584412): Difference between revisions

Let p be an odd prime and p-1\(\leq n\leq 2p-3\). Using a spectral sequence due to K. Brown, the Farrell cohomology of GL(n,\({\mathbb{Z}})\) with trivial coefficient module \({\mathbb{Z}}/p\) can be completely determined by the normalizers of cyclic subgroups of order p in GL(n,\({\mathbb{Z}})\). Thus the Farrell cohomology \(HF^*(GL(n,{\mathbb{Z}}),{\mathbb{Z}}/p)\) is computed in this paper. Let \(\zeta\) be a primitive pth root of unity. The Galois group Gal(\({\mathbb{Q}}(\zeta)/{\mathbb{Q}})\) acts on the ideal class group Cl(\({\mathbb{Q}}(\zeta)/{\mathbb{Q}})\). Then the size of \(HF^*(GL(n,{\mathbb{Z}}),{\mathbb{Z}}/p)\) depends on the Galois structure of the class group. In the special case \(n=p-1\), things become much simpler. It is proved that if \({\mathbb{Q}}(\zeta)\) has an ideal class fixed only by the identity in Gal(\({\mathbb{Q}}(\zeta)/{\mathbb{Q}})\), then for \(n=p-1\) or p and for any \(t\in {\mathbb{Z}}\), dim \(HF^ t(GL(n,{\mathbb{Z}}),{\mathbb{Z}}/p)\geq 2^{(p- 2)/3}\).