Operations on the Hochschild Bicomplex of a Diagram of Algebras

Abstract: A diagram of algebras is a functor valued in a category of associative algebras. I construct an operad acting on the Hochschild bicomplex of a diagram of algebras. Using this operad, I give a direct proof that the Hochschild cohomology of a diagram of algebras is a Gerstenhaber algebra. I also show that the total complex is an $L_\infty$-algebra. The same results are true for the reduced and asimplicial subcomplexes and asimplicial cohomology. This structure governs deformations of diagrams of algebras through the Maurer-Cartan equation.