Embedding of dendriform algebras into Rota-Baxter algebras

Following a recent work Bai C., Bellier O., Guo L., Ni X., Splitting of operations, Manin products, and Rota-Baxter operators, Int. Math. Res. Not. IMRN (in press), DOI: 10.1093/imrn/rnr266] we define what is a dendriform dior trialgebra corresponding to an arbitrary variety Var of binary algebras (associative, commutative, Poisson, etc.). We call such algebras di- or tri-Var-dendriform algebras, respectively. We prove in general that the operad governing the variety of di- or tri-Var-dendriform algebras is Koszul dual to the operad governing di- or trialgebras corresponding to Var^!. We also prove that every di-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of weight zero in the variety Var, and every tri-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of nonzero weight in Var.