Pith. sign in

REVIEW 6 minor 15 references

Double shuffle relations imply the infinitesimal hexagon equation

T0 review · 0 major / 6 minor · reviewed 2026-07-31 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Double shuffle relations force the infinitesimal hexagon equation on the Racinet Lie algebra.

desk verdict Short clean proof that dmr_0 satisfies the infinitesimal hexagon; genuine incremental advance toward grt_1 ≅ dmr_0. read the letter →

arxiv 2607.28163 v1 pith:EBZSNYOB submitted 2026-07-30 math.QA

Muze Ren This is my paper · ORCID
classification math.QA MSC 11M3217B0116T05
keywords doubleshuffleLiealgebrainfinitesimalhexagonequationmultiplezetavaluesharmonicHopfGrothendieck-TeichmüllerspecialderivationsRacinet
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that every element of the double-shuffle Lie algebra dmr_0 automatically obeys the infinitesimal hexagon identity that appears in the definition of the Grothendieck–Teichmüller Lie algebra. Until now that identity was known only after imposing extra equations; here it is deduced solely from the double-shuffle relations that encode the algebraic structure of multiple zeta values. The argument works by comparing the antipodes of two Hopf algebras—one coming from free non-commutative polynomials, the other from the harmonic coproduct—and showing that their failure to commute vanishes precisely on dmr_0. The resulting symmetry is stronger than the special-derivation property previously obtained, and it supplies new evidence that the two Lie algebras may coincide.

What carries the argument

The linear map Q that measures the failure of the two antipodes to commute through the regularisation map (−)*; on dmr_0 one has Q(ψ) = 0, which forces the coefficient identity a_y(z,y) = a_y(x,y) and thereby the hexagon equation via a free-Lie-algebra lemma.

What would settle it

Compute the homogeneous component of lowest degree in dmr_0, evaluate both sides of the claimed hexagon identity as Lie polynomials, and check whether the difference is the zero series.

Watch

Extended reading notes

Core claim

For every homogeneous element ψ of degree at least 3 in the double-shuffle Lie algebra dmr_0 one has the identity [ψ(x,y),x] + [ψ(−x−y,y),−x−y] = 0. The two cyclic permutations of the same relation follow at once by S_3 symmetry of the variables x, y, z = −x−y.

Load-bearing premise

The closed-form expression for the antipode of the harmonic Hopf algebra, obtained by inverting a single group-like generating series, must be correct; if that formula fails the subsequent coefficient comparison collapses.

Editorial extensions

If this is right

  • Every double-shuffle element is automatically a special derivation in the sense of the Kashiwara–Vergne problem.
  • The three cyclic forms of the infinitesimal hexagon hold simultaneously for every element of dmr_0.
  • The inclusion of the Grothendieck–Teichmüller Lie algebra into dmr_0 is compatible with the hexagon equation without extra hypotheses.
  • Any future proof that dmr_0 equals grt_1 can omit a separate verification of the hexagon relation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same antipode comparison may produce further hidden linear relations inside dmr_0 beyond the hexagon.
  • An explicit low-degree basis of dmr_0 could now be checked for hexagon compliance by machine, giving an independent numerical test of the theorem.
  • The method suggests that other regularisation maps between Hopf algebras of multiple zeta values might force additional Drinfeld-type equations.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper proves that every element ψ of Racinet’s double-shuffle Lie algebra dmr_0 satisfies the infinitesimal hexagon equation [ψ(x,y),x]+[ψ(−x−y,y),−x−y]=0 (Theorem 1.2), together with its two S_3-cyclic companions (Corollary 1.3). The argument compares the concatenation Hopf algebra on K⟨⟨x,y⟩⟩ with the harmonic Hopf algebra on the Y_m-generators via the regularization map (−)^*; primitivity of ψ and of ψ^* forces the two antipodes to agree on ψ, and an explicit formula for the harmonic antipode then yields a_y(z,y)=a_y(x,y) for homogeneous a∈dmr_0. A standard free-Lie-algebra lemma on lexicographic support converts that equality into the hexagon identity. As a corollary one obtains an explicit special-derivation representative, strengthening the existence result of Enriquez–Furusho.

