Title: Dualizing complexes, Morita equivalence and the derived Picard group of a ring
Authors: Amnon Yekutieli

Publication status: J. London Math. Soc. 60 (1999) 723-746

Abstract:

Two rings A and B are said to be derived Morita equivalent if the derived categories D^{b}(Mod A) and D{b}(Mod B) are equivalent. By results of Rickard, if A and B are derived Morita equivalent algebras over a field k, then there is a complex of bimodules T s.t. the functor T \otimes^{L}_{A} - : D^{b}(Mod A) --> D^{b}(Mod B) is an equivalence. The complex T is called a tilting complex.

When B = A the isomorphism classes of tilting complexes T form the derived Picard group DPic(A). This group acts naturally on the Grothendieck group K_{0}(A).

We prove that when the algebra A is either local or commutative, then any derived Morita equivalent algebra B is actually Morita equivalent. This enables us to compute DPic(A) in these cases.

Assume A is noetherian. Dualizing complexes over A were defined in [Ye]. These are complexes of bimodules which generalize the commutative definition of [RD]. We prove that the group DPic(A) classifies the set of isomorphism classes of dualizing complexes. We use this classification to deduce properties of rigid dualizing complexes, as defined by Van den Bergh.

Finally we consider finite k-algebras. For the algebra A of upper triangular 2 \times 2 matrices over k, we prove that t^{3} = s, where t, s in DPic(A) are the classes of A^{*} := Hom}_{k}(A, k) and A[1] respectively. In the Appendix, by Elena Kreines, the algebra of n \times n matrices is considered.

Electronic version:
journal pdf file

Erratum: The proof of Theorem 2.6 is correct only when the ring A is noetherian. The general case is Theorem 1.9 of my paper "Derived Equivalences Between Associative Deformations", Journal of Pure and Applied Algebra 214 (2010) 1469-1476.

Return to Publications

(updated 13.3.2011)