Arithmetic D-modules on locally noetherian formal schemes
Algebraic Geometry
2025-04-04 v3
Abstract
We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite type over a field, and show that the pullback by Frobenius is an auto-equivalence. This extends results of Berthelot that were proven in the smooth case.
Cite
@article{arxiv.1701.01324,
title = {Arithmetic D-modules on locally noetherian formal schemes},
author = {Richard Crew},
journal= {arXiv preprint arXiv:1701.01324},
year = {2025}
}
Comments
82 pages. Comments welcome