1999/08/10 by Voronov, Alexander A.
#14H10 #16E40 #17A30 #17A42 #18C99 #55P99 #Algebraic Topology (math.AT) #FOS: Mathematics #Quantum Algebra (math.QA) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.math/9908040
The goal 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 E1-algebra, and a weak G_∞-algebra, arise from the geometry of configuration spaces. Corrections to the paper arXiv:q-alg/9602009 of Kimura, Zuckerman, and the author related to the use of a nonextant notion of a homotopy Gerstenhaber algebra are made.