Transfer of Gorenstein dimensions along ring homomorphisms (Q847697)

Let \(R\) be a commutative Noetherian ring. In 1976, \textit{L. G. Chouinard} [Proc. Am. Math. Soc. 60 (1976), 57--60 (1977; Zbl 0343.13005)] gave a general formula for the injective dimension of a module when it is finite. Chouinard's Formula. Let \(M\) be an \(R\)-module of finite injective dimension. Then \[ \text{id}_R M= \sup \{ \text{depth} R_{\mathfrak{p}} - \text{width}_{R_{\mathfrak{p}}}M_{\mathfrak{p}}\, | \, \mathfrak{p} \in \text{Spec}(R) \}. \] Recall that for a module \(M\) over a local ring \(R\), \(\text{width}_R M\) is defined as \(\inf \{ \, i \, | \, \text{Tor}_i^R(k,M) \neq 0\}\), where \(k\) is the residue field of \(R\). This formula can be considered as a general version of the Bass formula for injective dimension. Recently [see \textit{L. Khatami, M. Tousi, S. Yassemi}, Proc. Am. Math. Soc. 137, No. 7, 2201--2207 (2009; Zbl 1167.13007)] the authors extended Chouinard's formula to the Gorenstein injective dimension of modules, when it is finite positive. One of the main results in the paper under review is to remove the positivity condition in the above result. Let \(\varphi : R\to S\) be a local ring homomorphism such that \(S\) has a bounded resolution by flat \(R\)-modules when considered as an \(R\)-module via \(\varphi\). As the other main result the authors show that for every \(R\)-module \(M\), \(\text{Gid}_RM\geq\text{Gid}_S{\mathbb R}\;{\Hom}_R(S,M)\) and \(\text{Gfd}_RM\geq\text{Gfd}_S{\mathbb R}\;{\Hom}_R(S,M)\). In addition, if \(\varphi\) is flat, then equalities hold.