A Bass equality for Gorenstein injective dimension of modules finite over homomorphisms (Q2328640)

The classical Bass equation shows that if \(R\) is a commutative noetherian local ring and \(N\neq 0\) is a finite \(R\)-module of finite injective dimension \(\mathrm{id}_RN\) then one has \(\mathrm{id}_RN=\mathrm{depth}R\). This result was generalized by Takahashi and Yoshino to local homomorphisms in [\textit{R. Takahashi} and \textit{Y. Yoshino}, Proc. Am. Math. Soc. 132, No. 11, 3177--3187 (2004; Zbl 1094.13007)]; they proved that if \(\varphi: R \to S\) is a local homomorphism and \(N\neq 0\) is a finite \(S\)-module with \(\mathrm{id}_RN<\infty\) then \(\mathrm{id}_RN=\mathrm{depth}R\). The Gorenstein counterpart of the classical Bass equation was given by \textit{L. Khatami} et al. [Proc. Am. Math. Soc. 137, No. 7, 2201--2207 (2009; Zbl 1167.13007)]; they proved that if \(R\) is a commutative noetherian local ring and \(N\neq 0\) is a finite \(R\)-module of finite Gorenstein injective dimension \(\mathrm{Gid}_RN\) then one has \(\mathrm{Gid}_RN=\mathrm{depth}R\). So in Question 6.2 in the survey [\textit{L. W. Christensen} et al., in: Commutative algebra. Noetherian and non-Noetherian perspectives. New York, NY: Springer. 101--143 (2011; Zbl 1225.13019)] by Christensen, Foxby and Holm, they asked if the Gorenstein counterpart of the classical Bass equation holds over local homomorphisms. In the paper under review the authors gives a positive answer to this question. They proves that if \(\varphi: R \to S\) is a local homomorphism and \(N\neq 0\) is a finite \(S\)-module with \(\mathrm{Gid}_RN<\infty\) then \(\mathrm{Gid}_RN=\mathrm{depth}R\).