The Rubin-Stark conjecture for imaginary abelian fields of odd prime power conductor (Q706603)

This paper gives a proof of the Rubin-Stark conjecture for a certain class of absolutely abelian fields: \(K\) (the top field) is abelian over \(\mathbb{Q}\) (the bottom field) with odd prime power conductor. One main point is a clever reduction to the minus part. As the author points out, he uses results and techniques of the reviewer, in particular a result saying that a certain Stickelberger element lies in the Fitting ideal of an appropriate class group. In recent work of \textit{D. Burns} [``Congruences between derivatives of abelian L-functions at \(s=0\)'', submitted for publication] it is established that Rubin's conjecture is a consequence of a much more general conjecture, which in turn is true in the absolutely abelian case by work of \textit{D. Burns} and the reviewer [`On the equivariant Tamagawa number conjecture for Tate motives'', Invent. Math. 153, No. 2, 303--359 (2003; Zbl 1142.11076)]; compare also the article by \textit{M. Flach} [``The equivariant Tamagawa number conjecture: a survey'', Contemp. Math. 358, 79--125 (2004; Zbl 1070.11025)], which includes the dyadic case. There is an independent but much less general result of the reviewer, Thm.~5.3.4 in: [``Arithmetic annihilators and Stark-type conjectures'', Contemp. Math. 358, 55--78 (2004; Zbl 1072.11083)]. However, Popescu's direct approach retains its interest.