We give a construction of Rota-Baxter coalgebras from Hopf module coalgebras and also derive the structures of the pre-Lie coalgebras via Rota-Baxter coalgebras of different weight. Finally, the notion of RotaBaxter bialgebra is introduced and some examples are provided.Key words: Rota-Baxter bialgebras, Radford biproduct, Rota-Baxter coalgebras.
Mathematics Subject Classification: 16T05, 16W991 Introduction A Rota-Baxter algebra, also called a Baxter algebra, is an associative algebra with a linear operator which generalizes the algebra of continuous functions with the integral operator. More precisely, for a given field K and λ ∈ K, a Rota-Baxter K-algebra (of weight λ) is a K-algebra R together with a K-linear map P : R −→ R such that P (x)P (y) = P (xP (y)) + P (P (x)y) + λP (xy)for all x, y ∈ R. Such a linear operator is called a Rota-Baxter operator (of weight λ). Rota-Baxter algebras were introduced in [21] in the context of differential operators on commutative Banach algebras and since [4] intensively studied in probability and combinatorics, and more recently in mathematical physics, such as dendriform algebras * Corresponding author 1 (see [3,6,7,11]), free Rota-Baxter algebras (see [5,8,9,13,14]), Lie algebras (see [2,18]), multiple zeta values (see [8,15]) and Connes-Kreimer renormalization theory in quantum field theory (see [10]), etc. One can refer to the book [12] for the detailed theory of Rota-Baxter algebras. In 2014, Jian used Yetter-Drinfeld module algebras to construct Hopf module algebras, and then the corresponding Rota-Baxter algebras were derived (see [16]). Based on the dual method in the Hopf algebra theory, Jian and Zhang in [17] defined the notion of Rota-Baxter coalgebras and also provided various examples of the new object, including constructions by group-like elements and by smash coproduct.In this paper, we will continue to investigate the properties of Rota-Baxter coalgebras. We give a construction of Rota-Baxter coalgebras from Hopf module coalgebras and also derive the structures of the pre-Lie coalgebras via Rota-Baxter coalgebras of different weight. Finally, the notion of Rota-Baxter bialgebra is introduced and some examples are provided.
PreliminariesThroughout this paper, we assume that all vector spaces, algebras, coalgebras and tensor products are defined over a field K. An algebra is always assumed to be associative, but not necessarily unital. A coalgebra is always assumed to be coassociative, but not necessarily counital. Now, let C be a coalgebra. We use Sweedler's notation for the comultiplication (see [19]): ∆(c) = c 1 ⊗ c 2 for any c ∈ C. Denote the category of leftIn what follows, we recall some useful definitions and results which will be used later (see [12,16,17,19]).Hopf module (see [19]): A right (resp. left) H-Hopf module is a vector space M equipped simultaneously with a right (resp. left) H-module structure and a right (resp. left) H-comodule structure ρ R (resp. ρ L ) such that(resp. ρ L (h · m) = ∆(h)ρ L (m)) for all h ∈ H and m ∈ M .Remark ...