The intersection homology \(D\)-module in finite characteristic (Q1434156)

Let \(X\) be an irreducible smooth scheme over a perfect field, and let \(Y\) be a closed irreducible subscheme of codimension \(c.\) The author proves that \(H^c_Y(X, O_X)\) has a unique simple \(D_X\)-submodule \(L(Y,X)\) which agrees with \(H^c_Y(X, O_X)\) on the complement of any closed set containing the singular locus of \(Y.\) In the case of \(\mathbb C\)-varieties a highly formal proof of such result was earlier obtained by \textit{J. L. Brylinski} and \textit{M. Kashiwara} [Invent. Math. 64, 387--410 (1981; Zbl 0473.22009)]. In the paper under review the author presents an elegant proof which does not depend on characteristic of the base field; his proof is a direct consequence of the following fact: \(H^c_Y(X, O_X)\) has finite length as a \(D_X\)-module. In characteristic zero it is guaranteed by holonomicity while in the case of positive characteristic it follows from results by \textit{G. Lyubeznik} [J. Reine Angew. Math. 491, 65--130 (1997; Zbl 0904.13003)]. The author also underlines that even in the case of characteristic zero it is very difficult to determine \(L(Y,X)\) explicitly. Nevertheless, making use of his method based on the theory of tight closure he describes a clear local construction of \(L(Y,X)\) in general case and obtains a criterion for the \(D_X\)-simplicity of \(H^c_Y(X, O_X).\)