2022/07/28 by Das, Apurba, Guo, Shuangjian, Qin, Yufei
#16E40 #16S80 #17B38 #18N40 #FOS: Mathematics #K-Theory and Homology (math.KT) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2207.13980
The notion of O-operator is a generalization of the Rota-Baxter operator in the presence of a bimodule over an associative algebra. A compatible O-operator is a pair consisting of two O-operators satisfying a compatibility relation. A compatible O-operator algebra is an algebra together with a bimodule and a compatible O-operator. In this paper, we construct a graded Lie algebra and an L_∞-algebra that respectively characterize compatible O-operators and compatible O-operator algebras as Maurer-Cartan elements. Using these characterizations, we define cohomology of these structures and as applications, we study formal deformations of compatible O-operators and compatible O-operator algebras. Finally, we consider a brief cohomological study of compatible dendriform algebras and find their relationship with the cohomology of compatible associative algebras and compatible O-operators.