arxiv: 2604.27546 · v2 · submitted 2026-04-30 · 🧮 math.RT

Recognition: 2 theorem links

· Lean Theorem

Lie bialgebras constructed from Zinbiel bialgebras and Leibniz bialgebras

Bo Hou , Yuanchang Lin

Authors on Pith no claims yet

Pith reviewed 2026-05-12 02:40 UTC · model grok-4.3

classification 🧮 math.RT

keywords Lie bialgebrasLeibniz algebrasZinbiel algebrastensor productsclassical Yang-Baxter equationquasi-triangular structuresKoszul duality

0 comments

The pith

The tensor product of a Leibniz bialgebra and a quadratic Zinbiel algebra carries a Lie bialgebra structure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows how to equip the tensor product of a Leibniz bialgebra with a quadratic Zinbiel algebra with the structure of a Lie bialgebra. A parallel construction produces infinite-dimensional Lie bialgebras from the tensor product of a Zinbiel bialgebra with a quadratic Z-graded Leibniz algebra. These results also transfer solutions of the classical Yang-Baxter equation so that quasi-triangular, triangular, and factorizable properties pass from the original bialgebras to the induced Lie bialgebra, and they characterize certain Zinbiel bialgebras by this tensor-product property. Readers care because the constructions give explicit new families of Lie bialgebras and preserve key algebraic features used in deformation theory and quantum groups.

Core claim

There is a Lie bialgebra structure on the tensor product of a Leibniz bialgebra and a quadratic Zinbiel algebra. There is an infinite-dimensional Lie bialgebra structure on the tensor product of a Zinbiel bialgebra and a quadratic Z-graded Leibniz algebra. For special quadratic Z-graded Leibniz algebras, the tensor product with a Zinbiel bialgebra being a Lie bialgebra characterizes the Zinbiel bialgebra. By relating solutions of the classical Yang-Baxter equation in the Zinbiel or Leibniz algebra to those in the induced Lie algebra, the induced Lie bialgebra is quasi-triangular if the original Zinbiel bialgebra is quasi-triangular, triangular if the original Leibniz bialgebra is triangular,

What carries the argument

The tensor product construction that places a Lie bracket and compatible cobracket on the product space, using the Koszul duality of the Leibniz and Zinbiel operads together with the quadratic or Z-graded conditions to enforce the required compatibilities.

If this is right

Solutions of the classical Yang-Baxter equation transfer so that the induced Lie bialgebra is quasi-triangular whenever the Zinbiel bialgebra is quasi-triangular.
The induced Lie bialgebra is triangular or factorizable whenever the Leibniz bialgebra is triangular or factorizable.
For special quadratic Z-graded Leibniz algebras, the tensor product forms a Lie bialgebra if and only if the Zinbiel bialgebra satisfies a corresponding property.
A quasi-Frobenius Lie algebra arises on the tensor product of a quasi-Frobenius Zinbiel algebra with a quadratic Leibniz algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The constructions supply explicit infinite-dimensional examples that could be used to test representation-theoretic questions for Lie bialgebras.
The same tensor-product method might apply to other Koszul-dual operad pairs and produce further bialgebra structures.
Preservation of Yang-Baxter solutions suggests the tensor products could appear in constructions of integrable systems or Poisson structures.

Load-bearing premise

The Zinbiel algebra must be quadratic and the Leibniz algebra must be quadratic and Z-graded so that the tensor product satisfies the Lie bialgebra compatibility conditions.

What would settle it

A concrete Leibniz bialgebra paired with a quadratic Zinbiel algebra whose tensor product fails to satisfy the cocycle condition for the cobracket would show that no Lie bialgebra structure exists in general.

read the original abstract

