Higher analogues of Stickelberger's theorem.
type: Item
instance of: scholarly article
title: Higher analogues of Stickelberger's theorem.
zbMATH Open document ID: 1085.11053
published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris
publication date: 2004-01-28T00:00:00Z
review text: Let \(p\) be an odd prime number, \(F\) a totally real number field, \(E/F\) an abelian CM extension. For any odd integer \(n \geq 1,\) the \(p\)-part of the Coates-Sinnott conjecture (resp. its étale version) predicts that a certain higher Stickelberger ideal \(S_n (E/F, p) \subset {{\mathbb Z}}_p [G(E/F)]\) annihilates \(K_{2n}({\mathcal O}_E)_p\) (resp. \(K_{2n}^{\text{ét}} ({\mathcal O}_E)\simeq H^{2}_{\text{ét}} ({\mathcal O}_E[1/p], {\mathbb Z}_p (n+1))).\) In this note, the author shows the étale version assuming two restrictive hypotheses on \((p, n)\): (i) \(p\) does not divide \(n | G(E/F)|\) (in particular, we are in the semi-simple case), (ii) the étale \(K\)-group coincides with the étale wild kernel. The key point is the construction in [\textit{G. Banaszak}, Ann. Math. 135, 325--360 (1992; Zbl 0756.11037)], of a natural map \(\wedge\) which, roughly speaking, ``splits'' Quillen's localization map \(K_{2n} (E)_p \to {\bigoplus_v} K_{2n-1}(k_v)_p\) ``up to a higher Stickelberger element'' (thm. IV-1, op. cit.). But note that: -- The proof does not avoid some ``hand waving'', since in Banaszak, op. cit., the map \(\wedge\) is constructed only for \(F = \mathbb Q,\) with a simple remark concerning the possibility to extend the construction to any totally real field \(F,\) and in propos. 3.2 of the present paper, the semi-simplicity hypothesis is justified only by a cryptic allusion to \textit{A. Wiles}' proof of some cases of the Brumer conjecture [Ann. Math. (2) 131, 555--565 (1990; Zbl 0719.11082)]. -- Because the natural setting for étale \(K\)-groups is Iwasawa theory, and also because of the allusion to Wiles' proof, perhaps what the author has in mind is the Main Conjecture over \(F\) (or Wiles' theorem) [Ann. Math. (2) 131, 493--540 (1990)], which applies perfectly well in the semisimple case. But then the reviewer cannot see the connection with the map \(\wedge.\) -- Actually, the Equivariant Main Conjecture proved by Ritter-Weiss and Burns-Greith…
Mathematics Subject Classification ID: 11R23
zbMATH DE Number: 2034184
zbMATH Keywords: Coates-Sinnott
zbMATH Keywords: Stickelberger
author: Grzegorz Banaszak
reviewed by: Thong Nguyen Quang Do
MaRDI profile type: Publication
full work available at URL: j.crma.2003.09.019
OpenAlex ID: W1991901743
cites work: Algebraic \(K\)-theory of number fields and rings of integers and the Stickelberger ideal
cites work: Q4694931
cites work: A note on the Quillen-Lichtenbaum conjecture and the arithmetic of square rings
cites work: An analogue of Stickelberger's theorem for the higher K-groups
cites work: Values of abelian \(L\)-functions at negative integers over totally real fields
cites work: Algebraic and Etale K-Theory
cites work: Analogues supérieurs du noyau sauvage
cites work: Stark's question and a refinement of Brumer's conjecture extrapolated to the function field case
cites work: Über gewisse Galoiscohomologiegruppen
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: On a conjecture of Brumer
DOI: 10.1016/J.CRMA.2003.09.019
Recommended article: The Stickelberger splitting map and Euler systems in the \(K\)-theory of number fields
Recommended article: Q3100317
Recommended article: Stickelberger elements, Fitting ideals of class groups of CM-fields, and dualisation
Recommended article: On the Coates-Sinnott Conjecture
Recommended article: On the Coates-Sinnott conjecture.
Recommended article: Q3647360
Recommended article: On higher p-adic regulators
Recommended article: Two-primary algebraic 𝐾-theory of rings of integers in number fields
Recommended article: On the Coates-Sinnott conjecture for CM fields
Recommended article: \(K\)-theoretic background
description: scientific article; zbMATH DE number 2034184