Multibraces on the Hochschild complex

Abstract

We generalize the coupled braces {x}{y} of Gerstenhaber and {x}{y,...,z} of Getzler depicting compositions of multilinear maps in the Hochschild complex C(A)=Hom(TA;A) of a graded vector space A to expressions of the form {x,...,y}...{z,...,w} on the extended space Hom(TA;TA), and clarify many of the existing sign conventions that show up in the algebra of mathematical physics (namely in associative and Lie algebras, Batalin-Vilkovisky algebras, homotopy associative and homotopy Lie algebras). As a result, we introduce a new variant of the master identity for homotopy Lie algebras. We also comment on the bialgebra cohomology differential of Gerstenhaber and Schack, and define multilinear higher order differential operators with respect to multilinear maps using the new language. The continuation of this work will be on the various homotopy structures on a topological vertex operator algebra, as introduced by Kimura, Voronov, and Zuckerman.