Une note sur les modules à descente infinie par Frobenius en caractéristique mixte
A note on Frobenius divided modules in mixed characteristics

- Consulter un extrait
- Année : 2012
- Fascicule : 3
- Tome : 140
- Format : Électronique
- Langue de l'ouvrage :
Anglais - Class. Math. : 12H05, 12H25, 13A35, 13N10, 14F30, 16S32
- Pages : 441-458
- DOI : 10.24033/bsmf.2632
Si $X$ est un schéma lisse sur un corps parfait de caractéristique $p$, et si $\mathcal {D}^{(\infty })_X {X}$ est le faisceau des opérateurs différentiels sur $X$ [?], on sait que donner une action de $\mathcal {D}^{(\infty })_X {X}$ sur un $\mathcal {O}_X _X$-module $\mathcal {E} $ équivaut à donner une suite infinie de $\mathcal {O}_X _X$-modules descendant $\mathcal {E} $ par les itérés de l'endomorphisme de Frobenius de $X$ [?]. Nous montrons que ce résultat peut être généralisé au cas d'un morphism lisse $X \to S$ qui est une déformation infinitésimale d'un morphisme de caractéristique $p$, munie de relèvements des morphismes de Frobenius. Nous montrons aussi qu'il s'étend aux schémas formels adiques tels que $p$ appartienne à un idéal de définition. Ce résultat a été utilisé par dos Santos [?] pour relever les $\mathcal {D}^{(\infty })_X {X}$-modules de la caractéristique $p$ à la caractéristique $0$ en contrôlant le groupe de Galois différentiel du relèvement.
$D$-modules, morphismes de Frobenius, théorie de la descente, théorie des déformations