Diassociative family algebras and averaging family operators (Q6050999)

Diassociative algebras are ruled by the Koszul dual operad of dendriform algebras. They are algebras with two associative products \(\prec\) and \(\succ\), with the complementary axioms \begin{align*} x\prec (y\prec z)&=x\prec(y\succ z)\\ (x\succ y)\prec z&=x\succ(y\prec z)\\ (x\succ y)\succ z&=(x\prec y)\succ z. \end{align*} A notion of \(\Omega\)-diassociative algebra and diassociative family dialgebra associated to a semigroup is introduced. In the first case, the two products are replaced by two families of products indexed by pairs of elements of \(\Omega\), and such a structure gives rise to an \(\Omega\)-graded homogeneous diassociative algebra. In the second case, the two products are replaced by two two families of products indexed by elements of \(\Omega\). A cohomology theory for these objects is constructed, using planar binary trees, generalizing Frabetti's construction for diassociative algebras. An averaging operator on an associative algebra satisfies \[ P(a)P(b)=P(P(a)b)=P(aP(b)). \] Averaging family operators and relative averaging family operators associated to \(\Omega\) is introduced. They are shown to induce diassocative family algebra structures, which in turns give a cohomology theory for (relative) averaging family operators. As an application, formal one-parameter deformations of relative averaging family operators is studied.