A note on Frobenius divided modules in mixed characteristics

MaRDI QIDQ4907719zbMATH OpenFDO

Authors Pierre Berthelot

Publication date 22 February 2013

Full work available at URL https://arxiv.org/abs/1003.2571, http://smf4.emath.fr/en/Publications/Bulletin/140/html/smf_bull_140_441-458.php

zbMATH Keywords

\(D\)-modulesdeformation theorydescent theorydifferential sheavesformal schemesFrobenius descentFrobenius morphismsheaves of differential operators

Mathematics Subject Classification ID

Differential algebra (12H05) (p)-adic differential equations (12H25) Differential and difference algebra (12Hxx) Commutative rings of differential operators and their modules (13N10) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) (p)-adic cohomology, crystalline cohomology (14F30) Rings of differential operators (associative algebraic aspects) (16S32)

Abstract: If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $s{D}_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $s{D}_X$ on an $s{O}_X$-module $sE$ is equivalent to giving an infinite sequence of $s{O}_X$-modules descending $sE$ via the iterates of the Frobenius endomorphism of $X$. We show that this result can be generalized to any infinitesimal deformation $f:XoS$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic formal schemes such that $p$ belongs to an ideal of definition. In a recent preprint, dos Santos used this result to lift $s{D}_X$-modules from characteristic $p$ to characteristic 0 with control of the differential Galois group.

Recommendations

• Lifting D-modules from positive to zero characteristic
• Théorèmes de division sur $\widehat{\cal D}^{(0)}_{{\cal X}\bbfQ}$ et applications
• Frobenius modules and Galois representations
• ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini

Cites work

• ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• scientific article; zbMATH DE number 5504204 (Why is no real title available?)
• scientific article; zbMATH DE number 3503410 (Why is no real title available?)
• scientific article; zbMATH DE number 1765814 (Why is no real title available?)
• scientific article; zbMATH DE number 3342119 (Why is no real title available?)
• Les suites spectrales associées au complexe de De Rham-Witt
• Lifting D-modules from positive to zero characteristic
• Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
• Notes on Crystalline Cohomology. (MN-21)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(6)

• Frobenius modules and de Jong's theorem
• Unramified \(F\)-divided objects and the étale fundamental pro-groupoid in positive characteristic
• Local-to-global extensions of \(\mathcal D\)-modules in positive characteristic
• Convergent isocrystals on simply connected varieties
• Remarks on F-spans
• Bernstein-Sato theory modulo p^m

This page was built for publication: A note on Frobenius divided modules in mixed characteristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907719)