DERIVED INVARIANCE OF HIGHER STRUCTURES ON THE HOCHSCHILD COMPLEX

Bernhard Keller

We show that derived equivalences preserve the homotopy type of the (cohomological) Hochschild complex as a B-infinity algebra. More generally, we prove that, as an object of the homotopy category of B-infinity algebras, the Hochschild complex is contravariant with respect to fully faithful derived tensor functors. We also show that the Hochschild complexes of a Koszul algebra and its dual are homotopy equivalent as B-infinity algebras. In particular, their Hochschild cohomologies are isomorphic as algebras, which is a recent result by R.-O. Buchweitz, and as Lie algebras. Our methods also yield a derived invariant definition of the Hochschild complex of an exact category.

http://www.math.jussieu.fr/~keller/publ/dihabs.html

Bernhard Keller, le 6 octobre, 2003.
Back