Formule d'homotopie entre les complexes de Hochschild et de De Rham

Abstract

Let k be the field $\Bbb C$ or $\Bbb R$, let M be the space kⁿ and let A be the algebra of polynomials over M. We know from Hochschild and co-workers that the Hochschild homology H_·(A,A) is isomorphic to the de Rham differential forms over M: this means that the complexes (C_·(A,A),b) and (Ω^·(M), 0) are quasi-isomorphic. In this work, I produce a general explicit homotopy formula between those two complexes. This formula can be generalized when M is an open set in a complex manifold and A is the space of holomorphic functions over M. Then, by taking the dual maps, I find a new homotopy formula for the Hochschild cohomology of the algebra of smooth fonctions over M (when M is either a complex or a real manifold) different from the one given by De Wilde and Lecompte. I will finally show how this formula can be used to construct an homotopy for the cyclic homology.