Higher derivations and local cohomology modules (Q1270353): Difference between revisions

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\).