On Kashiwara's equivalence in positive characteristic (Q1882575)

This paper discusses about the equivalence theorem of Kashiwara on \({\mathcal D}\)-modules in positive characteristics. Let \(X\) and \(Y\) be smooth algebraic varietes defined over an algebraic closed field \(k\) and let \(f:X\to Y\) be a morphism of smooth quasi-projective \(k\)-varieties. One can define the direct image functor \(\int_f:D^b(\text{qc}({\mathcal D}_X))\to D^b(\text{qc}({\mathcal D}_Y))\) of \(f\) from the bounded derived category of quasi-coherent \({\mathcal D}_X\)-modules to that of quasi-coherent \({\mathcal D}_Y\)-modules just as in characteristic 0. If \(f\) is a closed immersion, \(\int_f\) is exact, and in characteristic 0 induces an equivalence of the category \(\text{qc} ({\mathcal D}_X)\) with the full subcategory \(\text{qc}_X({\mathcal D}_Y)\) of \(\text{qc}({\mathcal D}_Y)\) consisting of those with support contained in \(X\). In the case of positive characteristic however, \(\int f\) no longer induces an equivalence. On the other hand, a central reduction of \({\mathcal D}\) is the first term \(\overline{\mathcal D}\) of the \(p\)-filtration of the ring of the standard differential operators. We find that the direct image as \(\overline{\mathcal D}\)-modules of the structure sheaf of the Frobenius neighborhood of a point in each Chevalley-Bruhat cell under its inclusion in the flag variety realizes upon taking global sections an infinitesimal Verma module.