Searcharxiv⌕ Search

arXiv subjects

Chengming Bai

Publications and source records attributed to Chengming Bai.

At least 73 records · Page 4Linked to original sources

Rota-Baxter operators on $sl(2,C)$ and solutions of the classical Yang-Baxter equation

We explicitly determine all Rota-Baxter operators (of weight zero) on $sl(2,C)$ under the Cartan-Weyl basis. For the skew-symmetric operators, we give the corresponding skew-symmetric solutions of the classical Yang-Baxter equation in $sl(2,C)$, confirming the related study by Semenov-Tian-Shansky. In general, these Rota-Baxter operators give a family of solutions of the classical Yang-Baxter equation in the 6-dimensional Lie algebra $sl(2,C) \ltimes_{{\rm ad}^{\ast}} sl(2,C)^{\ast}$. They also give rise to 3-dimensional pre-Lie algebras which in turn yield solutions of the classical Yang-Baxter equation in other 6-dimensional Lie algebras.

math-ph↗

Splitting of operads and Rota-Baxter operators on operads

This paper establishes a uniform procedure to split the operations in any algebraic operad, generalizing previous known notions of splitting algebraic structures from the dendriform algebra of Loday that splits the associative operation to the successors that split any binary operad. Examples are provided for various $n$-associative algebras, $n$-Lie algebras, $A_\infty$ algebras and $L_\infty$ algebras. Further, the concept of a Rota-Baxter operator, first showing its importance in the associative and Lie algebra context and then generalized to any binary operads, is generalized to arbitrary operads. The classical links from the Rota-Baxter associative algebra to the dendriform algebra and its numerous generalizations are further generalized and unified as the link from the Rota-Baxter operator on an operad to the splitting of the operad. Finally, the remarkable fact that any dendriform algebra can be recovered from a relative Rota-Baxter operator is generalized to the context of operads with the generalized notion of a relative Rota-Baxter operator for any operad.

math.CT↗

Lie 2-bialgebras

In this paper, we study Lie 2-bialgebras, with special attention to coboundary ones, with the help of the cohomology theory of $L_\infty$-algebras with coefficients in $L_\infty$-modules. We construct examples of strict Lie 2-bialgebras from left-symmetric algebras and symplectic Lie algebras.

math-ph↗

A new approach to hom-Lie bialgebras

In this paper, we introduce a new definition of a hom-Lie bialgebra, which is equivalent to a Manin triple of hom-Lie algebras. We also introduce a notion of an $\mathcal O$-operator and then construct solutions of the classical hom-Yang-Baxter equation in terms of $\mathcal O$-operators and hom-left-symmetric algebras.

math-ph↗

The category and operad of matching dialgebras

This paper gives a systematic study of matching dialgebras corresponding to the operad $As^{(2)}$ in \cite{Zi} as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close relationship of matching dialgebras with semi-homomorphisms and matched pairs of associative algebras are established. By anti-symmetrizing, matching dialgerbas are also shown to give compatible Lie algebras, pre-Lie algebras and PostLie algebras. By the rewriting method, the operad of matching dialgebras is shown to be Koszul and the free objects are constructed in terms of tensor algebras. The operadic complex computing the homology of the matching dialgebras is made explicit.

math.CT↗

Generalizations of the classical Yang-Baxter equation and O-operators

Tensor solutions ($r$-matrices) of the classical Yang-Baxter equation (CYBE) in a Lie algebra, obtained as the classical limit of the $R$-matrix solution of the quantum Yang-Baxter equation (QYBE), is an important structure appearing in different areas such as integrable systems, symplectic geometry, quantum groups and quantum field theory. Further study of CYBE led to its interpretation as certain operators, giving rise to the concept of O-operators. In [3], the O-operators were in turn interpreted as tensor solutions of CYBE by enlarging the Lie algebra. The purpose of this paper is to extend this study to a more general class of operators that were recently introduced [4] in the study of Lax pairs in integrable systems. Relationship between $\calo$-operators, relative differential operators and Rota-Baxter operators are also discussed.

math-ph↗

