Explicit Frobenius descent for \({\mathcal D}^\dagger\)-modules
The purpose of this paper is to give explicit and global formulae for Frobenius decent of \({\mathcal D}_{\mathcal X}^\dagger\)-modules. This completes Berthelot theory. The main argument developed here is an interpretation of the Dwork \(\psi\) function as an infinite differential operator. Applications are given, in this paper to Cartier isomorphism and Cartier operator, and in another paper to new proofs of Christol main theorems (about indexes of differential operators).
scientific article; zbMATH DE number 1214132
scientific article