Canonical Witt formal scheme extensions and p-torsion groups
arXiv:2207.10382 · doi:10.1007/s10231-023-01321-2
Abstract
We study the -th arithmetic jet space of the -torsion subgroup attached to a smooth commutative formal group scheme. We show that the -th jet space above fits in the middle of a canonical short exact sequence between a power of the formal scheme of Witt vectors of length and the -torsion subgroup we started with. This result generalizes a result of Buium on roots of unity.