Torsion elements of order \(p^2\) in the Nottingham group (Q2182112): Difference between revisions

Let \(\kappa\) be a finite field of characteristic \(p>0\), \(K=\kappa((t))\) the field of Laurent series in one variable \(t\), \(\mathcal{O}_{K}=\kappa[[t]]\) the ring of integers of \(K\) and \(\mathfrak{M}=t\mathcal{O}_{K}\) the maximal ideal of \(\mathcal{O}_{K}\). The Nottingham group \(\mathfrak{N}_{k}\) is the Sylow pro-\(p\) subgroup of the group \(\mathrm{Aut}_{\kappa}(K)\) of all automorphisms of \(K\) that fix \(\kappa\). In the paper under review, the authors derive an upper bound for the number of conjugacy classes of elements of \(\mathfrak{N}_{\kappa}\) of order \(p^{2}\) of the specific ramification break sequence type \(\langle \ell,m \rangle\) (see Theorem 1.2). Furthermore, they prove Theorem 1.3: Let \(n \in \mathbb{N}\), \(u \in \mathfrak{N}_{\kappa}\) be an element of order \(p^2\) and type \(\langle \ell,m \rangle\). If \(u\) and \(u^{n}\) are distinct, then they are conjugate if and only if the following conditions hold: \begin{itemize} \item{(a)} \(n \equiv 1 \mod p\); \item{(b)} \((p, \ell, m)=(2, \ell, 2\ell)\) implies that \(\kappa\) has a primitive cube root of unity. \end{itemize}