Local cohomology modules and Gorenstein injectivity with respect to a semidualizing module (Q1936509): Difference between revisions

Let \((R, \mathfrak m)\) be a Noetherian local ring with canonical module \(C\). We know that (1) the natural homomorphism \(R \to \text{Hom}(C, C)\) is an isomorphism (2) \(\text{Ext}_R^i(C, C) = 0\) for \(i > 0\), and (3) \(C\) is of finite injective dimension if \(R\) is Cohen-Macaulay. We call \(C\) the dualizing module if \(R\) is Cohen-Macaulay. The notion of semidualizing module is its generalization. A finitely generated module \(C\) is called a semidualizing module if it satisfies (1) and (2). Let \(C\) be a semidualizing module. Then we can introduce notions of \(C\)-injective dimension and \(C\)-Gorenstein injective dimension. In the present paper, the author gives a necessary and sufficient condition for \(C\) to be a dualizing module and several corollaries. Let \(\mathfrak a \subset R\) be an ideal such that \(H_{\mathfrak a}^i(R) = 0\) for any \(i \neq n = \text{ht}_M \mathfrak a\). Then \(C\) is a dualizing module if and only if the \(C\)-injective dimension of \(H_{\mathfrak a}^n(R)\) is finite.