Derived categories and stable equivalence (Q1825932): Difference between revisions

For a finite-dimensional \(k\)-algebra \(A\) over a field \(k\) we denote by \(\text{mod\,}A\) the category of finitely generated right \(A\)-modules, by \(P_ A\) its full subcategory consisting of projective modules, by \(\underline{\text{mod}}\,A\) the stable module category of \(\text{mod\,}A\), by \(D^ b(\text{mod\,}A)\) the derived category of bounded complexes over \(\text{mod\,}A\), by \(K^ b(P_ A)\) the homotopy category of bounded complexes over \(P_ A\), and by \(TA\) the trivial extension \(A\ltimes DA\) of \(A\) by its minimal injective cogenerator \(DA\). Two algebras \(A\) and \(B\) are called derived equivalent (resp. stably equivalent) if \(D^ b(\text{mod\,}A)\) and \(D^ b(\text{mod\,}B)\) are equivalent as triangulated categories (resp. \(\underline{\text{mod}}\,A\) and \(\underline{\text{mod}}\,B\) are equivalent as categories). The author has proved [in J. Lond. Math. Soc., II. Ser. 39, 436-456 (1989; Zbl 0642.16034)] that \(A\) and \(B\) are derived equivalent if and only if \(B\) is isomorphic to the endomorphism ring of a tilting complex in \(K^ b(P_ A)\). Here, the following interesting and important applications of this result for self-injective algebras are proved. For a self-injective algebra \(A\), \(D^ b(\text{mod\,}A)/K^ b(P_ A)\) is equivalent as a triangulated category to \(\underline{\text{mod}}\,A\). This implies that two derived equivalent self-injective algebras are stably equivalent. The second main result says that, if \(A\) and \(B\) are derived equivalent, then \(TA\) and \(TB\) are derived equivalent, and hence \(TA\) and \(TB\) are stably equivalent. It is also shown that the Brauer tree algebras are up to derived equivalence determined by the number of edges and the multiplicity of the exceptional vertex.