Solvable Galois groups and formal power series (Q2919675)

Let \(k\) be a perfect field. Define a category \(\mathcal L\) whose objects are totally ramified arithmetically profinite Galois extensions \(L/K\), where \(K\) is a local field whose residue field is identified with \(k\), and Gal\((L/K)\) is a solvable group. A morphism from \(L/K\) to \(L'/K'\) is an isomorphism \(\gamma:L\rightarrow L'\) such that \(\gamma(K)=K'\) and \(\gamma\) induces the identity map on \(k\). Also define a category \(\mathcal C\) whose objects are pairs \((X,G)\), where \(X\) is a local field of characteristic \(p\) whose residue field is identified with \(k\), and \(G\) is a compact solvable subgroup of Aut\(_k(X)\). A morphism from \((X,G)\) to \((X',G')\) is a \(k\)-isomorphism \(\tau:X\rightarrow X'\) such that \(\tau\circ G\circ\tau^{-1}=G'\).NEWLINENEWLINEDefine a functor \(\mathcal X\) from \(\mathcal L\) to \(\mathcal C\) by \({\mathcal X}(L/K) =(X_K(L),X_K(\mathrm{Gal}(L/K)))\), where \(X_K\) is the field of norms functor [\textit{J.-P. Wintenberger}, Ann. Sci. Éc. Norm. Supér. (4) 16, 59--89 (1983; Zbl 0516.12015)]. If \(\gamma\) is an \(\mathcal L\)-morphism from \(L/K\) to \(L'/K'\) define \({\mathcal X}(\gamma)=X_K(\gamma)\). In this paper the authors prove that \(\mathcal X\) is an equivalence of categories. This gives a partial generalization of [the reviewer, J. Théor. Nombres Bordx. 21, No. 3, 665--678 (2009; Zbl 1214.11130)]. Suppose \(k={\mathbb F}_{p^n}\) and \(\ell\) is a prime different from \(p\). As an application, the authors obtain lower bounds for the \(\ell\)-adic valuations of the upper ramification breaks of \(G\) for \((X,G)\in{\mathcal C}\). In the case where \(G\) is abelian these bounds follow from the Hasse-Arf theorem for \(G\).