Explicit Frobenius descent for \({\mathcal D}^\dagger\)-modules (Q1270385)

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).