Equivalences of derived categories for symmetric algebras. (Q1858261)

In his very influential paper [J. Lond. Math. Soc., II. Ser. 39, No. 3, 436-456 (1989; Zbl 0642.16034)] the author gave an axiomatic characterization of two derived categories of complexes of modules \(D^b(A)\) and \(D^b(B)\) to be equivalent. He showed that this happens precisely when there is a bounded complex \(T\) of finitely generated projective \(A\)-modules so that \(B\) is the endomorphism ring of \(T\), so that \(T\) has no non-zero homomorphisms to shifted copies of \(T\) and so that the smallest triangulated category containing direct summands of finite direct sums of \(T\) contains \(A\). If an equivalence of derived categories exists, then the complex \(T\) is constructed to be the image of the rank one free \(B\)-module under the equivalence. Let \(A\) be a finite dimensional symmetric \(k\)-algebra for an algebraically closed field \(k\). In the paper under review the author shows that complexes \(X_1,\dots,X_n\) in the bounded derived category of \(A\)-modules are the images of simple \(B\)-modules \(S_1,\dots,S_n\) under a derived equivalence \(D^b(A)\simeq D^b(B)\) provided that \(\Hom(X_i,X_j[m])=0\) for all \(i,j\) and all negative \(m\), that \(\Hom(X_i,X_j)=0\) if \(i\neq j\), that the endomorphism ring of each \(X_i\) is \(k\), and that \(X_1,\dots,X_n\) generate the bounded derived category. The construction of such an equivalence is done by constructing a tilting complex \(T\) by some limit procedure out of \(X_1,\dots,X_n\). Okuyama, Koshitani, Kunugi, Waki constructed a great number of equivalences between blocks of group rings by an ingenious argument almost only using the knowledge of the images of the simple modules of one algebra under a stable equivalence of Morita type. Okuyama's argument combines with the above described method and the author translates the combination into a criterion on syzygies of images of simple modules under a stable equivalence.