\(\mathcal T_C\)-Gorenstein projective, \(\mathcal L_C\)-Gorenstein injective and \(\mathcal H_C\)-Gorenstein flat modules (Q2448464): Difference between revisions

It is known that for a semidualizing module \(C\), the functors \(\Hom(C,\_ ~)\) and \(C \otimes \_ ~ \) give equivalences between the class of projective modules and \(C\)-projective modules, between injective modules and \(C\)-injective modules and between flat and \(C\)-flat module (the Foxby equivalences). The authors in this paper attempts to answer the question as to whether similar equivalences exist between the classes of Gorenstein projective (resp. Gorenstein injective, resp. Gorenstein flat) modules and \(C\)-Gorenstein projective (resp. \(C\)-Gorenstein injective, resp. \(C\)-Gorenstein flat) modules. This question is partially answered in the affirmative for projectivity and injectivity via the definition of two new concepts, viz. \({\mathbf T}_{C}\)-Gorenstein projectivity and \({\mathbf L}_{C}\)-Gorenstein injectivity, for a semidualizing module \(C\). An \(R\)-module \(M\) is called \({\mathbf T}_{C}\)-Gorenstein projective if there exists an exact complex of projective \(R\)-modules \({\mathbf P}= \ldots \rightarrow P_{1} \rightarrow P_{0} \rightarrow P^{0} \rightarrow P^{1} \rightarrow \ldots,\) such that (1) The complex \(C \otimes {\mathbf P}\) is exact. (2) The complex \(\Hom({\mathbf P},Q)\) is exact for all projective \(R\)-modules \(Q\). (3) There is an isomorphism \(M \cong \mathrm{coker} (P_{1} \rightarrow P_{0})\). The class of \({\mathbf T}_{C}\)-Gorenstein projective modules is denoted by \({\mathbf T}_{C}(R)\). \({\mathbf L}_{C}\)-Gorenstein injectivity and the class of all \({\mathbf L}_{C}\)-Gorenstein injective modules (denoted by \({\mathbf L}_{C}(R)\)) are defined dually. Relationships are shown between the \({\mathbf T}_{C}\)-Gorenstein projective (resp. \({\mathbf L}_{C}\)-Gorenstein injective) dimension and the Gorenstein projective (resp. Gorenstein injective) dimension. In fact, the class of all \({\mathbf T}_{C}\)-Gorenstein projectives is shown to coincide with the Gorenstein projective modules which are in the Auslander class with respect to \(C\). Similarly, the class of all \({\mathbf L}_{C}\)-Gorenstein injectives coincides with the class of all Gorenstein injective modules which are in the Bass class relative to \(C\). Finiteness of the \({\mathbf T}_{C}\)-Gorenstein projective dimension (resp. \({\mathbf L}_{C}\)-Gorenstein injective dimension) is shown to be equivalent to the existence of a special \({\mathbf T}_{C}(R)\))-precover (resp. a special \({\mathbf L}_{C}(R)\))-preenvelope). For \(C\) a semidualizing \(R\)-module, \({\mathbf H}_{C}\)-Gorenstein flatness is defined and Foxby equivalences are extended to this situation.