Arithmetic D-modules on adic formal schemes
From MaRDI portal
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.
This page was built for publication: Arithmetic D-modules on adic formal schemes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6281599)
