Pith. sign in

REVIEW 3 major objections 3 minor 1 cited by

Relations and Derivatives of Multiple Eisenstein Series

T0 review · 3 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

Pith's one-line read A conjectural formula predicts every derivative of multiple Eisenstein series

desk verdict A real advance on multiple Eisenstein series, but the proof of the main theorem rests on an unproved cancellation that needs to be fixed before the chain is solid. read the letter →

arxiv 2602.08176 v2 pith:ZQPT6XTK submitted 2026-02-09 math.NT math.QA

classification math.NTmath.QA MSC 11F1111M3213N1516T30
keywords multipleEisensteinserieszetavaluesderivationsquasi-modularformsDrop1operatordoubleshufflerelationssl₂-algebraq-analoguederivativeconjecture
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

Multiple Eisenstein series interpolate between multiple zeta values and modular forms. This paper conjectures an explicit, recursive formula for their τ-derivatives: the derivative sends each series G(w) to G(θ(w)), where θ is built from the double-shuffle obstruction φ and the Drop1 operator, minus G₂·G(w). If true, the space of multiple Eisenstein series is closed under the derivative, and every linear relation among these series arises from the new relations R(u,v)=0 together with their repeated derivatives and products. The paper proves supporting results: the harmonic and shuffle regularizations agree on all words with at most one z₁ (Main Theorem A), giving the relation family R(u,v)∈kerG (Main Theorem B), and the formal quotient space is shown to be an sl₂-algebra (Main Theorem D). It also introduces a new regularization, the diamond series, and claims to settle a long-standing prediction about derivatives of q-analogues of multiple zeta values.

What carries the argument

The load-bearing objects are the Drop1 operator D—a recursively defined Q-linear map that removes occurrences of the letter z₁ from words while preserving ζ-values—and the double-shuffle obstruction φ(w)=w∗z₂−w sh z₂. Their composite θ=−D∘φ is the conjectured derivation on the multiple Eisenstein space. The failure of θ to be a derivation with respect to the harmonic product is measured exactly by R(u,v)=φ(u∗v)−φ(u)∗v−u∗φ(v), which the paper proves lies in the kernel of G; the ideal generated by R and its θ-derivatives is the proposed complete set of linear relations.

What would settle it

Take a small non-admissible index such as (2,1,2), compute explicitly the term in equation (8) that the paper claims vanishes via the shuffle antipode relations, and check whether it is zero; a nonzero value disproves Main Theorem A. Alternatively, numerically evaluate 2πi d/dτ G_{2,2,2}(τ) at τ = i by direct Fourier summation and compare it with G(θ(z₂z₂z₂)) computed from Proposition 4.10; a mismatch to high precision would disprove Conjecture C(i).

Watch

Extended reading notes

Core claim

Main Conjecture C(i) states that for every word w with all indices at least 2, 2πi d/dτ G(w) equals G(D(w sh z₂)) − G₂·G(w), where D is the Drop1 operator and sh is the shuffle product; equivalently, the derivative is evaluation of θ(w)=−D∘φ(w), with φ(w)=w∗z₂−w sh z₂ measuring the failure of the double-shuffle identification. The paper proves this formula in depth one and for words consisting only of z₂, and shows that in the formal quotient fEf = H^{≥2}∗/DR∗, the triple (W,θ,δ) is an sl₂-triple. The companion conjecture C(ii) asserts that the space DR∗, generated by all θ-derivatives of the relations R(u,v)=0 and their products, is exactly the kernel of G, so that all linear relations amon

Load-bearing premise

The load-bearing premise is an unproved vanishing lemma about shuffle-regularized multiple zeta values, invoked without proof in the proof of Main Theorem A (and similarly in Lemma 5.1); if the asserted vanishing terms do not actually vanish, the equality G^sh = G^* on the almost-all-admissible domain, and hence the new family of relations, would collapse.

Editorial extensions

If this is right

  • The space of multiple Eisenstein series becomes closed under 2πi d/dτ, giving it a well-defined derivative and, together with the weight operator and the operator δ, a genuine sl₂-action.
  • All linear relations among multiple Eisenstein series would be generated by one explicit family R(u,v)=0 and its repeated derivatives, matching the conjectural dimension counts through weight 16 and repairing the failure at weight 17.
  • The Drop1 identity implies that every multiple Eisenstein series can be regularized through the diamond series, whose Fourier expansions have constant terms given by ordinary multiple zeta values; this also yields the predicted derivative formula for q-analogues.
  • The formal quotient fEf is unconditionally an sl₂-algebra, providing a combinatorial model that would be isomorphic to the analytic space if the main conjectures hold.
  • The equality of harmonic and shuffle regularizations on words with one z₁ extends the restricted double shuffle relations to a broader domain, producing new linear relations in every weight.

