On the 3-torsion in \(K_4(\mathbb{Z})\)
type: Item
instance of: scholarly article
title: On the 3-torsion in \(K_4(\mathbb{Z})\)
zbMATH Open document ID: 0937.19004
DOI: 10.1016/S0040-9383(99)00006-3
published in: Topology
publication date: 2000-05-30T00:00:00Z
review text: The goal of the paper under review is to investigate the first homology group \(H_1(SL_4(\mathbb Z);St_4)\) of the group \(SL_4(\mathbb Z)\) of \((4 \times 4)\) integral matrices with determinant \(1\) with coefficients in the Steinberg module \(St_4\), i.e., in the top homology of the Tits building of \(SL_4\) over \(\mathbb Q\). The main theorem asserts that \(H_1(SL_4(\mathbb Z);St_4)\) is a finite abelian \(2\)-group. Its proof is based on the construction of a spectral sequence converging towards \(H_*(SL_n(\mathbb Z);St_n)\) and, in the case \(n=4\), on the calculation of the \(E_1\)-term of that spectral sequence modulo the Serre class \(\mathcal S\) of all finite abelian groups of order a power of \(2\). In the author's Ph.D. thesis [\textit{C. Soulé}, ``Groupes arithmétiques et K-théorie des anneaux d'entiers des corps de nombres'', Thèse, Université de Paris VII (1979)], this theorem was shown to imply that the fourth algebraic \(K\)-group of the ring of integers \(\mathbb Z\) satisfies: \(K_4(\mathbb Z)=0\) or \(\mathbb Z/3\) modulo \(\mathcal S\). In the recent proof of the vanishing of \(K_4(\mathbb Z)\) by \textit{J. Rognes} [``\(K_4(\mathbb Z)\) is the trivial group'', Topology 39, No. 2, 267-281 (2000; Zbl 0937.19005)], the above theorem is used in order to deduce that the \(3\)-torsion of \(K_4(\mathbb Z)\) is trivial.
Mathematics Subject Classification ID: 19D50
Mathematics Subject Classification ID: 11F75
Mathematics Subject Classification ID: 20G10
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 19D55
zbMATH DE Number: 1384247
zbMATH Keywords: algebraic K-theory
zbMATH Keywords: arithmetic groups
zbMATH Keywords: linear group homology
author: Christophe Soulé
reviewed by: Dominique Arlettaz
MaRDI profile type: Publication
full work available at URL: s0040-9383(99)00006-3
OpenAlex ID: W1983684202
Recommended article: \(K_4(\mathbb{Z})\) is the trivial group
Recommended article: On the topological computation of \(K_4\) of the Gaussian and Eisenstein integers
Recommended article: Homology of \(\mathrm{GL}_n\): injectivity conjecture for \(\mathrm{GL}_{4}\)
Recommended article: Homological vanishing for the Steinberg representation
Recommended article: The mod 2 cohomology of the linear groups over the ring of integers
Recommended article: Perfect forms, \(K\)-theory and the cohomology of modular groups
Recommended article: The homology of special linear groups over polynomial rings1
Recommended article: The Steinberg module and the cohomology of arithmetic groups
Recommended article: Relative $K_{0}$, annihilators, Fitting ideals and Stickelberger phenomena
Recommended article: Q4896017
description: scientific article; zbMATH DE number 1384247