arXiv subjects

Chengming Bai

Publications and source records attributed to Chengming Bai.

At least 37 records · Page 2Linked to original sources

arXiv2023

New splittings of operations of Poisson algebras and transposed Poisson algebras and related algebraic structures

There are two kinds of splittings of operations, namely, the classical splitting which is interpreted operadically as taking successors and another splitting which we call the second splitting giving the anti-structures of the successors' algebras. The algebraic structures corresponding to them respectively are characterized in terms of representations. Due to the appearance of the two bilinear operations in Poisson algebras and transposed Poisson algebras, we commence to study new splittings of operations in the ``mixed" sense that the commutative associative products and Lie brackets are splitted in different manners respectively, that is, they are splitted interlacedly in three manners: the classical splitting, the second splitting and the un-splitting. Accordingly the corresponding algebraic structures are given. More explicitly, there are 8 algebraic structures interpreted in terms of representations of Poisson algebras illustrating the mixed splittings of operations of Poisson algebras respectively, including the known pre-Poisson algebras. For illustrating the mixed splittings of operations of transposed Poisson algebras, there are 8 algebraic structures interpreted in terms of representations of transposed Poisson algebras on the spaces themselves and another 8 algebraic structures interpreted in terms of representations of transposed Poisson algebras on the dual spaces. Moreover, such a phenomenon exhibits an obvious difference between Poisson algebras and transposed Poisson algebras.

math.QA↗

arXiv2023

A bialgebra theory for transposed Poisson algebras via anti-pre-Lie bialgebras and anti-pre-Lie-Poisson bialgebras

The approach for Poisson bialgebras characterized by Manin triples with respect to the invariant bilinear forms on both the commutative associative algebras and the Lie algebras is not available for giving a bialgebra theory for transposed Poisson algebras. Alternatively, we consider Manin triples with respect to the commutative 2-cocycles on the Lie algebras instead. Explicitly, we first introduce the notion of anti-pre-Lie bialgebras as the equivalent structure of Manin triples of Lie algebras with respect to the commutative 2-cocycles. Then we introduce the notion of anti-pre-Lie Poisson bialgebras, characterized by Manin triples of transposed Poisson algebras with respect to the bilinear forms which are invariant on the commutative associative algebras and commutative 2-cocycles on the Lie algebras, giving a bialgebra theory for transposed Poisson algebras. Finally the coboundary cases and the related structures such as analogues of the classical Yang-Baxter equation and $\mathcal O$-operators are studied.

math.QA↗

arXiv2023

Parity duality of super $r$-matrices via $\mathcal O$-operators and pre-Lie superalgebras

This paper studies super $r$-matrices and operator forms of the super classical Yang-Baxter equation. First by a unified treatment, the classical correspondence between $r$-matrices and $\mathcal{O}$-operators is generalized to a correspondence between homogeneous super $r$-matrices and homogeneous $\mathcal{O}$-operators. Next, by a parity reverse of Lie superalgebra representations, a duality is established between the even and the odd $\mathcal{O}$-operators, giving rise to a parity duality among the induced super $r$-matrices. Thus any homogeneous $\OO$-operator or any homogeneous super $r$-matrix with certain supersymmetry produces a parity pair of super $r$-matrices, and generates an infinite tree hierarchy of homogeneous super $r$-matrices. Finally, a pre-Lie superalgebra naturally defines a parity pair of $\mathcal{O}$-operators, and thus a parity pair of super $r$-matrices.

math.QA↗

arXiv2023

On Rota-Baxter vertex operator algebras

Derivations play a fundamental role in the definition of vertex (operator) algebras, sometimes regarded as a generalization of differential commutative algebras. This paper studies the role played by the integral counterpart of the derivations, namely Rota-Baxter operators, in vertex (operator) algebras. The closely related notion of dendriform algebras is also defined for vertex operator algebras. It is shown that the classical relations among dendriform algebras, associative algebras, and Rota-Baxter algebras are preserved for their vertex algebra analogs.

