Partial tilting and cotilting bimodules. (Q854904): Difference between revisions

A module \(_RV\) is called a `partial tilting module', if it has finite projective dimension \(\text{pd}_RV\leq r\) and \(\text{Ext}^i_R(V, V^{(I)})=0\), for \(1\leq i\leq r\). Dual properties define a partial cotilting module. A bimodule \(_RV_S\) is called a `partial tilting bimodule', if \(_RV\) is a partial tilting module and \(_SV^*=\Hom_R(V,Q)\), with \(_RQ\) an injective cogenerator, is a partial cotilting module. In the paper it is shown that partial tilting bimodules admit a good equivalence theory. The equivalences are induced by the functors \(\Hom_R(V,-)\), \(V_S\otimes-\) and their derived functors and the dualities are induced by \(\Hom_R(-,W)\), \(\Hom_S(-,W)\) and their derived functors, where \(_RV_S\) is a partial tilting bimodule and \(_RW_S\) is a partial cotilting bimodule. The finiteness conditions on \(_RV_S\), used in the preceding investigations, are substituted by homological conditions involving the derived maps \(\sigma^{(j)}\) and \(\eta^{(j)}\) of the unit \(\sigma\) and counit \(\eta\) of the adjunction between the Hom and the tensor functors. The main result affirms that for each \(i\in\mathbb{N}\) the functors \(\text{Ext}^i_R(V,-)\) and \(\text{Tor}^i_S(V,-)\) induce an equivalence between the distinguished classes \({\mathcal E}_i^{(i)}\). The proof has a very technical character with many diagrams and intermediate steps. In the conclusion of the paper the dual results for partial cotilting bimodules are formulated without proofs. Some examples illustrate different possible cases.