pith. sign in

arxiv: 2605.20844 · v1 · pith:FPFAX3HCnew · submitted 2026-05-20 · 🧮 math.QA · math.GT

Brunnian braids and the inclusion from double shuffle Lie algebra to Kashiwara-Vergne Lie algebra

Muze Ren This is my paper

Pith reviewed 2026-05-21 02:17 UTC · model grok-4.3

classification 🧮 math.QA math.GT
keywords double shuffle Lie algebraKashiwara-Vergne Lie algebraBrunnian braidsinfinitesimal hexagon equationgenus zero surfacesbraid group inclusionsLie algebra injections
0
0 comments X

The pith

The double shuffle Lie algebra equipped with the infinitesimal hexagon equation injects into the symmetric Kashiwara-Vergne Lie algebra.

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

This paper shows that adding the infinitesimal hexagon equation to the double shuffle Lie algebra allows it to inject into the symmetric version of the Kashiwara-Vergne Lie algebra. The argument rests on inclusions between Brunnian braid groups associated to different genus-zero surfaces. A sympathetic reader would care because this provides a topological route to an algebraic embedding that extends prior results, and it opens the way to generalizations involving filtrations and explicit maps between related structures such as the pentagon equation and the divergence map. If correct, these embeddings could clarify how certain relations in quantum algebra arise from geometric configurations of braids.

Core claim

The paper proves that the double shuffle Lie algebra, when equipped with an additional relation known as the infinitesimal hexagon equation, injects into the symmetric Kashiwara-Vergne Lie algebra. The proof relies on the inclusion of Brunnian braid groups on different genus-zero surfaces. This is generalized using the lower central series of Brunnian Lie algebras and by establishing explicit connections between the pentagon equation map, the stuffle coproduct, the divergence map, and the necklace cobracket.

What carries the argument

The inclusion of Brunnian braid groups on different genus-zero surfaces, which induces the Lie algebra injection from the double shuffle Lie algebra with the hexagon equation to the symmetric Kashiwara-Vergne Lie algebra.

If this is right

  • The injection holds for the double shuffle Lie algebra restricted by the hexagon equation.
  • The inclusion extends through the lower central series of Brunnian Lie algebras.
  • Explicit links are established between the pentagon equation map, stuffle coproduct, divergence map, and necklace cobracket.
  • This geometric method provides an alternative perspective to other algebraic techniques for proving such embeddings.

Where Pith is reading between the lines

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

  • Similar geometric inclusions on higher-genus surfaces might yield embeddings for broader classes of Lie algebras in quantum topology.
  • The identified links between maps could facilitate the construction of new algebraic invariants.
  • Computational checks on low-degree terms in explicit bases could provide evidence for or against the injection.

Load-bearing premise

The geometric inclusion of Brunnian braid groups on different genus-zero surfaces induces the algebraic injection between the double shuffle Lie algebra with the hexagon equation and the symmetric Kashiwara-Vergne Lie algebra.

What would settle it

A concrete counterexample would be an element satisfying the hexagon equation in the double shuffle Lie algebra whose image in the symmetric Kashiwara-Vergne Lie algebra is nonzero.

read the original abstract

It is proved by L.~Schneps that the double shuffle Lie algebra $\mathfrak{dmr}_0$ injects to the Kashiwara-Vergne Lie algebra $\mathfrak{krv}_2$ in \cite{Schneps2012,Schneps2025}. We show that $\mathfrak{dmr}_0$ with the infinitesimal hexagon equation $[x,\varphi(-x,-y,x)]+[y,\varphi(-x-y,y)]=0$ injects to the symmetric Kashiwara-Vergne Lie algebra $\mathfrak{krv}^{\mathrm{sym}}_2$. The proof is based on the inclusion of brunnian braids group on different genus 0 surfaces which is different from the method of mould calculus in \cite{Schneps2012,Schneps2025}. We generalize the inclusion in two directions, one using lower central series of brunnian Lie algebras and the other is to establish explicit links between the pentagon equation map, the stuffle coproduct, the divergence map and the necklace cobracket.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that adjoining the infinitesimal hexagon equation [x, φ(−x,−y,x)] + [y, φ(−x−y,y)] = 0 to the double shuffle Lie algebra dmr_0 produces an injection into the symmetric Kashiwara-Vergne Lie algebra krv^sym_2. The argument relies on an inclusion of Brunnian braid groups on distinct genus-0 surfaces and is presented as an alternative to the mould-calculus methods of Schneps. Two generalizations are also given: one via the lower central series of Brunnian Lie algebras and one that relates the pentagon equation map, stuffle coproduct, divergence map, and necklace cobracket.

