Higher derivations and local cohomology modules (Q1270353): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.1997.7245 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980825741 / rank | |||
Normal rank |
Revision as of 01:26, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher derivations and local cohomology modules |
scientific article |
Statements
Higher derivations and local cohomology modules (English)
0 references
10 March 1999
0 references
In the present paper, the author studies local cohomology modules of a regular local ring \(R\) with respect to a non-maximal ideal. \textit{C. I. Huneke} and \textit{R. Y. Sharp} [Trans. Am. Math. Soc. 339, No. 2, 765-779 (1993; Zbl 0785.13005)] and \textit{G. Lyubeznik} [Invent. Math. 113, No. 1, 41-55 (1993; Zbl 0795.13004)] studied such modules if \(R\) contains a field, that is, the completion of \(R\) is a formal power series ring over a field. It is interesting that Lyubeznik used the theory of \(D\)-modules. In this paper, the author studies a regular local ring which contains no field but is unramified, that is, the completion of \(R\) is a formal power series ring over a complete \(p\)-ring. The author uses the theory of higher derivation instead of the one of \(D\)-modules. His result contains a part of the one of Huneke-Sharp and Lyubeznik: Let \(K\) be a field or a complete \(p\)-ring, \(R = K[ [X_1, \dots, X_n] ]\) a formal power series ring and \(I\) an ideal of \(R\). Then 1. \(\text{inj.dim } H_{\mathfrak m}^j H_I^i(R) \leq \dim K\) 2. \(\text{inj.dim } H_I(R) \leq \dim H_I^i(R) + \dim K\).
0 references
injective dimension
0 references
local cohomology
0 references
regular local ring
0 references
higher derivation
0 references