arXiv subjects
Publications and source records attributed to Michel Gros.
We develop a new approach for the p-adic Simpson correspondence, closely related to the original approach of Faltings, but also inspired by the work of Ogus and Vologodsky on an analogue in characteristic p>0. This first article is devoted to the local aspects of the theory.
We show that the quantum Frobenius morphism constructed by Lusztig in the setting of the quantum enveloping algebra specialized at a root of unity admits a multiplicative splitting (non unital). We also find a basis of the toral part of the small quantum algebra consisting of pairwise orthogonal idempotents summing up to 1, and likewise in the modular case of the algebra of distributions for a semisimple algebraic group.
We show the existence of neutralizations of various completions of the quantic Weyl algebra specialized in a primitive unit root of prime order p.
Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of distributions of G, which, for example, explains the subsumed G-equivariant nature of the Frobenius splitting of the flag variety of G.
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.
We study a splitting of the Frobenius map on the whole algebra of distributions of SL_2 (over a finite field) and its relation with the explicit Frobenius descent on arithmetic D-modules over the projective line
Let X a proper smooth curve over the field of complex numbers. Localization of the Heisenberg algebra gives the algebra of global sections of the ring of differential operators on the Jacobian J of X. It seems natural to ask for same kind of relations over a characteristic p > 0 field replacing the Heisenberg algebra by its entire form. We propose a conjecture about the constuction of an arrow between the two objects when X is an elliptic curve.