Explicit reciprocity conjecture for Rubin–Stark elements
Let S:=S∞(k)∪Sp(k)∪Sram(L/k)S:=S_\infty(k)\cup S_p(k)\cup S_{\rm ram}(L/k)S:=S∞(k)∪Sp(k)∪Sram(L/k), assume the Rubin–Stark conjecture for all finite subextensions of Lk(p∞)/kLk(p^\infty)/kLk(p∞)/k, and suppose that ppp splits completely in…
MathDB