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..

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

Brumer-Stark Units and Explicit Class Field Theory

On Weil-Stark elements, II: refined Stark conjectures

On the adjoint Selmer groups of semi-stable elliptic curves and Flach's zeta elements

Balanced triple product $p$-adic $L$-functions and Stark points

On the non commutative Iwasawa main conjecture for abelian varieties over function fields

On a theorem of Bertolini-Darmon about rationality of Stark-Heegner points over genus fields of real quadratic fields

On generalized main conjectures and p-adic Stark conjectures for Artin motives

On Weil–Stark elements, I: Construction and general properties

The Harris-Venkatesh conjecture for derived Hecke operators II: a unified Stark conjecture

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Stability of ranks under field extensions

The rationality of Stark-Heegner cycles attached to Bianchi modular forms -- The base-change scenario

Discriminant-Stability in $p$-adic Lie Towers of Number Fields

On the Mordell-Weil Ranks of supersingular abelian varieties over $\mathbb{Z}_p^2$-extensions

The Shintani--Faddeev modular cocycle: Stark units from $q$-Pochhammer ratios

Locally analytic vectors, anticylotomic extensions and a conjecture of Kedlaya

Comparison of different Tate conjectures

Anticyclotomic Iwasawa theory of abelian varieties of $\mathrm{GL}_2$-type at non-ordinary primes II

On p-torsions of geometric Brauer groups