Kernels of Arithmetic Jet Spaces and Frobenius Morphism

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Mishra, Rajat Kumar, Saha, Arnab
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866912862138531840
author Mishra, Rajat Kumar
Saha, Arnab
author_facet Mishra, Rajat Kumar
Saha, Arnab
contents For any $π$-formal group scheme $G$, the Frobenius morphism between arithmetic jet spaces restricts to generalized kernels of the projection map. Using the functorial properties of such kernels of arithmetic jet spaces, we show that this morphism is indeed induced by a natural ring map between shifted $π$-typical Witt vectors. In the special case when $G = \hat{\mathbb{G}}_a$, the arithmetic jet space, as well as the generalized kernels are affine $π$-formal planes with Witt vector addition as the group law. In that case the above morphism is the multiplication by $π$ map on Witt vector schemes. In fact, the system of arithmetic jet spaces and generalized kernels of any $π$-formal group scheme $G$ along with their maps and identitites satisfied among them are a generalization of the case of the Witt vector scheme with the system of maps such as the Frobenius, Verschiebung and multiplication by $π$.
format Preprint
id arxiv_https___arxiv_org_abs_2601_22591
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Kernels of Arithmetic Jet Spaces and Frobenius Morphism
Mishra, Rajat Kumar
Saha, Arnab
Algebraic Geometry
Number Theory
11G99, 14L15, 14B25, 14K15, 11G07
For any $π$-formal group scheme $G$, the Frobenius morphism between arithmetic jet spaces restricts to generalized kernels of the projection map. Using the functorial properties of such kernels of arithmetic jet spaces, we show that this morphism is indeed induced by a natural ring map between shifted $π$-typical Witt vectors. In the special case when $G = \hat{\mathbb{G}}_a$, the arithmetic jet space, as well as the generalized kernels are affine $π$-formal planes with Witt vector addition as the group law. In that case the above morphism is the multiplication by $π$ map on Witt vector schemes. In fact, the system of arithmetic jet spaces and generalized kernels of any $π$-formal group scheme $G$ along with their maps and identitites satisfied among them are a generalization of the case of the Witt vector scheme with the system of maps such as the Frobenius, Verschiebung and multiplication by $π$.
title Kernels of Arithmetic Jet Spaces and Frobenius Morphism
topic Algebraic Geometry
Number Theory
11G99, 14L15, 14B25, 14K15, 11G07
url https://arxiv.org/abs/2601.22591