Cǎldǎraru's conjecture and Tsygan's formality

Abstract

In this paper we complete the proof of Cǎldǎraru's conjecture on the compatibility between the module structures on di erential forms over polyvector fields and on Hochschild homology over Hochschild cohomology. In fact we show that twisting with the square root of the Todd class gives an isomorphism of precalculi between these pairs of objects. Our methods use formal geometry to globalize the local formality quasiisomorphisms introduced by Kontsevich and Shoikhet. (The existence of the latter was conjectured by Tsygan.) We also rely on the fact - recently proved by the first two authors - that Shoikhet's quasi-isomorphism is compatible with cap products after twisting with a Maurer-Cartan element.