On 2-adic cyclotomic elements in \(K\)-theory and étale cohomology of the ring of integers
type: Item
instance of: scholarly article
title: On 2-adic cyclotomic elements in \(K\)-theory and étale cohomology of the ring of integers
zbMATH Open document ID: 0971.19002
author: Dominique Arlettaz
author: Grzegorz Banaszak
author: Wojciech Gajda
published in: Journal of Number Theory
publication date: 2001-04-03T00:00:00Z
review text: In this paper, the authors define, for odd integers \(n\), groups \({\mathcal C}^{\text{ét}}(n-1) \subset H^1_{\text{ét}}(\mathbb{Z}[1/2]; \widehat \mathbb{Z}_2(n))\) and \({\mathcal C}(n-1)\subset K_{2n-1}(\mathbb{Z})\otimes \widehat\mathbb{Z}_2\) of 2-adic cyclotomic elements. In both cases and for all odd \(n\) it is shown that these groups are free \(\mathbb{Z}_2\)-modules of rank one. They prove that for any odd integer \(n\) there is a natural isomorphisms of \(\widehat\mathbb{Z}_2\)-modules \[ H^1_{ \text{ét}}\bigl (\mathbb{Z}[1/2]; \widehat\mathbb{Z}_2(n) \bigr)\cong{\mathcal C}^{\text{ét}} (n-1)\oplus \mathbb{Z}/2 \] (theorem 3.5) and a natural isomorphism \[ K_{2n-1}(\mathbb{Z}) \otimes\widehat \mathbb{Z}_2\cong \begin{cases}{\mathcal C}(n-1)\quad &\text{if }n \equiv 3\bmod 4\\ {\mathcal C}(n-1) \oplus\mathbb{Z}/2 \quad & \text{if }n\equiv 1 \bmod 4\end{cases} \] (theorem 5.14). The \(K\)-theoretic and cohomological 2-adic cyclotomic elements are compared via étale \(K\)-theory. However, since there is not a well-behaved Dwyer-Friedlander spectral sequence at the prime 2 for number fields admitting a real embedding, they introduce a relative version of étale \(K\)-theory (with \(\mathbb{Z}/\ell^k\) coefficients) for this purpose. They prove that (for odd \(n)\) there is a natural isomorphism \[ K_{2n-1}(X,Y; \widehat \mathbb{Z}_2) \cong{\mathcal C}(n-1) \subset K_{2n-1}(\mathbb{Z}) \otimes\widehat \mathbb{Z}_2 \] where \(X=\text{Spec} \mathbb{Z} [1/2]\) and \(Y=\text{Spec} \mathbb{R}\), and that the composite \[ K_{2n-1} (X,Y;\widehat \mathbb{Z}_2)\to K^{\text{ét}}_{2n-1}(X,Y; \widehat \mathbb{Z}_2)\to H^1_{\text{ét}} (X,Y;\widehat \mathbb{Z}_2(n))\to H^1_{\text{ét}} \bigl(\mathbb{Z}[1/2]; \widehat\mathbb{Z}_2(n)\bigr) \] induces an isomorphism \[ {\mathcal C}(n-1) \cong{\mathcal C}^{\text{ét}}(n-1). \] The authors also prove that certain products of 2-adic cyclotomic elements in the ring \(K_*(\mathbb{Z}) \otimes \widehat \mathbb{Z}_2\) are zero. In the c…
reviewed by: Kevin Hutchinson
Mathematics Subject Classification ID: 19F27
Mathematics Subject Classification ID: 11R70
zbMATH DE Number: 1466186
zbMATH Keywords: étale cohomology
zbMATH Keywords: 2-adic cyclotomic element
zbMATH Keywords: étale \(K\)-theory
MaRDI profile type: Publication
full work available at URL: jnth.1999.2475
OpenAlex ID: W2007409874
cites work: On products in algebraic \(K\)-theory
cites work: Q4896018
cites work: Homotopy limits, completions and localizations
cites work: Algebraic and Etale K-Theory
cites work: Classical motivic polylogarithm according to Beilinson and Deligne
cites work: Continuous étale cohomology
cites work: $K$-théorie algébrique et représentations de groupes
cites work: Q3871006
cites work: Q3754095
cites work: Higher algebraic K-theory: I
cites work: Q4126528
cites work: Two-primary algebraic 𝐾-theory of rings of integers in number fields
cites work: K-théorie des anneaux d'entiers de corps de nombres et cohomologie etale
cites work: Q3769007
cites work: On higher p-adic regulators
cites work: On the K-theory of local fields
cites work: Q3943047
cites work: Q4373605
cites work: The 2-torsion in the K-theory of the integers
DOI: 10.1006/JNTH.1999.2475
Recommended article: Algebraic \(K\)-theory of the two-adic integers
Recommended article: On the cyclotomic elements in K2of a rational function field
Recommended article: The 2-torsion in the K-theory of the integers
Recommended article: The 2-adic ring \(C^{\ast}\)-algebra of the integers and its representations
Recommended article: The Étale homology and the cycle maps in adic coefficients
Recommended article: Q3769007
Recommended article: Cyclotomic elements in \(K_2F\), revisited
Recommended article: On cyclotomic numbers and the reduction map for the \(K\)-theory of the integers
Recommended article: Q4297051
Recommended article: On the structure of the \(K_ 2\) of the ring of integers in a number field
description: scientific article; zbMATH DE number 1466186