Gerstenhaber structure and Deligne's conjecture for Loday algebras. (Q872180)

A \(G\)-algebra is a graded vector space equipped with graded commutative and graded Lie algebra structures satisfying a graded version of the Poisson algebra identity. It is a classical fact due to Gerstenhaber that the Hochschild cohomology \(H^*(A,A)\) of an associative algebra has a \(G\)-algebra structure. The main aim of this work is to extend this fact for some other sort of algebras. The first result of this kind was proved by \textit{A. Majumdar} and \textit{G. Mukherjee}, namely they proved that if \(D\) is a dialgebra [see \textit{J.-L. Loday, A. Frabetti, F. Chapoton, F. Goichot}, Dialgebras and related operads. Lect. Notes Math. 1763 (2001; Zbl 0970.00010)], then \(HY^*(D,D)\) has also a \(G\)-algebra structure which in fact comes from a homotopy \(G\)-algebra structure on the cochain complex \(CY^*(D,D)\) [see Trans. Am. Math. Soc. 356, No. 6, 2443-2457 (2004; Zbl 1068.16010)]. In the paper under review the author extends the result of Majumdar and G. Mukherjee for other algebras introduced by Loday including dendriform dialgebras, associative trialgebras etc. The approach of this work is quite similar to the one used by Majumdar and G. Mukherjee and consists in checking that the corresponding cochain complexes have a structure of a non-\(\Sigma\)-operad.