Partitions associated with Galois maps over \(p\)-adic fields (Q2493335)

Let \(p\) be a prime number, \({\mathbb Q}_ p\) the field of \(p\)-adic numbers, \({\overline{\mathbb Q}}_ p\) an algebraic closure of \({\mathbb Q}_ p\), and \({\mathbb C} _ p\) the completion of \({\overline{\mathbb Q}}_ p\). In the paper under review, the author continues the study of some metric aspects of the action on \({\mathbb C}_ p\) of the Galois group \(G_ K=\text{Gal}_{\text{cont}} ({\mathbb C}_ p/{\mathbb Q}_ p)\) of continuous automorphisms of \({\mathbb C}_ p\) over \({\mathbb Q} _ p\). For a finite extension \(K\) of \({\mathbb Q}_ p\) contained in \({\overline{\mathbb Q}}_ p\), let \({\mathcal F} _ K:= \{f\colon K\to [0,\infty]\}\). For any subset \(E\) of \({\mathbb C}_ p\), and a map \(\varphi \colon E\to K\), consider the map \(\varphi^\ast \colon {\mathcal F}_ K\to {\mathcal F}_ E\) given by \(\varphi^\ast f= f\circ \varphi\) and the map \(j\colon {\mathcal F}_ E\to {\mathcal F}_ {{\mathbb C}_ p}\), where \(j(h)(x)=h(x)\) for \(x\in E\) and \(\infty\) for \(x\notin E\). Finally compose \(j\circ \varphi^ \ast\) with the Galois map \(\text{Gal}\colon {\mathcal F}_ {{\mathbb C}_ p}\to {\mathcal H}(G_ K)\), where \({\mathcal H}(G_ K)\) is the set of closed subgroups of \(G_ K\) and \(\text{Gal}(f)= \{\sigma\in G_ K\mid | \sigma x - x| \leq f(x), x\in {\mathbb C}_ p\}\). The composite \(\eta= \text{Gal}\circ j\circ \varphi^ \ast\colon {\mathcal F}_ K\to {\mathcal H}(G_ K)\) provides a partition of \({\mathcal F}_ K\) where \(f\) and \(g\) are equivalent if and only if \(\eta(f)=\eta(g)\). The author studies these partitions and some regularizations on \({\mathcal F}_ K\) of them. The results obtained are collected in the last section. One question that arises from this study is that if \(E\) runs over the set of finite extensions of \(K\), and for each such \(E\) are considered various maps \(\varphi\colon E\to K\) and the corresponding partitions on \({\mathcal F}_ K\). Can \(E\) be recovered form the partitions of \({\mathcal F}_ K\) associated to a small set of natural maps \(\varphi\) such as the norm or the trace? In view of local class field theory, it is possible that the norm suffices to distinguish between finite abelian extensions of \(K\) via such a construction.