Kernel of Arithmetic Jet Spaces

MaRDI QIDQ6397312zbMATH OpenFDO

Authors Arnab Priya Saha

Publication date 24 April 2022

Abstract: Since the results here have been superseded by another paper cowritten by the author, this article is available for reference purposes only. Fix a Dedekind domain $mathcalO$ and a non-zero prime $mathfrakp$ in it along with a uniformizer $pi$. In the first part of the paper, we construct $m$-shifted $pi$-typical Witt vectors $W_{mn}(B)$ for any $mathcalO$ algebra $B$ of length $m+n+1$. They are a generalization of the usual $pi$-typical Witt vectors. Along with it we construct a lift of Frobenius, called the lateral Frobenius $ildeF:W_{mn}(B)ightarrow{W}_{m(n-1)}(B)$ and show that it satisfies a natural identity with the usual Frobenius map. Now given a group scheme $G$ defined over $mathrmSpecR$, where $R$ is an $mathcalO$-algebra with a fixed $pi$-derivation $delta$ on it, one naturally considers the $n$-th arithmetic jet space $J^{n}G$ whose points are the Witt ring valued points of $G$. This leads to a natural projection map of group schemes $u:J^{m+n}Gightarrow{J}^{m}G$. Let $N^{mn}G$ denote the kernel of $u$. One of our main results imply that for any $pi$-formal group scheme $hatG$ over $mathrmSpfR$, $N^{mn}hatG$ is isomorphic to $J^{n-1}(N^{m1}G)$. As an application, if $hatG$ is a smooth commutative $pi$-formal group scheme of dimension $d$ and $R$ is of characteristic 0 whose ramification is bounded above by $p-2$, then our result implies that $J^{n}G$ is a canonical extension of $hatG$ by $(mathbb{W}_{n-1}{)}^d$ where $mathbb{W}_{n-1}$ is the $pi$-formal group scheme $hat{mathbbA}^n$ endowed with the group law of addition of Witt vectors. Our results also give a geometric characterization of $G(p{i}^{n+1}R)$ which is the subgroup of points of $G(R)$ that reduces to identity under the modulo $p{i}^{n+1}$ map.

This page was built for publication: Kernel of Arithmetic Jet Spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6397312)