Artin-Hasse exponential mapping, algebraic groups in positive characteristic, and the Nottingham group. (Q2353706)

Let \(k\) be an algebraically closed field of positive characteristic \(p\). The Nottingham group \(N(k)\) is the subset of formal power series, \(k[[x]]\), of the form \(x+\sum_{i>1}a_ix^i\) under substitution. This is a well studied group, in particular for the case when \(k=\mathbb F_p\), its subgroup structure has generated much interest. The main result of this paper is that every closed finite-dimensional commutative connected subgroup of \(N(k)\) is isomorphic to \((k,+)^m\) for some \(m\). The proof considers a natural embedding of the Nottingham group into the group of infinite upper unitriangular matrices \(U_\infty(k)\). The tangent algebra of \(N(k)\) is regarded as a subalgebra of \(\text{Lie}(U_\infty(k))\) and tangent vectors are examined. In particular, knowledge of the tangent algebra of closed subgroups of \(U_\infty(k)\) which are quotients of the ring of Witt \(p\)-vectors is used. To conclude the author poses some open questions. In particular, for which \(m>1\) does the Nottingham group contain a subgroup isomorphic to \(k^m\)? Also which infinite-dimensional connected abelian subgroups are in the Nottingham group?