No label defined (Q4827465)

The authors construct a Riemann-Hilbert correspondence for smooth schemes over a field of characteristic \(p> 0\). It is between constructable perverse étale \(F_p\)-sheaves and quasicoherent \({\mathcal O}_X\)-sheaves which are isomorphic to their Frobenius-transform. As both categories do not admit a reasonable duality-theory the usual definitions have to be somehow modified. On the étale side this has been done by \textit{O. Gabber} [in: Geometric aspects of Dwork theory. Vol. I, II. Berlin: Walter de Gruyter. 711--734 (2004; Zbl 1074.14018)]. On the quasicoherent side a local theory had been proposed by \textit{G. Lyubeznik} [J. Reine Angew. Math. 491, 65--130 (1997; Zbl 0904.13003)], and it is globalised here using derived categories. One difficulty is that usual direct images do not preserve the condition ``Frobenius is an isomorphism'', and one has to compose with a limit process to remedy this. The naive approach would lead to projective limits which are difficult to handle. The authors use instead some implicit duality to define an analogue of direct images with proper support, and an inductive limit process. The price to pay is that sheaves are only quasicoherent (however, still finitely generated over the twisted polynomials \({\mathcal O}_X[\text{Frob}]\)). For example for a closed immersion \(Y\subset X\) one typically obtains local cohomology with support in \(Y\). Once this machinery has been set up the Riemann-Hilbert correspondence amounts to the usual Artin-Schreier theory combined with devissage. In the last chapter the theory is extended to schemes over \(\mathbb{Z}/p^n\mathbb{Z}\). To define Frobenius-pullbacks one needs sheaves with an integrable connection. If they are isomorphic to their Frobenius-transform they automatically admit an action by all differential operators. Thus the extended theory relates étale \(\mathbb{Z}/p^n\mathbb{Z}\)-sheaves and \({\mathcal D}_s[\text{Frob}]\)-modules. It relies an previous work by \textit{P. Berthelot} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 29, 185--272 (1996; Zbl 0886.14004) and Mém. Soc. Math. Fr., Nouv. Sér. 81 (2000; Zbl 0948.14017)].