math.QA↗

arXiv2023

Classical Yang-Baxter equation for vertex operator algebras and its operator forms

In this paper we introduce an analog of the (classical) Yang-Baxter equation (CYBE) for vertex operator algebras (VOAs) in its tensor form, called the vertex operator Yang-Baxter equation (VOYBE). When specialized to level one of a vertex operator algebra, the VOYBE reduces to the CYBE for Lie algebras. To give an operator form of the VOYBE, we also introduce the notion of relative Rota-Baxter operators (RBOs) as the VOA analog of relative RBOs (classically called $\mathcal{O}$-operators) for Lie algebras. It is shown that skewsymmetric solutions $r$ to the VOYBE in a VOA $U$ are characterized by the condition that their corresponding linear maps $T_r:U'\to U$ from the graded dual $U'$ of $U$ are relative RBOs. On the other hand, strong relative RBOs on a VOA $V$ associated to an ordinary $V$-module $W$ are characterized by the condition that their antisymmetrizers are solutions to the $0$-VOYBE in the semidirect product VOA $V\rtimes W'$. Specializing to the first level of a VOA, these relations between the solutions of the VOYBE and the relative RBOs for VOAs recover the classical relations between the solutions of the CYBE and the relative RBOs for Lie algebras.

math.QA↗

arXiv2023

Post-groups, (Lie-)Butcher groups and the Yang-Baxter equation

The notions of a post-group and a pre-group are introduced as a unification and enrichment of several group structures appearing in diverse areas from numerical integration to the Yang-Baxter equation. First the Butcher group from numerical integration on Euclidean spaces and the $\mathcal{P}$-group of an operad $\mathcal{P}$ naturally admit a pre-group structure. Next a relative Rota-Baxter operator on a group naturally splits the group structure to a post-group structure. Conversely, a post-group gives rise to a relative Rota-Baxter operator on the sub-adjacent group. Further a post-group gives a braided group and a solution of the Yang-Baxter equation. Indeed the category of post-groups is isomorphic to the category of braided groups and the category of skew-left braces. Moreover a post-Lie group differentiates to a post-Lie algebra structure on the vector space of left invariant vector fields, showing that post-Lie groups are the integral objects of post-Lie algebras. Finally, post-Hopf algebras and post-Lie Magnus expansions are utilized to study the formal integration of post-Lie algebras. As a byproduct, a post-group structure is explicitly determined on the Lie-Butcher group from numerical integration on manifolds.

math.QA↗

arXiv2023

Differential Antisymmetric Infinitesimal Bialgebras, Coherent Derivations and Poisson Bialgebras

We establish a bialgebra theory for differential algebras, called differential antisymmetric infinitesimal (ASI) bialgebras by generalizing the study of ASI bialgebras to the context of differential algebras, in which the derivations play an important role. They are characterized by double constructions of differential Frobenius algebras as well as matched pairs of differential algebras. Antisymmetric solutions of an analogue of associative Yang-Baxter equation in differential algebras provide differential ASI bialgebras, whereas in turn the notions of $\mathcal{O}$-operators of differential algebras and differential dendriform algebras are also introduced to produce the former. On the other hand, the notion of a coherent derivation on an ASI bialgebra is introduced as an equivalent structure of a differential ASI bialgebra. They include derivations on ASI bialgebras and the set of coherent derivations on an ASI bialgebra composes a Lie algebra which is the Lie algebra of the Lie group consisting of coherent automorphisms on this ASI bialgebra. Finally, we apply the study of differential ASI bialgebras to Poisson bialgebras, extending the construction of Poisson algebras from commutative differential algebras with two commuting derivations to the context of bialgebras, which is consistent with the well constructed theory of Poisson bialgebras. In particular, we construct Poisson bialgebras from differential Zinbiel algebras.

math.QA↗

arXiv2023

Relative Poisson bialgebras and Frobenius Jacobi algebras