Significance. The result sits cleanly between three well-studied objects (dmr_0, grt_1, and the Kashiwara–Vergne/special-derivation Lie algebra). Showing that the special-derivation partner of ψ can be taken to be ψ itself evaluated at (z,y) is a concrete strengthening of the known inclusion of dmr_0 into special derivations and supplies further structural evidence for the conjectured isomorphism grt_1≃dmr_0. The proof is short, self-contained, and uses only standard Hopf-algebra and free-Lie-algebra techniques; the explicit antipode computation for the harmonic Hopf algebra appears to be new in this form and may be reusable. For a short note the contribution is solid and of clear interest to the MZV/GT community.

minor comments (6)
  1. [§2, first paragraph] Notation for the free generators is inconsistent: §2 opens with A=K⟨⟨x_0,x_1⟩⟩ and then immediately switches to x,y (and later z) without a formal identification. A single sentence equating x_0=x, x_1=y (or e_0,e_1 as in [8]) would remove ambiguity.
  2. [throughout] Typographical errors that should be corrected before publication: “Corallory” (twice), “infinitesmial”, “writting”, “Mooer” (Moore), “non empty”, “Rela tions/Equa tion/T eichmuller/V ergne” (title/section headings), and several missing spaces after commas/periods.
  3. [§2, Eq. (5) and Prop. 2.3] In the definition of Q (Eq. (5)) the composition is written (−)^*∘S−S^*∘(−)^*; the subsequent proof of Prop. 2.3 uses S(ψ)^*−S^*(ψ^*). The two expressions agree only after using S(ψ)=−ψ, which is fine, but writing Q consistently as one or the other would avoid a momentary mismatch for the reader.
  4. [Lemma 2.5] Lemma 2.5(1) states rev(a)=(−1)^{n−1}a for homogeneous Lie polynomials; the short proof via S(a)=−a is correct, but it would help to recall that the antipode on a word of length n is (−1)^n rev(w), so the sign arithmetic is transparent.
  5. [Prop. 2.4] The generating-function identity G(t)=(1−tx)^{−1}(1+tz) in the proof of Prop. 2.4 is standard but slightly compressed; adding one line that expands (1−tx)^{−1}y in the Y_m basis would make the closed form completely elementary for non-specialists.
  6. [References] References [8] and [15] are cited as arXiv preprints; if final versions or DOIs become available they should be updated. Also, the classical Cartier–Quillen–Milnor–Moore citation is given as [3] (Cartier–Patras monograph); a pointer to the original MQ/MM papers is optional but conventional.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: hexagon identity is derived from dmr_0 primitivity via independent antipode comparison, not assumed or fitted.

full rationale

The paper starts from Racinet’s external definition of dmr_0 (primitivity of the regularized series ψ* under the harmonic coproduct Δ*) and derives the infinitesimal hexagon equation by comparing the concatenation antipode S with the harmonic antipode S* through the regularization map. The key computational inputs—closed form of the group-like series G(t), the explicit formula S*(Y_m)=(−1)^m z^{m−1}y, the free-Lie lemmas on lexicographic leading words, and Racinet’s vanishing (a|x^{n−1}y)=0 in even degree—are either elementary Hopf-algebra identities or cited external theorems; none is defined in terms of the hexagon equation, fitted to force it, or smuggled in by self-citation. The author does not cite their own prior uniqueness or ansatz results as load-bearing. The derivation is therefore self-contained against its stated inputs and exhibits no reduction of the claimed identity to its premises by construction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The proof rests on standard Hopf-algebra and free-Lie-algebra facts together with Racinet’s definition of dmr_0. No numerical parameters are fitted and no new algebraic objects are postulated beyond the already-standard harmonic Hopf algebra and regularization map.

assumptions (4)
  • standard math Cartier–Quillen–Milnor–Moore theorem: a connected graded bialgebra over a field of characteristic zero is a Hopf algebra (possesses an antipode).
    Invoked to guarantee the existence of the harmonic antipode S_* on K⟨⟨Y⟩⟩.
  • domain assumption Racinet’s definition: ψ 屝 L(x,y) of degree ≥ 3 lies in dmr_0 precisely when the regularized series ψ* is primitive for the harmonic coproduct.
    Starting point of the whole argument (Definition 2.2).
  • domain assumption For homogeneous a 屝 dmr_0 of even degree the coefficient (a|x^{n−1}y) vanishes (Racinet, Prop. 3.3.3).
    Used in Corollary 2.7 / Theorem 2.9 to obtain a_y(z,y)=a_y(x,y) without a residual term.
  • standard math A homogeneous Lie polynomial whose support consists only of words that begin and end with the same letter is zero (Lemma 2.10–Corollary 2.11).
    Classical fact about free Lie algebras, proved in the text via lexicographic order.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Double shuffle relations imply the infinitesimal hexagon equation." pith.science (2026). https://pith.science/paper/EBZSNYOB