Generalized Bell states and principal realization of the Yangian Y(sl_N)

We prove that the action of the Yangian algebra Y(sl_N) is better described by the principal generators on the tensor product of the fundamental representation and its dual. The generalized Bell states or maximally entangled states are permuted by the principal generators in a dramatically simple manner on the tensor product. Under the Yangian symmetry the new quantum number J^2 is also explicitly computed, which gives an explanation for these maximally entangled states.

math.QA↗

Replicating of binary operads, Koszul duality, Manin products and average operators

We consider the notions of the replicators, including the duplicator and triplicator, of a binary operad. As in the closely related notions of di-Var-algebra and tri-Var-algebra in [14], they provide a general operadic definition for the recent constructions of replicating the operations of algebraic structures. We show that taking replicators is in Koszul dual to taking successors in [3] for binary quadratic operads and is equivalent to taking the white product with certain operads such as Perm. We also relate the replicators to the actions of average operators.

math.QA↗

PostLie algebra structures on the Lie algebra sl(2,C)

The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and integrable systems. We give a complete classification of PostLie algebra structures on the Lie algebra sl(2,C) up to isomorphism. We first reduce the classification problem to solving an equation of 3 x 3 matrices. To solve the latter problem, we make use of the classification of complex symmetric matrices up to the congruent action of orthogonal groups.

math.RA↗

Splitting of operations, Manin products and Rota-Baxter operators

This paper provides a general operadic definition for the notion of splitting the operations of algebraic structures. This construction is proved to be equivalent to some Manin products of operads and it is shown to be closely related to Rota-Baxter operators. Hence, it gives a new effective way to compute Manin black products. The present construction is shown to have symmetry properties. Finally, this allows us to describe the algebraic structure of square matrices with coefficients in algebras of certain types. Many examples illustrate this text, including the case of Jordan algebras.

math.QA↗

L-quadri-algebras

Quadri-algebras introduced by Aguiar and Loday are a class of remarkable Loday algebras. In this paper, we introduce a notion of L-quadri-algebra with 4 operations satisfying certain generalized left-symmetry, as a Lie algebraic analogue of quadri-algebra such that the commutator of the sum of the 4 operations is a Lie algebra. Any quadri-algebra is an L-quadri-algebra. Moreover, L-quadri-algebras fit into the framework of the relationships between Loday algebras and their Lie algebraic analogues, extending the well known fact that the commutator of an associative algebra is a Lie algebra. We also give the close relationships between L-quadri-algebras and some interesting structures like Rota-Baxter operators, classical Yang-Baxter equation, some bilinear forms satisfying certain conditions.

math-ph↗

Some results on L-dendriform algebras

We introduce a notion of L-dendriform algebra due to several different motivations. L-dendriform algebras are regarded as the underlying algebraic structures of pseudo-Hessian structures on Lie groups and the algebraic structures behind the $\mathcal O$-operators of pre-Lie algebras and the related $S$-equation. As a direct consequence, they provide some explicit solutions of $S$-equation in certain pre-Lie algebras constructed from L-dendriform algebras. They also fit into a bigger framework as Lie algebraic analogues of dendriform algebras. Moreover, we introduce a notion of $\mathcal O$-operator of an L-dendriform algebra which gives an algebraic equation regarded as an analogue of the classical Yang-Baxter equation in a Lie algebra.

math-ph↗

Special symplectic Lie groups and hypersymplectic Lie groups

A special symplectic Lie group is a triple $(G,ω,\nabla)$ such that $G$ is a finite-dimensional real Lie group and $ω$ is a left invariant symplectic form on $G$ which is parallel with respect to a left invariant affine structure $\nabla$. In this paper starting from a special symplectic Lie group we show how to ``deform" the standard Lie group structure on the (co)tangent bundle through the left invariant affine structure $\nabla$ such that the resulting Lie group admits families of left invariant hypersymplectic structures and thus becomes a hypersymplectic Lie group. We consider the affine cotangent extension problem and then introduce notions of post-affine structure and post-left-symmetric algebra which is the underlying algebraic structure of a special symplectic Lie algebra. Furthermore, we give a kind of double extensions of special symplectic Lie groups in terms of post-left-symmetric algebras.

