Brumer–Stark conjecture

Let K/k be an abelian extension of global fields, and let S be a set of places of k containing the Archimedean places and the prime ideals that ramify in K/k. The S-imprimitive equivariant Artin L-function θ(s) is obtained from the usual equivariant Artin L-function by removing the Euler factors corresponding to the primes in S from the Artin L-functions from which the equivariant function is built. It is a function on the complex numbers taking values in the complex group ring C[G] where G is the Galois group of K/k. It is analytic on the entire plane, excepting a lone simple pole at s = 1.

Let μ_K be the group of roots of unity in K. The group G acts on μ_K; let A be the annihilator of μ_K as a Z[G]-module. An important theorem, first proved by C. L. Siegel and later independently by Takuro Shintani, states that θ(0) is actually in Q[G]. A deeper theorem, proved independently by Pierre Deligne and Ken Ribet, Daniel Barsky, and Pierrette Cassou-Noguès, states that Aθ(0) is in Z[G]. In particular, Wθ(0) is in Z[G], where W is the cardinality of μ_K.

The ideal class group of K is a G-module. From the above discussion, we can let Wθ(0) act on it. The Brumer–Stark conjecture says the following:[1]

Brumer–Stark Conjecture. For each nonzero fractional ideal ${\displaystyle {\mathfrak {a}}}$ of K, there is an "anti-unit" ε such that

1. ${\displaystyle {\mathfrak {a}}^{W\theta (0)}=(\varepsilon ).}$
2. The extension ${\displaystyle K\left(\varepsilon ^{\frac {1}{W}}\right)/k}$ is abelian.

The first part of this conjecture is due to Armand Brumer, and Harold Stark originally suggested that the second condition might hold. The conjecture was first stated in published form by John Tate.[2]

The term "anti-unit" refers to the condition that |ε|_ν is required to be 1 for each Archimedean place ν.[1]

The Brumer Stark conjecture is known to be true for extensions K/k where

• K/Q is cyclotomic: this follows from Stickelberger's theorem[1]
• K is abelian over Q[3]
• K/k is a quadratic extension[2]
• K/k is a biquadratic extension[4]

In 2023, Dasgupta and Kakde proved the Brumer–Stark conjecture away from the prime 2.[5]

The analogous statement in the function field case is known to be true, having been proved by John Tate and Pierre Deligne in 1984,[6] with a different proof by David Hayes in 1985.[7][8]