Reading between the lines

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

  • The explicit form of θ suggests a purely algebraic differentiation algorithm for multiple Eisenstein series: each derivative can be computed symbolically from the double-shuffle structure without re-evaluating convergent lattice sums, which would make high-weight searches for relations feasible.
  • The paper's proof of Main Theorem A depends on an unproved vanishing identity for shuffle-regularized multiple zeta values; checking that identity in isolation, and the analogous vanishing in Lemma 5.1, would remove the weakest point of the argument.
  • The sl₂-action on the formal quotient points toward a Lie-theoretic description of the kernel of G: the additional weight-2 generator and the cusp-form contributions to the dimension formula might be probed by studying the kernel of θ on DR∗.
  • The diamond regularization G♢ yields a third notion of regularization for multiple Eisenstein series; comparing it with the shuffle and harmonic regularizations on words containing z₁ could expose new identities linking the derivative and the Drop1 operator.
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

3 major / 3 minor

Summary. The paper studies multiple Eisenstein series, the holomorphic functions G(w) indexed by words in H^{≥2}. Its principal results are: Main Theorem A, asserting that the shuffle and harmonic regularizations G^sh and G^* coincide on the almost-admissible space H^{≥2,alm}; Main Theorem B, deriving a new infinite family R(u,v) ∈ ker G; Main Conjecture C, an explicit conjectural formula for 2πi d/dτ G(w) in terms of the Drop1 operator D and the double-shuffle obstruction φ, together with the conjecture DR^* = ker G; Main Theorem D, stating that the formal quotient fE^f = H^{≥2}_*/DR^* is an sl2-algebra; and, finally, the definition of multiple Eisenstein-diamond series G^♢. The paper also reports numerical evidence that the proposed relations account for the conjectural dimension counts up to weight 20.

Significance. If the unproved algebraic cancellations are supplied, this is a valuable contribution. The paper provides the first explicit conjectural candidate for a full system of linear relations among multiple Eisenstein series, together with a concrete derivative formula that would close E under differentiation and explain the sl2-structure expected from [BI]. The use of the Drop1 operator of Hirose–Maesaka–Seki–Watanabe and the double-shuffle obstruction is natural, and the formal sl2-algebra result gives a new structural realization. The numerical dimension checks and the verification of special cases (depth one, powers of z2) are useful evidence. The authors are also transparent that Main Conjecture C remains open and that neither inclusion in DR^* = ker G is currently known. However, the two unproved cancellation assertions identified below are load-bearing, and the abstract's claim about Okounkov's conjecture is not supported by the body text.

major comments (3)
  1. [Section 2.5, proof of Main Theorem A(i), after Eq. (8)] The proof asserts that the terms with n_{q_j}=1 vanish 'by the shuffle antipode relations for the shuffle regularized multiple zeta values'. No proof or precise reference is given for this non-trivial statement. This cancellation is exactly what upgrades Lemma 2.19 from an equality of the coefficient moulds g^sh and g^* to the equality G^sh = G^* on H^{≥2,alm}. Since Main Theorem A(ii) and Main Theorem B depend on this equality, the gap is load-bearing. Please provide a complete proof or a citation to a statement that covers this regularized MZV identity in exactly this form.
  2. [Section 5.1, Lemma 5.1, Eqs. (13) and (14)] In the proof of [δ, θ] = W, the text declares twice 'We know that the sum inside vanishes for each i'. These are not obvious cancellations: the sums involve finite combinations of D(c_{i,j}(−A)) and D(c_{i,j}−δ_B) with binomial and indicator weights. Equation (13) and (14) are essential for the commutator relation, which is then used in Theorem 5.2 to prove that fE^f is an sl2-algebra. Without a proof or reference, Main Theorem D is conditional. The missing argument should be supplied in full.
  3. [Abstract and Section 4.2, Proposition 4.9] The abstract announces a proof of a conjecture of Okounkov on derivatives of q-analogues of multiple zeta values, but I could not locate such a proof in the body. Proposition 4.9 is quoted from [BY], which is listed as 'in preparation', and Proposition 4.10 only verifies that the proposed θ-formula matches the right-hand side of that quoted identity. Either prove the Okounkov conjecture in this paper, cite a publicly available source, or revise the abstract so that it does not claim a proof.
