Towards Motivic Coactions at Genus One from Zeta Generators
Pith reviewed 2026-05-19 00:23 UTC · model grok-4.3
The pith
Iterated integrals over holomorphic Eisenstein series at genus one admit proposed coaction formulae constructed by analogy with zeta generators.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We propose coaction formulae for iterated integrals over holomorphic Eisenstein series that arise from configuration-space integrals at genus one. Our proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple polylogarithms at genus zero that are exposed in their recent reformulations via zeta generators. The genus-one coaction is then proposed by analogies with the construction of single-valued iterated Eisenstein integrals via zeta generators at genus one. We show that our proposal exhibits the expected properties of a coaction and deduce f-alphabet decompositions of the multiple modular values obtained from regularized limits.
What carries the argument
Zeta generators, which reformulate the single-valued map at genus zero and are used by direct analogy to define the proposed coaction on genus-one iterated Eisenstein integrals.
If this is right
- The proposed coaction satisfies the algebraic properties expected of a coaction.
- Regularized limits of the iterated integrals yield multiple modular values that decompose in an f-alphabet.
- The construction supplies structural and computational tools for genus-one scattering amplitudes in string theory.
Where Pith is reading between the lines
- The same analogy might organize coactions for higher-genus iterated integrals once single-valued maps are available there.
- Explicit checks in weight three or four could confirm or refute the proposal before broader applications.
- If the coaction works, it may link to motivic structures already known for elliptic multiple zeta values.
Load-bearing premise
Formal similarities between the motivic coaction and single-valued map at genus zero, as reformulated via zeta generators, extend directly to define a coaction for iterated integrals over holomorphic Eisenstein series at genus one.
What would settle it
An explicit low-weight computation of a multiple modular value whose f-alphabet decomposition or coaction image fails to match the formula obtained from the proposed genus-one coaction.
read the original abstract
The motivic coaction of multiple zeta values and multiple polylogarithms encodes both structural insights on and computational methods for scattering amplitudes in a variety of quantum field theories and in string theory. In this work, we propose coaction formulae for iterated integrals over holomorphic Eisenstein series that arise from configuration-space integrals at genus one. Our proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple polylogarithms at genus zero that are exposed in their recent reformulations via zeta generators. The genus-one coaction of this work is then proposed by analogies with the construction of single-valued iterated Eisenstein integrals via zeta generators at genus one. We show that our proposal exhibits the expected properties of a coaction and deduce $f$-alphabet decompositions of the multiple modular values obtained from regularized limits.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes coaction formulae for iterated integrals over holomorphic Eisenstein series that arise from configuration-space integrals at genus one. The proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple polylogarithms at genus zero, as reformulated via zeta generators, and extends this analogy to construct a genus-one version. The authors show that the proposed operator satisfies basic coaction axioms and use it to deduce f-alphabet decompositions of multiple modular values from regularized limits.
Significance. If the analogy holds and the formulae are correct, the work would extend motivic coaction techniques to genus-one settings relevant for string-theory amplitudes, offering structural insights and computational methods for multiple modular values analogous to those at genus zero. The manuscript explicitly verifies that the proposal satisfies expected coaction properties and produces the f-alphabet decompositions, which are concrete strengths of the presentation.
major comments (1)
- [Abstract and main construction] The central proposal (as described in the abstract and the construction following the genus-zero analogy) rests on the unproven assumption that formal similarities between the motivic coaction and single-valued map at genus zero extend directly to iterated integrals over holomorphic Eisenstein series at genus one, without a derivation from the action of the motivic Galois group on the configuration-space integrals or an explicit check that genus-one-specific coproduct corrections are preserved. This assumption is load-bearing for the claim that the resulting operator is a valid coaction.
minor comments (1)
- [Verification of coaction properties] The abstract states that expected properties are shown, but the manuscript would benefit from additional explicit examples or numerical checks of the coaction axioms to make the verification more transparent.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying a key point regarding the foundational status of our proposal. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract and main construction] The central proposal (as described in the abstract and the construction following the genus-zero analogy) rests on the unproven assumption that formal similarities between the motivic coaction and single-valued map at genus zero extend directly to iterated integrals over holomorphic Eisenstein series at genus one, without a derivation from the action of the motivic Galois group on the configuration-space integrals or an explicit check that genus-one-specific coproduct corrections are preserved. This assumption is load-bearing for the claim that the resulting operator is a valid coaction.
Authors: We agree that the central construction is proposed by extending formal analogies from the genus-zero motivic coaction and single-valued map (as reformulated via zeta generators) to the genus-one iterated integrals over holomorphic Eisenstein series, rather than being derived directly from the action of the motivic Galois group on the configuration-space integrals. The manuscript does not claim such a derivation and does not perform an exhaustive verification of all potential genus-one-specific coproduct corrections. What is shown is that the proposed operator satisfies the expected coaction axioms (including compatibility with the coproduct in the cases examined) and yields the anticipated f-alphabet decompositions of multiple modular values. We acknowledge that this leaves the proposal at the level of a well-motivated conjecture supported by consistency checks. In the revised manuscript we will add explicit statements in the introduction and in the section describing the construction to clarify the conjectural nature, the reliance on analogy, and the scope of the verifications performed, thereby addressing the load-bearing character of the assumption. revision: partial
Circularity Check
No significant circularity: proposal framed explicitly as analogy-based extension with independent verification steps
full rationale
The manuscript presents its genus-one coaction formulae as a proposal motivated by observed formal similarities with zeta-generator reformulations at genus zero and single-valued Eisenstein integrals at genus one. It does not assert a first-principles derivation from the motivic Galois group or configuration-space integrals that would reduce to fitted inputs or self-citations by construction. Instead, the work verifies that the proposed operator satisfies basic coaction axioms and produces f-alphabet decompositions of multiple modular values, supplying independent content. No load-bearing step equates the output to the input via definition, renaming, or unverified self-citation chains; the derivation chain remains self-contained as an exploratory extension.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple polylogarithms at genus zero that are exposed in their recent reformulations via zeta generators. The genus-one coaction of this work is then proposed by analogies with the construction of single-valued iterated Eisenstein integrals via zeta generators at genus one.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The main target in this work are iterated integrals of holomorphic Eisenstein series Gk(τ) with integration kernels of the form τ^j Gk(τ) dτ
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
-
[1]
Multiple Modular Values and the relative completion of the fundamental group of $M_{1,1}$
F. Brown, Multiple modular values and the relative completion of the fundamental group of M1,1, 1407.5167
work page internal anchor Pith review Pith/arXiv arXiv
-
[2]
A. B. Goncharov, M. Spradlin, C. Vergu, and A. Volovich, Classical Polylogarithms for Amplitudes and Wilson Loops , Phys. Rev. Lett. 105 (2010) 151605, [ 1006.5703]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[3]
C. Duhr, H. Gangl, and J. R. Rhodes, From polygons and symbols to polylogarithmic functions , JHEP 10 (2012) 075, [ 1110.0458]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[4]
Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes
C. Duhr, Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes , JHEP 08 (2012) 043, [ 1203.0454]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[5]
Motivic Multiple Zeta Values and Superstring Amplitudes
O. Schlotterer and S. Stieberger, Motivic Multiple Zeta Values and Superstring Amplitudes , J. Phys. A46 (2013) 475401, [ 1205.1516]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[6]
J. M. Drummond and E. Ragoucy, Superstring amplitudes and the associator , JHEP 08 (2013) 135, [1301.0794]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[7]
Graphical functions and single-valued multiple polylogarithms
O. Schnetz, Graphical functions and single-valued multiple polylogarithms , Commun. Num. Theor. Phys. 08 (2014) 589–675, [ 1302.6445]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[8]
From multiple unitarity cuts to the coproduct of Feynman integrals
S. Abreu, R. Britto, C. Duhr, and E. Gardi, From multiple unitarity cuts to the coproduct of Feynman integrals, JHEP 10 (2014) 125, [ 1401.3546]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[9]
The Galois coaction on $\phi^4$ periods
E. Panzer and O. Schnetz, The Galois coaction on ϕ4 periods, Commun. Num. Theor. Phys. 11 (2017) 657–705, [ 1603.04289]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[10]
The algebraic structure of cut Feynman integrals and the diagrammatic coaction
S. Abreu, R. Britto, C. Duhr, and E. Gardi, Algebraic Structure of Cut Feynman Integrals and the Diagrammatic Coaction, Phys. Rev. Lett. 119 (2017), no. 5 051601, [ 1703.05064]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[11]
Diagrammatic Hopf algebra of cut Feynman integrals: the one-loop case
S. Abreu, R. Britto, C. Duhr, and E. Gardi, Diagrammatic Hopf algebra of cut Feynman integrals: the one-loop case , JHEP 12 (2017) 090, [ 1704.07931]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[12]
The Galois coaction on the electron anomalous magnetic moment
O. Schnetz, The Galois coaction on the electron anomalous magnetic moment , Commun. Num. Theor. Phys. 12 (2018) 335–354, [ 1711.05118]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[13]
S. Caron-Huot, L. J. Dixon, F. Dulat, M. Von Hippel, A. J. McLeod, and G. Papathanasiou, The Cosmic Galois Group and Extended Steinmann Relations for Planar N = 4 SYM Amplitudes, JHEP 09 (2019) 061, [ 1906.07116]
- [14]
-
[15]
Tapuˇ skovi´ c,Motivic Galois coaction and one-loop Feynman graphs , Commun
M. Tapuˇ skovi´ c,Motivic Galois coaction and one-loop Feynman graphs , Commun. Num. Theor. Phys. 15 (2021), no. 2 221–278, [ 1911.01540]. – 52 –
-
[16]
G¨ urdo˘ gan,From integrability to the Galois coaction on Feynman periods , Phys
O. G¨ urdo˘ gan,From integrability to the Galois coaction on Feynman periods , Phys. Rev. D 103 (2021), no. 8 L081703, [ 2011.04781]
- [17]
- [18]
-
[19]
M. Borinsky and O. Schnetz, Recursive computation of Feynman periods, JHEP 22 (2022) 291, [2206.10460]
- [20]
- [21]
- [22]
- [23]
-
[24]
Cartier, La folle journ´ ee, de Grothendieck ` a Connes et Kontsevich
P. Cartier, La folle journ´ ee, de Grothendieck ` a Connes et Kontsevich. ´ evolution des notions d’espace et de sym´ etrie, Publications Math´ ematiques de l’IH´ES S88 (1998) 23–42
work page 1998
-
[25]
Ihara, The Galois representation arising from P1 − {0, 1, ∞} and Tate twists of even degree , 1989
Y. Ihara, The Galois representation arising from P1 − {0, 1, ∞} and Tate twists of even degree , 1989
work page 1989
-
[26]
A. B. Goncharov, Multiple polylogarithms and mixed Tate motives , math/0103059
work page internal anchor Pith review Pith/arXiv arXiv
-
[27]
A. B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative geometry , Duke Math. J. 128 (2005) 209, [ math/0208144]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[28]
On the decomposition of motivic multiple zeta values
F. Brown, On the decomposition of motivic multiple zeta values , in Galois-Teichm¨ uller theory and arithmetic geometry , vol. 63 of Adv. Stud. Pure Math. , pp. 31–58. Math. Soc. Japan, Tokyo, 2012. 1102.1310
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[29]
F. Brown, Mixed Tate motives over Z, Ann. of Math. (2) 175 (2012), no. 2 949–976, [1102.1312]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[30]
Feynman Amplitudes and Cosmic Galois group
F. Brown, Feynman amplitudes, coaction principle, and cosmic Galois group , Commun. Num. Theor. Phys. 11 (2017) 453–556, [ 1512.06409]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[31]
F. Brown and C. Dupont, Lauricella hypergeometric functions, unipotent fundamental groups of the punctured Riemann sphere, and their motivic coactions , Nagoya Math. J. 249 (2023) 148–220, [1907.06603]
-
[32]
Brown, Polylogarithmes multiples uniformes en une variable , C
F. Brown, Polylogarithmes multiples uniformes en une variable , C. R. Acad. Sci. Paris Ser. I 338 (2004) 527–532
work page 2004
-
[33]
Single-valued periods and multiple zeta values
F. Brown, Single-valued Motivic Periods and Multiple Zeta Values , SIGMA 2 (2014) e25, [1309.5309]. – 53 –
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[34]
F. Brown and C. Dupont, Single-valued integration and double copy , J. Reine Angew. Math. 2021 (2021), no. 775 145–196, [ 1810.07682]
-
[35]
S. Charlton, C. Duhr, and H. Gangl, Clean Single-Valued Polylogarithms, SIGMA 17 (2021) 107, [2104.04344]
-
[36]
L. J. Dixon, C. Duhr, and J. Pennington, Single-valued harmonic polylogarithms and the multi-Regge limit, JHEP 10 (2012) 074, [ 1207.0186]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[37]
J. M. Drummond, Generalised ladders and single-valued polylogarithms , JHEP 02 (2013) 092, [1207.3824]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[38]
The BFKL equation, Mueller-Navelet jets and single-valued harmonic polylogarithms
V. Del Duca, L. J. Dixon, C. Duhr, and J. Pennington, The BFKL equation, Mueller-Navelet jets and single-valued harmonic polylogarithms , JHEP 02 (2014) 086, [ 1309.6647]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[39]
Closed Superstring Amplitudes, Single-Valued Multiple Zeta Values and Deligne Associator
S. Stieberger, Closed superstring amplitudes, single-valued multiple zeta values and the Deligne associator, J. Phys. A47 (2014) 155401, [ 1310.3259]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[40]
Closed String Amplitudes as Single-Valued Open String Amplitudes
S. Stieberger and T. R. Taylor, Closed String Amplitudes as Single-Valued Open String Amplitudes, Nucl. Phys. B881 (2014) 269–287, [ 1401.1218]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[41]
Single-valued multiple zeta values in genus 1 superstring amplitudes
F. Zerbini, Single-valued multiple zeta values in genus 1 superstring amplitudes , Commun. Num. Theor. Phys. 10 (2016) 703–737, [ 1512.05689]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[42]
E. D’Hoker, M. B. Green, ¨O. G¨ urdogan, and P. Vanhove,Modular graph functions, Commun. Num. Theor. Phys. 11 (2017) 165–218, [ 1512.06779]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[43]
J. Broedel, M. Sprenger, and A. Torres Orjuela, Towards single-valued polylogarithms in two variables for the seven-point remainder function in multi-Regge-kinematics , Nucl. Phys. B 915 (2017) 394–413, [ 1606.08411]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[44]
Multi-Regge kinematics and the moduli space of Riemann spheres with marked points
V. Del Duca, S. Druc, J. Drummond, C. Duhr, F. Dulat, R. Marzucca, G. Papathanasiou, and B. Verbeek, Multi-Regge kinematics and the moduli space of Riemann spheres with marked points, JHEP 08 (2016) 152, [ 1606.08807]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[45]
From elliptic multiple zeta values to modular graph functions: open and closed strings at one loop
J. Broedel, O. Schlotterer, and F. Zerbini, From elliptic multiple zeta values to modular graph functions: open and closed strings at one loop , JHEP 01 (2019) 155, [ 1803.00527]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[46]
Closed strings as single-valued open strings: A genus-zero derivation
O. Schlotterer and O. Schnetz, Closed strings as single-valued open strings: A genus-zero derivation, J. Phys. A52 (2019), no. 4 045401, [ 1808.00713]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[47]
P. Vanhove and F. Zerbini, Single-valued hyperlogarithms, correlation functions and closed string amplitudes, Adv. Theor. Math. Phys. 26 (2022) 455–530, [ 1812.03018]
-
[48]
F. Brown and C. Dupont, Single-valued integration and superstring amplitudes in genus zero , Commun. Math. Phys. 382 (2021), no. 2 815–874, [ 1910.01107]
-
[49]
V. Del Duca, S. Druc, J. M. Drummond, C. Duhr, F. Dulat, R. Marzucca, G. Papathanasiou, and B. Verbeek, All-order amplitudes at any multiplicity in the multi-Regge limit , Phys. Rev. Lett. 124 (2020), no. 16 161602, [ 1912.00188]
- [50]
- [51]
- [52]
-
[53]
G. Fardelli, T. Hansen, and J. A. Silva, AdS Virasoro-Shapiro amplitude with KK modes , JHEP 11 (2023) 064, [ 2308.03683]
-
[54]
C. Duhr and F. Porkert, Feynman integrals in two dimensions and single-valued hypergeometric functions, JHEP 02 (2024) 179, [ 2309.12772]
- [55]
- [56]
- [57]
- [58]
-
[59]
Baune, Associators for AdS string amplitude building blocks , 2505.23385
K. Baune, Associators for AdS string amplitude building blocks , 2505.23385
-
[60]
M. B. Green, J. H. Schwarz, and E. Witten, Superstring Theory. Vol. 2: Loop Amplitudes, Anomalies and Phenomenology. Cambridge University Press, 1988
work page 1988
-
[61]
E. D’Hoker and D. H. Phong, The Geometry of String Perturbation Theory , Rev. Mod. Phys. 60 (1988) 917
work page 1988
-
[62]
J. Polchinski, String theory. Vol. 2: Superstring Theory and Beyond . Cambridge University Press, 2005
work page 2005
-
[63]
Witten, Superstring Perturbation Theory Revisited, 1209.5461
E. Witten, Superstring Perturbation Theory Revisited, 1209.5461
- [64]
-
[65]
On Genera of Curves from High-loop Generalized Unitarity Cuts
R. Huang and Y. Zhang, On Genera of Curves from High-loop Generalized Unitarity Cuts , JHEP 04 (2013) 080, [ 1302.1023]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[66]
Two-loop Integral Reduction from Elliptic and Hyperelliptic Curves
A. Georgoudis and Y. Zhang, Two-loop Integral Reduction from Elliptic and Hyperelliptic Curves, JHEP 12 (2015) 086, [ 1507.06310]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [67]
-
[68]
R. Marzucca, A. J. McLeod, B. Page, S. P¨ ogel, and S. Weinzierl, Genus drop in hyperelliptic Feynman integrals, Phys. Rev. D 109 (2024), no. 3 L031901, [ 2307.11497]
-
[69]
H. Jockers, S. Kotlewski, P. Kuusela, A. J. McLeod, S. P¨ ogel, M. Sarve, X. Wang, and S. Weinzierl, A Calabi-Yau-to-curve correspondence for Feynman integrals, JHEP 25 (2020) 030, [2404.05785]
- [70]
-
[71]
F. Brown and O. Schnetz, A K3 in ϕ4, Duke Math. J. 161 (2012), no. 10 1817–1862, [1006.4064]. – 55 –
-
[72]
A Feynman integral via higher normal functions
S. Bloch, M. Kerr, and P. Vanhove, A Feynman integral via higher normal functions , Compos. Math. 151 (2015), no. 12 2329–2375, [ 1406.2664]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[73]
Local mirror symmetry and the sunset Feynman integral
S. Bloch, M. Kerr, and P. Vanhove, Local mirror symmetry and the sunset Feynman integral , Adv. Theor. Math. Phys. 21 (2017) 1373–1453, [ 1601.08181]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[74]
Feynman integrals and iterated integrals of modular forms
L. Adams and S. Weinzierl, Feynman integrals and iterated integrals of modular forms , Commun. Num. Theor. Phys. 12 (2018) 193–251, [ 1704.08895]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[75]
J. L. Bourjaily, Y.-H. He, A. J. Mcleod, M. Von Hippel, and M. Wilhelm, Traintracks through Calabi-Yau Manifolds: Scattering Amplitudes beyond Elliptic Polylogarithms , Phys. Rev. Lett. 121 (2018), no. 7 071603, [ 1805.09326]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[76]
J. L. Bourjaily, A. J. McLeod, M. von Hippel, and M. Wilhelm, Bounded Collection of Feynman Integral Calabi-Yau Geometries, Phys. Rev. Lett. 122 (2019), no. 3 031601, [1810.07689]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[77]
J. Broedel, C. Duhr, F. Dulat, R. Marzucca, B. Penante, and L. Tancredi, An analytic solution for the equal-mass banana graph , JHEP 09 (2019) 112, [ 1907.03787]
- [78]
-
[79]
C. Duhr and L. Tancredi, Algorithms and tools for iterated Eisenstein integrals , JHEP 02 (2020) 105, [ 1912.00077]
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.