Canonical Witt formal scheme extensions and \(p\)-torsion groups (Q6093336)

In this paper, the authors study the structure of the jet space functors associated with the \(p\)-torsion subgroup of smooth commutative formal group schemes over a fixed \(p\)-adic basis. More specifically, they have proved that for any \(n\), the \(n\)th jet space of the \(p\)-torsion subgroup is canonically an extension of the \(p\)-torsion subgroup by a power of the unipotent formal group scheme. To describe the detail of the result of this paper, we first introduce some notations. Let \(K\) be a finite extension of \(\mathbb{Q}_p\) with ramification index \(e\), uniformizer \(\pi\), and ring of integers \(\mathcal{O}\). Let \(k\) be the residue field of \(\mathcal{O}\) and \(q\) be the order of \(k\). Let \(R\) be a \(\pi\)-adically complete \(\pi\)-torsion free \(\mathcal{O}\)-algebra \(R\) with a lifting of the Frobenius. Let \(\mathbf{Nilp}_R\) be the category of \(R\)-algebras such that \(\pi\) is nilpotent. A formal scheme over \(R\) is defined to be a sheaf on the opposite category \(\mathbf{Nilp}^{\textrm{op}}_R\) admitting an open cover by open subfunctors of the type \(\mathrm{Spf}(A)\), where \[ \mathrm{Spf}(A)(B) = \varinjlim_{n} \textrm{Hom}_R(A/I^n,B) \] for any \(B\) in \(\mathbf{Nilp}_R\). If \(X\) is a sheaf on \(\mathbf{Nilp}^{\textrm{op}}_R\), the \(n\)th \(\pi\)-jet is defined by \(J^nX(C) = X(W_n(C))\) for any \(C\) in \(\mathbf{Nilp}_R\). For a smooth commutative formal group scheme \(G\) over \(R\), let \(G[p^{\nu}]\) be the \(p^{\nu}\)-torsion formal subgroup scheme of \(G\). Let \(G[p^{\infty}]\) be the sheaf on \(\mathbf{Nilp}^{\textrm{op}}_R\) such that \[ G[p^{\infty}](C) = \varinjlim_{\nu} G[p^{\nu}](C), \] for any \(C\) in \(\mathbf{Nilp}_R\). Let \(N^n(G[p^{\infty}])\) be the kernel of the natural projection map \(J^nG[p^{\infty}] \to G[p^{\infty}]\). \textit{A. Buium} [Doc. Math. 18, 943--969 (2013; Zbl 1278.14060)] shows that if \(e=1, p>2\) and \(G\) is the formal multiplicative group scheme over \(R\), then \(N^n(G[p^{\infty}])\) is representable by a formal \(R\)-scheme and is isomorphic to \(\widehat{\mathbb{A}}^n\), the \(n\)-dimensional affine space over \(\mathrm{Spf}(R)\). Let \(\widehat{\mathbb{W}}_{n-1}\) be \(\widehat{\mathbb{A}}^n\) endowed with the group structure of Witt vectors of length \(n\). The main result of the subject paper generalizes this result to any smooth commutative formal \(R\)-group scheme of relative dimension \(d \geq 1\). Theorem: Assume \(p \geq e+2\). Given a smooth commutative formal group scheme \(G\) of relative dimension \(d\) over \(R\), for any positive integer \(n\), the natural morphism \(J^nG \to G\) gives an exact sequence \[ 0 \to (\widehat{\mathbb{W}}_{n-1})^d \to J^nG[p^{\infty}] \to G[p^{\infty}] \to 0 \] of sheaves on \(\mathbf{Nilp}^{\textrm{op}}_R\).