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

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?