On Gorenstein injectivity of top local cohomology modules (Q2884410)

Let \((R, \mathfrak m)\) be a \(d\)-dimensional commutative noetherian local ring and \(J\) be an ideal. The paper studies Gorenstein-injectivity of the top local cohomology module \(H^{d}_{J}(R)\). For example over complete hypersurface the author shows that \(H^{d}_{J}(R)\) is Gorenstein-injective. An example of the paper states that the hypersurface assumption is really needed. An auxiliary method is a torsion theory defined by a pair of ideals. Over a complete Cohen-Macaulay ring \((R, \mathfrak m)\), the Gorenstein-injectivity of \(H^{d}_{\mathfrak m}(R)\) is equivalent with the injectivity of \(H^{d}_{\mathfrak m}(R)\).