On Brumer-Stark units and Hilbert's 12th problem

Abstract: Class field theory describes abelian extensions of a number field in terms of data intrinsic to the field. Hilbert’s 12th problem, or explicit class field theory, goes further and asks for explicit generators of abelian extensions of a number field as values of analytic functions. Stark’s conjectures provide a different perspective by postulating existence of special elements, now called Stark units, related to leading terms of L-functions at s=0 and generating abelian extensions of a number field. In this talk we will first review classical results on explicit class field theory for the field of rational numbers and imaginary quadratic fields. Next we review Stickelberger’s theorem on annihilation of class groups of abelian extensions of the field of rational numbers. Brumer-Stark conjecture is an analogue of Stickelberger’s theorem for arbitrary totally real fields. We will see the statement of this conjecture along with its refinements and our results towards them. We prove these conjectures away from p=2 Brumer-Stark conjecture gives existence of special elements called Brumer-Stark units. These generate abelian extensions of a totally real number field. A conjecture by one of us gives p-adic analytic formulae for Brumer-Stark units. We will discuss this conjecture. Our recent work proves this conjecture away from p=2 thus providing a p-adic analytic solution to Hilbert’s 12th problem for totally real number fields. We will end with a brief sketch of our proofs.

Mathematics

Audience: learners

TMC Distinguished Lecture Series

Series comments: Please visit sites.google.com/view/distinguishedlectureseries and register. One may also join the TMC-DLS Telegram channel: t.me/joinchat/PwfNq01sxeMAOZE0WV7DuA