REVIEW 3 major objections 4 minor 1 cited by
On post-Lie structures for free Lie algebras
T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper shows that every graded post-Lie structure on a free Lie algebra determines an explicit dual coproduct for its Grossman-Larson product, and that the Ihara, ari, and uri brackets fit this pattern, yielding a conditional post-Lie…
desk verdict Solid unconditional core (general dual-coproduct formula plus Ihara/ari constructions) with a clearly flagged conjectural uri-bracket half; deserves peer review, not desk rejection. 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 load-bearing object is a post-Lie algebra $(\mathrm{Lie}(A), [\cdot,\cdot], \triangleright)$: a free Lie algebra with its usual bracket and a bilinear product $\triangleright$ that acts as a derivation in the second argument and satisfies the post-Lie identity that makes $x\triangleright y - y\triangleright x + [x,y]$ a second Lie bracket. The central computational tool is the reduced triangle map $\Phi^{\mathrm{irr}}$, which records only the part of the dual of $\triangleright$ whose right factor is a single generator; the universal formula for the dual coproduct inserts $\Phi^{\mathrm{irr}}$ at every split of a word. For the uri bracket, the additional combinatorial ingredient is the family of threshold shuffle identities, conditions on Bernoulli numbers that are needed to verify the post-Lie axiom for the uri triangle map.
What would settle it
Compute the Bernoulli numbers $B_1(m,n)$ and test the threshold shuffle identities of Definition A.5 for parameter tuples $(d_1,d_2,\sigma,\tau,\vartheta)$ beyond those checked numerically; a single failure would disprove Conjecture A.7 and remove the post-Lie axiom from $(\mathrm{Lie}(V),\triangleright_u)$, while a proof for all tuples would complete Theorem 5.11. Alternatively, search for a word $w$ whose $\Delta_a(w)$ right tensor factor violates the conjectural k-level filtration of Conjecture 4.29.
Extended reading notes
Core claim
For any graded post-Lie algebra on a free Lie algebra $(\mathrm{Lie}(A), [\cdot,\cdot], \triangleright)$, the coproduct $\Delta_f$ dual to the Grossman-Larson product $f$ is given on a word $A$ by summing over all decompositions $A=A_1\cdots A_n$ of $(A_1\otimes 1) \;\bar{\shuffle}\; \Phi^{\mathrm{irr}}(A_2) \;\bar{\shuffle}\; \cdots \;\bar{\shuffle}\; \Phi^{\mathrm{irr}}(A_n)$, where $\Phi^{\mathrm{irr}}$ is the reduced triangle map dual to $\triangleright$ on single-letter right factors and $\bar{\shuffle}$ is shuffle on the left tensor factor times concatenation on the right. The paper shows that for the Ihara bracket on $\mathrm{Lie}(x_0,x_1)$ this formula reproduces the Goncharov coproduct, and for the ari bracket it yields explicit and effective formulas for the Grossman-Larson product and its dual coproduct. For the uri bracket, assuming the Bernoulli numbers satisfy the threshold shuffle identities, the triple $(\mathrm{Lie}(V),[\cdot,\cdot],\triangleright_u)$ is a post-Lie algebra whose induced Lie bracket is expected to restrict to the dual of indecomposables of formal multiple q-zeta values.
Load-bearing premise
The entire uri-bracket construction rests on Conjecture A.7: the Bernoulli numbers must satisfy the threshold shuffle identities, a family of identities checked numerically in many cases but not proved; if they fail, the uri post-Lie algebra and its dual Hopf pair collapse, leaving only the unconditional depth-graded ari results.
Editorial extensions
If this is right
- Every graded post-Lie structure on a free Lie algebra yields a dual pair of graded Hopf algebras $(\mathbb{Q}\langle A\rangle, \shuffle, \Delta_f) \leftrightarrow (\mathbb{Q}\langle A\rangle, f, \Delta_{\shuffle})$, giving a uniform framework for Goncharov-type coproducts.
- For the Ihara bracket, the dual coproduct equals the Goncharov coproduct, so that construction is recovered without formal iterated integrals.
- The ari-bracket Hopf pair is unconditional: explicit formulas for $f_a$ and $\Delta_a$ give a concrete depth-graded model for formal multiple q-zeta values modulo formal quasi-modular forms.
- If the threshold shuffle identities hold, the uri bracket produces a dual Hopf pair whose depth-graded version is exactly the ari-bracket Hopf pair, connecting the two models by a natural isomorphism.
- The right tensor factor of $\Delta_a$ preserves the subspace generated by $v_1,v_2,v_3$, a property that the paper views as a step toward a q-analogue of the theorem that multiple zeta values are spanned by indices in $\{2,3\}$.
Reading between the lines
- If the conjectured one-parameter family of threshold shuffle identities holds, the uri construction deforms as a parameter $t$ varies, suggesting a whole family of post-Lie structures interpolating between the depth-graded ari model and the full uri model; the paper does not explore this deformation.
- The reduced-triangle coproduct formula is likely to be a general template for computing dual coproducts in other post-Lie settings, such as Lie-Butcher theory or regularity structures, where explicit dual coproducts are often hard to obtain.
- The conjectural k-level filtration on $\Delta_a$ can be tested computationally on words of increasing length; a proof would sharpen the analogy with the filtration arguments used for classical multiple zeta values and might point toward an explicit generating set for formal multiple q-zeta values.
- If the expected isomorphism between $\mathfrak{bm}_0$ with the uri bracket and alternil bimoulds with the uri bracket is established, it would independently show that $\mathfrak{bm}_0$ is a Lie algebra, since the bimould operation is known to preserve the relevant space in low depths.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a general framework for post-Lie structures on free Lie algebras and for the Hopf algebra structures induced on their enveloping algebras via the Grossman-Larson product. Its central result, Theorem 2.4, gives an explicit formula for the coproduct dual to the Grossman-Larson product on the free algebra Q⟨A⟩ in terms of a reduced cotriangle map. This is applied to three families: the Ihara bracket, the ari bracket, and the uri bracket. For Ihara, the authors recover the Goncharov coproduct; for ari, they give explicit formulas for the Grossman-Larson product and its dual coproduct; for uri, they construct a post-Lie structure conditional on Conjecture A.7, a family of Bernoulli-number identities. Section 6 relates these structures to Ecalle's bimoulds, giving an identification for the ari bracket and a conjectural correspondence for the uri bracket. The paper is careful to mark many of the q-zeta statements as conjectural.
Significance. If the main results hold, Theorem 2.4 is a genuinely useful and clean contribution to the theory of dual Hopf algebras attached to post-Lie algebras; the explicit Ihara and ari formulas, together with the recovery of the Goncharov coproduct, are concrete and valuable. The identification of the ari bracket with a post-Lie structure on a free Lie algebra is an instructive bridge between post-Lie theory and Ecalle's bimoulds. The paper is honest about its conditional parts: the uri construction is explicitly contingent on Conjecture A.7, and the relation to formal multiple q-zeta values is described as expected rather than established. However, since the uri section and the advertised q-zeta application depend on unproved identities for which no reproducible numerical evidence is supplied, that part of the paper remains conditional in a strong sense.
major comments (3)
- [§5, Theorems 5.11 and 5.14] Both theorems are conditional on Conjecture A.7, which asserts an infinite family of identities for Bernoulli numbers. The conjecture is not proved, and the numerical checks mentioned in the introduction and Appendix A.2 are not accompanied by code or data specifying the range or the computational method. Since Theorem 5.11 is the only route to the post-Lie structure for the uri bracket, this is load-bearing for the q-zeta application: if Conjecture A.7 fails, Theorem 5.14 and the uri part of Section 6 lose their foundation. Please either prove the conjecture, or include reproducible verification with a precise range, and state clearly in the abstract and introduction which results are unconditional.
- [§6, Remark 6.12] Even assuming Conjecture A.7, the statement that the induced uri bracket restricts to bm0 and that bm0 is isomorphic to BARIil,swap is formulated as an expectation, not as a theorem. The abstract and introduction should not imply that the dual of indecomposables of formal multiple q-zeta values is known to carry this Lie structure; currently the q-zeta conclusion is doubly conjectural, depending both on Conjecture A.7 and on the unproved closure of bm0 under the uri bracket.
- [§6, Theorem 6.5] The key identification of the ari post-Lie structure with Ecalle's arit bracket is delegated to [Bur23, Proposition 5.70] without reproducing the computation. Since this identification is central to the paper's claim that the ari bracket 'aligns with Ecalle's theory of bimoulds', the authors should either include the proof of that proposition or provide a detailed enough summary that the reader can verify the step without consulting the thesis.
minor comments (4)
- [§4, Theorem 4.25] The formula for ∆a is very hard to parse as typeset, especially the conditions 'ls=H or |ls|≤kjs−1' and the notation 'mpkj1,...,jn+l, pkj1,...,jn'. Please add a short explanation of the indexing conventions or spell out a small example beyond the one already given.
- [Appendix A.2, Conjecture A.7] The conjecture is stated abstractly, but the numerical evidence is only described as 'checked in a lot of cases'. Please specify the weight/depth ranges that were checked and include the PARI/GP code so the checks are reproducible.
- [Throughout] There are several typos and minor errors: 'Ecallé' in the first paragraph of Section 6, 'Propositon' in Proposition 4.27, 'unqiue' in the proof of Theorem 1.26, and 'f' missing in the sentence 'we focus on the algebra of formal multiple zeta values' in the introduction. These should be corrected.
- [§5, Remark 5.9] The generalization of Lemma 5.8 to n factors is stated as checked only up to degree 15 and not proved. If this formula is used in any of the paper's conclusions, its conjectural status should be flagged; otherwise it would be helpful to note explicitly that it is not needed for the main theorems.
Circularity Check
No significant circularity: the core dual-coproduct derivation is self-contained; self-citations appear only for context and supporting identifications.
full rationale
The central derivation chain is not circular. Theorem 2.4 is obtained by dualizing the Grossman–Larson product using the reduced triangle map; it is an explicit expansion of the defining duality pairing, not an input renamed as an output. The Ihara and ari applications (Theorems 3.15, 4.25, 4.30) are proven from the definitions of the relevant triangle maps, with the ari bracket further identified with Ecalle's ari bracket by direct computation. The uri section is explicitly conditional: Theorem 5.11 says the post-Lie axioms hold 'under the assumption that the Bernoulli numbers satisfy the threshold shuffle identities from Definition A.5', and the proof reduces exactly to Conjecture A.7. This is a genuine unproved combinatorial hypothesis about Bernoulli numbers, not a quantity fitted to the desired q-zeta conclusion, and the paper does not claim an unconditional uri result. The same holds for Remark 6.12, where the restriction to bm0 is labeled as an expectation. Self-citations to [BCK24], [Bur23], [Küh19] and [Bur25] are used for motivation, background, or the pre-existing uri/algebraic setup, but the present post-Lie theorems do not rely on those citations as their proof. Thus the paper's main dual-coproduct contribution and the unconditional ari results are self-contained; the only serious weakness is the unproved Conjecture A.7, which is a correctness risk, not a circular step.
Assumptions & free parameters
assumptions (5)
- standard math U(Lie(A)) is isomorphic to the free noncommutative algebra Q<A> with the shuffle coproduct
- domain assumption The weight and depth gradings have finite-dimensional homogeneous components, so graded duals exist as Hopf algebras
- ad hoc to paper Conjecture A.7: the Bernoulli numbers satisfy the threshold shuffle identities
- standard math Lazard elimination gives Lie(V) is isomorphic to Lie(C_bi) plus Q v0
- ad hoc to paper [Bur23, Proposition 5.70] supplies the decisive computation for the ari and bimould identification
invented entities (1)
-
Conjectural post-Lie product Źu on Lie(V) for the uri bracket
Cite this review
Pith. "Pith review of On post-Lie structures for free Lie algebras." pith.science (2026). https://pith.science/paper/5LDDQTZO
@misc{pith2026250419661,
author = {Pith},
title = {Pith review of: On post-Lie structures for free Lie algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/5LDDQTZO}},
note = {Machine review of arXiv:2504.19661}
}
abstract
We study post-Lie structures on free Lie algebras, the Grossman-Larson product on their enveloping algebras, and provide an abstract formula for its dual coproduct. This might be of interest for the general theory of post-Hopf algebras. Using a magmatic approach, we explore post-Lie algebras connected to multiple zeta values and their $q$-analogues. For multiple zeta values, this framework yields an algebraic interpretation of the Goncharov coproduct. Assuming that the Bernoulli numbers satisfy the so called threshold shuffle identities, we present a post-Lie structure, whose induced Lie bracket we expect to restrict to the dual of indecomposables of multiple $q$-zeta values. Our post-Lie algebras align with Ecalle's theory of bimoulds: we explicitly identify the ari bracket with a post-Lie structure on a free Lie algebra, and conjecture a correspondence for the uri bracket.
Forward citations
Cited by 1 Pith paper
-
Post-Lie deformations of pre-Lie algebras and their applications in Regularity Structures
The paper constructs a differential graded Lie algebra and cohomology that govern post-Lie deformations of pre-Lie algebras, and exhibits the decorated-tree post-Lie algebra of Regularity Structures as a formal post-L...
Reference graph
Works this paper leans on
-
[1]
M. J. H. Al-Kaabi, K. Ebrahimi-Fard, and D. Manchon, Post- L ie M agnus expansion and BCH -recursion , SIGMA Symmetry Integrability Geom. Methods Appl. 18 (2022), Paper No. 023, 16
work page 2022
-
[2]
G. E. Andrews, Compositions and Chebyshev polynomials , From operator theory to orthogonal polynomials, combinatorics, and number theory. A volume in honor of Lance Littlejohn's 70th birthday, Cham: Birkh \"a user, 2021, pp. 1--14 (English)
work page 2021
-
[3]
Henrik Bachmann and Annika Burmester, Combinatorial multiple Eisenstein series , Res. Math. Sci. 10 (2023), no. 3, 32 (English), Id/No 35
work page 2023
-
[4]
A. Burmester, N. Confurius, and U. K\"uhn, AGZT -lectures on formal multiple zeta values , 2024, arxiv:2406.13630 https://arxiv.org/abs/2406.13630
arXiv 2024
-
[5]
J. I. Burgos-Gil and J. Fr es \'a n, Multiple zeta values: from numbers to motives, (version September 2022), http://javier.fresan.perso.math.cnrs.fr/mzv.pdf
work page 2022
-
[6]
C. Bai, L. Guo, Y. Sheng, and R. Tang, Post-groups, ( L ie-) B utcher groups and the Y ang- B axter equation , Math. Ann. 388 (2024), no. 3, 3127--3167. 4705761
work page 2024
-
[7]
Henrik Bachmann and Ulf K \"u hn, A dimension conjecture for \(q\) -analogues of multiple zeta values , Periods in quantum field theory and arithmetic. Based on the presentations at the research trimester on multiple zeta values, multiple polylogarithms, and quantum field theory, ICMAT 2014, Madrid, Spain, September 15--19, 2014, Cham: Springer, 2020, pp....
work page 2014
-
[8]
Brown, Mixed T ate motives over Z , Annals of Mathematics 175 (2012), 949--976
F. Brown, Mixed T ate motives over Z , Annals of Mathematics 175 (2012), 949--976
work page 2012
Show all 35 references
-
[9]
, Depth-graded motivic multiple zeta values, Compos. Math. 157 (2021), 529--572
2021
-
[10]
Henrik Bachmann and Koji Tasaka, The double shuffle relations for multiple Eisenstein series , Nagoya Math. J. 230 (2018), 180--212 (English)
2018
-
[11]
Burde, Crystallographic actions on L ie groups and post- L ie algebra structures , Communications in Mathematics 29 (2021), no
D. Burde, Crystallographic actions on L ie groups and post- L ie algebra structures , Communications in Mathematics 29 (2021), no. 1, 67--89
2021
-
[12]
Burmester, An algebraic approach to multiple q-zeta values, PhD Thesis, Universit \"a t Hamburg (2023)
A. Burmester, An algebraic approach to multiple q-zeta values, PhD Thesis, Universit \"a t Hamburg (2023)
2023
-
[13]
, Balanced multiple q -zeta values, Advances in Mathematics 349 (2024)
2024
-
[14]
, An extended bigraded L ie algebra arising from multiple zeta values , In preparation (2025)
2025
-
[15]
Henrik Bachmann, Jan-Willem van Ittersum, and Nils Matthes, F ormal multiple E isenstein series and their derivations , 2024, arxiv:2312.04124 https://arxiv.org/abs/2312.04124
2024
-
[16]
Pierre Catoire, The C artier- Q uillen- M ilnor- M oore theorem in the P ost- H opf case , 2024, arxiv:2401.09116 https://arxiv.org/abs/2401.09116
2024 arXiv
-
[17]
Confurius, in preparation, PhD Thesis, Universit \"a t Hamburg
N. Confurius, in preparation, PhD Thesis, Universit \"a t Hamburg
-
[18]
J. Ecalle, A tale of three structures: the arithmetics of multizetas, the analysis of singularities, the L ie algebra ARI , Differential equations and the S tokes phenomenon, World Sci. Publ., River Edge, NJ, 2002, pp. 89--146
2002
-
[19]
, The flexion structure and dimorphy: flexion units, singulators, generators and the enumeration of multizeta irreducibles, Asymptotics in Dynamics, Geometry and PDEs; Generalized Borel Summation Volume II, Publications of the Scuola Normale Superiore Volume 12, 2011, pp. 27--211
2011
-
[20]
Ebrahimi-Fard, A
K. Ebrahimi-Fard, A. Lundervold, and H. Munthe-Kaas, On the L ie enveloping algebra of a P ost- L ie A lgebra , Journal of Lie Theory 25 (2015), no. 4, 1139--1165
2015
-
[21]
Ebrahimi-Fard and I
K. Ebrahimi-Fard and I. Mencattini, Post- L ie algebras, factorization theorems and isospectral flows , Discrete mechanics, geometric integration and L ie- B utcher series, Springer Proc. Math. Stat., vol. 267, Springer, Cham, 2018, pp. 231--285
2018
-
[22]
Foissy, Extension of the product of a post- L ie algebra and application to the SISO feedback transformation group , 2017, arxiv:1705.08132 https://arxiv.org/abs/1705.08132v1
L. Foissy, Extension of the product of a post- L ie algebra and application to the SISO feedback transformation group , 2017, arxiv:1705.08132 https://arxiv.org/abs/1705.08132v1
2017 arXiv
-
[23]
A. B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative geometry, Duke Math. J. 128 (2005), no. 2, 209--284
2005
-
[24]
M. E. Hoffman and K. Ihara, Quasi-shuffle products revisited, J. Algebra 481 (2017), 293--326
2017
-
[25]
Jacques and L
J.-D. Jacques and L. Zambotti, Post- L ie algebras of derivations and regularity structures , 2024, arxiv:2306.02484 https://arxiv.org/abs/2306.02484v2
2024
-
[26]
K \"u hn, Lie-algebras associated to multiple q-zeta values, Expansions, Lie Algebras, and Invariants
U. K \"u hn, Lie-algebras associated to multiple q-zeta values, Expansions, Lie Algebras, and Invariants. Workshop at CRM, Montreal, 2019, www.math.utoronto.ca/ drorbn/Talks/CRM-1907/Kuehn\_montreal\_2019.pdf https://www.math.utoronto.ca/ drorbn/Talks/CRM-1907/Kuehn_montreal_2019.pdf
2019
-
[27]
Li, On the sub-adjacent H opf algebra of the universal enveloping algebra of a post- L ie algebra , 2024, arxiv:2408.01345 https://arxiv.org/abs/2408.01345v1
Y. Li, On the sub-adjacent H opf algebra of the universal enveloping algebra of a post- L ie algebra , 2024, arxiv:2408.01345 https://arxiv.org/abs/2408.01345v1
2024 arXiv
-
[28]
Luque, J.-C
J.-G. Luque, J.-C. Novelli, and J.-Y. Thibon, Period polynomials and I hara brackets , J. Lie Theory 17 (2007), 229–--239
2007
-
[29]
Yunnan Li, Yunhe Sheng, and Rong Tang, P ost- H opf algebras, relative R ota- B axter operators and solutions of the Y ang- B axter equation , 2022, arxiv:2203.12174 https://arxiv.org/abs/2203.12174
2022 arXiv
-
[30]
H. Z. Munthe-Kaas and A. Lundervold, On post- L ie algebras, L ie- B utcher series and moving frames , Found. Comput. Math. 13 (2013), no. 4, 583--613
2013
-
[31]
Racinet, Séries génératrices non-commutatives de polyzêtas et associateurs de D rinfeld , Thesis, Laboratoire Amiénois de Mathématique Fondamentale et Appliquée (2000)
G. Racinet, Séries génératrices non-commutatives de polyzêtas et associateurs de D rinfeld , Thesis, Laboratoire Amiénois de Mathématique Fondamentale et Appliquée (2000)
2000
-
[32]
Reutenauer, Free L ie algebras , Oxford University Press (1993)
C. Reutenauer, Free L ie algebras , Oxford University Press (1993)
1993
-
[33]
Schneps, ARI , GARI , Z ig and Z ag: A n introduction to E calle's theory of multiple zeta values , 2015/25, arxiv:1507.01534v3 https://arxiv.org/abs/1507.01534
L. Schneps, ARI , GARI , Z ig and Z ag: A n introduction to E calle's theory of multiple zeta values , 2015/25, arxiv:1507.01534v3 https://arxiv.org/abs/1507.01534
2015 arXiv
-
[34]
M. E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969
1969
-
[35]
Vallette, Homology of generalized partition posets, J
B. Vallette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2007), no. 2, 699--725
2007
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.