Automorphisms of Harbater-Katz-Gabber curves (Q2396239)

Let \(K\) be a perfect field, let \(K[[t]]\) be the power series ring, and let \(\mathrm{Aut}(K[[t]])\) denote its automorphism group as a \(K\)-algebra. If the characteristic of \(K\) is positive, then \(\mathrm{Aut}(K[[t]])\) contains interesting subgroups of finite order. A nice way to construct such subgroups is to consider an algebraic curve \(X\) on which a given finite group \(G\) acts having a fixed point \(x\) with residue field \(K\), so that \(G\) acts on the completion \(\hat{O}_{X,x}\) of the local ring of \(x\) at \(X\), and \(\hat{O}_{X,x}\) is isomorphic to \(K[[t]]\) for any choice of uniformazing parameter \(t\) at \(x\). Precisely, results of \textit{D. Harbater} [Commun. Algebra 8, 1095--1125 (1980; Zbl 0471.14011)], and \textit{N. M. Katz} [Ann. Inst. Fourier 36, No. 4, 69--106 (1986; Zbl 0564.14013)] show that every finite subgroup \(G\) of \(\mathrm{Aut}(K[[t]])\) can be realized in this way. The importance of this techniques is that, for example, one can study local questions about elements in \(\mathrm{Aut}(K[[t]])\) using global tools such as the Hurwitz formula for covers of the curves over \(K\). In this paper, this method is used to study two open problems when \(K\) is a perfect field of characteristic \(p>0\). The first problem, is to find explicit formulas elements \(\alpha\) in \(\mathrm{Aut}(K[[t]])\) whose orders are powers of \(p\). All such \(\alpha\)'s where classified completely in Theorem 1.2. The second problem, is to study the full automorphism group of \textit{Harbater-Katz-Gabber G-curves} (HKG G-curves), namely curves \(X\) together with a \(G\)-action as described above. A reason for this study, is that it turns out that almost rational automorphisms arise from HKG G-curves \(X\) for which \(\mathrm{Aut}(X)\) is strictly larger than \(G\). Other applications of HKG G-curves (such as the lifting problem of automorphisms of \(K[[t]]\) in characteristic zero) can be find in [\textit{T. Chinburg} et al., Ann. Sci. Éc. Norm. Supér. (4) 44, No. 4, 537--605 (2011; Zbl 1239.14024)].