Partial tilting and cotilting bimodules. (Q854904): Difference between revisions
From MaRDI portal
Latest revision as of 10:57, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial tilting and cotilting bimodules. |
scientific article |
Statements
Partial tilting and cotilting bimodules. (English)
0 references
7 December 2006
0 references
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.
0 references
tilting bimodules
0 references
cotilting bimodules
0 references
equivalences
0 references
dualities
0 references
projective dimension
0 references
partial tilting modules
0 references
partial cotilting modules
0 references
injective cogenerators
0 references
categories of left modules
0 references
derived functors
0 references
adjunctions
0 references
0 references