Modules of finite homological dimension with respect to a semidualizing module (Q842359): Difference between revisions

Let \(R\) be a commutative noetherian ring. \textit{H.-B. Foxby} [Math. Scand. 40, 5--19 (1977; Zbl 0356.13004)] showed that, if \(R\) is local and admits a finitely generated module of finite projective dimension and finite injective dimension, then \(R\) is Gorenstein. Also \textit{H. Holm} [Proc. Am. Math. Soc. 132, No. 5, 1279--1283 (2004; Zbl 1062.16008)] proved that, if \(M\) is an \(R\)-module of finite projective dimension and finite Gorenstein injective dimension, then \(M\) has finite injective dimension. For very semidualzing \(R\)-module \(C\), one associates homological dimensions with respect to \(C\). (For example, \(\mathcal{P}_C\text{-}\text{pd}_R(M)\) is denoted for the semidualizing analogue of \(\text{pd}_R(M)\)). Recall that an \(R\)-module is said to be \textit{semidualzing} if it satisfies the conditions of a dualizing module except the condition of finiteness of injective dimension. The paper under review studies analogues of the results of Foxby and Holm, for homological dimensions defined in terms of semidualizing \(R\)-modules. For instance, for a semidualizing \(R\)-module \(C\), they showed that \(C\) is a dualizing \(R\)-module if and only if there exists a finitely generated \(R\)-module \(M\neq0\) such that \(\mathcal{P}_C\text{-}\text{pd}_R(M)<\infty\) and \(\text{id}_R(M)<\infty\) if and only if there exists an \(R\)-module \(M\neq0\) of finite depth such that \(\mathcal{P}_C\text{-}\text{pd}_R(M)<\infty\) and \(\text{Gid}_R(M)<\infty\) if and only if there exists a finitely generated \(R\)-module \(M\neq0\) such that \(\text{pd}_R(M)<\infty\) and \(\mathcal{I}_C\text{-}\text{id}_R(M)<\infty\). They also answered a question of \textit{R. Takahashi} and \textit{D. White} [Homological aspects of semidualizing modules, to appear in Math. Scand., cf. \url{arXiv:math/0703643}] in three special cases, which is another generalization of Foxby's theorem.