Relative left derived functors of tensor product functors (Q327267)

The aim of the paper is to introduce and study the relative left derived functor \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\) induced by the tensor product. Let \((\mathcal{C}, \mathcal{D})\) be a balanced pair in Mod-\(R\), let \((\mathcal{C'}, \mathcal{D'})\) be a balanced pair in \(R\)-Mod, let \(\mathcal{F}\) be a precovering subcategory in Mod-\(R\) containing \(\mathcal{C}\), and let \(\mathcal{F'}\) be a precovering subcategory in \(R\)-Mod containing \(\mathcal{C'}\), such that \(\mathcal{F'}^+ \subseteq \mathcal{D}\) and \(\mathcal{F}^+ \subseteq \mathcal{D'}\). For any right \(R\)-module \(M\), any left \(R\)-module \(N\), and any \(n \geq 0\), the groups \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (M,N)\) are defined by \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (M,N) : = H_n (\mathcal{F.} \otimes N)\), where \(\mathcal{F.}\) is a deleted left \(\mathcal{F}\)-resolution of \(M\). The authors prove that the relative left derived functors \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\) can also be computes using a deleted \(\mathcal{F'}\)-resolution of \(N\) i.e. that \(H_n (\mathcal{F.} \otimes N) \simeq H_n (M \otimes \mathcal{F'.})\) with \(\mathcal{F'.}\) a deleted \(\mathcal{F'}\)-resolution of \(N\). Applications include criteria for computing the \(\mathcal{F}\)-resolution dimensions in terms of \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\). In the last section of the paper, the authors study cotorsion pairs induced by \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\) relative to a given balanced pair \((\mathcal{C}, \mathcal{D})\) in Mod-\(R\) and give applications.