Journal of Noncommutative Geometry


Full-Text PDF (242 KB) | Metadata | Table of Contents | JNCG summary
Volume 1, Issue 1, 2007, pp. 1–25
DOI: 10.4171/JNCG/1

Published online: 2007-03-31

The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal

Vasiliy Dolgushev[1], Dmitry Tamarkin[2] and Boris Tsygan[3]

(1) University of California, Riverside, United States
(2) Northwestern University, Evanston, United States
(3) Northwestern University, Evanston, United States

The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasi-isomorphisms of homotopy Gerstenhaber algebras between the Hochschild cochain complex C•(A) of a regular commutative algebra A over a field $\mathbb{K}$ of characteristic zero and the Gerstenhaber algebra of multiderivations of A. Unlike the original approach of the second author based on the computation of obstructions our method allows us to avoid the bulky Gelfand–Fuchs trick and prove the formality of the homotopy Gerstenhaber algebra structure on the sheaf of polydifferential operators on a smooth algebraic variety, a complex manifold, and a smooth real manifold.

Keywords: Hochschild cohomology, deformations, Gerstenhaber algebras

Dolgushev Vasiliy, Tamarkin Dmitry, Tsygan Boris: The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal. J. Noncommut. Geom. 1 (2007), 1-25. doi: 10.4171/JNCG/1