Jacobi algebras, as the algebraic counterparts of Jacobi manifolds, are exactly the unital relative Poisson algebras. The direct approach of constructing Frobenius Jacobi algebras in terms of Manin triples is not available due to the existence of the units, and hence alternatively we replace it by studying Manin triples of relative Poisson algebras. Such structures are equivalent to certain bialgebra structures, namely, relative Poisson bialgebras. The study of coboundary cases leads to the introduction of the relative Poisson Yang-Baxter equation (RPYBE). Antisymmetric solutions of the RPYBE give coboundary relative Poisson bialgebras. The notions of $\mathcal O$-operators of relative Poisson algebras and relative pre-Poisson algebras are introduced to give antisymmetric solutions of the RPYBE. A direct application is that relative Poisson bialgebras can be used to construct Frobenius Jacobi algebras, and in particular, there is a construction of Frobenius Jacobi algebras from relative pre-Poisson algebras.

math.QA↗

arXiv2023

Infinite-dimensional Lie bialgebras via affinization of Novikov bialgebras and Koszul duality

Balinsky and Novikov showed that the affinization of a Novikov algebra naturally defines a Lie algebra, a property that in fact characterizes the Novikov algebra. It is also an instance of the operadic Koszul duality. In this paper, we develop a bialgebra theory for the Novikov algebra, namely the Novikov bialgebra, which is characterized by the fact that its affinization (by a quadratic right Novikov algebra) gives an infinite-dimensional Lie bialgebra, suggesting a Koszul duality for properads. A Novikov bialgebra is also characterized as a Manin triple of Novikov algebras. The notion of Novikov Yang-Baxter equation is introduced, whose skewsymmetric solutions can be used to produce Novikov bialgebras and hence Lie bialgebras. Moreover, these solutions also give rise to skewsymmetric solutions of the classical Yang-Baxter equation in the infinite-dimensional Lie algebras from the Novikov algebras.

math.QA↗

arXiv2022

Anti-dendriform algebras, new splitting of operations and Novikov type algebras

We introduce the notion of anti-dendriform algebras as a new approach of splitting the associativity. They are characterized as the algebras with two operations whose sum is associative and the negative left and right multiplication operators compose the bimodules of the sum associative algebras, justifying the notion due to the comparison with the corresponding characterization of dendriform algebras. The notions of anti-$\mathcal O$-operators and anti-Rota-Baxter operators on associative algebras are introduced to interpret anti-dendriform algebras. In particular, there are compatible anti-dendriform algebra structures on associative algebras with nondegenerate commutative Connes cocycles. There is an important observation that there are correspondences between certain subclasses of dendriform and anti-dendriform algebras in terms of $q$-algebras. As a direct consequence, we give the notion of Novikov-type dendriform algebras as an analogue of Novikov algebras for dendriform algebras, whose relationship with Novikov algebras is consistent with the one between dendriform and pre-Lie algebras. Finally we extend to provide a general framework of introducing the notions of analogues of anti-dendriform algebras, which interprets a new splitting of operations.

math.RA↗

arXiv2022

Deformations and homotopy of Rota-Baxter operators and $\mathcal{O}$-operators on Lie algebras

This article gives a brief introduction to some recent work on deformation and homotopy theories of Rota-Baxter operators and more generally $\mathcal{O}$-operators on Lie algebras, by means of the differential graded Lie algebra approach. It is further shown that these theories lift the existing connection between $\mathcal{O}$-operators and pre-Lie algebras to the levels of deformations and homotopy.

math.QA↗

arXiv2022

Rota-Baxter Lie bialgebras, classical Yang-Baxter equations and special L-dendriform bialgebras