There is a Lie algebra structure on the tensor product of a Leibniz algebra and a Zinbiel algebra for the operads of Leibniz algebras and Zinbiel algebras are Koszul dual. In this paper, we extend such conclusion to the context of bialgebras. We show that there is a Lie bialgebra structure on the tensor product of a Leibniz bialgebra and a quadratic Zinbiel algebra; there is an infinite-dimensional Lie bialgebra structure on the tensor product of a Zinbiel bialgebra and a quadratic $\mathbb{Z}$-graded Leibniz algebra. For special quadratic $\mathbb{Z}$-graded Leibniz algebra, the tensor product with a Zinbiel bialgebra being a Lie bialgebra characterizes the Zinbiel bialgebra. By analyzing the relationship between solutions of the classical Yang-Baxter equation in a Zinbiel algebra (resp. a Leibniz algebra) and solutions of the classical Yang-Baxter equation in the induced Lie algebra, we prove that the induced Lie bialgebra is quasi-triangular (resp. triangular, factorizable) if the original Zinbiel bialgebra (resp. Leibniz bialgebra) is quasi-triangular (resp. triangular, factorizable). Finally, we provide a construction of a quasi-Frobenius Lie algebra on the tensor product of a quasi-Frobenius Zinbiel algebra and a quadratic Leibniz algebra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper lifts the known tensor product Lie algebra from Koszul-dual Leibniz and Zinbiel operads to bialgebras, with clean transfer of quasi-triangular and Yang-Baxter properties under quadratic hypotheses.

read the letter

The main point is that the authors take the existing result giving a Lie algebra on the tensor product of a Leibniz algebra and a Zinbiel algebra and extend it to bialgebras. They obtain a Lie bialgebra on the tensor product of a Leibniz bialgebra with a quadratic Zinbiel algebra, plus an infinite-dimensional version using a quadratic Z-graded Leibniz algebra. They also give a characterization of Zinbiel bialgebras by the condition that the tensor product is a Lie bialgebra, and they show that quasi-triangular, triangular, and factorizable properties pass from the original Zinbiel or Leibniz bialgebra to the induced Lie bialgebra. A final construction produces a quasi-Frobenius Lie algebra from a quasi-Frobenius Zinbiel algebra and a quadratic Leibniz algebra. These steps rest on the standard Koszul duality between the operads together with the quadratic conditions needed to define a compatible co-bracket that satisfies the Lie bialgebra cocycle identity. The Yang-Baxter analysis follows by direct comparison of solutions in the original structures and in the induced Lie algebra. The work is straightforward once the hypotheses are in place and adds concrete ways to produce examples without circular definitions or fitted parameters. The quadratic and Z-graded restrictions are necessary for the constructions but do limit the range of examples; the infinite-dimensional case is handled formally but would need extra checks in any concrete application. No load-bearing gaps appear in the central claims. This is useful reading for people already working with Leibniz-Zinbiel duality, operads, or bialgebra constructions tied to the classical Yang-Baxter equation. It is a solid incremental result in a specialized corner of representation theory and deserves peer review so that the details can be checked by experts in the area.

Referee Report

0 major / 4 minor

Summary. The paper extends the known Lie algebra structure on the tensor product of a Leibniz algebra and a Zinbiel algebra (arising from Koszul duality of the respective operads) to the bialgebra setting. It claims that the tensor product of a Leibniz bialgebra with a quadratic Zinbiel algebra carries a Lie bialgebra structure, and that the tensor product of a Zinbiel bialgebra with a quadratic ℤ-graded Leibniz algebra carries an infinite-dimensional Lie bialgebra structure. Additional results include a characterization of Zinbiel bialgebras via this construction for special quadratic ℤ-graded Leibniz algebras, preservation of quasi-triangularity/triangularity/factorizability under the induction, and a construction of quasi-Frobenius Lie algebras on the tensor product of a quasi-Frobenius Zinbiel algebra with a quadratic Leibniz algebra.

Significance. If the constructions and compatibility verifications hold, the work supplies a concrete operadic mechanism for generating families of Lie bialgebras (including infinite-dimensional ones) together with control over their quasi-triangular and quasi-Frobenius properties. This is of interest in the study of solutions to the classical Yang-Baxter equation and in the deformation theory of bialgebras, as it systematically links Zinbiel/Leibniz bialgebras to Lie bialgebras without introducing new free parameters.

minor comments (4)

