On the Gorenstein injective dimension and Bass formula (Q2475577)

For a finitely generated module \(M\) over a commutative noetherian local ring \((R,\mathfrak{m})\), \textit{S. Yassemi} [``A generalization of a theorem of Bass'', Commun. Algebra 35, No. 1, 249--251 (2007; Zbl 1122.13001)] has proved (using local cohomology) that \(\text{dim}_RM \leq \text{Gid}_RM\). Here \(\text{dim}_RM\) and \(\text{Gid}_RM\) are the Krull and Gorenstein injective dimensions of \(M\), respectively. The main result in the present paper is that over a commutative noetherian ring \(R\), the inequality \(\text{dim}_RM \leq \text{Gid}_RM\) holds for all modules \(M\) satisfying (1) \(M \neq \mathfrak{m}M\) for every maximal ideal \(\mathfrak{m} \subset R\), and (2) \(M\) belongs to \(\mathcal{AF}\) or \(\mathcal{FA}\). By definition, a module \(M\) is \(\mathcal{AF}\) if there exists a short exact sequence \(0 \to A \to M \to F \to 0\) where \(A\) is artinian and \(F\) is finitely generated. \(\mathcal{FA}\) modules are defined similarly, and both of these classes first appeared in [\textit{S. Yassemi}, ``Cofinite modules'', Commun. Algebra 29, No. 6, 2333--2340 (2001; Zbl 1023.13013)]. It seems that the proof of the author's main result (Theorem 2.5) uses the inequality \(\text{Gid}_{R_{\mathfrak{p}}}M_{\mathfrak{p}} \leq \text{Gid}_RM\) for a prime ideal \(\mathfrak{p} \subset R\). To the reviewer's knowledge, this inequality is only known to hold over special rings, see for example [\textit{L.~W.~Christensen, A.~Frankild} and \textit{H.~Holm}, ``On Gorenstein projective, injective and flat dimensions---a functorial description with applications'', J. Algebra 302, No. 1, 231--279 (2006; Zbl 1104.13008), prop.~5.5].