Divisible homology classes in the special linear group of a number field
type: Item
instance of: scholarly article
title: Divisible homology classes in the special linear group of a number field
zbMATH Open document ID: 0856.19003
DOI: 10.1016/0022-4049(95)00090-9
published in: Journal of Pure and Applied Algebra
publication date: 1997-02-17T00:00:00Z
full work available at URL: serval:BIB 5086
review text: Let \(F\) be a number field. \textit{G. Banaszak} has shown that the subgroup, \(D(i)\), of divisible elements of \(K_i (F)\) is a finite abelian group of number-theoretic interest [Ann. Math., II. Ser. 135, No. 2, 325-360 (1992; Zbl 0756.11037); Compos. Math. 86, No. 3, 281-305 (1993; Zbl 0778.11066)]. In this paper, the authors look at the analogous subgroup, \(\overline D (i)\), of divisible elements of \(H_i (\text{SL} (F), \mathbb{Z})\), building on previous work of Arlettaz on the structure of \(H_i (\text{SL} (F), \mathbb{Z})\). The first author [Comment. Math. Helv. 61, 556-564 (1986; Zbl 0621.20028)] has shown that \(H_i (\text{SL} (F); \mathbb{Z})\) is a direct sum of a free abelian group of finite rank and a torsion group. It follows that \(\overline D(i)\) is a torsion abelian group. In the first section of the present paper the authors show that \(\overline D(i)\) is in fact of finite exponent. In section 2 of the paper the authors consider the Hurewicz homomorphism \(h_i : K_i (F) \to H_i (\text{SL} (F); \mathbb{Z})\) and the induced map \(h_i : D(i) \to \overline D(i)\). For a prime number \(\ell\), let \(D(i)_\ell\) (resp. \(\overline D(i)_\ell) \) denote the \(\ell\)-torsion subgroup of \(D(i)\) (resp. \(\overline D(i))\). The authors show that, for any \(n \geq 1\), the map \(h_{2n} : D(2n)_\ell \to \overline D(2n)_\ell\) is a split injection if \(\ell > n \). (The localization exact sequence of \(K\)-theory shows that \(D(i) = 0\) for \(i\) odd.) They also show that \(\overline D (i)_\ell\) may contain nontrivial elements which do not belong to the image of \(h_i : K_i (F) \to H_i (\text{SL} (F); \mathbb{Z})\). In the final section of the paper they prove the following vanishing theorem: If \(N\) is a positive integer and \(\ell\) a prime number greater than \(N\) such that \(D(2n)_\ell = 0\) for \(1 \leq n \leq N\), then \(\overline D(i)_\ell = 0\) for \(1 \leq i \leq 2N\).
Mathematics Subject Classification ID: 19D55
Mathematics Subject Classification ID: 20G10
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 11R70
zbMATH DE Number: 896557
zbMATH Keywords: integral homology
zbMATH Keywords: infinite special linear group
zbMATH Keywords: \(K\)-theory of number fields
zbMATH Keywords: Hurewicz homomorphism
zbMATH Keywords: localization exact sequence
zbMATH Keywords: vanishing theorem
author: Dominique Arlettaz
author: Piotr M. Zelewski
reviewed by: Kevin Hutchinson
MaRDI profile type: Publication
OpenAlex ID: W2046528893
cites work: On the homology of the special linear group over a number field
cites work: The Hurewicz homomorphism in algebraic K-theory
cites work: The order of the differentials in the Atiyah-Hirzebruch spectral sequence
cites work: Algebraic \(K\)-theory of number fields and rings of integers and the Stickelberger ideal
cites work: Q4694931
cites work: Euler systems for higher \(K\)-theory of number fields
cites work: Continuous \(K\)-theory
cites work: Q5644808
cites work: On the cohomology and K-theory of the general linear groups over a finite field
cites work: Higher algebraic K-theory: I
cites work: Q4126528
cites work: Q4402511
cites work: Groupes de Chow et K-théorie de variétés sur un corps fini
cites work: Q5690489
cites work: Q4870916
Recommended article: Q4870916
Recommended article: The homology of \(\text{SL}_ 2(F[t,t^{-1}])\)
Recommended article: Free quotients of 𝑆𝐿₂(𝑅[𝑥])
Recommended article: CONGRUENCE SUBGROUPS AND TWISTED COHOMOLOGY OF SLn(F[t]). II. FINITE FIELDS AND NUMBER FIELDS
Recommended article: A refined Bloch group and the third homology of \(\mathrm{SL}_2\) of a field
Recommended article: Q5460342
Recommended article: Free subgroups of \(SL(n,Z),\) \(n>2\), generated by transvections
Recommended article: On the map between homology of henselization and completion of some local rings
Recommended article: The second homology of \(\mathrm{SL}_2\) of \(S\)-integers
Recommended article: The homology of special linear groups over polynomial rings1
description: scientific article; zbMATH DE number 896557