A Simpson correspondence in positive characteristic

DOI10.2977/PRIMS/1zbMATH Open1200.14036arXiv0811.1168OpenAlexW2059717379MaRDI QIDQ963067FDOQ963067

Authors: Michel Gros, Bernard Le Stum, Adolfo Quirós 

Publication date: 8 April 2010

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Abstract: We define the $p^m$-curvature map on the sheaf of differential operators of level $m$ on a scheme of positive characteristic $p$ as dual to some divided power map on infinitesimal neighborhhods. This leads to the notion of $p^m$-curvature on differential modules of level $m$. We use this construction to recover Kaneda's description of a semi-linear Azumaya splitting of the sheaf of differential operators of level $m$. Then, using a lifting modulo $p^2$ of Frobenius, we are able to define a Frobenius map on differential operators of level $m$ as dual to some divided Frobenius on infinitesimal neighborhhods. We use this map to build a true Azumaya splitting of the completed sheaf of differential operators of level $m$ (up to an automorphism of the center). From this, we derive the fact that Frobenius pull back gives, when restricted to quasi-nilpotent objects, an equivalence between Higgs-modules and differential modules of level $m$. We end by explaining the relation with related work of Ogus-Vologodski and van der Put in level zero as well as Berthelot's Frobenius descent.

Full work available at URL: https://arxiv.org/abs/0811.1168

Recommendations

• Théorèmes de division sur $\widehat{\cal D}^{(0)}_{{\cal X}\bbfQ}$ et applications
• scientific article; zbMATH DE number 1854023
• scientific article; zbMATH DE number 3966268
• Étale splittings of certain Azumaya algebras on toric and hypertoric varieties in positive characteristic
• scientific article; zbMATH DE number 4000086

zbMATH Keywords

Higgs fieldconnection\(p\)-curvatureFrobenius\(D\)-module

Mathematics Subject Classification ID

(p)-adic cohomology, crystalline cohomology (14F30) de Rham cohomology and algebraic geometry (14F40)

Cites Work

• Localization of modules for a semisimple Lie algebra in prime characteristic (with an appendix by R. Bezrukavnikov and S. Riche, Computation for \(\text{sl}(3))\)
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• Notes on Crystalline Cohomology. (MN-21)
• ${\cal D}$-modules arithmétiques. II: Descente par Frobenius

Cited In (6)

• Title not available (Why is that?)
• On a \(q\)-local deformation of the non-abelian Hodge theory into a positive characteristic
• Twisted divided powers and applications
• On log local Cartier transform of higher level in characteristic \(p\)
• Notes on generalizations of local Ogus-Vologodsky correspondence
• An explicit neutralization of the completed quantum Weyl algebra.

This page was built for publication: A Simpson correspondence in positive characteristic

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