§2 (or wherever the quadratic and ℤ-graded quadratic hypotheses are introduced): the precise definition of 'quadratic' for Zinbiel algebras and 'quadratic ℤ-graded' for Leibniz algebras should be recalled explicitly, including the form of the invariant bilinear form, to make the compatibility conditions with the co-bracket self-contained.
The statement that the tensor product 'characterizes' the Zinbiel bialgebra for special quadratic ℤ-graded Leibniz algebras would benefit from a short clarifying sentence on what 'special' means and whether the converse direction is proved or only one implication.
In the quasi-triangularity and factorizability sections, the correspondence between solutions of the CYBE in the original algebra and in the induced Lie algebra should be stated as a numbered proposition or theorem for easier reference.
Minor notational consistency: ensure that the co-bracket is uniformly denoted (e.g., δ or Δ) throughout the proofs of the cocycle identity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. The referee accurately captures the main contributions: extending the tensor product Lie algebra structure (from Koszul duality of Leibniz and Zinbiel operads) to bialgebras, obtaining infinite-dimensional examples, characterizing certain Zinbiel bialgebras, preserving quasi-triangular/triangular/factorizable properties, and constructing quasi-Frobenius Lie algebras. No specific major comments or objections were raised in the report.

Circularity Check

0 steps flagged

Derivation is self-contained with no circular reductions

full rationale

The paper extends the known Lie algebra structure on the tensor product of Leibniz and Zinbiel algebras (arising from Koszul duality of the operads) to bialgebras by direct construction of a compatible Lie bracket and cobracket on the tensor product. The quadratic and Z-graded quadratic hypotheses ensure the induced structures satisfy the Lie bialgebra axioms, including the cocycle condition. Results on quasi-triangularity, triangularity, factorizability, and the quasi-Frobenius Lie algebra follow by relating solutions of the classical Yang-Baxter equation in the original Zinbiel or Leibniz bialgebra to those in the induced Lie algebra, using only the given bialgebra axioms and the tensor product definitions. No derivation reduces a claimed prediction to a fitted parameter by construction, no self-definitional loops appear in the equations, and the central claims rest on independent prior results (Koszul duality) plus explicit verification rather than self-citation chains or ansatzes smuggled from the authors' own prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the Koszul duality of the Leibniz and Zinbiel operads together with the definition of quadratic algebras; no free parameters or new entities are introduced.

axioms (1)

standard math The operads of Leibniz algebras and Zinbiel algebras are Koszul dual.
Invoked to extend the Lie algebra tensor product construction to bialgebras.

pith-pipeline@v0.9.0 · 5552 in / 1163 out tokens · 79555 ms · 2026-05-12T02:40:09.753443+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

[1]

Abrams, Two-dimensional topological quantum ﬁeld theories and Frobenius algebras, J

L. Abrams, Two-dimensional topological quantum ﬁeld theories and Frobenius algebras, J. Knot Theory Ramif. 5 (1996), 569–587. 27

work page 1996
[2]

J. Q. Adashev, A. Kh. Khudoyberdiyev and B. A. Omirov, Classiﬁcations of some classes of Zinbiel algebras, J. Gen. Lie Theory Appl. 4 (2010), 1–10. 5

work page 2010
[3]

Aguiar, Pre-Poisson algebras, Lett

M. Aguiar, Pre-Poisson algebras, Lett. Math. Phy. 54 (2000), 263–277. 2, 3

work page 2000
[4]

Aloulou, D

W. Aloulou, D. Arnal and R. Chatbouri, Algèbre pré-Gerstenhaber à homotopie près, J. Pure Appl. Algebra 221 (2017), 2666–2688. 3 LIE BIALGEBRAS VIA ZINBIEL AND LEIBNIZ BIALGEBRAS 29

work page 2017
[5]

M. A. Alvarez, R. F. Juúnior and I. Kaygorodov, The algebraic and geometric classiﬁcation of Zinbiel algebras, J. Pure Appl. Algebra 226 (2022), 107106. 5

work page 2022
[6]

Bai, Left-symmetric bialgebras and an analogue of the classical Y ang-Baxter equation, Commun

C. Bai, Left-symmetric bialgebras and an analogue of the classical Y ang-Baxter equation, Commun. Contemp. Math. 10 (2008), 221–260. 2

work page 2008
[7]

Bai, Double constructions of Frobenius algebras, Connes cocycles and their duality, J

C. Bai, Double constructions of Frobenius algebras, Connes cocycles and their duality, J. Noncommut. Geom. 4 (2010), 475–530. 2

work page 2010
[8]

C. Bai, G. Liu, Y . Sheng and R. Tang, Quasi-triangular, factorizable Leibniz bialgebras and relative Rota-Baxter operators, Forum. Math. 37 (2025), 1083–1101. 2, 6, 13, 17

work page 2025
[9]

