Brumer-Stark units and explicit class field theory
type: Item
instance of: scholarly article
title: Brumer-Stark units and explicit class field theory
DOI: 10.1215/00127094-2023-0039
author: Samit Dasgupta
author: Mahesh Kakde
published in: Duke Mathematical Journal
publication date: 2024-07-03T00:00:00Z
review text: Let \(F\) be a totally real field of degree \(n\) over \(\mathbf Q\), let \(H\) be a finite abelian extension of \(F\) that is a CM field, and let \(G=\text{ Gal}(H/F)\). Let \(S\) and \(T\) be finite nonempty disjoint sets of places of \(F\) such that \(S\) contains the real places of \(F\) and the finite primes of \(F\) that ramify in \(H\). For any character \(\chi :G\rightarrow {\mathbf C^*}\) we have the Artin \(L\)-function\N\[\NL_S(\chi,s)=\prod_{\mathfrak p \notin S}\frac{1}{1-\chi(\mathfrak p)\text {N}\mathfrak p^{-s}},\hspace{.25 in} \text{Re}(s)>1,\N\]\Nand the function \N\[\NL_{S,T}(\chi,s)=L_S(\chi,s)\prod_{\mathfrak p \in T}(1-\chi(\mathfrak p)\text {N}\mathfrak p^{1-s}),\N\]\Nthe latter of which can be analytically continued to a holomorphic function on the complex plane. Define the Stickelberger elements\N\[\N\Theta^{H/F}_S(s), \hspace{.25 in} \Theta^{H/F}_{S,T}(s) \in \mathbf{C}[G]\N\]\Nby (dropping the superscript \(H/F\)) \N\[\N\chi(\Theta_S(s))=L_S(\chi^{-1},s), \hspace{.25 in} \chi( \Theta_{S,T}(s))=L_{S,T}(\chi^{-1},s)\N\]\Nfor all characters \(\chi\) of \(G\). Then \(\Theta_S:=\Theta_S(0)\in {\mathbf Q}[G]\), and, under a mild condition on \(T\) which the authors assume throughout the present paper, \(\Theta_{S,T}:=\Theta_{S,T}(0)\in {\mathbf Z}[G]\). Now suppose \(\mathfrak p\not\in S\cup T\) is a prime of \(F\) that splits completely in \(H\), and let \(U^-_{\mathfrak p}\subset H^*\) be the group of elements \(u\) such that \(|u|_v=1\) for all places \(v\) of \(H\) not lying above \(\mathfrak p\), including the complex places. Let \(U^-_{{\mathfrak p},T}\subset U^-_{\mathfrak p}\) be the subgroup of elements \(u\) such that \(u\equiv 1\pmod{ {\mathfrak q}\mathcal O_H}\) for all \({\mathfrak q}\in T\). In [Ann. Math. (2) 197, No. 1, 289--388 (2023; Zbl 1525.11128)] the authors of the present paper obtained a proof of the following conjecture away from 2.\N\NConjecture 1.1 (Tate-Brumer-Stark) Fix a prime \(\mathfrak P\) of \(H\) above \(\mathf…
reviewed by: James E. Carter
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 11R42
zbMATH DE Number: 7875310
zbMATH Keywords: class field theory
zbMATH Keywords: group ring Hilbert modular forms
zbMATH Keywords: \(L\)-functions
zbMATH Keywords: fitting ideals
MaRDI profile type: MaRDI publication profile
cites work: On the minus component of the equivariant Tamagawa number conjecture for \(\mathbb{G}_m\)
cites work: On the units of algebraic number fields
cites work: On derivatives of \(p\)-adic \(L\)-series at \(s = 0\)
cites work: On zeta elements for \(\mathbb G_m\)
cites work: Values at negative integers of zeta functions and \(p\)-adic zeta functions
cites work: p-units in ray class fields of real quadratic number fields
cites work: Relationships between p-unit constructions for real quadratic fields
cites work: Arguments for the Stark units and periods of Eisenstein series
cites work: Integral Eisenstein cocycles on \(\mathrm{GL}_n\). I: Sczech's cocycle and \(p\)-adic \(L\)-functions of totally real fields
cites work: Integral Eisenstein cocycles on \(\mathrm{GL}_n\). II: Shintani's method.
cites work: Integration on \({\mathcal H_p}\times\mathcal H\) and arithmetic applications.
cites work: Elliptic units for real quadratic fields
cites work: Computations of Elliptic Units for Real Quadratic Fields
cites work: Shintani zeta functions and Gross-Stark units for totally real fields
cites work: Hilbert modular forms and the Gross-Stark conjecture
cites work: On constant terms of Eisenstein series
cites work: On the Brumer-Stark conjecture
cites work: On the Gross-Stark conjecture
cites work: Q3065281
cites work: Partial zeta values, Gross's tower of fields conjecture, and Gross-Stark units
cites work: Values of abelian \(L\)-functions at negative integers over totally real fields
cites work: Q4462796
cites work: \(p\)-adic \(L\)-functions and \(p\)-adic periods of modular forms
cites work: Determining Fitting ideals of minus class groups via the equivariant Tamagawa number conjecture
cites work: Q4744363
cites work: Q4729878
cites work: Mathematical problems. Lecture delivered before the international congress of mathematicians at Paris in 1900. Translated by \textit{Mary Winston Newson}.
cites work: On the arithmetic character of Fourier coefficients of modular forms
cites work: Q3105292
cites work: A refinement of Stark's conjecture over complex cubic number fields
cites work: A modular construction of unramified p-extensions of \(\mathbb{Q}(\mu_p)\)
cites work: Q4884994
cites work: Q3838510
cites work: Q5509718
cites work: Q4119293
cites work: Q5631179
cites work: Shintani cocycles and the order of vanishing of \(p\)-adic Hecke \(L\)-series at \(s=0\)
cites work: \(L\)-functions at \(s=1\). III: Totally real fields and Hilbert's twelfth problem
cites work: Q3659870
cites work: The Stark conjectures on Artin \(L\)-functions at \(s=0\). Lecture notes of a course in Orsay edited by Dominique Bernardi and Norbert Schappacher.
cites work: On the rank one abelian Gross-Stark conjecture
cites work: The Iwasawa conjecture for totally real fields
description: scientific article; zbMATH DE number 7875310