arXiv subjects

Guilai Liu

Publications and source records attributed to Guilai Liu.

14 recordsLinked to original sources

arXiv2026

Bialgebra theory, the Yang-Baxter equation and relative Rota-Baxter operators for diassociative algebras

In this paper, we develop a bialgebra theory for diassociative algebras. Inspired by the notion of a quadratic diassociative algebra, we introduce the concept of a Manin triple of diassociative algebras. We then define a diassociative bialgebra, which is shown to be equivalent to a Manin triple of diassociative algebras through a specific matched pair of diassociative algebras. We further formulate the diassociative Yang-Baxter equation (DYBE) in a diassociative algebra, and prove that symmetric solutions of the DYBE give rise to diassociative bialgebras. To construct such solutions, we also introduce relative Rota-Baxter operators and pre-diassociative algebras. As a key application, we lift the known relationships between diassociative algebras and other algebraic structures to the bialgebra level. In particular, we show that every diassociative bialgebra naturally induces a Leibniz bialgebra, thereby extending Loday's classical result that a diassociative algebra gives rise to a Leibniz algebra. Moreover, we provide explicit constructions of Lie bialgebras via tensor products of diassociative bialgebras and quadratic dendriform algebras.

math.RA↗

arXiv2025

The Levi-Civita products of Leibniz algebras with nondegenerate skew-symmetric 2-cocycles

This paper studies the associated Levi-Civita products of a Leibniz algebra with a nondegenerate skew-symmetric $2$-cocycle. Such products form into the notion of an anti-pre-Leibniz algebra, which is characterized as a Leibniz-admissible algebra which renders a representation of the sub-adjacent Leibniz algebra through the negative multiplication operators. Such a characterization serves as the converse side of the role that pre-Liebniz algebras play in the splitting theory of Leibniz algebras, which justifies the name of anti-pre-Leibniz algebras. There is a compatible anti-pre-Leibniz algebra structure on a Leibniz algebra if and only if there is an invertible anti-$\mathcal{O}$-operator of the Leibniz algebra. Another important role that anti-pre-Leibniz algebras play is that they give a new characterization of Novikov dialgebras, that is, a Novikov dialgebra is interpreted as a transformed pre-Leibniz algebra which gives rise to an anti-pre-Leibniz algebra structure through specific combinations of multiplications. The properties of Novikov dialgebras are also further investigated.

math.RA↗

arXiv2025

A further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras

In order to generalize the fact that an averaging commutative algebra gives rise to a perm algebra to the bialgebra level, the notion of a special apre-perm algebra was introduced as a new splitting of perm algebras, and it has been shown that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra. In this paper, we give a further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras. A solution of the averaging associative Yang-Baxter equation whose symmetric part is invariant gives rise to an averaging commutative and cocommutative infinitesimal bialgebra that is called quasi-triangular, and such solutions can be equivalently characterized as $\mathcal{O}$-operators of admissible averaging commutative algebras with weights. Moreover assuming the symmetric parts of such solutions to be zero or nondegenerate, we obtain typical subclasses of quasi-triangular averaging commutative and cocommutative infinitesimal bialgebras, namely the triangular and factorizable ones respectively. Both of them are shown to closely relate to symmetric averaging Rota-Baxter Frobenius commutative algebras. There is a parallel procedure developed for special apre-perm bialgebras. In particular, the fact that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra is still available when these bialgebras are limited to the quasi-triangular cases.

math.RA↗

arXiv2025

Generalized splitting of algebras with application to a bialgebra structure of Leibniz algebras induced from averaging Lie bialgebras

The classical notion of splitting a binary quadratic operad $\mathcal{P}$ gives the notion of pre-$\mathcal{P}$-algebras characterized by $\mathcal{O}$-operators, with pre-Lie algebras as a well-known example. Pre-$\mathcal{P}$-algebras give a refinement of the structure of $\mathcal{P}$-algebras and is critical in the Manin triple approach to bialgebras for $\mathcal{P}$-algebras. Motivated by the new types of splitting appeared in recent studies, this paper aims to extend the classical notion of splitting, by relaxing the requirement that the adjoint actions of the pre-$\mathcal{P}$-algebra form a representation of the $\mathcal{P}$-algebra, to allow also linear combinations of the adjoint actions to form a representation. This yields a whole family of type-$M$ pre-structures, parameterized by the coefficient matrix $M$ of the linear combinations. Using the duals of the adjoint actions gives another family of splittings. Similar generalizations are given to the $\mathcal{O}$-operator characterization of the splitting, and to certain conditions on bilinear forms. Furthermore, this general framework is applied to determine the bialgebra structure induced from averaging Lie bialgebras, lifting the well-known fact that an averaging Lie algebra induces a Leibniz algebra to the level of bialgebras. This is achieved by interpreting the desired bialgebra structure for the Leibniz algebra as the one for a special type-$M$ pre-Leibniz algebra for a suitably chosen matrix $M$ in the above family.