Significance. If the geometric-to-algebraic translation is made fully explicit, the result supplies a new braid-group route to the dmr_0 ↪ krv^sym_2 inclusion and opens two concrete directions for further work on these graded Lie algebras. The departure from mould calculus is a genuine methodological contribution that could be useful for readers interested in configuration-space or fundamental-group approaches.

major comments (2)
  1. [Main proof (geometric inclusion argument)] The central claim rests on the assertion that the inclusion of Brunnian braid groups on genus-0 surfaces induces a Lie-algebra homomorphism respecting the double-shuffle relations plus the new hexagon equation. No generator-by-generator verification of this correspondence (mapping geometric generators and relations in π_1 of the configuration spaces to the graded Lie-algebra elements) is supplied; the translation step is stated rather than constructed in detail. This is load-bearing for the injection theorem.
  2. [Generalization via lower central series] The generalization via the lower central series of Brunnian Lie algebras is announced but the precise statement of the induced maps and the verification that they preserve the hexagon relation (or the full set of relations) is not given with sufficient explicitness to confirm the claimed extension of the injection.
minor comments (2)
  1. [Introduction / notation] The precise definition of the symmetric Kashiwara-Vergne algebra krv^sym_2 (as opposed to krv_2) should be recalled or referenced at the first use so that the target of the injection is unambiguous.
  2. [Throughout] A short diagram or table summarizing the generators, relations, and the geometric-to-algebraic dictionary would improve readability of the main argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive evaluation of its significance. We respond to each major comment below, indicating the revisions we will make to address the concerns about explicitness in the geometric arguments.

read point-by-point responses

  1. Referee: [Main proof (geometric inclusion argument)] The central claim rests on the assertion that the inclusion of Brunnian braid groups on genus-0 surfaces induces a Lie-algebra homomorphism respecting the double-shuffle relations plus the new hexagon equation. No generator-by-generator verification of this correspondence (mapping geometric generators and relations in π_1 of the configuration spaces to the graded Lie-algebra elements) is supplied; the translation step is stated rather than constructed in detail. This is load-bearing for the injection theorem.

    Authors: We agree that the manuscript states the induced Lie-algebra homomorphism arising from the inclusion of Brunnian braid groups on genus-0 surfaces without supplying a fully explicit generator-by-generator verification. This correspondence is indeed central to establishing that the double-shuffle relations together with the infinitesimal hexagon equation are preserved. In the revised version we will add a new subsection that maps each geometric generator of the fundamental group of the relevant configuration space to its image in the graded Lie algebra, verifies the relations directly, and confirms that the hexagon equation [x, φ(−x,−y,x)] + [y, φ(−x−y,y)] = 0 is respected under the induced map. This will render the geometric-to-algebraic translation fully constructive. revision: yes

  2. Referee: [Generalization via lower central series] The generalization via the lower central series of Brunnian Lie algebras is announced but the precise statement of the induced maps and the verification that they preserve the hexagon relation (or the full set of relations) is not given with sufficient explicitness to confirm the claimed extension of the injection.

    Authors: We accept that the generalization via the lower central series of Brunnian Lie algebras is announced at a level that lacks the required explicitness. The revised manuscript will contain a precise statement of the induced maps on the associated graded pieces, together with a direct verification that these maps preserve the hexagon relation and the remaining defining relations of the double-shuffle Lie algebra. This will establish the extension of the injection to the lower central series quotients. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses independent geometric braid inclusions

full rationale

The paper establishes the injection of dmr0 (augmented by the infinitesimal hexagon) into krv^sym_2 via inclusions of Brunnian braid groups on genus-0 surfaces. This geometric construction is presented as distinct from the mould-calculus approach in the cited Schneps works. No step reduces a claimed prediction or central map to a fitted parameter, self-definition, or load-bearing self-citation chain; the translation from braid-group inclusions to the Lie-algebra homomorphism is asserted as a new correspondence rather than derived from prior fitted data or tautological renaming within the paper itself. The argument remains self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the geometric correspondence between brunnian braid groups on genus-zero surfaces and the Lie-algebra inclusion; no free parameters or invented entities are mentioned. Standard background results from braid-group theory and Lie-algebra cohomology are implicitly used.

axioms (1)
  • domain assumption Brunnian braid groups on genus-zero surfaces induce well-defined maps on the associated Lie algebras that respect the hexagon equation.
    This is the load-bearing geometric input invoked in the abstract to obtain the algebraic injection.

