Hochschild (co)homology and derived categories (Q2666375)

This paper is the expanded notes of the lectures delivered in April 2019 at Isfahan school of mathematics during the conference on representations of algebras. Let \(k\) be a field. The author reviews the Hochschild homology and cohomology as classical invariants of an associative \(k\)-algebra or, more generally, a \(k\)-category. These invariants may be viewed as derived versions of the trace space and the center of the algebra. He shows that they are also invariant under Morita equivalences as well as derived equivalences. These invariance results suggest that Hochschild (co)homology should be defined directly using the derived category. However, this is not possible in general, but the author shows that they may be obtained from the canonical dg enhancement of the derived category. He further demonstrates that Hochschild homology and cohomology are endowed with higher structure; the Hochschild chain complex is a mixed complex, and the Hochschild cochain complex is a \(B_{\infty}\)-algebra. He finally discusses the Tate-Hochschild cohomology, and in particular, he sketches a proof of the fact that Tate-Hochschild cohomology of an algebra is isomorphic, as an algebra, to the classical Hochschild cohomology of its dg singularity category.