Recognition: no theorem link
Multiplicative convolution and double shuffle relations
Pith reviewed 2026-05-12 00:45 UTC · model grok-4.3
The pith
The homological pentagon equation on the pro-unipotent fundamental group is equivalent to the regularized double shuffle relations for multiple zeta values.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Compatibility of semi-holonomy isomorphisms with multiplicative convolution of perverse sheaves on the punctured line is equivalent to the homological pentagon equation on the pro-unipotent fundamental group; this equation is in turn equivalent to the regularized double shuffle relations, furnishing a geometric proof that the pentagon implies the relations.
What carries the argument
Semi-holonomy isomorphisms attached to pro-unipotent paths, whose compatibility with multiplicative convolution of perverse sheaves enforces the homological pentagon equation.
If this is right
- The homological pentagon equation on the pro-unipotent fundamental group implies the regularized double shuffle relations.
- The double shuffle relations admit a purely topological proof independent of Hodge or Tannakian input.
- The structure of the fundamental group, read through sheaf convolution, directly produces the relations satisfied by multiple zeta values.
Where Pith is reading between the lines
- The same sheaf-convolution technique may translate other expected relations among periods into statements about paths on the fundamental group.
- The equivalence suggests that double shuffle relations have a topological origin that can be studied without reference to motives or complex analysis.
- Explicit topological calculations on the pro-unipotent group could in principle verify or refute instances of the relations.
Load-bearing premise
The compatibility condition of the semi-holonomy isomorphisms with multiplicative convolution is exactly equivalent to the homological pentagon equation and this equivalence can be established purely topologically.
What would settle it
An explicit computation on a concrete pro-unipotent path where the semi-holonomy isomorphism either fails to commute with convolution while the pentagon equation holds, or satisfies the pentagon while the corresponding regularized double shuffle relations fail.
read the original abstract
We develop a geometric approach to the regularized double shuffle relations for multiple zeta values, based on convolution of perverse sheaves on $\mathbb{C}^*$ and inspired by the approach of Deligne and Terasoma. We introduce semi-holonomy isomorphisms associated with pro-unipotent paths and show that their compatibility with multiplicative convolution is equivalent to a condition on the pro-unipotent fundamental group, the homological pentagon equation. We prove that this condition is equivalent to the regularized double shuffle relations, yielding a geometric proof that the pentagon equation implies these relations. The approach is purely topological and avoids Hodge-theoretic and Tannakian methods.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a geometric approach to the regularized double shuffle relations for multiple zeta values, based on multiplicative convolution of perverse sheaves on C* and inspired by Deligne-Terasoma. It introduces semi-holonomy isomorphisms for pro-unipotent paths and proves that their compatibility with convolution is equivalent to the homological pentagon equation on the pro-unipotent fundamental group; this condition is then shown equivalent to the regularized double shuffle relations. The argument is presented as purely topological, avoiding Hodge-theoretic and Tannakian methods.
Significance. If the equivalences hold, the work supplies a notable topological proof that the pentagon equation implies the regularized double shuffle relations. The construction via perverse sheaves and semi-holonomy isomorphisms, together with the explicit avoidance of Tannakian categories, constitutes a genuine alternative to existing approaches and may enable further geometric study of multiple zeta value relations.
minor comments (3)
- [Introduction] The introduction would benefit from a concise roadmap paragraph that explicitly lists the three main equivalences and the sections where each is proved.
- [§2] Notation for the pro-unipotent completion and the semi-holonomy isomorphisms should be fixed at the first appearance (currently scattered between the abstract and §2) to improve readability.
- [§3] A short remark clarifying why the convolution product of perverse sheaves remains within the topological category (no hidden analytic input) would strengthen the purely topological claim.
Simulated Author's Rebuttal
We thank the referee for the positive summary and significance assessment of our manuscript, as well as the recommendation for minor revision. The referee's description accurately reflects the paper's goals and methods. No specific major comments were raised in the report.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper establishes a chain of equivalences: compatibility of semi-holonomy isomorphisms with multiplicative convolution of perverse sheaves on C* is shown equivalent to the homological pentagon equation on the pro-unipotent fundamental group (via purely topological groupoid constructions), and this condition is then shown equivalent to the regularized double shuffle relations. No load-bearing step reduces by definition or construction to its own inputs; no fitted parameters are relabeled as predictions; no self-citation chains or imported uniqueness theorems are invoked to force the central result. The approach is explicitly topological and independent of Hodge or Tannakian structures, making the geometric proof of the pentagon implication a genuine derivation rather than a renaming or tautology. This is the expected non-finding for a paper whose abstract and setup describe an independent equivalence proof.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
The kernel of formal polylogarithms
[AHN+26] Anton Alekseev, Megan Howarth, Florian Naef, Muze Ren, a nd Pavol ˇSevera. The kernel of formal polylogarithms. arXiv:2601.19455 [math. QA],
-
[2]
[Del01] Pierre Deligne. Letters to G. Racinet. Two unpublis hed letters dated 21 and 22 April 2001,
work page 2001
-
[3]
Reduced coaction Lie alge bra, double shuffle Lie al- gebra and noncommutative krv2 equation
[HR25] Megan Howarth and Muze Ren. Reduced coaction Lie alge bra, double shuffle Lie al- gebra and noncommutative krv2 equation. arXiv:2509.20275 [math.QA],
-
[4]
Sp´ ecialisation de faisceaux et monodromie mod´ er´ ee
[Ver83] Jean-Louis Verdier. Sp´ ecialisation de faisceaux et monodromie mod´ er´ ee. InAnalyse et topologie sur les espaces singuliers (II-III) - 6 - 10 juille t 1981 , number 101-102 in Ast´ erisque, pages 332–364. Soci´ et´ e math´ ematique de France,
work page 1981
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.