On relatively invariant circular units and Stickelberger elements (Q1313578)

Let \(K\) be an absolutely abelian number field with \(\text{Gal} (K/ \mathbb{Q}) =G\) and with subfield \(E\) with \(\text{Gal}(K/E)= \Delta\). Let \(C_ K= D_ K\cap U_ K\) be the group of circular units of \(K\) in the sense of \textit{W. Sinnott} [Invent. Math. 62, 181-234 (1980; Zbl 0465.12001)]: For each \(n\in\mathbb{N}\) set \(\zeta_ n= \exp(2\pi i/n)\), \(g_ n(a)= 1- \zeta_ n^ a\), and \(g_ n'(a)=\) the norm from \(\mathbb{Q}(\zeta_ n)\) to \(\mathbb{Q} (\zeta_ n) \cap K\) of \(g_ n(a)\); then \(D_ K\) is generated by \(\pm 1\) and \(\{ g_ n'(a)\mid n\) in \(\mathbb{N}\), \(1\leq a\leq n-1\}\). The author shows that \(C_ K^ \Delta= C_ E\) if \(K/\mathbb{Q}\) is cyclic and real, but for \(K\) an appropriately chosen elementary abelian \(p\)- extension of \(\mathbb{Q}\) of order \(p^ r\) and \(E\) such that \(K: E=p\) and \(K\) and \(E\) have the same conductor, then \([C_ K^ \Delta: C_ E]= p^{2^{r-1} -1}\). An analogous question for Stickelberger ideals \(S_ K \subseteq \mathbb{Z} G\) is considered, namely, whether \(S_ K^ \Delta= \text{cor}_{K/E} S_ E\); the answer is affirmative if \(E\) and \(K\) are totally imaginary and \(G\) is cyclic, but again not in general.