Equivalences of derived categories for symmetric algebras. (Q1858261): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0201052 / rank | |||
Normal rank |
Revision as of 23:24, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivalences of derived categories for symmetric algebras. |
scientific article |
Statements
Equivalences of derived categories for symmetric algebras. (English)
0 references
12 February 2003
0 references
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.
0 references
derived equivalences
0 references
Broué conjecture
0 references
stable equivalences
0 references
derived categories
0 references
triangulated categories
0 references
symmetric algebras
0 references
simple modules
0 references
tilting complexes
0 references
syzygies
0 references