Base change for higher Stickelberger ideals

DOI10.1006/JNTH.1998.2283MaRDI QIDQ1277201zbMATH OpenOpenAlexFDO

Authors Jonathan W. Sands

Publication date 3 June 1999

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jnth.1998.2283

zbMATH Keywords

abelian extensionsBrumer-Stark conjecturehigher Stickelberger idealsQuillen \(K\)-groups

Mathematics Subject Classification ID

Zeta functions and (L)-functions of number fields (11R42) (K)-theory of global fields (11R70)

Review text

Let \(K/k\) be a finite abelian extension with Galois group \(G\). It is well known how to attach, for each \(n \geq 0\), Stickelberger ideals \(I(n)\) to such extensions, and it is a classical result that the Stickelberger ideal \(I(0)\) attached to an abelian extension \(K/\mathbb Q\) annihilates the class group of \(K\), the corresponding conjecture for abelian extensions \(K/k\) of totally real fields \(k\) being known as the Brumer-Stark conjecture. In general, it is conjectured that \(I(n)\) annihilates the Quillen \(K\)-groups \(K_{2n}({\mathcal O}_K)\) [see \textit{J. Coates}, Algebraic Number Fields, Durham 1975, 269-353 (1977; Zbl 0393.12027)]). For an intermediate field \(F\) of \(K/k\), one can pose the following ``base change problem: does the truth of the said conjecture for \(K/k\) imply its truth for \(K/F\)? For \(n = 0\), such a result was proved by \textit{D. Hayes} [J. Reine Angew. Math. 497, 83-89 (1998)], and in this paper the author proves it for all \(n \geq 0\). The proof boils down to the verification of a number of integrality statements, the key ingredient being a deep result due to \textit{P. Deligne} and \textit{K. Ribet} [Invent. Math. 59, 227-286 (1980; Zbl 0434.12009)]; another ingredient is the theorem of Klingen-Siegel, but the rest of this well written paper is surprisingly elementary.

Recommendations

• Base change for the conjecture of BrumerStark
• Algebraic K-theory of number fields and rings of integers and the Stickelberger ideal
• Higher Stickelberger ideals and even \(K\)-groups
• scientific article; zbMATH DE number 5235572

Cites work

• A Stark conjecture ``over \({\mathbb{Z}}\) for abelian \(L\)-functions with multiple zeros
• An analogue of Stickelberger's theorem for the higher K-groups
• Base change for Stark-type conjectures ``over \({\mathbb Z}\)
• Base change for the conjecture of BrumerStark
• scientific article; zbMATH DE number 3879041 (Why is no real title available?)
• scientific article; zbMATH DE number 45378 (Why is no real title available?)
• scientific article; zbMATH DE number 202997 (Why is no real title available?)
• scientific article; zbMATH DE number 3356865 (Why is no real title available?)
• Integrality Properties of the Values of Partial Zeta Functions
• Values of abelian L-functions at negative integers over totally real fields

Cited in

(9)

• Frobenius base change of torsors
• Base change along the Frobenius endomorphism and the Gorenstein property
• Depth-zero base change for ramified U(2,1)
• Divisibility properties of values of partial zeta functions at non-positive integers
• scientific article; zbMATH DE number 740360 (Why is no real title available?)
• Base change for the conjecture of BrumerStark
• Higher Stickelberger ideals and even \(K\)-groups
• VALUES AT s = -1 OF L-FUNCTIONS FOR MULTI-QUADRATIC EXTENSIONS OF NUMBER FIELDS, AND THE FITTING IDEAL OF THE TAME KERNEL
• The canonical fractional Galois ideal at \(s = 0\)

This page was built for publication: Base change for higher Stickelberger ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1277201)