math-ph↗

Double constructions of Frobenius algebras, Connes cocycles and their duality

We construct an associative algebra with a decomposition into the direct sum of the underlying vector spaces of another associative algebra and its dual space such that both of them are subalgebras and the natural symmetric bilinear form is invariant or the natural antisymmetric bilinear form is a Connes cocycle. The former is called a double construction of Frobenius algebra and the latter is called a double construction of Connes cocycle which is interpreted in terms of dendriform algebras. Both of them are equivalent to a kind of bialgebras, namely, antisymmetric infinitesimal bialgebras and dendriform D-bialgebras respectively. In the coboundary cases, our study leads to what we call associative Yang-Baxter equation in an associative algebra and $D$-equation in a dendriform algebra respectively, which are analogues of the classical Yang-Baxter equation in a Lie algebra. We show that an antisymmetric solution of associative Yang-Baxter equation corresponds to the antisymmetric part of a certain operator called ${\mathcal O}$-operator which gives a double construction of Frobenius algebra, whereas a symmetric solution of $D$-equation corresponds to the symmetric part of an ${\mathcal O}$-operator which gives a double construction of Connes cocycle. By comparing antisymmetric infinitesimal bialgebras and dendriform D-bialgebras, we observe that there is a clear analogy between them. Due to the correspondences between certain symmetries and antisymmetries appearing in the analogy, we regard it as a kind of duality.

math-ph↗

O-operators on associative algebras and dendriform algebras

An O-operator is a relative version of a Rota-Baxter operator and, in the Lie algebra context, is originated from the operator form of the classical Yang-Baxter equation. We generalize the well-known construction of dendriform dialgebras and trialgebras from Rota-Baxter algebras to a construction from O-operators. We then show that this construction from O-operators gives all dendriform dialgebras and trialgebras. Furthermore there are bijections between certain equivalence classes of invertible O-operators and certain equivalence classes of dendriform dialgebras and trialgebras.

math.RA↗

An operator approach to the rational solutions of the classical Yang-Baxter equation

Motivated by the study of the operator forms of the constant classical Yang-Baxter equation given by Semonov-Tian-Shansky, Kupershmidt and the others, we try to construct the rational solutions of the classical Yang-Baxter equation with parameters by certain linear operators. The fact that the rational solutions of the CYBE for the simple complex Lie algebras can be interpreted in term of certain linear operators motivates us to give the notion of $\mathcal O$-operators such that these linear operators are the $\mathcal O$-operators associated to the adjoint representations. Such a study can be generalized to the Lie algebras with nondegenerate symmetric invariant bilinear forms. Furthermore we give a construction of a rational solution of the CYBE from an $\mathcal O$-operator associated to the coadjoint representation and an arbitrary representation with a trivial product in the representation space respectively.

math-ph↗

$O$-operators on associative algebras and associative Yang-Baxter equations

We introduce the concept of an extended O-operator that generalizes the well-known concept of a Rota-Baxter operator. We study the associative products coming from these operators and establish the relationship between extended O-operators and the associative Yang-Baxter equation, extended associative Yang-Baxter equation and generalized Yang-Baxter equation.

math.RA↗

Nonabelian generalized Lax pairs, the classical Yang-Baxter equation and PostLie algebras

We generalize the classical study of (generalized) Lax pairs and the related $O$-operators and the (modified) classical Yang-Baxter equation by introducing the concepts of nonabelian generalized Lax pairs, extended $\calo$-operators and the extended classical Yang-Baxter equation. We study in this context the nonabelian generalized $r$-matrix ansatz and the related double Lie algebra structures. Relationship between extended $O$-operators and the extended classical Yang-Baxter equation is established, especially for self-dual Lie algebras. This relationship allows us to obtain explicit description of the Manin triples for a new class of Lie bialgebras. Furthermore, we show that a natural structure of PostLie algebra is behind $O$-operators and fits in a setup of triple Lie algebra that produces self-dual nonabelian generalized Lax pairs.

math-ph↗