Congruences between Abelian pseudomeasures (Q2518157)

Let \(K\) be a totally real number field and \(p\) an odd prime number. For any finite set of finite primes of \(K\) containing all the primes above \(p\), let \(K_ S\) denote the maximal abelian extension of \(K\) which is unramified at all finite primes outside \(S\) and set \(G_ S :={\roman{Gal}}(K_ S/K)\). Then Serre's pseudomeasure \(\lambda _ K = \lambda _{K,S}\) satisfies that \((1-g)\lambda _ K \in {\mathbb Z}_ p [[G_ S]]\) for all \(g\in G_ S\). For a totally real Galois extension \(L\) of \(K\) of degree \(p\) with group \(\Omega={\roman{Gal}} (L/K)\) we assume that \(S\) contains all the finite primes of \(K\) ramified in \(L\), and let \(L_ S\), \(H_ S= {\roman{Gal}}(L_ S/L)\) and \(\lambda _ L\) be the corresponding objects over \(L\). The group \(\Omega\) acts on \(H_ S\) by conjugation and we have the transfer map \({\roman{ver}}:G_ S\to H_ S\). The main result of this paper establishes that for \(g_ K\in G_ S\) and \(h_ L={\roman{ver}}( g_ S)\in H_ S\), \({\roman{ver}}( (1-g_ K)\lambda_ {K,S})\equiv (1-h_ L)\lambda_{L,S}\bmod T\), where \(T\) is the ideal in the ring \({\mathbb Z}_ p[[H_ S]]^\Omega\) of \(\Omega\)--fixed points of \({\mathbb Z}_ p[[H_ S]]\) consisting of all \(\Omega\)-traces \(\sum_{\sigma\in \Omega}\alpha^\sigma\), \(\alpha\in{\mathbb Z}_ p [[H_ S]]\). This result implies the ``torsion congruences'' of the author paper [Pure Appl. Math. Q. 4, No. 4, 1085--1106 (2008; Zbl 1193.11104)] and thus the proof of the main conjecture of equivariant Iwasawa theory of [Indag. Math., New Ser. 15, No. 4, 549--572 (2004; Zbl 1142.11369)] is reduced to proving the integrality of the logarithm pseudomeasure \(t\) given in the Pure and App. Math. paper [op. cit.]. At the end of the paper, the authors discuss a weaker version of the theorem when \(p=2\).