Testing for the Gorenstein property (Q314658)

Assume \((R,\mathfrak{m}, k)\) is a commutative Noetherian local ring. A celebrated theorem due to Auslander-Buchbaum and Serre says that \(R\) is regular if and only if \(k\) has finite projective dimension. In [Proc. Camb. Philos. Soc. 64, 941--948 (1968; Zbl 0172.32302)], \textit{L. Burch} extended this result by proving that \(R\) is regular if and only if \(\mathrm{pd}(R/I)\) is finite for some integrally closed \(\mathfrak{m}\)-primary ideal \(I\). On the other hand, \textit{M. Auslander} and \textit{M. Bridger} [``Stable module theory'', Mem. Am. Math. Soc. 94, 146 p. (1969; Zbl 0204.36402)] introduced the G-dimension as a generalization of projective dimension. Analogous to the regular setting, the finiteness of \(\mathrm{G-dim}(k)\) characterizes the Gorensteinness of \(R\). In the paper under review the authors give a generalization of Burch's result for G-dimension. More precisely, they show that if \(I\) is an integrally closed ideal with \(\mathrm{depth}(R/I) = 0\), e.g., such that \(I\) is \(\mathfrak{m}\)-primary, then \(R\) is Gorenstein if and only if \(\mathrm{G-dim}(R/I)\) is finite.