Blokh, A generalization of the concept of a Lie algebra, Dokl

A. Blokh, A generalization of the concept of a Lie algebra, Dokl. Akad. Nauk SSSR 165 (1965), 471–473. 2

work page 1965
[10]

Bordemann and F

M. Bordemann and F. Wagemann, Global integration of Leibniz algebras, J. Lie Theory 27 (2017), 555–567. 2

work page 2017
[11]

Chapoton, Zinbiel algebras and multiple zeta values, Doc

F. Chapoton, Zinbiel algebras and multiple zeta values, Doc. Math. 27 (2022), 519–533. 3

work page 2022
[12]

Chari and A

V . Chari and A. Pressley,A Quide to Quantum Groups , Cambridge University Press, Cambridge (1994). 11, 13, 17

work page 1994
[13]

Cieliebak, K

K. Cieliebak, K. Fukaya and J. Latschev, Homological algebra related to surfaces with boundary, Quantum Topol. 11 (2020), 691–837. 2

work page 2020
[14]

Covez, The local integration of Leibniz algebras, Ann

S. Covez, The local integration of Leibniz algebras, Ann. Inst. Fourier 63 (2013), 1–35. 2

work page 2013
[15]

Covez, M

S. Covez, M. Farinati, V . Lebed and D. Manchon, Bialgebraic approach to rack cohomology, Algebr. Geom. Topol. 23 (2023), 1551–1582. 3

work page 2023
[16]

Dherin and F

B. Dherin and F. Wagemann, Deformation quantization of Leibniz algebras, Adv. Math. 270 (2015), 21–48. 2

work page 2015
[17]

V . G. Drinfeld, Hamiltonian structures of Lie groups, Lie bialgebras and the geometric meaning of the classical Y ang-Baxter equations, Soviet Math. Dokl. 27 (1983), 68–71. 2

work page 1983
[18]

Dzhumadildaev and K

A. Dzhumadildaev and K. Tulenbaev, Nilpotency of Zinbiel algebras, J. Dyn. Control Syst. 11 (2005), 195–213. 5

work page 2005
[19]

Dzhumadildaev, N

A. Dzhumadildaev, N. Ismailov and F. Mashurov, On the speciality of Tortkara algebras, J. Algebra 540 (2019), 1–19. 5

work page 2019
[20]

Etingof and O

P . Etingof and O. Schiﬀmann, Lectures on Quantum Groups, International Press Inc., Cambridge, 1998. 2

work page 1998
[21]

Fischer, Symplectic Lie algebras with degenerate center, J

M. Fischer, Symplectic Lie algebras with degenerate center, J. Algebra 521 (2019), 257–283. 27

work page 2019
[22]

Gao, The second Leibniz homology group for Kac-Moody Lie algebras, Bull

Y . Gao, The second Leibniz homology group for Kac-Moody Lie algebras, Bull. London Math. Soc. 32 (2000), 25–33. 2

work page 2000
[23]

Ginzburg and M

V . Ginzburg and M. Kapranov, Koszul duality for operads, Duke Math. J. 6 (1994), 203–272. 2, 7

work page 1994
[24]

Goldman, Invariant functions on Lie groups and Hamiltonian ﬂows of surface group representations, Invent

W. Goldman, Invariant functions on Lie groups and Hamiltonian ﬂows of surface group representations, Invent. Math. 85 (1986), 263–302. 2

work page 1986
[25]

Gorshkov, I

I. Gorshkov, I. Kaygorodov and M. Khrypchenko, The geometric classiﬁcation of nilpotent Tortkara algebras, Comm. Algebra 48 (2020), 204–209. 5

work page 2020
[26]

Y . Hong, C. Bai and L. Guo, Inﬁnite-dimensional Lie bialgebras via a ﬃnization of Novikov bialgebras and Koszul duality, Commun. Math. Phys. 401 (2023), 2011–2049. 2, 3, 27

work page 2023
[27]

Hong, Extending structures for Lie bialgebras, J

Y . Hong, Extending structures for Lie bialgebras, J. Lie Theory 33 (2023), 783–798. 2

work page 2023
[28]

Hou, Extending structures for perm algebras and perm bialgebras, J

B. Hou, Extending structures for perm algebras and perm bialgebras, J. Algebra 649 (2024), 392–432. 2

work page 2024
[29]