pith-pipeline@v0.9.0 · 5720 in / 1450 out tokens · 30266 ms · 2026-05-21T02:17:03.673720+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    Alekseev, M

    A. Alekseev, M. Howarth, F. Naef, M. Ren, and P. Ševera. The kernel of formal polylogarithms. arXiv:2601.19455 [math.QA], 2026

    work page arXiv 2026

  2. [2]

    Alekseev, N

    A. Alekseev, N. Kawazumi, Y. Kuno, and F. Naef. The Goldman–Turaev Lie bialgebra in genus zero and the Kashiwara–Vergne problem. Advances in Mathematics , 326:1–53, 2018

    work page 2018

  3. [3]

    Alekseev and C

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

    work page 2012

  4. [4]

    Bar-Natan

    D. Bar-Natan. On the Vassiliev knot invariants. Topology, 34(2):423–472, 1995

    work page 1995

  5. [5]

    Bar-Natan

    D. Bar-Natan. On associators and the Grothendieck-Teichmuller group. I. Selecta Math. (N.S.) , 4(2):183–212, 1998

    work page 1998

  6. [6]

    Bar-Natan, Z

    D. Bar-Natan, Z. Dancso, T. Hogan, J. Liu, and N. Scherich. Goldman-turaev formality from the kontsevitch integral. arXiv:2509.20983 [math.QA] , 2025

    work page arXiv 2025

  7. [7]

    A. J. Berrick, F. R. Cohen, Y. L. Wong, and J. Wu. Configurations, braids, and homotopy groups. J. Amer. Math. Soc. , 19(2):265–326, 2006

    work page 2006

  8. [8]

    F. C. Brown. Multiple zeta values and periods of moduli spaces M0,n. Annales Scientifiques de l’Ecole Normale Superieure, 42(3):371–489, 2009

    work page 2009

  9. [9]

    Carr and L

    S. Carr and L. Schneps. Combinatorics of the double shuffle Lie algebra. In Galois-Teichmüller theory and arithmetic geometry , volume 63 of Adv. Stud. Pure Math. , pages 59–89. Math. Soc. Japan, Tokyo, 2012

    work page 2012

  10. [10]

    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

    work page 1991

  11. [11]

    Enriquez and H

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

    work page arXiv 2025

  12. [12]

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

    work page 2011

  13. [13]

    Habiro and G

    K. Habiro and G. Massuyeau. Generalized Johnson homomorphisms for extended N-series. J. Algebra, 510:205– 258, 2018

    work page 2018

  14. [14]

    Howarth and M

    M. Howarth and M. Ren. Reduced coaction lie algebra, double shuffle lie algebra and noncommutative krv2 equation. arXiv:2509.20275 [math.QA] , 2025

    work page arXiv 2025

  15. [15]

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

    work page 1992

  16. [16]

    Y. Kuno. Emergent version of Drinfeld’s associator equations (with an appendix by Dror Bar-Natan. arXiv:2504.02549 [math.GT] , 2025

    work page arXiv 2025

  17. [17]

    S. S. F. Lambropoulou. Solid torus links and Hecke algebras of B-type. In Proceedings of the Conference on Quantum Topology (Manhattan, KS, 1993) , pages 225–245. World Sci. Publ., River Edge, NJ, 1994

    work page 1993

  18. [18]

    Levinson

    H. Levinson. Decomposable braids and linkages. Trans. Amer. Math. Soc. , 178:111–126, 1973

    work page 1973

  19. [19]

    J. Y. Li, V. V. Vershinin, and J. Wu. Brunnian braids and Lie algebras. J. Algebra, 439:270–293, 2015

    work page 2015

  20. [20]

    Multiplicative convolution and double shuffle relations

    N. Markarian. Multiplicative convolution and double shuffle relations. arXiv:2604.26357 [math.AG] , 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  21. [21]

    J. Milnor. Link groups. Ann. of Math. (2) , 59:177–195, 1954

    work page 1954

  22. [22]

    Navarro-Betancourt

    R. Navarro-Betancourt. A functorial approach to kashiwara-vergne. arXiv:2512.04091 [math.QA] , 2025

    work page arXiv 2025

  23. [23]

    G. Racinet. Doubles mélanges des polylogarithmes multiples aux racines de l’unité. Publ. Math. Inst. Hautes Études Sci. , pages 185–231, 2002

    work page 2002

  24. [24]

    L. Schneps. Double shuffle and Kashiwara–Vergne Lie algebras. Journal of Algebra , 367:54–74, 2012

    work page 2012

  25. [25]

    L. Schneps. The double shuffle Lie algebra injects into the Kashiwara-Vergne Lie algebra. arXiv:2504.14293[math.RA], 2025

    work page arXiv 2025

  26. [26]

    Whittlesey

    K. Whittlesey. Normal all pseudo-Anosov subgroups of mapping class groups. Geom. Topol., 4:293–307, 2000. 24 MUZE REN Institut de Recherche Mathématique A vancée, UMR 7501, Université de Strasbourg et CNRS, 7 rue René Descartes, 67000 Strasbourg, France Email address : muze.ren@unige.ch

    work page 2000