On the Brumer-Stark conjecture and refinements

DOI10.4171/ICM2022/124MaRDI QIDQ6119684zbMATH OpenOpenAlexFDO

Authors Samit Dasgupta, Mahesh Kakde

Publication date 24 March 2024

Published in International Congress of Mathematicians (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2204.09037

zbMATH Keywords

Brumer-Stark unitsexplicit class field theoryStark conjectures

Mathematics Subject Classification ID

Class field theory (11R37) Zeta functions and (L)-functions of number fields (11R42)

Abstract: We state the Brumer-Stark conjecture and motivate it from two perspectives. Stark's perspective arose in his attempts to generalize the classical Dirichlet class number formula for the leading term of the Dedekind zeta function at $s=1$ (equivalently, $s=0$). Brumer's perspective arose by generalizing Stickelberger's work regarding the factorization of Gauss sums and the annihilation of class groups of cyclotomic fields. These viewpoints were synthesized by Tate, who stated the Brumer-Stark conjecture in its current form. The conjecture considers a totally real field $F$ and a finite abelian CM extension $H/F$. It states the existence of $p$-units in $H$ whose valuations at places above $p$ are related to the special values of the $L$-functions of the extension $H/F$ at $s=0$. Essentially equivalently, the conjecture states that a Stickelberger element associated to $H/F$ annihilates the (appropriately smoothed) class group of $H$. This conjecture has been refined by many authors in multiple directions. We conclude by stating our results toward these various conjectures and summarizing the proofs. In particular, we prove the Brumer-Stark conjecture, Rubin's higher rank version, and Kurihara's conjecture, all "away from 2." We also prove strong partial results toward Gross's conjecture and the exact $p$-adic analytic formula for Brumer-Stark units. The key technique involved in the proofs is Ribet's method. We demonstrate congruences between Hilbert modular Eisenstein series and cusp forms, and use the associated Galois representations to construct Galois cohomology classes. These cohomology classes are interpreted in terms of Ritter-Weiss modules, from which results on class groups may be deduced.

Review text

Summary: We state the Brumer-Stark conjecture and motivate it from two perspectives. Stark's perspective arose in his attempts to generalize the classical Dirichlet class number formula for the leading term of the Dedekind zeta function at \(s = 1\) (equivalently, \(s = 0\)). Brumer's perspective arose by generalizing Stickelberger's work regarding the factorization of Gauss sums and the annihilation of class groups of cyclotomic fields. These viewpoints were synthesized by Tate, who stated the Brumer-Stark conjecture in its current form. The conjecture considers a totally real field \(F\) and a finite abelian CM extension \(H/F\). It states the existence of \(p\)-units in \(H\) whose valuations at places above \(p\) are related to the special values of the \(L\)-functions of the extension \(H/F\) at \(s = 0\). Essentially equivalently, the conjecture states that a Stickelberger element associated to \(H/F\) annihilates the (appropriately smoothed) class group of \(H\). We describe our recent proofs of the Brumer-Stark conjecture away from 2. The conjecture has been refined by many authors in multiple directions. We state some of these refinements and our results towards them. The key technique involved in the proofs is Ribet's method. One of the refinements we discuss is an exact \(p\)-adic analytic formula for Brumer-Stark units stated by the first author and his collaborators. We describe this formula and highlight some salient points of its proof. Since the Brumer-Stark units along with other easily described elements generate the maximal abelian extension of a totally real field, our results can be viewed as an explicit class theory for such fields. This can be considered a \(p\)-adic version of Hilbert's 12th problem. For the entire collection see [Zbl 07816357].

Recommendations

• On the Brumer-Stark conjecture
• Brumer-Stark units and explicit class field theory
• Integral and p-adic refinements of the abelian Stark conjecture
• Stark's question and a refinement of Brumer's conjecture extrapolated to the function field case
• A conjectural product formula for Brumer-Stark units over real quadratic fields

Cites work

• p-adic L-functions and p-adic periods of modular forms
• \(p\)-adic interpolation of real analytic Eisenstein series
• A Stark conjecture ``over \({\mathbb{Z}}\) for abelian \(L\)-functions with multiple zeros
• An Equivariant Main Conjecture in Iwasawa theory and applications
• Central derivatives of Eisenstein series and height pairings
• Determining Fitting ideals of minus class groups via the equivariant Tamagawa number conjecture
• Elliptic units for real quadratic fields
• Fitting invariants in equivariant Iwasawa theory
• Heegner points and derivatives of L-series
• Hilbert modular forms and the Gross-Stark conjecture
• How can we construct abelian Galois extensions of basic number fields?
• scientific article; zbMATH DE number 4210277 (Why is no real title available?)
• scientific article; zbMATH DE number 3811701 (Why is no real title available?)
• scientific article; zbMATH DE number 3513932 (Why is no real title available?)
• scientific article; zbMATH DE number 4114748 (Why is no real title available?)
• scientific article; zbMATH DE number 3799778 (Why is no real title available?)
• scientific article; zbMATH DE number 898056 (Why is no real title available?)
• scientific article; zbMATH DE number 3222140 (Why is no real title available?)
• Integral Eisenstein cocycles on \(\mathrm{GL}_n\). I: Sczech's cocycle and \(p\)-adic \(L\)-functions of totally real fields
• Integral Eisenstein cocycles on \(\mathrm{GL}_n\). II: Shintani's method.
• Integration on \({\mathcal H_p}\times\mathcal H\) and arithmetic applications.
• Notes on the dual of the ideal class groups of CM-fields
• On constant terms of Eisenstein series
• On derivatives of \(p\)-adic \(L\)-series at \(s = 0\)
• On derivatives of Artin \(L\)-series
• On the Stickelberger ideal and the circular units of an abelian field
• On the theory of higher rank Euler, Kolyvagin and Stark systems
• On zeta elements for G_m
• Partial zeta values, Gross's tower of fields conjecture, and Gross-Stark units
• Residue at \(s=1\) of \(p\)-adic zeta functions
• Shintani cocycles and the order of vanishing of \(p\)-adic Hecke \(L\)-series at \(s=0\)
• Shintani zeta functions and Gross-Stark units for totally real fields
• Signed fundamental domains for totally real number fields
• Stark's question and a refinement of Brumer's conjecture extrapolated to the function field case
• Stickelberger elements, Fitting ideals of class groups of CM-fields, and dualisation
• Topological polylogarithms and p-adic interpolation of L-values of totally real fields
• Transgressions of the Euler class and Eisenstein cohomology of \(\mathrm{GL}_N(\text{Z})\)
• Values at negative integers of zeta functions and \(p\)-adic zeta functions
• Values of abelian L-functions at negative integers over totally real fields

Cited in

(3)

• On the Brumer-Stark conjecture
• Brumer-Stark units and explicit class field theory
• On the root of unity ambiguity in a formula for the Brumer-Stark units

This page was built for publication: On the Brumer-Stark conjecture and refinements

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