Hou, Aﬃnization of dendriform D-bialgebras, Lie bialgebras and solutions of classical Y ang-Baxter equation, arXiv: 2601.17456

B. Hou, Aﬃnization of dendriform D-bialgebras, Lie bialgebras and solutions of classical Y ang-Baxter equation, arXiv: 2601.17456. 3

work page arXiv
[30]

Hou and D

B. Hou and D. Zhao, Quadratic Zinbiel algebras, pre-Zinbiel bialgerbas and pre-Zinbiel Y ang-Baxter equation, in preparation. 26, 27

work page
[31]

Ikonicoﬀ and J

S. Ikonicoﬀ and J. S. Pacaud Lemay, Cartesian di ﬀerential comonads and new models of Cartesian di ﬀerential categories, Cah. Topol. Géom. Di ﬀér. Catég. 64 (2023), 198–239. 3

work page 2023
[32]

Kawski, Chronological algebras: combinatorics and control, J

M. Kawski, Chronological algebras: combinatorics and control, J. Math. Sciences 103 (2001), 725–744. 3

work page 2001
[33]

Kupershmidt, What a classical r-matrix really is, J

B. Kupershmidt, What a classical r-matrix really is, J. Nonlinear Math. Phys. 6 (1999), 448–488. 17

work page 1999
[34]

Lang and Y

H. Lang and Y . Sheng, Factorizable Lie bialgebras, quadratic Rota-Baxter Lie algebras and Rota-Baxter Lie bialgebras, Commun. Math. Phys. 397 (2023), 763–791. 2, 13

work page 2023
[35]

Y . Lin, P . Zhou and C. Bai, Inﬁnite-dimensional Lie bialgebras via a ﬃnization of perm bialgebras and pre-Lie bialgebras, J. Algebra 663 (2025), 210–258. 2, 3

work page 2025
[36]

Liu and C

G. Liu and C. Bai, A bialgebra theory for transposed Poisson algebras via anti-pre-Lie bialgebras and anti-pre- Lie-Poisson bialgebras, Commun. Contemp. Math. 26 (2024), 2350050, 49 pp. 2

work page 2024
[37]

Livernet, Rational homotopy of Leibniz algebras, Manuscripta Math

M. Livernet, Rational homotopy of Leibniz algebras, Manuscripta Math. 96 (1998), 295–315. 2

work page 1998
[38]

J. L. Loday, Cup-product for Leibniz cohomology and dual Leibniz algebras, Math. Scand. 77, 1995, 189–196. 2, 3

work page 1995
[39]

J. L. Loday and T. Pirashvili, Universal enveloping algebras of Leibniz algebras and (co)homology, Math. Ann. 296 (1993), 139–158. 2 30 BO HOU AND YUANCHANG LIN

work page 1993
[40]

J. L. Loday and B. V allette,Algebraic Operads, Grundlehern Der Mathematischen Wissenschaften 346, Springer, Berlin, Heidelberg, 2012. 7

work page 2012
[41]

Takeuchi, Topological coalgebras, J

M. Takeuchi, Topological coalgebras, J. Algebra 97 (1985), 505–539. 7

work page 1985
[42]

Tang and Y

R. Tang and Y . Sheng, Leibniz bialgebras, relative Rota-Baxter operators and the classical Leibniz Y ang-Baxter equation, J. Noncommut. Geom. 16 (2022), 1179–1211. 2, 11, 13, 17

work page 2022
[43]

D. A. Towers, Zinbiel algebras are nilpotent, J. Algebra Appl. 22 (2023), 2350166

work page 2023
[44]

Wang, Zinbiel bialgebras, relative Rota-Baxter operators and the related Y ang-Baxter Equation, J

Y . Wang, Zinbiel bialgebras, relative Rota-Baxter operators and the related Y ang-Baxter Equation, J. Algebra 689 (2026), 656–689. 2, 3, 6, 18, 25

work page 2026
[45]

V . N. Zhelyabin, Jordan bialgebras and their relation to Lie bialgebras, Algebra Log. 36 (1997), 1–15. 2 School of Mathematics and Statistics, Henan University, Kaifeng 475004, China Email address: bohou1981@163.com School of Mathematics, North University of China, Taiyuan 030051, China Email address: linyuanchang@mail.nankai.edu.cn

work page 1997