Codescent in étale \(K\)-theory and number fields
type: Item
instance of: scholarly article
title: Codescent in étale \(K\)-theory and number fields
zbMATH Open document ID: 0835.11043
DOI: 10.1007/BF02568008
author: J. Assim
published in: Manuscripta Mathematica
publication date: 1995-08-13T00:00:00Z
full work available at URL: https://eudml.org/doc/156068
review text: Let \(F\) be a number field with ring of integers \(o_F\) and \(p\) a fixed odd prime number. The author studies codescent properties for the étale \(K\)-theory groups \(K^{\text{ét}}_{2i- 2} (o_F)\) for \(i\geq 2\). In ``Algebraic and étale \(K\)-theory'', Trans. Am. Math. Soc. 292, 247--280 (1985; Zbl 0581.14012), \textit{W. G. Dwyer} and \textit{E. M. Friedlander} introduced étale \(K\)-theory as a link between algebraic \(K\)-theory and étale cohomology. They showed that there is a surjective map from the \(p\)-primary part \(K_{2i- 2} (o_F) (p)\) of \(K_{2i- 2} (o_F)\) to \(K^{\text{ét}}_{2i- 2} (o_F)\), which is expected to be an isomorphism -- this being the case for \(i=2\). Furthermore they showed that \(K^{\text{ét}}_{2i- 2} (o_F)\) is canonically isomorphic to the étale cohomology group \(H^2_{\text{ét}} (\text{spec } o_F [{1\over p} ], \mathbb{Z}_p (i))\). The main result of the paper is the following: Assume that \(E/F\) is a Galois \(p\)-extension of number fields with Galois group \(G\) and that Leopoldt's conjecture holds in the cyclotomic tower of \(E\). Then \(K^{\text{ét}}_{2i- 2} (o_E)_G\) is isomorphic to \(K^{\text{ét}}_{2i- 2} (o_F)\) if and only if the ramification in \(E/F\) satisfies a certain primitivity condition.
Mathematics Subject Classification ID: 11R70
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 19F27
Mathematics Subject Classification ID: 18F25
zbMATH DE Number: 784055
zbMATH Keywords: Galois descent
zbMATH Keywords: codescent
zbMATH Keywords: étale \(K\)-theory groups
reviewed by: Manfred Kolster
MaRDI profile type: Publication
cites work: Q4694931
cites work: Algebraic and Etale K-Theory
cites work: Remarks on \(K_ 2\) of number fields
cites work: On regular number fields
cites work: On the Iwasawa Invariants of Totally Real Number Fields
cites work: Q3208765
cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields
cites work: Q4325418
cites work: Q3989539
cites work: Sur les p -extensions des corps p -rationnels
cites work: On \(\mathbb{Z}_ p\)-torsion of some Galois modules
cites work: Q3331297
cites work: Analogues supérieurs du noyau sauvage
cites work: \(K_ 3\) and \(p\)- adic Riemann-Hurwitz formulas
cites work: Über gewisse Galoiscohomologiegruppen
cites work: Galois Cohomology
cites work: K-théorie des anneaux d'entiers de corps de nombres et cohomologie etale
cites work: Relations between \(K_2\) and Galois cohomology
cites work: Q3943047
cites work: Q3748371
cites work: On the maximal unramified p-extension of an algebraic number field.
OpenAlex ID: W352676250
Recommended article: Q4325418
Recommended article: A note on generators of even-numbered \(K\)-groups of rings of integers
Recommended article: Étale $K$-theory. II. Connections with algebraic $K$-theory
Recommended article: Q3831120
Recommended article: Generalized étale cohomology theories
Recommended article: Algebraic $K$-theory and etale cohomology
Recommended article: Q4373597
Recommended article: Q3739326
Recommended article: Two-primary algebraic 𝐾-theory of rings of integers in number fields
Recommended article: Quillen's work in algebraicK-theory
description: scientific article; zbMATH DE number 784055