Relative Tor Functors for Level Modules with Respect to a Semidualizing Bimodule

Let R and S be rings and _S C _R a semidualizing bimodule. We investigate the relative Tor functors \(\text {Tor}_{i}^{\mathcal {M}\mathcal {L}_{C}}(-,-)\) defined via C-level resolutions, and these functors are exactly the relative Tor functors \(\text {Tor}_{i}^{\mathcal {M}\mathcal {F}_{C}}(-,-)\) defined by Salimi, Sather-Wagstaff, Tavasoli and Yassemi provided that S = R is a commutative Noetherian ring. Vanishing of these functors characterizes the finiteness of \(\mathcal {L}_{C}(S)\)-projective dimension. Applications go in two directions. The first is to characterize when every S-module has a monic (or epic) C-level precover (or preenvelope). The second is to give some criteria for the isomorphism \(\text {Tor}_{i}^{\mathcal {M}\mathcal {L}_{C}}(-,-)\cong \text {Tor}_{i}^{\mathcal {M}\mathcal {F}_{C}}(-,-)\) between the bifunctors.