REVIEW 4 minor 1 cited by
Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras
T0 review · 0 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read This paper establishes that every averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra, lifting the classical construction of a perm algebra from an averaging operator to the bialgebra
desk verdict Sound structural paper: new apre-perm splitting and Manin-triple equivalence; main arguments check out, with only exposition gaps in verifications. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The paper introduces apre-perm algebras: a two-operation splitting (▷, ◁) of a perm algebra whose sum is the perm multiplication and whose dual operators (L*_▷ + R*_◁, −R*_◁) form a representation of the perm algebra on the dual space. A special apre-perm algebra requires ◁ to be commutative. The carrying mechanism is the equivalence between representations of a perm algebra and representations on its dual, used to relate the adjoint representation to (L*_▷ + R*_◁, −R*_◁) and hence to define the splitting. The paper also uses dual a-O-operators and strong special dual a-O-operators to connect compatible apre-perm structures to bilinear forms and Manin triples.
What would settle it
Find a finite-dimensional perm algebra and a triple (l, r, V) for which (l*, l* − r*, V*) is not a representation, or construct an averaging commutative and cocommutative infinitesimal bialgebra whose images under formulas (63) and (102) fail to satisfy one of equations (84)-(90); either would refute the central induction theorem.
Extended reading notes
Core claim
The central claim is Proposition 4.13: given an averaging commutative and cocommutative infinitesimal bialgebra (A, ·_A, ∆, P, Q), the multiplications defined by x ▷_A y = P(x)·_A y + Q(x·_A y) and x ◁_A y = −Q(x·_A y), together with comultiplications ϑ(x) = (Q⊗id)∆(x) + ∆(Px) and θ(x) = −∆(Px), form a special apre-perm bialgebra. This is proved by showing that the double construction of an averaging Frobenius commutative algebra yields a Manin triple of special apre-perm algebras, and that this Manin triple is equivalent to the bialgebra structure. In particular, the paper shows that perm algebras equipped with nondegenerate symmetric left-invariant bilinear forms correspond exactly to quad
Load-bearing premise
The results rely on a cited lemma, not proved in the paper, that a triple (l, r, V) is a representation of a perm algebra if and only if (l*, l* − r*, V*) is a representation; if this duality fails in the setting of finite-dimensional perm algebras, the definition of apre-perm algebras and the induced bialgebra theorem collapse.
Editorial extensions
If this is right
- Every averaging commutative and cocommutative infinitesimal bialgebra carries a special apre-perm bialgebra structure given explicitly by formulas (63) and (102).
- Double constructions of averaging Frobenius commutative algebras are equivalent to Manin triples of special apre-perm algebras, which in turn correspond to Manin triples of perm algebras with nondegenerate symmetric left-invariant bilinear forms.
- Perm algebras with nondegenerate symmetric left-invariant bilinear forms are in one-to-one correspondence with quadratic special apre-perm algebras.
- Special apre-perm algebras give rise to both a pre-Lie algebra and an anti-pre-Lie algebra under compatible operations, with the anti-pre-Lie structure matching the commutative 2-cocycle of the sub-adjacent Lie algebra.
- Manin triples of perm algebras with symmetric left-invariant forms produce Manin triples of Lie algebras with commutative 2-cocycles via the sub-adjacent Lie algebra construction.
Reading between the lines
- The paper's mechanism suggests that other induced bialgebra structures from averaging operators might be obtained by analogous dual-representation splittings; for instance, averaging Lie algebras with symmetric invariant forms could induce special variants of pre-Lie bialgebras.
- The explicit formulas (63) and (102) provide a testable recipe for constructing examples: any concrete averaging commutative algebra with a compatible infinitesimal bialgebra structure can be checked directly against equations (84)-(90).
- The one-to-one correspondence between quadratic special apre-perm algebras and perm algebras with symmetric left-invariant forms may offer a route to classify symmetric left-invariant perm algebra structures in low dimensions.
- The paper leaves open whether the induced special apre-perm bialgebra is functorial in the input averaging bialgebra.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper lifts the classical construction that an averaging operator on a commutative associative algebra induces a perm algebra (Proposition 1.1) to the bialgebra level. Section 2 introduces representations of averaging commutative algebras, admissible averaging operators, double constructions of averaging Frobenius commutative algebras, and averaging commutative and cocommutative infinitesimal bialgebras; Theorem 2.16 establishes their equivalence. Section 3 introduces a new two-part splitting of perm algebras, the notion of an apre-perm algebra (Definition 3.8), and its special case in which the second multiplication is commutative. It shows that perm algebras with nondegenerate symmetric left-invariant bilinear forms correspond to quadratic special apre-perm algebras (Proposition 3.29), and that admissible averaging commutative algebras induce special apre-perm algebras (Proposition 3.22). Section 4 defines Manin triples for these structures and special apre-perm bialgebras, proves their equivalences (Theorem 4.11, Corollary 4.12), and shows that every averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra (Proposition 4.13).
Significance. If correct, the paper provides a coherent bialgebra counterpart of the averaging-to-perm induction, using a genuinely new splitting of perm algebras rather than the pre-perm splitting. The main structural results are stated with explicit formulas and are connected in a useful diagram (103), relating averaging bialgebras to Manin triples of special apre-perm algebras and then to Manin triples of Lie algebras with commutative 2-cocycles. The paper is largely self-contained, and the central chain Theorem 2.16 → Proposition 4.3 → Proposition 4.13 is checkable; the computations in Sections 3 and 4 are detailed. The main external input, the representation dualization lemma for perm algebras cited from [27,35], is standard and is correctly applicable in the stated setting, as I verified.
minor comments (4)
- [§3.2, Proposition 3.12] The proof of Proposition 3.12 states that the converse direction follows by 'a similar argument'. Since this equivalent characterization is used later (e.g., in Corollary 3.21 and Proposition 3.37), the omitted verification would be helpful. At minimum, indicate explicitly how Lemma 3.10 supplies the converse.
- [§4.2, Proposition 4.13] In the proof of Proposition 4.13, only equation (84) is verified; equations (85)–(90) are dismissed with 'Similarly'. The structural route via Remark 4.14 assures the reader that the claim is sound, but for a self-contained proof the remaining verifications should be included or the correspondence with the ten compatibility equations in Lemma 4.10 should be tabulated explicitly.
- [§3.3, Definition 3.28 and Proposition 3.29] The term 'invariant bilinear form' for special apre-perm algebras is defined by (57). This is a different use of 'invariant' from the usual left-invariance (24) on perm algebras. To avoid ambiguity, consider calling it '◁-invariant' or explicitly contrasting the two notions where they are first used.
- [Throughout] There are a few typographical and wording slips, e.g., 'a averaging commutative and cocommutative infinitesimal bialgebra' in the abstract of Section 4 and 'cocomutative' in the introduction. These are harmless but should be corrected in the final version.
Circularity Check
No significant circularity: the induced special apre-perm bialgebra is derived by explicit formulas and verified from the input identities, not assumed into them.
full rationale
The paper's central claim—Proposition 4.13—is not circular. The input is an averaging commutative and cocommutative infinitesimal bialgebra (A,·,Δ,P,Q), defined independently in Definition 2.15 by the admissible averaging conditions (10),(18),(19). The output is a special apre-perm bialgebra (A,▷,◁,ϑ,θ), whose defining equations (80)-(90) are not among the input conditions. The bridge is explicit: (63) sets x▷y=P(x)y+Q(xy), x◁y=-Q(xy), and (102) sets ϑ=(Q⊗id)Δ+ΔP, θ=-ΔP. The verification of (84)-(90) then uses only the cocommutative infinitesimal bialgebra identity (17), the averaging identities (2),(10), and the mixed identities (18),(19), together with the perm-algebra identities from Proposition 1.1. The abbreviated 'similarly' in Proposition 4.13 is an exposition gap, not a substitution of the conclusion for the hypothesis. Earlier steps have the same structure: Proposition 3.22 constructs a special apre-perm algebra from an admissible averaging commutative algebra by explicit formulas and a direct representation check; Corollary 3.30 and Proposition 4.3 follow by applying these formulas to the double-construction data. The only notable external input is the perm-algebra representation duality lemma quoted from [27,35] in Proposition 3.9; that lemma is a published, independently checkable result used mainly to pass between equivalent representation formulations, and the existence parts of the main theorems (3.17, 3.22, 4.13) are verified directly without reducing to it. No parameter is fitted and no conclusion is renamed input; the new notions are engineered definitions, not hidden assumptions. Hence no circular step is identifiable.
Assumptions & free parameters
assumptions (5)
- domain assumption All vector spaces and algebras are finite-dimensional over an algebraically closed field K of characteristic zero.
- domain assumption Representation dualization for perm algebras: (l,r,V) is a representation if and only if (l*, l*-r*, V*) is a representation.
- domain assumption Aguiar's result that an averaging operator on a commutative associative algebra induces a perm algebra via x∘y = P(x)·y.
- domain assumption The equivalence between double constructions of Frobenius commutative algebras and commutative and cocommutative infinitesimal bialgebras.
- domain assumption Lemma 4.10 from [27,35] giving conditions for a direct-sum construction to be a perm algebra.
Cite this review
Pith. "Pith review of Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras." pith.science (2026). https://pith.science/paper/PTQA5UPJ
@misc{pith2026250909884,
author = {Pith},
title = {Pith review of: Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/PTQA5UPJ}},
note = {Machine review of arXiv:2509.09884}
}
read the original abstract
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.
Forward citations
Cited by 1 Pith paper
-
Bialgebra theory, the Yang-Baxter equation and relative Rota-Baxter operators for diassociative algebras
Introduces diassociative bialgebras equivalent to Manin triples via matched pairs, proves symmetric DYBE solutions produce them, and shows they induce Leibniz bialgebras while constructing Lie bialgebras from tensor products.
Reference graph
Works this paper leans on
-
[1]
Aguiar, Infinitesimal Hopf algebras, in: New Trends in Hopf Algebra Theory, La Falda, 1999, in:Contemp
M. Aguiar, Infinitesimal Hopf algebras, in: New Trends in Hopf Algebra Theory, La Falda, 1999, in:Contemp. Math.V ol. 267 (Amer. Math. Soc., Providence, RI, 2000), pp.1-29. 3
1999
-
[2]
Aguiar, Pre-Poisson algebras,J
M. Aguiar, Pre-Poisson algebras,J. Lett. Math. Phys.54 (2000) 263-277. 2
2000
-
[3]
Aguiar, On the associative analog of Lie bialgebras,J
M. Aguiar, On the associative analog of Lie bialgebras,J. Algebra. 244 (2001) 492-532. 3
2001
-
[4]
Aguiar, Infinitesimal bialgebras, pre-Lie and dendriform algebras, in: Hopf algebras, inLecture Notes in Pure and Appl
M. Aguiar, Infinitesimal bialgebras, pre-Lie and dendriform algebras, in: Hopf algebras, inLecture Notes in Pure and Appl. Math.V ol. 237, Marcel Dekker, New York, 2004, pp. 1-33. 3
2004
-
[5]
Bai, Left-symmetric bialgebras and an analogue of the classical Yang-Baxter equation,Comm
C. Bai, Left-symmetric bialgebras and an analogue of the classical Yang-Baxter equation,Comm. Contemp. Math.10 (2008) 221-260. 3
2008
-
[6]
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. 2 (2010) 475-530. 3, 7, 8, 9 28
2010
-
[7]
Bai, An introduction to pre-Lie algebras, in: Algebra and Applications 1: Nonssociative Algebras and Categories, Wiley Online Library (2021) 245-273
C. Bai, An introduction to pre-Lie algebras, in: Algebra and Applications 1: Nonssociative Algebras and Categories, Wiley Online Library (2021) 245-273. 20
2021
-
[8]
C. Bai, O. Bellier, L. Guo and X. Ni, Splitting of operations, Manin products and Rota-Baxter operators,Int. Math. Res. Not.(2013) 485-524. 3, 4
2013
Show all 52 references
-
[9]
C. Bai, L. Guo, G. Liu and T. Ma, Rota-Baxter Lie bialgebras, classical Yang-Baxter equations and special L-dendriform bialgebras,Algebr. Represent. Theory. 27 (2024) 1347-1372. 3, 4
2024
-
[10]
C. Bai, L. Guo and T. Ma, Bialgebras, Frobenius algebras and associative Yang-Baxter equations for Rota- Baxter algebras,Asian J. Math.28 (2024) 411-436. 3, 4, 7
2024
-
[11]
C. Bai, L. Guo and Y . Sheng, Coherent categorical structures for Lie bialgebras, Manin triples, classical r- matrices and pre-Lie algebras,Forum Math.34 (2022) 989-1013. 3
2022
-
[12]
C. Bai, D. Hou and Z. Chen, On a class of Lie groups with a left-invariant flat pseudo-metric,Monatsh. Math. 164 (2011) 243-269. 3
2011
-
[13]
Birkhoff, Lattices in applied mathematics, II Averaging operators,Proc
G. Birkhoff, Lattices in applied mathematics, II Averaging operators,Proc. Symp. Pure Math.2 (1961) 163-184. 2
1961
-
[14]
Burde, Left-symmetric algebras, or pre-Lie algebras in geometry and physics,Cent
D. Burde, Left-symmetric algebras, or pre-Lie algebras in geometry and physics,Cent. Eur. J. Math. 4 (2006) 323-357. 20
2006
-
[15]
Chapton, Un endofoncteur de la cat ´egorie des op ´erades, in: Dialgebras and related operads,Lect
F. Chapton, Un endofoncteur de la cat ´egorie des op ´erades, in: Dialgebras and related operads,Lect. Notes. Math.1763, Springer-Verlag, (2001) 105-110. 2
2001
-
[16]
Chari and A
V . Chari and A. Pressley, A Guide to Quantum Groups, Cambridge University Press, Cambridge. 1994. 2
1994
-
[17]
Das and S
A. Das and S. Sen, 2-term averagingL ∞-algebras and non-abelian extensions of averaging Lie algebras,J. Algebra644 (2024) 126-151. 2
2024
-
[18]
Drinfeld, Halmiltonian structure on the Lie groups, Lie bialgebras and the geometric sense of the classical Yang-Baxter equations,Sov
V . Drinfeld, Halmiltonian structure on the Lie groups, Lie bialgebras and the geometric sense of the classical Yang-Baxter equations,Sov. Math. Dokl. 27 (1983) 68-71. 2
1983
-
[19]
Dzhumadil’daev, Algebras with skew-symmetric identity of degree 3,J
A. Dzhumadil’daev, Algebras with skew-symmetric identity of degree 3,J. Math. Sci.161 (2009) 11-30. 11
2009
-
[20]
Dzhumadil’daev and P
A. Dzhumadil’daev and P. Zusmanovich, Commutative 2-cocycles on Lie algebras,J. Algebra. 324 (2010) 732-748. 11
2010
-
[21]
D. Gao, G. Liu and C. Bai, Anti-dendriform algebras, new splitting of operations and Novikov type algebras,J. Algebr. Combin.59 (2024) 661-696. 13
2024
-
[22]
Gao and T
X. Gao and T. Zhang, Averaging algebras, rewriting systems and Gr ¨obner-Shirshov bases,J. Algebra Appl.17 (2018) 1850130. 2
2018
-
[23]
Gelfand and I
I. Gelfand and I. Dorfman, Hamiltonian operators and algebraic structures related to them,Funct. Anal. Appl. 13 (1979) 248-262. 2
1979
-
[24]
V . Yu. Gubarev and P. S. Kolesnikov, On embedding of dendriform algebras into Rota-Baxter algebras,Cent. Eur. Jour. Math.11 (2013) 226-245. 2
2013
-
[25]
Guo, Operated semigroups, Motzkin paths and rooted trees,J
L. Guo, Operated semigroups, Motzkin paths and rooted trees,J. Algebraic Combinatorics29 (2009) 35-62. 2
2009
-
[26]
Y . Hong, C. Bai and L. Guo, Deformation families of Novikov bialgebras via differential antisymmetric infini- tesimal bialgebras, arXiv: 2402.16155. 3
-
[27]
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. 4, 11, 12, 24, 25
2024
-
[28]
Kamp ´de F ´eriet, L’etat actuel du probl ´eme de la turbulaence (I and II),La Sci
J. Kamp ´de F ´eriet, L’etat actuel du probl ´eme de la turbulaence (I and II),La Sci. A´ erienne3 (1934) 9-34, 4 (1935), 12-52. 2
1934
-
[29]
Kock, Frobenius Algebras and 2d Topological Quantum Field Theories, Cambridge University Press, Cam- bridge
J. Kock, Frobenius Algebras and 2d Topological Quantum Field Theories, Cambridge University Press, Cam- bridge. 2004. 3
2004
-
[30]
Kotov and T
A. Kotov and T. Strobl, The embedding tensor, Leibniz-Loday algebras, and their higher gauge theories,Comm. Math. Phys.376 (2020) 235-258. 2
2020
-
[31]
Kupershmidt, What a classicalr-matrix really is,J
B. Kupershmidt, What a classicalr-matrix really is,J. Nonlinear Math. Phys.6 (1999) 448-488. 13
1999
-
[32]
Lauda and H
A. Lauda and H. Pfeiffer, Open-closed strings: two-dimensional extended TQFTs and Frobenius algebras, Topology Appl.155 (2005) 623-666. 3
2005
-
[33]
Lavau, Tensor hierarchies and Leibniz algebras,J
S. Lavau, Tensor hierarchies and Leibniz algebras,J. Geom. Phys.144 (2019) 147-189. 2
2019
-
[34]
Y . Lin, X. Liu and C. Bai, Differential antisymmetric infinitesimal bialgebras, coherent derivations and Poisson bialgebras,SIGMA Symmetry Integrability Geom. Methods Appl.19 (2023) 018. 3
2023
-
[35]
Y . Lin, P. Zhou and C. Bai, Infinite-dimensional Lie bialgebras via affinization of perm bialgebras and pre-Lie bialgebras,J. Algebra. 663 (2025) 210-258. 4, 11, 12, 24, 25 29
2025
-
[36]
Liu and C
G. Liu and C. Bai, Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebras,J. Algebra. 609 (2022) 337-379. 13, 20
2022
-
[37]
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. 24, 27
2024
-
[38]
Loday and B
J.-L. Loday and B. Vallette, Algebraic Operads, Springer. 2012. 2
2012
-
[39]
J. B. Miller, Averaging and Reynolds operators on Banach algebra I, Representation by derivation and an- tiderivations,J. Math. Anal. Appl.14 (1966) 527-548. 2
1966
-
[40]
Ni and C
X. Ni and C. Bai, Poisson bialgebras,J. Math. Phys.54 (2013) 023515. 3
2013
-
[41]
Ni and C
X. Ni and C. Bai, On quadri-bialgebras, in Forty Years of Algebraic Groups, Algebraic Geometry, and Repre- sentation Theory in China, in Memory of the Centenary Year of Xihua Cao’s Birth, Edited by J. Du, J.Wang and L. Lin, East China Normal University Scientific Reports 16, 7...
2023
-
[42]
Nicolai and H
H. Nicolai and H. Samtleben, Maximal gauged supergravity in three dimensions,Phys. Rev. Lett.86 (2001) 1686-1689. 2
2001
-
[43]
Symmetries and Groups in Contemporary Physics
J. Pei, C. Bai, L. Guo and X. Ni, Disuccessors and duplicators of operads, Manin products and operators, In “Symmetries and Groups in Contemporary Physics”, Nankai Series in Pure, Applied Mathematics and Theo- retical Physics. 11 (2013) 191-196. 2
2013
-
[44]
J. Pei, C. Bai, L. Guo and X. Ni, Replicators, Manin white product of binary operads and average operators, In: New Trends in Algebras and Combinatorics. (2020) 317-353. 2
2020
-
[45]
Pei and L
J. Pei and L. Guo, Averaging algebras, Schr ¨oder numbers, rooted trees and operads,J. Algebraic Combin.42 (2015) 73-109. 2
2015
-
[46]
Reynolds, On the dynamic theory of incompressible viscous fluids,Phil
O. Reynolds, On the dynamic theory of incompressible viscous fluids,Phil. Trans. Roy. Soc. A136 (1895) 123-164. 2
-
[47]
Rota, Reynolds operators,Proc
G.-C. Rota, Reynolds operators,Proc. Symposia Applied MathXVI (1964) Amer. Math. Soc. 70-83. 2
1964
-
[48]
Sheng, R
Y . Sheng, R. Tang and C. Zhu, The controllingL ∞-algebra, cohomology and homotopy of embedding tensors and Lie-Leibniz triples,Commun. Math. Phys.386(2021) 269-304. 2
2021
-
[49]
Tang and Y
R. Tang and Y . Sheng, Nonabelian embedding tensors,Lett. Math. Phys.113 (2023) 14. 2
2023
-
[50]
Wang and G
K. Wang and G. Zhou, Cohomology theory of averaging algebras,L ∞-structures and homotopy averaging algebras, arXiv:2009.11618. 2
2009 arXiv
- [51]
-
[52]
Zusmanovich, Invariants of Lie algebras extended over commutative algebras without unit,J
P. Zusmanovich, Invariants of Lie algebras extended over commutative algebras without unit,J. Nonlinear Math. Phys.17 (2010) 87-102. 11 ChernInstitute ofMathematics& LPMC, NankaiUniversity, Tianjin300071, China Email address:baicm@nankai.edu.cn Department ofMathematics andComp...
2010
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.