Hochschild cohomology and derived Picard groups. (Q1878454): Difference between revisions

Rickard has shown that for any field \(k\) the Hochschild cohomology ring of a \(k\)-algebra is an invariant of the derived category of this algebra. Gerstenhaber defined a structure of a super-Lie-algebra on the Hochschild cohomology. In the present paper, the author shows that this super-Lie-algebra structure also is an invariant of the derived category of the algebra. More precisely, once the bounded derived categories of two \(k\)-algebras \(A\) and \(B\) are equivalent as triangulated categories, their Hochschild cohomology rings \(HH^*(A,A)\) and \(HH^*(B,B)\) are isomorphic, and the isomorphism can be chosen so that the Gerstenhaber bracket on these rings are transformed one into the other. The key idea is to interpret the Gerstenhaber super-Lie-algebra structure as Lie-algebra associated to the functor associating to the algebra a group of self-equivalences of the derived category of \(A\)-modules. The group of self-equivalences of a derived category was defined by Rouquier and the reviewer [CMS Conf. Proc. 18, 721-749 (1996; Zbl 0855.16015)], and independently by \textit{A. Yekutieli} [J. Lond. Math. Soc., II. Ser. 60, No. 3, 723-746 (1999; Zbl 0954.16006)], and studied in various situations by different authors. The construction is formulated in the language of differential graded algebras and consists basically in defining and studying in great detail the deformations of a differential graded module.