Notes on local cohomology and duality (Q397971): Difference between revisions

The first theorem of the paper, Theorem 1.5, states that in a complete Gorenstein local domain \(R\) if \(\mathfrak{p}\) is a one-dimensional prime ideal then the Matlis dual of \(E_R(R/\mathfrak{p})\) is \(\widehat{R_{\mathfrak{p}}}\). The result gives the precise structure of the Matlis dual of \(E_R(R/\mathfrak{p})\) which had been predicted in [\textit{E. Enochs}, Proc. Am. Math. Soc. 92, 179--184 (1984; Zbl 0522.13008)]. Using this fact, the authors prove in Theorem 2.2 an extension of the Hartshorne--Lichtenbaum vanishing theorem by giving an explanation of the desired top local cohomology module. In section 3, the authors study cohomologically complete intersection ideals and present a local duality formula for cohomologically complete intersection ideal \(I\) where instead of the canonical module, \(\underleftarrow{\text{lim}}H^d_{\mathfrak{m}}(R/I^i)\) takes place. Theorem 4.4. is an interesting characterization of modules which are cohomologically complete intersection with respect to an ideal. Finally, the last section is the correction of an erratum in the authors' previous paper [J. Algebra 320, No. 10, 3733--3748 (2008; Zbl 1157.13012)] which saves the results of [loc. cit.].