Abstract

Dedicated to the memory of Moshé Flato Abstract. The purpose of this paper is to complete Getzler-Jones ’ proof of Deligne’s Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative algebra. More concretely, it is shown that the B∞-operad, which is generated by multilinear operations known to act on the Hochschild complex, is a quotient of a certain operad associated to the compactified configuration spaces. Different notions of homotopy Gerstenhaber algebras are discussed: One of them is a B∞-algebra, another, called a homotopy G-algebra, is a particular case of a B∞-algebra, the others, a G∞-algebra, an E 1-algebra, and a weak G∞-algebra, arise from the geometry of configuration spaces. Corrections to the paper of Kimura, Zuckerman, and the author related to the use of a nonextant notion of a homotopy Gerstenhaber algebra are made. In an unpublished paper of E. Getzler and J. D. S. Jones [GJ94], the notion of a homotopy n-algebra was introduced. Unfortunately the construction that justified

Citations