Brumer–Stark conjecture for ray class groups

Let L/KL/K be an abelian CM extension of number fields, with KK totally real, and let G=Gal(L/K)G=\operatorname{Gal}(L/K). For finite sets of places S,TS,T of KK, assume SS contains all ramified and infinite places, ST=S\cap T=\varnothing, and the group ELTE_L^T of units congruent to 11 modulo the primes above TT is torsionfree. Let clLT\operatorname{cl}_L^T be the associated ray class group and let θST\theta_S^T be the modified Stickelberger element. Brumer–Stark conjecture. For every such pair S,TS,T,

θSTAnnZ[G](clLT).\theta_S^T\in \operatorname{Ann}_{\mathbb{Z}[G]}(\operatorname{cl}_L^T).

This strengthens Brumer's conjecture from ideal class groups to ray class groups. The source presents it as a conjecture of Tate and does not state a general resolution.

Sources & referencesView supporting material

Primary source

Henri Johnston and Andreas Nickel, “An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications”, arXiv:2010.03186 (2024).

Additional references

3 papers in this index state this conjecture (2010–2020). The statement above is taken from the most recent of them; the others are arXiv:1103.3069, arXiv:1005.0661.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.