minor comments (3)
  1. [Abstract] The abstract says the paper 'give[s] an explicit formula for their derivatives', while the introduction and Section 1.5 correctly label this as Main Conjecture C. Please align the abstract with the conjectural status.
  2. [Section 4.3, table] The numerical comparison of #relations in R^* and DR^* with the conjectured counts assumes Conjecture 1.2. The text mentions this earlier, but it would be helpful to state it explicitly in the table caption or immediately before the table.
  3. [Section 2.5] The proof of Lemma 2.18 dismisses the constant mould coh_M(τ) somewhat quickly; a one-sentence explanation of why it acts as the identity in the product would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction found; central results are derived or conjectural, though several load-bearing steps rely on the authors' prior frameworks and a few cancellations are asserted without proof.

full rationale

The paper's derivation chain is not circular in the rubric's sense. Main Theorem B derives R(u,v) in ker G from Main Theorem A, which compares the two independently constructed regularizations G^sh ([BT]) and G^* ([Ba2]); R(u,v) is defined via phi(u,v)=ds(u,v), but its membership in ker G is a nontrivial consequence of that comparison, not true by construction. Main Conjecture C is explicitly conjectural: the authors state 'We will show that (i) is true in the depth one case and some other special cases' and 'neither direction of inclusion has been shown so far', so it is not presented as a first-principles prediction that is secretly identical to its input. Main Theorem D is a new formal sl2 result on the quotient fE^f = H^{>=2}/DR*, building on the formal framework of [BI] but adding the new operator theta and the space DR*; it is not a re-labelling of [BI]'s theorem. The main concerns are proof gaps, not circularity: in the proof of Main Theorem A, after equation (8), the authors assert that terms with n_{q_j}=1 vanish 'by the shuffle antipode relations for the shuffle regularized multiple zeta values' without giving the relation or proof; and in Lemma 5.1 they write 'We know the sum inside vanishes for each i' for equations (13) and (14) without proof. Both are load-bearing, because they are needed respectively for G^sh=G^* on H^{>=2,alm} and for [delta,theta]=W. These are omitted lemmas, not reductions of the conclusion to the hypothesis. The paper also relies heavily on the authors' own prior work ([BT], [Ba2], [BI], [HMSW], and [BY] 'in preparation'), which gives a substantial self-citation footprint, but each cited ingredient is a stated prior theorem or construction rather than an equivalent reformulation of the present claims, and the new derivative formula is checked against independent depth-one results such as [Tu]. No fitted parameter is fed back as an output. Accordingly, no significant circularity is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

No numerical constants are fitted to data; the paper is structural. The main external inputs are the regularizations from [Ba2]/[BT], the Drop1 operator from [HMSW], and the dimension conjecture from [Ok]/[BK]. The most fragile assumptions are two places where nontrivial identities are asserted without proof: the shuffle-antipode vanishing in Main Theorem A and the vanishing sums in Lemma 5.1. The central derivative formula is explicitly a conjecture.

assumptions (6)
  • domain assumption The existence and properties of harmonic and shuffle regularized multiple Eisenstein series from [Ba2] and [BT].
    Used throughout Section 2; the paper relies on these regularizations as background rather than re-deriving them.
  • domain assumption The Drop1 operator D from [HMSW] satisfies D(u∗v)=D(u)∗v for u∈H^0, v∈H^{≥2}, and ds(w,z1)∈ker D for w∈H^0.
    Invoked in Lemma 4.3 and the proof of Lemma 4.5; these are cited results from [HMSW] and [Se], not proven in this paper.
  • ad hoc to paper The shuffle-antipode relations imply that certain terms in the proof of Main Theorem A vanish.
    Stated without proof or precise reference in Section 2.5: 'By the shuffle antipode relations for the shuffle regularized multiple zeta values, we know that these terms vanish.' This is load-bearing for Main Theorem A.
  • ad hoc to paper In Lemma 5.1, the sums in equations (13) and (14) vanish for each i.
    The proof asserts 'We know the sum inside vanishes for each i' twice, without supplying the computation or a reference. This is needed for the identity [δ,θ]=W and hence for Main Theorem D.
  • domain assumption Conjecture 1.2 dimension formula for E from [Ok], [BK] is used to evaluate the completeness of relations numerically.
    The comparison in §4.3 between the number of conjectured relations and dim E assumes the dimension conjecture; it is explicitly conjectural.
  • ad hoc to paper Main Conjecture C itself: the derivative formula and the equality DR∗ = ker G.
    This is the central conjecture of the paper, supported by special cases and numerics but unproven in general.
