Universal enveloping Lie Rota-Baxter algebras of pre-Lie and post-Lie algebras (Q2011317)

Let \(L\) be a vector space over a field \(F\). Define a bilinear product \(xy\) in \(L\) such that for every \(x_1\), \(x_2\), \(x_3\in L\) one has \((x_1x_2)x_3 - x_1(x_2x_3) = (x_2x_1)x_3 - x_2(x_1x_3)\), then \(L\) is a \textit{pre-Lie algebra}. The name comes from the fact that substituting the product in \(L\) by \([x,y]=xy-yx\) one gets a Lie algebra. \par A \textit{post-Lie algebra} is a vector space \(L\) together with two bilinear operations \([x,y]\) and \(xy\) such that \(L\) is a Lie algebra considered with \([x,y]\), and \((x_1x_2)x_3 - x_1(x_2x_3) -(x_2x_1)x_3 + x_2(x_1x_3) = [x_2,x_1]x_3\), and moreover \(x_1[x_2,x_3] = [x_1x_2,x_3]+ [x_2,x_1x_3]\), for every \(x_1\), \(x_2\), \(x_3\in L\). \par The author studies Rota-Baxter algebras (that is algebras equipped with a Rota-Baxter operator). It is proved in the paper that the pre-Lie and the post-Lie algebras have universal enveloping Lie Rota-Baxter algebras, moreover the authors gives a direct construction of these universal enveloping algebras. Furthermore he proves that the variety of all Lie Rota-Baxter algebras is not a Schreier variety. Additionally he proves that the variety of Lie Rota-Baxter algebras and the one of the pre-Lie algebras are related as in the Poincaré-Birkhoff-Witt theorem (that is they form a PBW-pair). A similar result is proved for the varieties of all \(\lambda\)-Lie Rota-Baxter algebras and all post-Lie algebras.