On the Iwasawa algebra associated to a normal element of \(\mathbb C_p\) (Q968058)

For a prime number \(p\), let \({\mathbb C}_ p\) be the completion of the algebraic closure \(\bar{{\mathbb Q}}_ p\) of the field of \(p\)-adic numbers \({\mathbb Q}_ p\). Let \(G_ {(p)}=\text{Gal}_{ \text{cont}}({\mathbb C}_ p/{\mathbb Q}_ p)\) and for a normal element \(x\in {\mathbb C}_ p\), let \({\mathcal O}(x)\) be the orbit of \(x\) with respect to \(G_{(p)}\). The main goal of the paper under review is to study the Iwasawa algebra of \({\mathcal O}(x)\) with scalars drawn from \({\mathbb Q}_ p\), and relate it with distributions defined on \({\mathcal O}(x)\) with values in \({\mathbb Q}_ p\) and \({\mathbb Q}_ p\)-functionals defined on the closure of the polynomial ring \({\mathbb Q}_ p[x]\) in \({\mathbb C}_ p\). As the first main result, it is proved that the Iwasawa algebra of \({\mathcal O}(x)\) with scalars drawn from \({\mathbb Q}_ p\), is isomorphic as \({\mathbb Q}_ p\)--vector space with the space of \({\mathbb Q}_ p\)-linear morphisms defined on the algebraic part of the closure of the polynomial ring \({\mathbb Q}_ p[x]\) in \({\mathbb C}_ p\). As the second main result, it is obtained an isomorphism of Banach spaces between the measures on \({\mathcal O}(x)\) with values in the algebraic closure of \({\mathbb Q}_ p\), which are equivariant with respect to the absolute Galois group on the one hand, and the Banach algebra of formal series with bounded coefficients in \({\mathbb Q}_ p\) on the other.