Gröbner-Shirshov bases for Rota-Baxter algebras

We establish the composition-diamond lemma for associative nonunitary Rota-Baxter algebras of weight λ. To give an application, we construct a linear basis for a free commutative and nonunitary Rota-Baxter algebra, show that every countably generated Rota-Baxter algebra of weight 0 can be embedded into a two-generated Rota—Baxter algebra, and prove the 1-PBW theorems for dendriform dialgebras and trialgebras.     

Nijenhuis algebras, NS algebras, and N-dendriform algebras

In this paper, we study (associative) Nijenhuis algebras, with emphasis on the relationship between the category of Nijenhuis algebras and the categories of NS algebras and related algebras. This is in analogy to the well-known theory of the adjoint functor from the category of Lie algebras to that of associative algebras, and the more recent results on the adjoint functor from the categories of dendriform and tridendriform algebras to that of Rota-Baxter algebras. We first give an explicit construction of free Nijenhuis algebras and then apply it to obtain the universal enveloping Nijenhuis algebra of an NS algebra. We further apply the construction to determine the binary quadratic nonsymmetric algebra, called the N-dendriform algebra, that is compatible with the Nijenhuis algebra. As it turns out, the N-dendriform algebra has more relations than the NS algebra.     

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.     

Gerstenhaber structure and Deligne’s conjecture for Loday algebras

A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the way, our results are combined with a result of McClure-Smith to prove an analogue of Deligne’s conjecture for Loday algebras.     

Totally compatible associative and Lie dialgebras, tridendriform algebras and PostLie algebras

This paper studies the concepts of a totally compatible dialgebra and a totally compatible Lie dialgebra,defined to be a vector space with two binary operations that satisfy individual and mixed associativity conditions and Lie algebra conditions respectively.We show that totally compatible dialgebras are closely related to bimodule algebras and semi-homomorphisms.More significantly,Rota-Baxter operators on totally compatible dialgebras provide a uniform framework to generalize known results that Rota-Baxter related operators give tridendriform algebras.Free totally compatible dialgebras are constructed.We also show that a Rota-Baxter operator on a totally compatible Lie dialgebra gives rise to a PostLie algebra,generalizing the fact that a Rota-Baxter operator on a Lie algebra gives rise to a PostLie algebra.     

J-dendriform algebras

In this paper, we introduce a notion of J-dendriform algebra with two operations as a Jordan algebraic analogue of a dendriform algebra such that the anticommutator of the sum of the two operations is a Jordan algebra. A dendriform algebra is a J-dendriform algebra. Moreover, J-dendriform algebras fit into a commutative diagram which extends the relationships among associative, Lie, and Jordan algebras. Their relations with some structures such as Rota-Baxter operators, classical Yang-Baxter equation, and bilinear forms are given.     

0-dialgebras with bar-unity and nonassociative Rota-Baxter algebras

We describe all homogeneous structures of Rota-Baxter algebras on a 0-dialgebra with associative bar-unity and give a corollary on the structure of a Rota-Baxter algebra on an arbitrary associative dialgebra with bar-unity as well as a unital associative conformal algebra. We prove that an arbitrary alternative dialgebra may be embedded into an alternative dialgebra with associative barunity. We suggest the definition of variety of dialgebras in the sense of Eilenberg which is equivalent to that introduced earlier by Kolesnikov.     

Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

Braided dendriform and tridendriform algebras,and braided Hopf algebras of rooted trees

Journal of Algebraic Combinatorics - This paper studies the braidings of several Hopf algebras of rooted trees which have found broad applications. First by studying free braided dendriform...     

Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras

In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Gröbner-Shirshov bases of free Rota-Baxter algebra, free λ-differential algebra and free λ-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to the recent results obtained by K. Ebrahimi-Fard-L. Guo, and L. Guo-W. Keigher by using other methods.     

Rota-Baxter簇系统与Gr\"obner-Shirshov基

从Yang-Baxter簇方程和Volterra积分方程得到的Rota-Baxter簇代数的概念出发,我们引入Rota-Baxter簇系统的概念,推广了Brzezinski提出的Rota-Baxter系统.我们证明这个概念也与结合Yang-Baxter簇对和pre-Lie簇代数有关.此外,作为Rota-Baxter簇系统的一个类比,我们引入平均簇系统的概念,并证明平均簇系统会得到dialgebra簇结构.我们还研究dendriform代数上的Rota-Baxter簇系统,并展示它们如何诱导quadri簇代数结构.最后,我们用Gr\"obner-Shirshov基的方法给出Rota-Baxter簇系统的一个线性基.     