@misc{pith2026260728163,
  author       = {Pith},
  title        = {Pith review of: Double shuffle relations imply the infinitesimal hexagon equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EBZSNYOB}},
  note         = {Machine review of arXiv:2607.28163}
}
abstract

Double shuffle Lie algebra $\mathfrak{dmr}_0$ was introduced by G.~Racinet in the algebraic study of the multiple zeta values. In this note, we prove that for any $\psi\in \mathfrak{dmr}_0$, it satisfies the infinitesimal hexagon equation $[\psi(x,y),x]+[\psi(-x-y,y),-x-y]=0$. The proof is through the comparison of two different Hopf algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 1 linked inside Pith

  1. [1]

    Alekseev and C

    A. Alekseev and C. Torossian. The Kashiwara-Vergne conjecture and Drinfeld’s associators.Annals of Mathe- matics, 175:415–463, 2012

    2012

  2. [2]

    F. Brown. Mixed Tate motives over Z.Annals of Mathematics, 175:949–976, 2012

    2012

  3. [3]

    Cartier and F

    P. Cartier and F. Patras.Classical Hopf algebras and their applications, volume 29 ofAlgebra and Applications. Springer, Cham, [2021]©2021

    2021

  4. [4]

    P. Deligne. Le groupe fondamental de la droite projective moins trois points. InGalois groups overQ(Berkeley, CA, 1987), volume 16 ofMath. Sci. Res. Inst. Publ., pages 79–297. Springer, New York, 1989

    1987

  5. [5]

    Deligne and A

    P. Deligne and A. B. Goncharov. Groupes fondamentaux motiviques de Tate mixte.Ann. Sci. ´Ecole Norm. Sup. (4), 38(1):1–56, 2005

    2005

  6. [6]

    Drinfeld

    V. Drinfeld. On quasitriangular quasi-Hopf algebras and on a group that is closely connected with Gal( Q/Q). Leningrad Math. J., 2(4):829–860, 1991

    1991

  7. [7]

    J. Ecalle. The flexion structure and dimorphy: flexion units, singulators, generators, and the enumeration of multizeta irreducibles. InAsymptotics in dynamics, geometry and PDEs; generalized Borel summation. Vol. II, volume 12 ofCRM Series, pages 27–211. Ed. Norm., Pisa, 2011. With computational assistance from S. Carr

    2011

  8. [8]

    Enriquez and H

    B. Enriquez and H. Furusho. Double shuffle Lie algebra and special derivations.arXiv:2505.02265[math.AG], 2025

    arXiv 2025

Show all 15 references
  1. [9]

    H. Furusho. Pentagon and hexagon equations.Ann. of Math. (2), 171(1):545–556, 2010

    2010

  2. [10]

    H. Furusho. Double shuffle relation for associators.Annals of Mathematics, 174:341–360, 2011

    2011

  3. [11]

    Ihara, M

    K. Ihara, M. Kaneko, and D. Zagier. Derivation and double shuffle relations for multiple zeta values.Compos. Math., 142(2):307–338, 2006

    2006

  4. [12]

    Y. Ihara. On the stable derivation algebra associated with some braid groups.Israel Journal of Mathematics, 80(1-2):135–153, 1992

    1992

  5. [13]

    Kawamura

    H. Kawamura. Ecalle’s senary relation and dimorphic structures, Sept. 2025

    2025

  6. [14]

    G. Racinet. Doubles m´ elanges des polylogarithmes multiples aux racines de l’unit´ e.Publ. Math. Inst. Hautes ´Etudes Sci., pages 185–231, 2002. DOUBLE SHUFFLE RELATIONS IMPLY THE INFINITESIMAL HEXAGON EQUATION 7

    2002

  7. [15]

    L. Schneps. The double shuffle Lie algebra injects into the Kashiwara-Vergne Lie algebra. arXiv:2504.14293[math.RA], 2025. Institut de Recherche Math ´ematique A vanc´ee, UMR 7501, Universit ´e de Strasbourg et CNRS, 7 rue Ren´e Descartes, 67000 Strasbourg, France Email addres...

    2025 arXiv

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.