The intersection homology \(D\)-module in finite characteristic (Q1434156): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2040875850 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0210145 / rank | |||
Normal rank |
Latest revision as of 20:24, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The intersection homology \(D\)-module in finite characteristic |
scientific article |
Statements
The intersection homology \(D\)-module in finite characteristic (English)
0 references
1 July 2004
0 references
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).\)
0 references
holonomic \(D\)-modules
0 references
tight closure
0 references
Frobenius map
0 references
Matlis duality
0 references
local cohomology
0 references
intersection homology
0 references
isolated singularity
0 references
Cohen-Macaulay local rings
0 references
Riemann-Hilbert correspondence
0 references
middle perversity
0 references