Injective dimension of \(D\)-modules: A characteristic-free approach (Q1570815)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Injective dimension of \(D\)-modules: A characteristic-free approach |
scientific article |
Statements
Injective dimension of \(D\)-modules: A characteristic-free approach (English)
0 references
28 October 2001
0 references
Let \(A\) be a ring of formal power series in a finite number of variables over a field \(k\), and \(M\) a module over the ring of \(k\)-linear differential operators on \(A\). Then the injective dimension of \(M\) in the category of \(A\)-modules is bounded from above by the dimension of the support of \(M\). A characteristic-free proof of this fact is given, and this is applied to give a characteristic-free proof for a similar result for local cohomology modules. This latter result was proved in characteristic \(p>0\) [\textit{C. I. Huneke} and \textit{R. Y. Sharp}, Trans. Am. Math. Soc. 339, No. 2, 765-779 (1993; Zbl 0785.13005); \textit{G. Lyubeznik}, J. Reine Angew. Math. 491, 65-130 (1997; Zbl 0904.13003)] and in characteristic 0 [\textit{G. Lyubeznik}, Invent. Math. 113, No. 1, 41-55 (1993; Zbl 0795.13004)] using totally different methods.
0 references
ring of differential operators
0 references
local cohomology modules
0 references
formal power series
0 references
injective dimension
0 references