Relative grade and relative Gorenstein dimension with respect to a semidualizing module (Q2682388)

Let \(R\) be a commutative Noetherian ring. Let \(C\) be a semidualizing \(R\)-module, and let \(M\) and \(N\) be \(R\)-modules. The paper introduced notions \(\mathrm{grade}_{\mathcal{P}_C}(M,N), \mathrm{grade}_{\mathcal{I}_C}(M,N)\) and showed some properties of these concepts. The authors also provided the notions of \(C\)-perfect and \(G_C\)-perfect modules. Some results about relative grade of tensor and Hom functors with respect to \(C\) were given. Main results: {Theorem 3.4:} Let \(C\) be a semidualizing \(R\)-module, and let \(M\) and \(N\) be finitely generated \(R\)-modules. Then the following statements hold: (i) \(\mathrm{grade}(M,N)=\inf\{\mathrm{depth}_{R_{\mathfrak{p}}} N_{\mathfrak{p}} \mid \mathfrak{p}\in \mathrm{Supp}_R(M)\}\) (ii) \(\mathrm{grade}_{\mathcal{P}_C}(M,N)=\inf\{\mathrm{depth}_{R_{\mathfrak{p}}} (\mathrm{Hom}_R(C,N))_{\mathfrak{p}} \mid \mathfrak{p}\in \mathrm{Supp}_R(M)\}\) (iii) \(\mathrm{grade}_{\mathcal{P}_C}(M,N)=\mathrm{grade}(M,\mathrm{Hom}_R(C,N))\) (iv) \(\mathrm{grade}_{\mathcal{I}_C}(M,N)=\inf\{\mathrm{depth}_{R_{\mathfrak{p}}} ((C\otimes_RN)_{\mathfrak{p}}) \mid \mathfrak{p}\in \mathrm{Supp}_R(M)\}\) (v) \(\mathrm{grade}_{\mathcal{I}_C}(M,N)=\mathrm{grade}(M,C\otimes_R N).\) {Theorem 3.12:} Let \(C\) be a semidualizing \(R\)-module, and let \(M\) be a \(G_C\)-perfect \(R\)-module. If \(\mathrm{grade} M = n,\) then the \(R\)-module \(\mathrm{Ext}^n_R(M, C)\) is \(G_C\)-perfect of grade \(n.\) {Theorem 4.1:} Let \(C\) be a semidualizing \(R\)-module, and let \(M\) and \(N\) be finitely generated \(R\)-modules. Then the following statements hold: (i) \(\mathrm{depth}_R(\mathrm{Hom}_R(C,N))-\dim_R(M) \le \mathrm{grade}_{\mathcal{P}_C}(M,N).\) (ii) If \(\mathrm{Supp}_R(M)\subseteq \mathrm{Supp}_R(\mathrm{Hom}_R(C,N)),\) then \[ \mathrm{grade}_{\mathcal{P}_C}(M,N)\le \dim_R(N)-\dim_R(M). \] (iii) \(\mathrm{depth}_R(C\otimes_RN)-\dim_R(M) \le \mathrm{grade}_{\mathcal{I}_C}(M,N).\) (iv) If \(\mathrm{Supp}_R(M)\subseteq \mathrm{Supp}_R(C\otimes_RN),\) then \[ \mathrm{grade}_{\mathcal{I}_C}(M,N)\le \dim_R(N)-\dim_R(M). \]