自由Rota-Baxter代数的因子分解

近年来,Rota-Baxter代数在数学和物理学中有着广泛的应用,受到越来越多的关注,自由Rota-Baxter代数分别用括号字,根树以及Motzkin路径得到了构造.因子分解在代数学中是一个很重要的问题.本文主要考虑用括号字构造的自由RotaBaxter代数,得到了自由Rota-Baxter代数中基元素的因子分解.     

Construction of Rota-Baxter algebras via Hopf module algebras

We propose the notion of Hopf module algebra and show that the projection onto the subspace of coinvariants is an idempotent Rota-Baxter operator of weight-1. We also provide a construction of Hopf module algebras by using Yetter-Drinfeld module algebras. As an application,we prove that the positive part of a quantum group admits idempotent Rota-Baxter algebra structures.     

Classification of Rota-Baxter operators on semigroup algebras of order two and three

In this paper, we determine all the Rota-Baxter operators of weight zero on semigroup algebras of order two and three with the help of computer algebra. We determine the matrices for these Rota-Baxter operators by directly solving the defining equations of the operators. We also produce a Mathematica procedure to predict and verify these solutions.     

Construction of dialgebras through bimodules over algebras

The varieties of dialgebras (also known as Loday-type algebras) over a given type of algebra have been the subject of multiple recent developments. We provide here a construction of such dialgebra varieties via bimodules over an algebra and a surjective equivariant map. Our construction is equivalent to the KP construction (Kolesnikov–Pozhidaev construction) when departing from the set of linearized identities of the algebra variety. The novel construction simplifies the obtention of the dialgebra equations without forcing a complete linearization of the algebra identities. We illustrate the use of the novel construction providing the dialgebras associated to several varieties of algebras, including those over diverse Lie admissible algebras. We provide some novel explorations on the structure of the dialgebras which are easily articulated through our construction.     

Varieties of dialgebras and conformal algebras

We introduce and study the concept of a variety of dialgebras which is closely related to the concept of a variety of conformal algebras: Each dialgebra of a given variety embeds into an appropriate conformal algebra of the same variety. In particular, the Leibniz algebras are exactly Lie dialgebras, and each Leibniz algebra embeds into a conformal Lie algebra.     

Un théorème de Cartier-Milnor-Moore-Quillen pour les bigèbres dendriformes et les algèbres braces

The classical theorem of Cartier-Milnor-Moore-Quillen gives an equivalence between the category of connected cocommutative bialgebras and the category of Lie algebras. We establish an analogous equivalence between the category of connected dendriform bialegebras and the category of brace algebras. It is given by the primitive elements functor and the “enveloping dendriform algebra” of a brace algebra.     

Pluriassociative algebras I: The pluriassociative operad

Diassociative algebras form a category of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of diassociative algebras, called γ-pluriassociative algebras, so that 1-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with 2γ associative binary operations satisfying some relations. We provide a complete study of the γ-pluriassociative operads, the underlying operads of the category of γ-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in γ-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.     

Conformal representations of Leibniz algebras

We study the embedding construction of Lie dialgebras (Leibniz algebras) into conformal algebras. This construction leads to the concept of a conformal representation of Leibniz algebras. We prove that each (finite-dimensional) Leibniz algebra possesses a faithful linear representation (of finite type). As a corollary we give a new proof of the Poincaré-Birkhoff-Witt theorem for Leibniz algebras.     

Polylogarithms and multiple zeta values from free Rota-Baxter algebras

We show that the shuffle algebras for polylogarithms and regularized MZVs in the sense of Ihara, Kaneko and Zagier are both free commutative nonunitary Rota-Baxter algebras with one generator. We apply these results to show that the full sets of shuffle relations of polylogarithms and regularized MZVs are derived by a single series. We also take this approach to study the extended double shuffle relations of MZVs by comparing these shuffle relations with the quasi-shuffle relations of the regularized MZVs in our previous approach of MZVs by renormalization.