Using semidualizing complexes to detect Gorenstein rings (Q2350499)

Let \(R\) be a commutative noetherian ring with identity. A result of \textit{H.-B. Foxby} [J. Pure Appl. Algebra 15, 149--172 (1979; Zbl 0411.13006)] (proposition 2.10) states that if there exist complex with finite depth, finite flat dimension, and finite injective dimension over a local ring \(R\), then \(R\) is Gorenstein. In the paper under review, the authors improve Foxby's result by answering a question of \textit{R. Takahashi} and \textit{D. White} [Math. Scand. 106, No. 1, 5--22 (2010; Zbl 1193.13012)]. The main result of the paper is the following: Theorem. If there exist an \(R\)-complex \(X\in \mathcal{D}_b(R)\) such that \(\mathcal{F}_C-pd_R(X)<\infty\) and \(\mathcal{I}_C-\mathrm{id}_R(X)<\infty\), then \(R_{\mathfrak{p}}\) is Gorenstein for all \(\mathfrak{p}\in \mathrm{supp}_R(X)\).