A Rota-Baxter operator of weight $λ$ is an abstraction of both the integral operator (when $λ=0$) and the summation operator (when $λ=1$). We similarly define a differential operator of weight $λ$ that includes both the differential operator (when $λ=0$) and the difference operator (when $λ=1$). We further consider an algebraic structure with both a differential operator of weight $λ$ and a Rota-Baxter operator of weight $λ$ that are related in the same way that the differential operator and the integral operator are related by the First Fundamental Theorem of Calculus. We construct free objects in the corresponding categories. In the commutative case, the free objects are given in terms of generalized shuffles, called mixable shuffles. In the noncommutative case, the free objects are given in terms of angularly decorated rooted forests. As a byproduct, we obtain structures of a differential algebra on decorated and undecorated planar rooted forests.
The characteristic is a simple yet important invariant of an algebra. In this paper, we study the characteristic of a Rota-Baxter algebra, called the Rota-Baxter characteristic. We introduce an invariant, called the ascent set, of a Rota-Baxter characteristic. By studying its properties, we classify Rota-Baxter characteristics in the homogenous case and relate Rota-Baxter characteristics in general to the homogeneous case through initial ideals. We show that the Rota-Baxter quotients of Rota-Baxter characteristics have the same underlying sets as those in the homogeneous case. We also give a m…
We study multiple zeta values and their generalizations from the point of view of Rota--Baxter algebras. We obtain a general framework for this purpose and derive relations on multiple zeta values from relations in Rota--Baxter algebras.
In this paper, we begin a systematic study of modified Rota-Baxter algebras, as an associative analogue of the modified classical Yang-Baxter equation. We construct free commutative modified Rota-Baxter algebras by a variation of the shuffle product and describe the structure both recursively and explicitly. We then provide these algebras with a Hopf algebra structure by applying a Hochschild cocycle.
By means of a new notion of subforests of an angularly decorated rooted forest, we give a combinatorial construction of a coproduct on the free Rota-Baxter algebra on angularly decorated rooted forests. We show that this coproduct equips the Rota-Baxter algebra with a bialgebra structure and further a Hopf algebra structure.
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.
A Baxter algebra is a commutative algebra $A$ that carries a generalized integral operator. In the first part of this paper we review past work of Baxter, Miller, Rota and Cartier in this area and explain more recent work on explicit constructions of free Baxter algebras that extended the constructions of Rota and Cartier. In the second part of the paper we will use these explicit constructions to relate Baxter algebras to Hopf algebras and give applications of Baxter algebras to the umbral calculus in combinatorics.
Rota-Baxter operators were introduced to solve certain analytic and combinatorial problems and then applied to many fields in mathematics and mathematical physics. The polynomial algebra $\mathbf{k}[x]$ plays a central role both in analysis and algebra. In this paper, we explicitly classified all monomial Rota-Baxter operators on $\mathbf{k}[x]$.
We count the number of all Rota-Baxter operators on a finite direct sum $A = F\oplus F\oplus \ldots \oplus F$ of fields and count all of them up to conjugation with an automorphism. We also study Rota-Baxter operators on $A$ corresponding to a decomposition of $A$ into a direct vector space sum of two subalgebras. We show that every algebra structure induced on $A$ by a Rota-Baxter of nonzero weight is isomorphic to $A$.
Rota-Baxter operators are an algebraic abstraction of integration. Following this classical connection, we study the relationship between Rota-Baxter operators and integrals in the case of the polynomial algebra $\mathbf{k}[x]$. We consider two classes of Rota-Baxter operators, monomial ones and injective ones. For the first class, we apply averaging operators to determine monomial Rota-Baxter operators. For the second class, we make use of the double product on Rota-Baxter algebras.
We introduce the notion of a matching Rota-Baxter algebra motivated by the recent work on multiple pre-Lie algebras arising from the study of algebraic renormalization of regularity structures~[10,18]. This notion is also related to iterated integrals with multiple kernels and solutions of the associative polarized Yang-Baxter equation. Generalizing the natural connection of Rota-Baxter algebras with dendriform algebras to matching Rota-Baxter algebras , we obtain the notion of matching dendriform algebras. As in the classical case of one operation, matching Rota-Baxter algebras and matching d…
Gian-Carlo Rota suggested in one of his last articles the problem of developing a theory around the notion of integration algebras, complementary to the already existing theory of differential algebras. This idea was mainly motivated by Rota's deep appreciation for Kuo-Tsai Chen's seminal work on iterated integrals. As a starting point for such a theory of integration algebras Rota proposed to consider a particular operator identity first introduced by the mathematician Glen Baxter. Later it was coined Rota-Baxter identity. In this article we briefly recall basic properties of Rota--Baxter alg…
A commutative Rota-Baxter algebra can be regarded as a commutative algebra that carries an abstraction of the integral operator. With the motivation of generalizing the study of algebraic geometry to Rota-Baxter algebra, we extend the central concept of localization for commutative algebras to commutative Rota-Baxter algebras. The existence of such a localization is proved and, under mild conditions, its explicit constructions are obtained. The existence of tensor products of commutative Rota-Baxter algebras is also proved and the compatibility of localization and tensor product of Rota-Baxter…
In this paper we study the adjoint functors between the category of Rota-Baxter algebras and the categories of dendriform dialgebras and trialgebras. In analogy to the well-known theory of the adjoint functor between the category of associative algebras and Lie algebras, we first give an explicit construction of free Rota-Baxter algebras and then apply it to obtain universal enveloping Rota-Baxter algebras of dendriform dialgebras and trialgebras. We further show that free dendriform dialgebras and trialgebras, as represented by binary planar trees and planar trees, are canonical subalgebras o…
In this paper, we propose the concept of an $Ω$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $Ω$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis of a free $Ω$-Rota-Baxter system for an extended diassociative semigroup $Ω$, in terms of bracketed words and the method of Gröbner-Shirshov bases. As applications, we introduce the concepts of Rota-Baxter system family algebras and matching Rota-Baxter systems as special cases of $Ω$-Rota-Baxter systems, and construct their free objects. Meanwhile, free $Ω$-Rota-Baxte…
A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter algebras have been for commutative algebras. Two constructions of free commutative Rota-Baxter algebras were obtained by Rota and Cartier in the 1970s and a third one by Keigher and one of the authors in the 1990s in terms of mixable shuffles. Recently, noncommutative Rota-Baxter algebras have appeared both in physics in connection with the work of Connes and Krei…
In this paper we apply the methods of rewriting systems and Gröbner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gröbner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special …
An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.
The Rota-Baxter algebra and the shuffle product are both algebraic structures arising from integral operators and integral equations. Free commutative Rota-Baxter algebras provide an algebraic framework for integral equations with the simple Riemann integral operator. The Zinbiel algebras form a category in which the shuffle product algebra is the free object. Motivated by algebraic structures underlying integral equations involving multiple integral operators and kernels, we study commutative matching Rota-Baxter algebras and construct the free objects making use of the shuffle product with m…
We study Hom-type analogs of Rota-Baxter and dendriform algebras, called Rota-Baxter $G$-Hom-associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota-Baxter Hom-associative algebras and of Hom-(tri)dendriform algebras, are constructed.
Rota-Baxter systems of T. Brzeziński are a generalization of Rota-Baxter operators that are related to dendriform structures, associative Yang-Baxter pairs and covariant bialgebras. In this paper, we consider Rota-Baxter systems in the presence of bimodule, which we call generalized Rota-Baxter systems. We define a graded Lie algebra whose Maurer-Cartan elements are generalized Rota-Baxter systems. This allows us to define a cohomology theory for a generalized Rota-Baxter system. Formal one-parameter deformations of generalized Rota-Baxter systems are discussed from cohomological points of vie…
In this paper, we define representations and cohomology of weighted Rota-Baxter Lie algebras. As applications of cohomology, we study abelian extensions and formal $1$-parameter deformations weighted Rota-Baxter Lie algebras. Finally, we consider weighted Rota-Baxter paired operators that induces a weighted Rota-Baxter Lie algebra and a representation of it. We define suitable cohomology for such paired operators that govern deformation.
In this paper, we prove results on enumerations of sets of Rota-Baxter words in a finite number of generators and a finite number of unary operators. Rota-Baxter words are words formed by concatenating generators and images of words under Rota-Baxter operators. Under suitable conditions, they form canonical bases of free Rota-Baxter algebras and are studied recently in relation to combinatorics, number theory, renormalization in quantum field theory, and operads. Enumeration of a basis is often a first step to choosing a data representation in implementation. Our method applies some simple ide…
This paper introduces the notion of Rota-Baxter $C^{\ast}$-algebras. Here a Rota-Baxter $C^{\ast}$-algebra is a $C^{\ast}$-algebra with a Rota-Baxter operator. Symmetric Rota-Baxter operators, as special cases of Rota-Baxter operators on $C^{\ast}$-algebra, are defined and studied. A theorem of Rota-Baxter operators on concrete $C^{\ast}$-algebras is given, deriving the relationship between two kinds of Rota-Baxter algebras. As a corollary, some connection between $\ast$-representations and Rota-Baxter operators is given. The notion of representations of Rota-Baxter $C^{\ast}$-algebras are con…
The concept of Rota-Baxter family algebra is a generalization of Rota-Baxter algebra. It appears naturally in the algebraic aspects of renormalizations in quantum field theory. Rota-Baxter family algebras are closely related to dendriform family algebras. In this paper, we first construct an $L_\infty$-algebra whose Maurer-Cartan elements correspond to Rota-Baxter family algebra structures. Using this characterization, we define the cohomology of a given Rota-Baxter family algebra. As an application of our cohomology, we study formal and infinitesimal deformations of a given Rota-Baxter family…
We introduce a generalization of parametrized Rota-Baxter algebras, which includes family and matching Rota-Baxter algebras. We study the structure needed on the set $Ω$ of parameters in order to obtain that free Rota-Baxter algebras are described in terms of typed and angularly decorated planar rooted trees: we obtain the notion of $λ$-extended diassociative semigroup, which includes sets (for matching Rota-Baxter algebras) and semigroups (for family Rota-Baxter algebras), and many other examples. We also describe free commutative $Ω$-Rota-Baxter algebras generated by a commutative algebra A …
A relative Rota-Baxter algebra is a generalization of a Rota-Baxter algebra. Relative Rota-Baxter algebras are closely related to dendriform algebras. In this paper, we introduce bimodules over a relative Rota-Baxter algebra that fits with the representations of dendriform algebras. We define the cohomology of a relative Rota-Baxter algebra with coefficients in a bimodule and then study abelian extensions of relative Rota-Baxter algebras in terms of the second cohomology group. Finally, we consider homotopy relative Rota-Baxter algebras and classify skeletal homotopy relative Rota-Baxter algeb…
Let $L$ be a simple anti-commutative algebra. In this paper we prove that a non skew-symmetric solution of the classical Yang-Baxter equation on $L$ with $L$-invariant symmetric part induces on $L$ a Rota-Baxter operator of a non-zero weight.
We study possible connections between Rota-Baxter operators of non-zero weight and non-skew-symmetric solutions of the classical Yang-Baxter equation on finite-dimensional quadratic Lie algebras. The particular attention is made to the case when for a solution $r$ the element $r+τ(r)$ is $L$-invariant.
Universal enveloping Lie Rota-Baxter algebras of pre-Lie and post-Lie algebras are constructed. It is proved that the pairs of varieties (Lie Rota-Baxter algebras of zero weight,preLie algebras) and (Lie Rota-Baxter algebras of nonzero weight,post-Lie algebras) are PBW-pairs and the variety of Lie Rota-Baxter algebras is not Schreier.
In this paper, we establish the Composition-Diamond lemma for associative nonunitary Rota-Baxter algebras with weight $λ$. As applications, we obtain a linear basis of a free commutative Rota-Baxter algebra without unity and show that every countably generated Rota-Baxter algebra with weight 0 can be embedded into a two-generated Rota-Baxter algebra.
Rota-Baxter operators and bialgebras go hand in hand in their applications, such as in the Connes-Kreimer approach to renormalization and the operator approach to the classical Yang-Baxter equation. We establish a bialgebra structure that is compatible with the Rota-Baxter operator, called the Rota-Baxter antisymmetric infinitesimal (ASI) bialgebra. This bialgebra is characterized by generalizations of matched pairs of algebras and double constructions of Frobenius algebras to the context of Rota-Baxter algebras. The study of the coboundary case leads to an enrichment of the associative Yang-B…
Rota-Baxter systems were introduced by Brzeziński as a generalization of Rota-Baxter operators that are related to dendriform structures, associative Yang-Baxter pairs and covariant bialgebras. In this paper, we define Rota-Baxter systems on Hom-associative algebras and show how they induce Hom-dendriform structures and weak pseudotwistors on the underlying Hom-associative algebra. We introduce Hom-Yang-Baxter pairs and a notion of covariant Hom-bialgebra. Given a Hom-Yang-Baxter pair, we construct a twisted Rota-Baxter system and a (quasitriangular) covariant Hom-bialgebra. Finally, we consid…
In this paper, we introduce relative Rota-Baxter systems on Leibniz algebras and give some characterizations and new constructions. Then we construct a graded Lie algebra whose Maurer-Cartan elements are relative Rota-Baxter systems. This allows us to define a cohomology theory associated with a relative Rota-Baxter system. Finally, we study formal deformations and extendibility of finite order deformations of a relative Rota-Baxter system in terms of the cohomology theory.
A modified Rota-Baxter algebra is an algebra equipped with an operator that satisfies the modified Yang-Baxter equation. In this paper, we define the cohomology of a modified Rota-Baxter algebra with coefficients in a suitable bimodule. We relate our cohomology of a modified Rota-Baxter algebra with the known cohomology theory of a Rota-Baxter algebra. As applications of our cohomology, we study formal one-parameter deformations and abelian extensions of modified Rota-Baxter algebras.
We introduce the notion of Rota-Baxter coalgebra which can be viewed as the dual notion of Rota-Baxter algebra. We provide some concrete examples and establish various properties of this new object. We also consider comodules over Rota-Baxter coalgebras.
Universal enveloping Rota-Baxter algebras of preassociative and postassociative algebras are constructed. The question of Li Guo is answered: the pair of varieties (Rota-Baxter algebras of nonzero weight,postassociative algebras) is a PBW-pair and the pair (Rota-Baxter algebras of zero weight,preassociative algebras) is not.
Recent advances in stochastic PDEs, Hopf algebras of typed trees and integral equations have inspired the study of algebraic structures with replicating operations. To understand their algebraic and combinatorial nature, we first use rooted forests with multiple decoration sets to construct free Hopf algebras with multiple Hochschild 1-cocycle conditions. Applying the universal property of the underlying operated algebras and the method of Gröbner-Shirshov bases, we then construct free objects in the category of matching Rota-Baxter algebras which is a generalization of Rota-Baxter algebras to…
The aim of this paper is first to introduce and study Rota-Baxter cosystems and bisystems as generalization of Rota-Baxter coalgebras and bialgebras, respectively, with various examples. The second purpose is to provide an alternative definition of covariant bialgebras via coderivations. Furthermore, we consider coquasitriangular covariant bialgebras which are generalization of coquasitriangular infinitesimal bialgebras, coassociative Yang-Baxter pairs, coassociative Yang-Baxter equation, double coalgebras and dendriform coalgebras. We study some of their properties and relationships with Rota…
The word problem for an arbitrary associative Rota-Baxter algebra is solved. This leads to a noncommutative generalization of the classical Spitzer identities. Links to other combinatorial aspects, particularly of interest in physics, are indicated.
We generalize the notion of a Rota-Baxter operator on groups and the notion of a Rota-Baxter operator of weight 1 on Lie algebras and define and study the notion of a Rota-Baxter operator on a cocommutative Hopf algebra $H$. If $H=F[G]$ is the group algebra of a group $G$ or $H=U(\mathfrak{g})$ the universal enveloping algebra of a Lie algebra $\mathfrak{g}$, then we prove that Rota-Baxter operators on $H$ are in one to one correspondence with corresponding Rota-Baxter operators on groups or Lie algebras.
The goal of the present paper is to investigate representations and cohomologies of Rota-Baxter 3-Lie algebras with any weight. We introduce representations, matched pairs and Manin triples of Rota-Baxter 3-Lie algebras. Furthermore, we discuss cohomology theory of Rota-Baxter 3-Lie algebras. The deformations and central extensions of Rota-Baxter 3-Lie algebras are also studied.
This paper studies formal deformations and homotopy theory of Rota-Baxter algebras of any weight. We define an $L_\infty$-algebra, which controls simultaneous deformations of associative products and Rota-Baxter operators. As a consequence, we develop a cohomology theory of Rota-Baxter algebras of any weight and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions. The notion of homotopy Rota-Baxter algebras is introduced and it is shown that the operad governing homotopy Rota-Baxter algebras is a minimal model of the operad of Rota-Baxter alg…
The notion of a modified Rota-Baxter algebra comes from the combination of those of a Rota-Baxter algebra and a modified Yang-Baxter equation. In this paper, we first construct free modified Rota-Baxter algebras. We then equip a free modified Rota-Baxter algebra with a bialgebra structure by a cocycle construction. Under the assumption that the generating algebra is a connected bialgebra, we further equip the free modified Rota-Baxter algebra with a Hopf algebra structure.
In this paper, we obtain a canonical factorization of basis elements in free Rota-Baxter algebras built on bracketed words. This canonical factorization is applied to give a coalgebra structure on the free Rota-Baxter algebras. Together with the Rota-Baxter algebra multiplication, this coproduct gives a bialgebra structure on the free Rota-Baxter algebra of rooted forests. When the weight of the Rota-Baxter algebra is zero, we further obtain a Hopf algebra structure.
We consider a complete filtered Rota-Baxter algebra of weight $λ$ over a commutative ring. Finding the unique solution of a non-homogeneous linear algebraic equation in this algebra, we generalize Spitzer's identity in both commutative and non-commutative cases. As an application, considering the Rota-Baxter algebra of power series in one variable with q-integral as the Rota-Baxter operator, we show certain Eulerian identities.
In this paper we study Rota-Baxter modules with emphasis on the role played by the Rota-Baxter operators and resulting difference between Rota-Baxter modules and the usual modules over an algebra. We introduce the concepts of free, projective, injective and flat Rota-Baxter modules. We give the construction of free modules and show that there are enough projective, injective and flat Rota-Baxter modules to provide the corresponding resolutions for derived functor.
In this paper, by using Gröbner-Shirshov bases for Rota-Baxter algebras, we prove that every dendriform dialgebra over a field of characteristic 0 can be embedded into its universal enveloping Rota-Baxter algebra of weight 0.
We prove that all Rota-Baxter operators on a quadratic division algebra are trivial. For nonzero weight, we state that all Rota-Baxter operators on the simple odd-dimensional Jordan algebra of bilinear form are projections on a subalgebra along another one. For weight zero, we find a connection between the Rota-Baxter operators and the solutions to the alternative Yang-Baxter equation on the Cayley-Dickson algebra. We also investigate the Rota-Baxter operators on the matrix algebras of order two, the Grassmann algebra of plane, and the Kaplansky superalgebra.
In this paper, first we introduce the notion of quadratic Rota-Baxter Lie algebras of arbitrary weight, and show that there is a one-to-one correspondence between factorizable Lie bialgebras and quadratic Rota-Baxter Lie algebras of nonzero weight. Then we introduce the notions of matched pairs, bialgebras and Manin triples of Rota-Baxter Lie algebras of arbitrary weight, and show that Rota-Baxter Lie bialgebras, Manin triples of Rota-Baxter Lie algebras and certain matched pairs of Rota-Baxter Lie algebras are equivalent. The coadjoint representations and quadratic Rota-Baxter Lie algebras pl…
In this paper, we first construct a graded Lie algebra which characterizes Rota-Baxter operators on an anti-flexible algebra as Maurer-Cartan elements. Next, we study infinitesimal deformations of bimodules over anti-flexible algebras. We also consider compatible Rota-Baxter operators on bimodules over anti-flexible algebras. Finally, We define $\mathcal{ON}$-structures which give rise to compatible Rota-Baxter operators and vice-versa.
In this paper, we introduce twisted relative Rota-Baxter operators on a Leibniz algebra as a generalization of twisted Poisson structures. We define the cohomology of a twisted relative Rota-Baxter operator $K$ as the Loday-Pirashvili cohomology of a certain Leibniz algebra induced by $K$ with coefficients in a suitable representation. Then we consider formal deformations of twisted relative Rota-Baxter operators from cohomological points of view. Finally, we introduce and study NS-Leibniz algebras as the underlying structure of twisted relative Rota-Baxter operators.
