Tate–Gross conjecture on Gross–Stark units
Tate–Gross conjecture. For every σ∈G\sigma\in Gσ∈G, uS,T,σ∈Epu_{S,T,\sigma}\in{\mathscr E}_{\mathfrak p}uS,T,σ∈Ep; for every σ∈G\sigma\in Gσ∈G and every q∈T{\mathfrak q}\in Tq∈T,…