A note on quasi-Gorenstein rings (Q998954)

Let \((R,\mathfrak m)\) denote a local ring of dimension \(n.\) Let \(H^i_{\mathfrak m}(R), i \in \mathbb Z,\) denote the local cohomology modules of \(R\) with respect to the maximal ideal. The ring is called a quasi-Gorenstein ring in case of \(H^n_{\mathfrak m}(R)\) is isomorphic to the injective hull of the residue field \(R/\mathfrak m.\) This is equivalent to the fact that the canonical module \(K(\hat R)\) is isomorphic to \(\hat R,\) where \(\hat R\) denotes the completion of \(R.\) In the main result of this paper it is shown that a quasi-Gorenstein ring \((R,\mathfrak m)\) is Gorenstein if and only if \(H^i_{\mathfrak m}(R) = 0\) for all integers \(i\) with \(n/2 < i < n.\) This is proved by the use of a certain liaison argument. Reviewer's remark: The previous result is a consequence of a result of the reviewer, see Satz (2.3) in [Math. Z. 165, 223--230 (1979; Zbl 0377.13004)], or Corollary (1.15) in [Prog. Math. 166, 241--292 (1998; Zbl 0949.13012)]. The reviewer has shown: For a local complete ring \((R, \mathfrak m)\) that satisfies Serre's condition \(S_2\) the following conditions are equivalent: (i) The canonical module \(K(R)\) satisfies Serre's condition \(S_k\). (ii) \(H^i_{\mathfrak m}(R) = 0\) for all \(n - k + 2 \leq i < n.\) For a quasi-Gorenstein ring one has \(K(R) \simeq R.\) -- So the main result of the paper under review follows for \(k = \lceil n/2 \rceil.\)