Derived equivalences for triangular matrix rings (Q2267797)

For a finite-dimensional algebra \(R\) over a field \(k\) and \(M\) an finitely generated projective right \(R\)-module, set \(A\) to be the triangular matrix which rows are \((k\;M)\) and \((0\;R)\) and \(e\) is the idempotent matrix which rows are \((0\;0)\) and \((0\;1) \in A\). Auslander, Platzeck and Reiten have shown that \(A\) is derived equivalent to the triangular matrix whose rows are \((R\;\Hom_R(M,R))\) and \((0\;k)\) and this equivalence is induced by the classical tilting module \(\text{Ext}_A^1(A/AeA,A) \oplus Ae\). In this paper the authors extend this derived equivalence to the case where \(M_R\) has finite projective dimension. More precisely, for \(R,S\) rings and \(M\) an \(S\)-\(R\)-bimodule set \(A\) to be the triangular matrix which rows are \((S\;M)\) and \((0\;R)\) and \(e\) as above. They show that \(A\) is derived equivalent to the triangular matrix which rows are \((R\;\text{Ext}_A^d(M,R))\) and \((0\;S)\) where \(d= \operatorname{proj} \dim M_R.\) This equivalence is induced by the tilting complex \(T^\bullet= T_1^\bullet\oplus T_2^\bullet\) where \(T_1^\bullet= eA[d+1]\) and \(T_2^\bullet\) is the mapping cone of \(\mu\circ (\varepsilon \bigotimes_{eAe} eA): P^\bullet \bigotimes_{eAe} eA \rightarrow Ae \bigotimes_{eAe} eA \rightarrow A\), where \(P^\bullet\) is the projective resolution of \(M\) and by using identification \(eAe\cong R\), \(A/AeA\cong S\) and \(\text{Ext}_A^{d+1}(A/AeA,eA)\cong\text{Ext}_R^d(M,R)\).