invented entities (2)
  • The formal multiple Eisenstein space fE^f = H^{≥2}_∗ / DR∗
    purpose: A combinatorial model expected to be isomorphic to the actual space of multiple Eisenstein series E; proven to carry an sl2-action in Main Theorem D.
    The isomorphism to E is conjectural and the dimension predictions are computed from the same DR∗ ideal; no independent external computation is supplied.
  • Multiple Eisenstein-diamond series G^♢ = G∘D
    purpose: A new regularization of multiple Eisenstein series intended to reformulate the derivative and relation conjectures in a cleaner way.
    Defined in Section 5.2 via the Drop1 operator; its conjectured properties (algebra homomorphism, derivative formula) are internal to this paper and not yet independently verified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relations and Derivatives of Multiple Eisenstein Series." pith.science (2026). https://pith.science/paper/ZQPT6XTK

@misc{pith2026260208176,
  author       = {Pith},
  title        = {Pith review of: Relations and Derivatives of Multiple Eisenstein Series},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZQPT6XTK}},
  note         = {Machine review of arXiv:2602.08176}
}
abstract

In this paper, we study multiple Eisenstein series, which build a natural bridge between the theory of multiple zeta values and modular forms. We prove a large family of relations among these series and give an explicit formula for their derivatives. This formula is expressed using the double shuffle structure and the Drop1 operator introduced by Hirose, Maesaka, Seki, and Watanabe. In particular, the space of multiple Eisenstein series is closed under the derivative. Further we construct bi-multiple Eisenstein series, which give a realization of the formal multiple Eisenstein series as holomorphic functions on the upper half-plane, and we prove a conjecture of Okounkov on derivatives of $q$-analogues of multiple zeta values. Based on the derivative formula, we propose a family of linear relations that is conjectured to generate all linear relations among multiple Eisenstein series. Motivated by this conjecture, we introduce a space of formal multiple Eisenstein series and show that it is an $\mathfrak{sl}_2$-algebra.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Weighted Sum Formula for Double Eisenstein Series

    math.NT 2026-07 conditional novelty 7.0 of 10

    For every k≥6, G_k = Σ_{a+b=k} α_{a,b} G_{a,b} with explicit coefficients, and the corresponding q-series identity holds.

Reference graph

Works this paper leans on

28 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Bachmann, Multiple Zeta-Werte und die Verbindung zu Modulformen durch Multiple Eisensteinreihen, Master thesis, Universit\"at Hamburg, (2012)

    H. Bachmann, Multiple Zeta-Werte und die Verbindung zu Modulformen durch Multiple Eisensteinreihen, Master thesis, Universit\"at Hamburg, (2012)

  2. [2]

    Bachmann, The algebra of bi-brackets and regularized multiple Eisenstein series, J

    H. Bachmann, The algebra of bi-brackets and regularized multiple Eisenstein series, J. Number Theory 200 (2019), 260--294

  3. [3]

    Bachmann, A

    H. Bachmann, A. Burmester: Combinatorial multiple Eisenstein series , Res. Math. Sci. 10 :3, (2023), no. 5, 32 pp

  4. [4]

    Bachmann, J.-W

    H. Bachmann, J.-W. van Ittersum, Formal multiple Eisenstein series and their derivations (with Appendix by N. Matthes), Adv. in Math. 487 (2026)

  5. [5]

    Bachmann and U

    H. Bachmann and U. K\"uhn, A dimension conjecture for q -analogues of multiple zeta values, in Periods in quantum field theory and arithmetic, 237--258, Springer Proc. Math. Stat., 314, Springer, Cham

  6. [6]

    Bachmann and K

    H. Bachmann and K. Tasaka, The double shuffle relations for multiple Eisenstein series, Nagoya Math. J. 230 (2018), 180--212

  7. [7]

    Bachmann and J

    H. Bachmann and J. Yu, Schur Eisenstein Series, in preparation

  8. [8]

    Bouillot, The algebra of multitangent functions, J

    O. Bouillot, The algebra of multitangent functions, J. Algebra 410 (2014), 148--238

