Abstract
In his theory of D†X-modules, P. Berthelot has proved a general theorem of Frobenius descent. On the other hand, Christol and others have also proved various statements about weak Frobenius structures on an annulus of the rigid projective line. It is the aim of this paper to give some explicit and global formulas for Frobenius descent for D†X-modules. It requires us to build a new kind of differential operator which represents Dwork's ψ operator. The construction uses mainly Taylor series properties. It is possible to derive from this some new proofs of Christol's theorems; it is also useful for computations in characteristicplike those arising in the construction of Cartier's isomorphism or Cartier's operator.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
