Burns's strengthened Rubin–Stark congruence
Let III be the augmentation ideal of Z[Γ]\mathbb{Z}[\Gamma]Z[Γ], let epsilonepsilonepsilon be the element supplied by the Rubin–Stark conjecture, and let Phi∈ι(LambdanU∗)Phi\in\iota(Lambda^n U^*)Phi∈ι(LambdanU∗). Let…