Abstract:Let $F$ be a totally real field of degree $n$ and $p$ an odd prime. We prove the $p$-part of the integral Gross--Stark conjecture for the Brumer--Stark $p$-units living in CM abelian extensions of $F$. In previous work, the first author showed that such a result implies an exact $p$-adic analytic formula for these Brumer--Stark units up to a bounded root of unity error, including a ``real multiplication'' analogue of Shimura's celebrated reciprocity law from the theory of Complex Multiplication. In this paper we show that the Brumer--Stark units, along with $n-1$ other easily described elements (these are simply square roots of certain elements of $F$) generate the maximal abelian extension of $F$. We therefore obtain an unconditional construction of the maximal abelian extension of any totally real field, albeit one that involves $p$-adic integration for infinitely many primes $p$. Our method of proof of the integral Gross--Stark conjecture is a generalization of our previous work on the Brumer--Stark conjecture. We apply Ribet's method in the context of group ring valued Hilbert modular forms. A key new construction here is the definition of a Galois module $\nabla_{\!\sL}$ that incorporates an integral version of the Greenberg--Stevens $\sL$-invariant into the theory of Ritter--Weiss modules. This allows for the reinterpretation of Gross's conjecture as the vanishing of the Fitting ideal of $\nabla_{\!\sL}$. This vanishing is obtained by constructing a quotient of $\nabla_{\!\sL}$ whose Fitting ideal vanishes using the Galois representations associated to cuspidal Hilbert modular forms..

Analytic Nullstellensätze and the model theory of valued fields

Analytic Nullstellensätze and the model theory of valued fields

Projective Nullstellensatz for not necessarily algebraically closed fields

Positivstellensätze for semi-algebraic sets in real closed valued fields

Real Nullstellensatz for 2-step nilpotent Lie algebras

Model theory of valued fields with an endomorphism

Dimension-free matricial Nullstellensätze for noncommutative polynomials

Uniform existential definitions of valuations in function fields in one variable

Abelian Conjectures of Stark Type in Z_p Extensions of Totally Real Fields

A two-sorted theory of nilpotent Lie algebras

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

The intermediate value theorem over a non-Archimedean field via Hensel's Lemma

Non-vanishing modulo p of Hecke L-values over imaginary quadratic fields

Brumer-Stark Units and Explicit Class Field Theory

Almost real closed fields with real analytic structure

Model theory of differential-henselian pre-$H$-fields

A Spiegelungssatz for function field $L$-series

Model-theoretic properties of nilpotent groups and Lie algebras

Zero Order Estimates for Analytic Functions

Valued fields with a total residue map

A spectral theorem for a non-Archimedean valued field whose residue field is formally real