We establish a bialgebra structure on Rota-Baxter Lie algebras following the Manin triple approach to Lie bialgebras. Explicitly, Rota-Baxter Lie bialgebras are characterized by generalizing matched pairs of Lie algebras and Manin triples of Lie algebras to the context of Rota-Baxter Lie algebras. The coboundary case leads to the introduction of the admissible classical Yang-Baxter equation (CYBE) in Rota-Baxter Lie algebras, for which the antisymmetric solutions give rise to Rota-Baxter Lie bialgebras. The notions of $\mathcal{O}$-operators on Rota-Baxter Lie algebras and Rota-Baxter pre-Lie algebras are introduced to produce antisymmetric solutions of the admissible CYBE. Furthermore, extending the well-known property that a Rota-Baxter Lie algebra of weight zero induces a pre-Lie algebra, the Rota-Baxter Lie bialgebra of weight zero induces a bialgebra structure of independent interest, namely the special L-dendriform bialgebra, which is equivalent to a Lie group with a left-invariant flat pseudo-metric in geometry. This induction is also characterized as the inductions between the corresponding Manin triples and matched pairs. Finally, antisymmetric solutions of the admissible CYBE in a Rota-Baxter Lie algebra of weight zero give special L-dendriform bialgebras. In particular, both Rota-Baxter algebras of weight zero and Rota-Baxter pre-Lie algebras of weight zero can be used to construct special L-dendriform algebras.

math.QA↗

arXiv2022

Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebras

Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebrasWe introduce the notion of anti-pre-Lie algebras as the underlying algebraic structures of nondegenerate commutative 2-cocycles which are the "symmetric" version of symplectic forms on Lie algebras. They can be characterized as a class of Lie-admissible algebras whose negative left multiplication operators make representations of the commutator Lie algebras. We observe that there is a clear analogy between anti-pre-Lie algebras and pre-Lie algebras by comparing them in terms of several aspects. Furthermore, it is unexpected that a subclass of anti-pre-Lie algebras, namely admissible Novikov algebras, correspond to Novikov algebras in terms of $q$-algebras. Consequently, there is a construction of admissible Novikov algebras from commutative associative algebras with derivations or more generally, admissible pairs. The correspondence extends to the level of Poisson type structures, leading to the introduction of the notions of anti-pre-Lie Poisson algebras and admissible Novikov-Poisson algebras, whereas the latter correspond to Novikov-Poisson algebras.

math.QA↗

arXiv2022

Coherent categorical structures for Lie bialgebras, Manin triples, classical $r$-matrices and pre-Lie algebras

The broadly applied notions of Lie bialgebras, Manin triples, classical $r$-matrices and $\mathcal{O}$-operators of Lie algebras owe their importance to the close relationship among them. Yet these notions and their correspondences are mostly understood as classes of objects and maps among the classes. To gain categorical insight, this paper introduces, for each of the classes, a notion of homomorphisms, uniformly called coherent homomorphisms, so that the classes of objects become categories and the maps among the classes become functors or category equivalences. For this purpose, we start with the notion of an endo Lie algebra, consisting of a Lie algebra equipped with a Lie algebra endomorphism. We then generalize the above classical notions for Lie algebras to endo Lie algebras. As a result, we obtain the notion of coherent endomorphisms for each of the classes, which then generalizes to the notion of coherent homomorphisms by a polarization process. The coherent homomorphisms are compatible with the correspondences among the various constructions, as well as with the category of pre-Lie algebras.

math.QA↗

arXiv2021

Bialgebras, Frobenius algebras and associative Yang-Baxter equations for Rota-Baxter algebras

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-Baxter equation (AYBE) to Rota-Baxter algebras. Antisymmetric solutions of the equation are used to construct Rota-Baxter ASI bialgebras. The notions of an $\mathcal{O}$-operator on a Rota-Baxter algebra and a Rota-Baxter dendriform algebra are also introduced to produce solutions of the AYBE in Rota-Baxter algebras and thus to provide Rota-Baxter ASI bialgebras. An unexpected byproduct is that a Rota-Baxter ASI bialgebra of weight zero gives rise to a quadri-bialgebra instead of bialgebra constructions for the dendriform algebra.

math.QA↗

arXiv2021