Show all 28 references
  1. [9]

    Brown, Mixed Tate motives over , Ann

    F. Brown, Mixed Tate motives over , Ann. of Math. 175 (2012), 949--976

  2. [10]

    Burmester, An algebraic approach to multiple q -zeta values, PhD Thesis, Universit\"at Hamburg (2023)

    A. Burmester, An algebraic approach to multiple q -zeta values, PhD Thesis, Universit\"at Hamburg (2023)

  3. [11]

    V. G. Drinfel’d, On quasitriangular quasi-Hopf algebras and a group closely connected with Gal ( / ) , Leningrad Math. J. 2 (1991), no. 4, 829--860

  4. [12]

    \'Ecalle, ARI/GARI, la dimorphie et l'arithm\'etique des multiz\^etas: un premier bilan, J

    J. \'Ecalle, ARI/GARI, la dimorphie et l'arithm\'etique des multiz\^etas: un premier bilan, J. Th\'eor. Nombres Bordeaux 15 (2003), no. 2, 411--478

  5. [13]

    Furusho, Pentagon and hexagon equations, Ann

    H. Furusho, Pentagon and hexagon equations, Ann. of Math. 171 (2010), No. 1, 545--556

  6. [14]

    Gangl, M

    H. Gangl, M. Kaneko and D. Zagier, Double zeta values and modular forms, in Automorphic forms and zeta functions, World Scientific, Singapore, (2006), 71--106

  7. [15]

    A. B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative geometry, Duke Math. J. 128 (2005), no. 2, 209--284

  8. [16]

    T. Hara, K. Sakugawa and K. Tasaka, Symmetric multiple Eisenstein series, preprint, arXiv:2601.13626, (2026)

  9. [17]

    Hirose, T

    M. Hirose, T. Maesaka, S. Seki and T. Watanabe, The Z -module of multiple zeta values is generated by ones for indices without ones , preprint, arXiv:2505.07221, (2025)

  10. [18]

    Hirose and N

    M. Hirose and N. Sato, Iterated integrals on P ^1 \ 0,1, ,z\ and a class of relations among multiple zeta values , Adv. in Math. 342 (2019), 163--182

  11. [19]

    M. E. Hoffman, K. Ihara: Quasi-shuffle products revisited , J. Algebra 481 (2017), 293--326

  12. [20]

    Ihara, M

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

  13. [21]

    Kaneko, Double zeta values and modular forms, in Proceedings of the Japan-Korea joint seminar on number theory, October 9--12, 2004, Kuju, Japan

    M. Kaneko, Double zeta values and modular forms, in Proceedings of the Japan-Korea joint seminar on number theory, October 9--12, 2004, Kuju, Japan. Fukuoka: Kyushu University, 79--85

  14. [22]

    Kawashima, A class of relations among multiple zeta values, J

    G. Kawashima, A class of relations among multiple zeta values, J. Number Theory 129 (2009), 755--788

  15. [23]

    Okounkov, Hilbert schemes and multiple q-zeta values, Funct

    A. Okounkov, Hilbert schemes and multiple q-zeta values, Funct. Anal. Appl. 48 (2014), 138--144

  16. [24]

    Seki, Diamond lift of Hirose--Sato's formula involving the Hoffman basis, preprint, arXiv:2512.23668, (2025)

    S. Seki, Diamond lift of Hirose--Sato's formula involving the Hoffman basis, preprint, arXiv:2512.23668, (2025)

  17. [25]

    Turan, Ableitungen von Eisensteinreihen und Erzeugendenreihen von Multiplen Teilersummen, Bachelor thesis, Universit\"at Hamburg, (2021)

    C. Turan, Ableitungen von Eisensteinreihen und Erzeugendenreihen von Multiplen Teilersummen, Bachelor thesis, Universit\"at Hamburg, (2021)

  18. [26]

    Zagier, Periods of modular forms, traces of Hecke operators, and multiple zeta values, S\=urikaisekikenky\=usho K\=oky\=uroku No

    D. Zagier, Periods of modular forms, traces of Hecke operators, and multiple zeta values, S\=urikaisekikenky\=usho K\=oky\=uroku No. 843 (1993), 162--170

  19. [27]

    Zagier, Values of zeta functions and their applications, in First European Congress of Mathematics, Vol.\ II (Paris, 1992), 497--512, Progr

    D. Zagier, Values of zeta functions and their applications, in First European Congress of Mathematics, Vol.\ II (Paris, 1992), 497--512, Progr. Math., 120, Birkh\"auser, Basel

  20. [28]

    Zagier, Elliptic modular forms and their applications, in The 1-2-3 of modular forms, 1--103, Universitext, Springer, Berlin

    D. Zagier, Elliptic modular forms and their applications, in The 1-2-3 of modular forms, 1--103, Universitext, Springer, Berlin

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.