REVIEW 3 major objections 4 minor 1 cited by
The double shuffle Lie algebra injects into the Kashiwara-Vergne Lie algebra
T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper claims an injective Lie algebra morphism from the double shuffle Lie algebra into the Kashiwara-Vergne Lie algebra, completing a commutative triangle of injections with the Grothendieck-Teichmüller Lie algebra.
desk verdict The paper targets a real open problem and gives a plausible new route, but the proof has a concrete false uniqueness step in Corollary 1 that breaks the derivation of the key formula. 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 carrying device is the mould-theoretic derivation of Theorem 2: a unique derivation $D$ of the free Lie algebra on $a,b$ with $D(a)$ push-invariant, $D([a,b])=0$, $D(t_{02})=[f(t_{02},-t_{12}),t_{02}]$, and $D(a)$ of odd degree. Its action on the elements $t_{01},t_{02},t_{12}$ is pulled back along the isomorphism $x \mapsto t_{01}$, $y \mapsto t_{02}$ to produce the special derivation on $x,y$. The push-operator, which cyclically permutes the blocks of $x$'s between successive $y$'s, detects invariance; the partner formula $h=-g'$ converts push-invariance of $g=f(-x-y,-y)$ into the relation $D_{g,h}(x+y)=0$, and push-constancy of $g_y-g_x$ is shown equivalent to the divergence trace equation.
What would settle it
Compute the derivation $D$ given by Theorem 2 for an explicit homogeneous $f\in ds$ and check whether $D(t_{01})=[f(t_{01},-t_{12}),t_{01}]$, the equality used to define the special derivation; a failure would break the construction. A minimal test of the suspect uniqueness step is already available: $D(a)=0$, $D(b)=a$ is a nonzero derivation of $\mathrm{Lie}[a,b]$ with $D([a,b])=0$, so the stated justification in Corollary 1 cannot stand without added hypotheses.
Extended reading notes
Core claim
Theorem 1 is the paper's central claim: for every homogeneous $f\in ds$ of degree $n\geq 3$, with $g=f(-x-y,-y)$, there exists a Lie polynomial $h$ such that the tangential derivation given by $x \mapsto [x,h]$, $y \mapsto [y,g]$ satisfies $D_{g,h}(x+y)=0$ and the divergence condition $$\operatorname{tr}(h_{xx}+g_{yy})=c\operatorname{tr}\bigl((x+y)^n-x^n-y^n\bigr),$$ and the map $f \mapsto D_{g,h}$ is an injective Lie algebra morphism into $krv$. The proof proceeds by attaching to $f$ a derivation of the free Lie algebra on letters $a,b$ with prescribed action on the three elements $t_{01},t_{02},t_{12}$ built from a Bernoulli-series operator, then pulling this action back to $x,y$; push-invariance of $g$ makes the derivation special, and a push-constancy identity for $f_y$ yields the trace condition. The paper also states that the map is compatible with the known injections $grt\to ds$ and $grt\to krv$, so the three injections form a commutative triangle.
Load-bearing premise
The load-bearing premise is the assertion in Corollary 1 that a derivation of the free Lie algebra on $a,b$ that annihilates $[a,b]$ is uniquely determined by its value on $a$; that assertion is false in general, so the proof of Theorem 1 as written depends on an invalid uniqueness step.
Editorial extensions
If this is right
- Every double shuffle element would yield a Kashiwara-Vergne derivation, so the double shuffle relations directly produce solutions of the divergence equation with explicit constant $c=(f|x^{n-1}y)$.
- The commutative triangle of injections means the Grothendieck-Teichmüller Lie algebra embeds compatibly into both the double shuffle and Kashiwara-Vergne algebras, so invariants can be transferred along either route.
- The construction gives a proof that elements of $ds$ induce special derivations without relying on the previously unproved flexion result, replacing that dependence by mould-theory theorems.
- The formula for $h$ as the partner of $g$ makes the morphism algorithmic in principle: once $g$ is known, $h=-g'$ is determined, and the divergence check reduces to computing one coefficient of $f$.
Reading between the lines
- If the gap in Corollary 1 is repaired, the same mould-theoretic derivation may yield an explicit closed form for the partner $h$ rather than an existence proof, making the injection easier to compute.
- The paper's remark that the simpler derivation $x \mapsto [x,-f(x,-z)]$, $y \mapsto [y,-f(y,-z)]$ probably also satisfies the divergence condition suggests a testable shorter route; proving that would give a more direct injection.
- A natural extension is to check whether the same push-invariance machinery transfers to the linearised or elliptic variants of the Kashiwara-Vergne algebra mentioned in the paper, which would broaden the triangle to those settings.
- Because the divergence constant is read off from a single coefficient $(f|x^{n-1}y)$, low-degree computer checks on explicit $f\in ds$ could verify the construction numerically before the proof gap is settled.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a proof that the double shuffle Lie algebra ds injects into the Kashiwara-Vergne Lie algebra krv via the map f ↦ D_{g,h} with g = f(-x-y,-y), completing a commutative triangle with the known injections grt → ds and grt → krv. The argument proceeds by invoking a mould-theoretic derivation D on Lie[a,b] satisfying certain properties (Theorem 2), deriving formulas for D(t01), D(t02), D(t12) (Corollary 1), using these to prove push-invariance of f(y,-z) (Corollary 2, Lemma 5), constructing a special tangential derivation with the correct divergence condition, and finally checking the Lie morphism property.
Significance. If the main theorem is correct, it is a significant structural result: it closes the long-sought injection ds → krv and completes the commutative triangle grt → ds → krv. The paper is clearly written and honestly reports the previous incomplete proof and the reliance on work of Ecalle and of Enriquez–Furusho. The strategy is attractive and, except for the critical gap discussed below, the calculations are coherent. However, the central proof as written is invalid because of a false uniqueness assertion in Corollary 1; this gap cascades through Corollary 2, Lemma 5, and the construction of the special derivation in Theorem 1. The claimed theorem is therefore not established by this manuscript.
major comments (3)
- [Corollary 1] The proof of Corollary 1 uses the assertion that 'a derivation annihilating [a,b] is uniquely determined by its value on a.' This is false. For instance, the derivation E of Lie[a,b] defined by E(a)=0, E(b)=a satisfies E([a,b])=[E(a),b]+[a,E(b)]=0, so E annihilates [a,b] while vanishing on a but is not zero. Consequently, comparing D and D' = ιDι on a and [a,b] only shows that E = D-D' satisfies E(a)=0 and E([a,b])=0, which permits E(b) to be a scalar multiple of a. The claimed conclusion D' = D, hence D commutes with ι, is not established. The first line of (4), namely D(t01)=[f(t01,-t12),t01], depends directly on this commutativity and is therefore unsupported.
- [Corollary 2] Because the formula for D(t01) in (4) is not proven, the pullback derivation on Lie[x,y] displayed in (7) is not available as written. From D(t12)=0 and t01+t02+t12=0 one obtains only D(t01) = -D(t02) = -[f(t02,-t12),t02]. To arrive at the two displayed formulas in (7) one would need the nontrivial identity [f(t01,-t12),t01] = -[f(t02,-t12),t02], and no proof of this identity is given. Thus the asserted push-invariance of f(y,-z) in Corollary 2 is unsupported, and the subsequent Lemma 5 and the construction of the special derivation in Theorem 1 lack their required starting point.
- [Theorem 1] The proof of Theorem 1 depends on the push-invariance of f(z,-y) (Lemma 5), which in turn depends on Corollary 2. Since Corollary 2 is not established, the construction of the partner h via Theorem 2.1 of [12] and the verification of the divergence condition are not justified. Thus the main theorem is not proven within this manuscript. The statement may be true, but the presented chain of reasoning contains a load-bearing error that is not a local typo: the false uniqueness assertion is essential to the derivation of D(t01).
minor comments (4)
- [Theorem 1 proof, equation (14)] The displayed Poisson bracket in the proof of Theorem 1 reads '{f, f′}− Df (f′)− Df ′(f ) + [f, f′]', which conflicts with the definition given in §1 and with the line immediately following, where α(D_f(f') - D_f'(f) + [f,f']) is used. This appears to be a typographical error in the minus signs.
- [Remark after the main theorem] The commutative diagram is garbled in the text (the arrows appear as '/d32/d32' etc.), making it hard to read. Please redraw it with standard commutative-diagram syntax.
- [Lemma 4] The proof that the image of a push-orbit under ǫ breaks into r+1 push-orbits of length r is terse and would benefit from an explicit example, especially because the argument is used in Lemma 5.
- [End of Theorem 1 proof] The sentence 'is an injective Lie algebra morphism.' appears as a fragment. The paragraph describing the composition of maps ds → ds' → Der → Der should be expanded to show explicitly that the composed map sends f to the derivation with z ↦ 0 and y ↦ [y, f(z,-y)], and why this equals D_{g,h}.
Circularity Check
No circularity: the central construction is not defined in terms of its conclusion, and the heavy self-citation imports independent published results rather than the target theorem. The proof gap in Corollary 1 is a correctness issue, not a circular one.
full rationale
The derivation chain is not circular. Theorem 1 constructs, for each f in ds, the tangential derivation D_{g,h} with g = f(-x-y,-y) and h supplied by the partner formula (5); h is not fitted to the target divergence condition, nor is krv membership built into the definition of g. The load-bearing Theorem 2 is quoted as 'a compendium of known results from mould theory' with proofs located in the author's prior works [11] and [13]; those cited results are parameter-free, have stated hypotheses that do not include the target injection ds -> krv, and are independently published, so under the review rules they count as real evidence rather than circular self-citation. The same holds for the uses of Theorem 2.1 of [12] and the push-constant criterion from [12] in the divergence argument. The proof of Corollary 1 does contain a false assertion: 'a derivation annihilating [a,b] is uniquely determined by its value on a' is incorrect, since E(a)=0, E(b)=a gives a nonzero derivation with E([a,b])=0. But this is a mathematical gap in the written proof, not a reduction of the paper's conclusion to its own inputs; the statement of Theorem 1 is not defined in terms of Corollary 1, and no fitted parameter or self-referential definition is being relabeled as a prediction. The self-referential remarks about the unpublished preprint [6] and the personal communication with Enriquez and Furusho are not used as evidence for Theorem 1 and do not create circularity. Accordingly, the appropriate finding is no significant circularity, score 0.
Assumptions & free parameters
assumptions (4)
- domain assumption Theorem 2: there exists a unique derivation D of Lie[a,b] with D(a) push-invariant, D([a,b])=0, D(t02)=[f(t02,-t12),t02], and D(a) of odd degree
- domain assumption Theorem 2.1 of [12]: D_{g,h}(x+y)=0 if and only if g is push-invariant and h = -g'
- domain assumption Lemma 3.5 of [12]: if f_y is push-constant then for g = f(z,y), g_y - g_x is push-constant
- domain assumption Identity (11) from [3] (Carr and Schneps) describing coefficients of f_y for f in ds
Cite this review
Pith. "Pith review of The double shuffle Lie algebra injects into the Kashiwara-Vergne Lie algebra." pith.science (2026). https://pith.science/paper/X3FSE6CV
@misc{pith2026250414293,
author = {Pith},
title = {Pith review of: The double shuffle Lie algebra injects into the Kashiwara-Vergne Lie algebra},
year = {2026},
howpublished = {\url{https://pith.science/paper/X3FSE6CV}},
note = {Machine review of arXiv:2504.14293}
}
abstract
In this article we prove that there exists an injective Lie morphism from the double shuffle Lie algebra ${\frak{ds}}$ into the Kashiwara-Vergne Lie algebra ${\frak{krv}}$, forming a commutative triangle with the known Lie injections of the Grothendieck-Teichm\"uller Lie algebra ${\frak{grt}}\rightarrow {\frak{ds}}$ and ${\frak{grt}}\rightarrow{\frak{krv}}$.
Forward citations
Cited by 1 Pith paper
-
Double shuffle relations imply the infinitesimal hexagon equation
Every homogeneous element of the double-shuffle Lie algebra dmr_0 satisfies the infinitesimal hexagon equation [ψ(x,y),x]+[ψ(−x−y,y),−x−y]=0.
Reference graph
Works this paper leans on
-
[12]
Schneps, ARI, GARI, Zig and Zag, arXiv:1507.01534
L. Schneps, ARI, GARI, Zig and Zag, arXiv:1507.01534
-
[1]
A. Alekseev, C. Torossian, The Kashiwara-Vergne conjecture and Drinfeld’s associators, Annals of Math. 175 (2012), 415-463
work page 2012
-
[2]
Theorem 2 is a compendium of known results from mould theory, or iginally proven in various articles, but all of which can be found in in the basic mould theory reference wo rk [11]. Following the notation for Lie[ x, y], let Lie[ a, b] denote the degree-completedfree Lie algebra on two variables a and b. Let t01 = Berb(−a), t 02 = Ber−b(a), t 12 = [a, b]...
- [3]
-
[4]
S. Carr, L. Schneps, Combinatorics of the double shuffle Lie algeb ra, in Galois-Teichmller theory and Arithmetic Geometry, H. Nakamura, F. Pop, L. Schneps, A. Tamag awa, eds., Adv. Stud. Pure Math. 63, Mathematical Society of Japan, 2012
work page 2012
-
[5]
Dorigoni et al, Canonicalizing zeta generators: genus zero an d genus one, arXiv: 2406.05099v2
D. Dorigoni et al, Canonicalizing zeta generators: genus zero an d genus one, arXiv: 2406.05099v2
-
[6]
J. ´Ecalle, The flexion structure of dimorphy: flexion units, singulators , generators, and the enumeration of multizeta irreducibles, in Asymptotics in Dynamics, Geometry and PDEs; Generalized Bo rel Summation II, O. Costin, F. Fauvet, F. Menous, D. Sauzin, eds., Edizioni della Nor male, Pisa, 2011
work page 2011
-
[7]
B. Enriquez, H. Furusho, Double shuffle Lie algebra and special de rivations, preprint 2025
work page 2025
Show all 14 references
-
[8]
Furusho, Double shuffle relation for associators, Annals of Math
H. Furusho, Double shuffle relation for associators, Annals of Math. 174 (2011), 341-360
2011
-
[9]
Racinet, Doubles m´ elanges des polylogarithmes multiples aux ra cines de l’unit´ e.Publ
G. Racinet, Doubles m´ elanges des polylogarithmes multiples aux ra cines de l’unit´ e.Publ. Math. Inst. Hautes Etudes Sci. , 95 (2002), 185231
2002
-
[10]
Raphael, L
E. Raphael, L. Schneps, On linearised and elliptic versions of the Ka shiwara-Vergne Lie algebra, arXiv:1706.08299
-
[11]
Salerno, L
A. Salerno, L. Schneps, Mould theory and the double shuffle Lie a lgebra structure, in Periods in Quantum Field Theory and Arithmetic , J. Burgos Gil, K. Ebrahimi-Fard, H. Gangl, eds., Springer PROMS 314 , 2020, 399-430
2020
-
[13]
Schneps, Double shuffle and Kashiwara-Vergne Lie algebras, J
L. Schneps, Double shuffle and Kashiwara-Vergne Lie algebras, J. Alg 367 (2012), 54-74
2012
-
[14]
Schneps, Elliptic multizeta values, Grothendieck-Teichm¨ ullerand mould theory, Ann
L. Schneps, Elliptic multizeta values, Grothendieck-Teichm¨ ullerand mould theory, Ann. Math. Qu´ ebec 44 (2) (2020), 261-289, updated version with minor corrections arX iv:1506.09050. 6
2020 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.