Admissible Poisson bialgebras

An admissible Poisson algebra (or briefly, an adm-Poisson algebra) gives an equivalent presentation with only one operation for a Poisson algebra. We establish a bialgebra theory for adm-Poisson algebras independently and systematically, including but beyond the corresponding results on Poisson bialgebras given in [27]. Explicitly, we introduce the notion of adm-Poisson bialgebras which are equivalent to Manin triples of adm-Poisson algebras as well as Poisson bialgebras. The direct correspondence between adm-Poisson bialgebras with one comultiplication and Poisson bialgebras with one cocommutative and one anti-cocommutative comultiplications generalizes and illustrates the polarization-depolarization process in the context of bialgebras. The study of a special class of adm-Poisson bialgebras which include the known coboundary Poisson bialgebras in [27] as a proper subclass in general, illustrating an advantage in terms of the presentation with one operation, leads to the introduction of adm-Poisson Yang-Baxter equation in an adm-Poisson algebra. It is an unexpected consequence that both the adm-Poisson Yang-Baxter equation and the associative Yang-Baxter equation have the same form and thus it motivates and simplifies the involved study from the study of the associative Yang-Baxter equation, which is another advantage in terms of the presentation with one operation. A skew-symmetric solution of adm-Poisson Yang-Baxter equation gives an adm-Poisson bialgebra. Finally the notions of an $\mathcal O$-operator of an adm-Poisson algebra and a pre-adm-Poisson algebra are introduced to construct skew-symmetric solutions of adm-Poisson Yang-Baxter equation and hence adm-Poisson bialgebras. Note that a pre-adm-Poisson algebra gives an equivalent presentation for a pre-Poisson algebra introduced by Aguiar.

math.QA↗

arXiv2021

Operator forms of nonhomogeneous associative classical Yang-Baxter equation

This paper studies operator forms of the nonhomogeneous associative classical Yang-Baxter equation (nhacYBe), extending and generalizing such studies for the classical Yang-Baxter equation and associative Yang-Baxter equation that can be tracked back to the works of Semonov-Tian-Shansky and Kupershmidt on Rota-Baxter Lie algebras and $\mathcal{O}$-operators. In general, solutions of the nhacYBe are characterized in terms of generalized $\mathcal{O}$-operators. The characterization can be given by the classical $\mathcal{O}$-operators precisely when the solutions satisfy an invariant condition. When the invariant condition is compatible with a Frobenius algebra, such solutions have close relationships with Rota-Baxter operators on the Frobenius algebra. In general, solutions of the nhacYBe can be produced from Rota-Baxter operators, and then from $\mathcal{O}$-operators when the solutions are taken in semi-direct product algebras. In the other direction, Rota-Baxter operators can be obtained from solutions of the nhacYBe in unitizations of algebras. Finally a classifications of solutions of the nhacYBe satisfying the mentioned invariant condition in all unital complex algebras of dimensions two and three are obtained. All these solutions are shown to come from Rota-Baxter operators.

math.QA↗

arXiv2021

On antisymmetric infinitesimal conformal bialgebras

In this paper, we construct a bialgebra theory for associative conformal algebras, namely antisymmetric infinitesimal conformal bialgebras. On the one hand, it is an attempt to give conformal structures for antisymmetric infinitesimal bialgebras. On the other hand, under certain conditions, such structures are equivalent to double constructions of Frobenius conformal algebras, which are associative conformal algebras that are decomposed into the direct sum of another associative conformal algebra and its conformal dual as $\mathbb{C}[\partial]$-modules such that both of them are subalgebras and the natural conformal bilinear form is invariant. The coboundary case leads to the introduction of associative conformal Yang-Baxter equation whose antisymmetric solutions give antisymmetric infinitesimal conformal bialgebras. Moreover, the construction of antisymmetric solutions of associative conformal Yang-Baxter equation is given from $\mathcal{O}$-operators of associative conformal algebras as well as dendriform conformal algebras.

math.QA↗