math.QA↗

arXiv2025

A new approach to the bialgebra theory for relative Poisson algebras

It is natural to consider extending the typical construction of relative Poisson algebras from commutative differential algebras to the context of bialgebras. The known bialgebra structures for relative Poisson algebras, namely relative Poisson bialgebras, are equivalent to Manin triples of relative Poisson algebras with respect to the symmetric bilinear forms which are invariant on both the commutative associative and Lie algebras. However, they are not consistent with commutative and cocommutative differential antisymmetric infinitesimal (ASI) bialgebras as the bialgebra structures for commutative differential algebras. Alternatively, with the invariance replaced by the commutative $2$-cocycles on the Lie algebras, the corresponding Manin triples of relative Poisson algebras are proposed, which are shown to be equivalent to certain bialgebra structures, namely relative PCA bialgebras. They serve as another approach to the bialgebra theory for relative Poisson algebras, which can be naturally constructed from commutative and cocommutative differential ASI bialgebras. The notion of the relative PCA Yang-Baxter equation (RPCA-YBE) in a relative PCA algebra is introduced, whose antisymmetric solutions give coboundary relative PCA bialgebras. The notions of $\mathcal{O}$-operators of relative PCA algebras and relative pre-PCA algebras are also introduced to give antisymmetric solutions of the RPCA-YBE.

math.QA↗

arXiv2025

Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras

It is well-known that an averaging operator on a commutative associative algebra gives rise to a perm algebra. This paper lifts this process to the level of bialgebras. For this purpose, we first give an infinitesimal bialgebra structure for averaging commutative associative algebras and characterize it by double constructions of averaging Frobenius commutative algebras. To find the bialgebra counterpart of perm algebras that is induced by such averaging bialgebras, we need a new two-part splitting of the multiplication in a perm algebra, which differs from the usual splitting of the perm algebra (into the pre-perm algebra) by the characterized representation. This gives rise to the notion of an averaging-pre-perm algebra, or simply an apre-perm algebra. Furthermore, the notion of special apre-perm algebras which are apre-perm algebras with the second multiplications being commutative is introduced as the underlying algebra structure of perm algebras with nondegenerate symmetric left-invariant bilinear forms. The latter are also the induced structures of symmetric Frobenius commutative algebras with averaging operators. Consequently, a double construction of averaging Frobenius commutative algebra gives rise to a Manin triple of special apre-perm algebras. In terms of bialgebra structures, this means that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra.

math.RA↗

arXiv2025

Extending structures for pre-Poisson algebras and pre-Poisson bialgebras

In this paper, we explore the extending structures problem by the unified product for pre-Poisson algebras. In particular, the crossed product and the factorization problem are investigated. Furthermore, a special case of extending structures is studied under the case of pre-Poisson algebras, which leads to the discussion of bicrossed products and matched pairs of pre-Poisson algebras. We develop a bialgebra theory for pre-Poisson algebras and establish the equivalence between matched pairs and pre-Poisson bialgebras. We study coboundary pre-Poisson bialgebras, which lead to the introduction of the pre-Poisson Yang-Baxter equation (PPYBE). A symmetric solution of the PPYBE naturally gives a coboundary pre-Poisson bialgebra.

math.RA↗

arXiv2024

Quasi-triangular, factorizable Leibniz bialgebras and relative Rota-Baxter operators

We introduce the notion of quasi-triangular Leibniz bialgebras, which can be constructed from solutions of the classical Leibniz Yang-Baxter equation (CLYBE) whose skew-symmetric parts are invariant. In addition to triangular Leibniz bialgebras, quasi-triangular Leibniz bialgebras contain factorizable Leibniz bialgebras as another subclass, which lead to a factorization of the underlying Leibniz algebras. Relative Rota-Baxter operators with weights on Leibniz algebras are used to characterize solutions of the CLYBE whose skew-symmetric parts are invariant. On skew-symmetric quadratic Leibniz algebras, such operators correspond to Rota-Baxter type operators. Consequently, we introduce the notion of skew-symmetric quadratic Rota-Baxter Leibniz algebras, such that they give rise to triangular Leibniz bialgebras in the case of weight $0$, while they are in one-to-one correspondence with factorizable Leibniz bialgebras in the case of nonzero weights.

math.QA↗

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

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↗

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

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↗