# .

The Brumer–Stark conjecture is a conjecture in algebraic number theory giving a rough generalization of both the analytic class number formula for Dedekind zeta functions, and also of Stickelberger's theorem about the factorization of Gauss sums. It is named after Armand Brumer and Harold Stark.

It arises as a special case (abelian and first-order) of Stark's conjecture, when the place that splits completely in the extension is finite. There are very few cases where the conjecture is known to be valid. Its importance arises, for instance, from its connection with Hilbert's twelfth problem.
Statement of the 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 \theta (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

$$\mathbb{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 $$\mu_K$$ be the group of roots of unity in K. The group G acts on $$\mu_K$$; let A be the annihilator of $$\mu_K$$ as a $$\mathbb{Z}[G]$$-module. An important theorem, first proved by C. L. Siegel and later independently by Takuro Shintani, states that $$\theta (0)$$ is actually in $$\mathbb{Q}[G]$$ . A deeper theorem, proved independently by Pierre Deligne and Ken Ribet, Daniel Barsky, and Pierette Cassou-Nogues, states that A \theta (0) is in \ $$mathbb{Z}[G]$$. In particular, $$W \theta (0)$$ is in $$\mathbb{Z}[G]$$, where W is the cardinality of $$\mu_K$$.

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

Brumer–Stark conjecture

For each nonzero fractional ideal \mathfrak{a} of K, there is an anti-unit \varepsilon such that

$$\mathfrak{a}^{W \theta(0)} = (\varepsilon).$$
The extension $$K (\sqrt[W]{\varepsilon})/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.[1]
Progress

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

k is abelian over $$\mathbb{Q}[2]$$

References

^ a b Tate, John, Brumer–Stark–Stickelberger, Séminaire de Théorie des Nombres, Univ. Bordeaux I Talence, (1980-81), exposé no. 24.
^ Tate, John, "Le Conjectures de Stark sur les Fonctions L d'Artin en s=0", Progress in Mathematics (Birkhauser) 47
^ Sands, J. W. (1984), "Galois groups of exponent 2 and the Brumer–Stark conjecture", J. Reine Angew. Math 349 (1): 129–135, doi:10.1515/crll.1984.349.129