Relative tor functors with respect to a semidualizing module (Q2015172)

All rings in the paper under review are commutative and noetherian. According to the authors, the relative homological algebra is the study of non-traditional resolution and the (co)-homology theories. This idea goes back to Butler, Horrocks, Eilenberg and Moore and was reinvigorated by \textit{M. C. R. Butler} and \textit{G. Horrocks} [Philos. Trans. R. Soc. Lond., Ser. A 254, 155--222 (1961; Zbl 0099.25902)]; \textit{S. Eilenberg} and \textit{J. C. Moore} [Mem. Am. Math. Soc. 55, 39 p. (1965; Zbl 0129.01101)]; \textit{E. E. Enochs} and \textit{O. M. G. Jenda} [Relative homological algebra. de Gruyter Expositions in Mathematics. 30. Berlin: Walter de Gruyter. (2000; Zbl 0952.13001)] and \textit{L. L. Avramov} and \textit{A. Martsinkovsky} [Proc. Lond. Math. Soc. (3) 85, No. 2, 393--440 (2002; Zbl 1047.16002)]. By \(\mathcal{P}(R)\), \(\mathcal{F}(R)\) and \(\mathcal{I}(R)\) denote the subcategories of projective, flat and injective \(R\)-modules. A finitely generated \(R\)-module \(C\) is semidualizing if \(\text{Hom}_R(C,C)\cong R\) and \(\text{Ext}^i_R(C,C)=0\) for \(i\geqslant1\). Let \(\mathcal{P}_C(R)\)=the subcategory of modules \(M\cong P\otimes_RC\) for some \(P\in \mathcal{P}(R)\); \(\mathcal{F}_C(R)\)=the subcategory of modules \(M\cong F\otimes_RC\) for some \(F\in \mathcal{F}(R)\); \(\mathcal{I}_C(R)\)=the subcategory of modules \(M\cong \text{Hom}(C,I)\) for some \(I\in \mathcal{I}(R)\). Let \(Q\) be a proper \(\mathcal{P}_C\)-resolution of \(M\), and let \(G\) be a proper \(\mathcal{F}_C\)-resolution of \(M\). For each \(i\geqslant0\), set \(\text{Tor}_i^{\mathcal{P}_C\mathcal{M}}(M,N):=H_i(Q\otimes_RN)\cong H_i(N\otimes_RQ)=:\text{Tor}_i^{\mathcal{MP}_C}(N,M)\) \(\text{Tor}_i^{\mathcal{F}_C\mathcal{M}}(M,N):=H_i(G\otimes_RN)\cong H_i(N\otimes_RG)=:\text{Tor}_i^{\mathcal{MF}_C}(N,M)\). Let \(C\) be a semidualizing \(R\)-module, and \(M\) and \(N\) be \(R\)-modules. The authors prove that for each \(i\), there is a natural isomorphism \(\text{Tor}_i^{\mathcal{P}_C\mathcal{M}}(M,N)\cong \text{Tor}_i^{\mathcal{F}_C\mathcal{M}}(M,N)\). On other hand, many properties of absolute Tor do not pass to the relative setting, for instance, \(\text{Tor}_i^{\mathcal{F}_C\mathcal{M}}(M,N)\ncong \text{Tor}_i^{\mathcal{MF}_C}(M,N)\). Some results by the authors provide classes of modules \(M\) and \(N\) such that these non-isomorphisms are isomorphisms. On other hand, they show that the only way that these non-isomorphisms are always isomorphisms only in the trivial case. For instance, they prove the theorem. Theorem. Assume that \((R,\mathbf{m}, k)\) is local, and let \(B\) and \(C\) be semidualizing \(R\)-modules. Then the following condition are equivalent (i) \(\text{Tor}_i^{\mathcal{F}_B\mathcal{M}}(M,N)\cong\text{Tor}_i^{\mathcal{MF}_C}(M,N)\) for all \(i\geqslant0\) and for all \(R\)-modules \(M,N\). (ii) \(\text{Tor}_i^{\mathcal{F}_B\mathcal{M}}(B,k)\cong\text{Tor}_i^{\mathcal{MF}_C}(B,k)\) for \(i=0\) and some \(i>0\). (iii) \(\text{Tor}_i^{\mathcal{F}_B\mathcal{M}}(k,C)\cong\text{Tor}_i^{\mathcal{MF}_C}(k,C)\) for \(i=0\) and some \(i>0\). (iv) \(B\cong R\cong C\). The authors discuss \(\mathcal{F}_C\)-pd, the homological dimension obtained from bounded proper \(\mathcal{F}_C\)-resolutions, and its relation to relative Tor in the last section.