Pith. sign in

REVIEW 1 major objections 4 minor 23 references

Schur Eisenstein series and Schur MacMahon series

T0 review · 1 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read The paper proves that Schur Eisenstein series attached to partitions with at most three parts form a Q-basis of every weight space of quasimodular forms, and it conjectures an integral version for Schur MacMahon series.

desk verdict Genuinely new partition-indexed bases of quasimodular forms, but the basis theorem leans on two results from the coauthor's unpublished preprint — worth refereeing attentively. read the letter →

arxiv 2607.27702 v1 pith:EKCLI2JJ submitted 2026-07-30 math.NT math.COmath.QA

Henrik Bachmann , Jinbo Yu This is my paper · ORCID
classification math.NTmath.COmath.QA MSC 11F1105E0511M3216T30
keywords quasimodularformsSchurfunctionsEisensteinseriesMacMahonsumsofdivisorsmultiplezetavaluesFaàdiBrunoHopfalgebrapartitionbases
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

This paper connects the combinatorics of Schur functions to the classical ring of quasimodular forms. To each partition λ it attaches a homogeneous quasimodular form G(λ), the Schur Eisenstein series, and a mixed-weight integral series g(λ), the Schur MacMahon series. The main theorem shows that the G(λ) indexed by partitions of n with parts of size at most 3 form a Q-basis of the weight-2n quasimodular forms, giving an explicit partition-indexed replacement for the monomial basis of Q[G2,G4,G6]. The paper also gives a fully explicit transition between G(λ) and g(λ), interpreted as convolution with Schur multiple zeta values in a Faà di Bruno Hopf algebra, and proves structural sl2-action formulas. A central conjecture asserts that the integral Schur MacMahon series span all quasimodular forms with integral Fourier coefficients.

What carries the argument

The mechanism is the algebra homomorphism Φ_G from symmetric functions to M, defined on generators by Φ_G(e_l)=G_{2}^l and extended to Schur functions via the Jacobi–Trudi determinant, so that Φ_G(s_λ)=G(λ). Its companion Φ_g sends e_l to the MacMahon series A_l, and an explicit automorphism θ, built from central factorial numbers, intertwines them: Φ_G=Φ_g∘θ, realized as convolution in a Faà di Bruno Hopf algebra. The basis proof uses a 2-adic divisibility of Eisenstein polynomials R_m(G4,G6) and a Möbius inversion on set partitions to make the transition matrix to the monomial basis upper-unitriangular modulo 2.

What would settle it

Compute the 5×5 matrix expressing G(λ), λ⊢5, λ_1≤3, in the monomial basis G2^aG4^bG6^c (a+2b+3c=5); the proof predicts its determinant is not divisible by 2. A determinant that is zero or even would refute the basis theorem. Separately, a search at weight 18 for an integral quasimodular form outside the Z-span of g(λ) with |λ| up to the conjectured bound 12 would test the integral-span conjecture.

Watch

Extended reading notes

Core claim

The central discovery is that specializing the ring of symmetric functions by sending each elementary symmetric function e_l to the all-2 column multiple Eisenstein series makes Schur functions into homogeneous quasimodular forms, with the Schur functions of width at most three giving a basis of the entire quasimodular ring M=Q[G2,G4,G6]. In the paper's formulation, the specialization Φ_G restricts to an isomorphism from Fil_3^W Λ onto M, doubling degree. The proof is 2-adic: the Weierstrass differential equation shows that the Eisenstein polynomials R_m(G4,G6) are divisible by 2 for all m≥4, making the transition matrix from the partition-indexed series to monomials invertible modulo 2. The

Load-bearing premise

The argument leans on a determinant formula and an exponential identity for all-2 Schur multiple Eisenstein series, taken from a companion preprint rather than proved here; if those identities were wrong, the definition of Φ_G and the basis theorem would not be established.

Editorial extensions

If this is right

  • Every weight-2n quasimodular form with rational coefficients is a unique Q-linear combination of the G(λ) for partitions of n with parts ≤3; this includes the modular discriminant Δ and every polynomial in G2, G4, G6.
  • The transition theorem gives an explicit algorithm: each G(λ) is a finite sum of Schur MacMahon series g(μ) with μ⊆λ, whose coefficients are integer combinations of renormalized Schur multiple zeta values.
  • The sl2-action on quasimodular forms lifts to partitions: the lowering operator removes a box, and the derivative operator D is given by explicit determinantal formulas adding boxes.
  • The column cases recover classical MacMahon sums of divisors and all-2 multiple Eisenstein series, so the new families extend known quasimodularity results from columns to arbitrary Young diagrams.
  • If the integral-span conjecture is true, every quasimodular form with integral Fourier coefficients is an integer combination of Schur MacMahon series, a strong structure on divided congruences verified here through weight 16.

Reading between the lines

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

  • One could test whether the width-3 bound is the shadow of a more general correspondence: for other subrings of quasimodular or almost holomorphic modular forms, Schur functions of bounded width may supply canonical bases indexed by partitions.
  • The 2-adic proof suggests a general recipe: divisibility properties of the Eisenstein polynomials at a prime control which partition-indexed families are bases; the same mechanism may yield bases over Z_(p) or p-adic completions, not just over Q.
  • If the integral-span conjecture holds, the Schur MacMahon series would be a natural integral lattice basis for all divided congruences in M, making integrality as transparent as rational generation.
  • The Faà di Bruno convolution description is likely exportable: wherever a zeta-valued character and a q-series character meet, the same winding automorphism may connect homogeneous and filtered families, e.g. in multiple zeta value algebras.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper introduces two partition-indexed families of quasimodular forms: Schur MacMahon series g(λ) and Schur Eisenstein series G(λ), both obtained from Schur-function specializations. It proves a transition theorem (Main Theorem A) expressing G(λ) as an explicit triangular Q-combination of g(μ) with coefficients in renormalized Schur multiple zeta values, interpreted via a Faà di Bruno Hopf algebra. It establishes an sl2-triple action (Main Theorem B), including a box-removal formula for the lowering operator and a determinantal raising formula. The main new result (Main Theorem C) is that, for every n, the Schur Eisenstein series indexed by partitions of n with largest part at most 3 form a Q-basis of the weight-2n quasimodular forms M_{2n}; equivalently Φ_G restricts to an isomorphism Fil^W_3 Λ ≅ M. The proof is a 2-adic argument using the Eisenstein polynomial recursion and a triangular Kostka transition. The paper also formulates the integral-spanning conjecture G_Z = M_Z and gives computational evidence up to weight 16.

Significance. If the central claims are correct, the paper gives an explicit partition-indexed basis of all quasimodular forms, a rare structural addition to the classical ring Q[G2,G4,G6]. The transition theorem provides a systematic all-shape generalization of the MacMahon/multiple-Eisenstein story and connects it to a Hopf-algebraic convolution formalism. The sl2 results are clean and likely useful. The 2-adic basis proof is original and, once the external inputs are granted, internally coherent. The conjectural integral-spanning statement is well motivated by concrete congruences, but remains open. The main caveat is that essential foundational inputs—most importantly the Jacobi–Trudi formula for Schur Eisenstein series and the power-sum specialization identity—are quoted from a coauthor's unpublished preprint, so the paper is not currently self-contained at a load-bearing point. No code or data accompanies the claimed exact computations in §4.3.

major comments (1)
  1. [§2.3, Theorem 2.3 and Lemma 2.4] The paper's central identification G(λ)=Φ_G(s_λ) and the key power-sum specialization Φ_G(p_n)=G_{2n} are imported from the second author's unpublished preprint [Yu]. Theorem 2.3 is stated as a theorem of [Yu] and not proved here; Lemma 2.4 is reduced to [Yu, Cor. 4.11] and [Ba2, Eq. (3.1)] rather than proved. These are load-bearing: Theorem 2.3 gives homogeneity of G(λ), and Lemma 2.4 is used throughout the proof of Theorem 4.1 (immediately after x=G2,y=G4,z=G6 are set) as well as in Theorem 2.7(v) and the kernel computation. Convergence of the defining Schur multiple Eisenstein series is likewise deferred to [Yu]. Since [Yu] is unpublished and authored by a coauthor, the referee cannot independently verify the foundation of the paper's main theorem. Please either include complete proofs of Theorem 2.3, Lemma 2.4, and the convergence statement, or make the dependence precise enough that
minor comments (4)
  1. [§4.3] The exact computational evidence relies on an unreported SageMath computation. The claim that 72 coefficients determine the 67-dimensional space F≤20M should be reproducible; please include code, a data file, or a detailed algorithmic description in a supplement.
  2. [§2.7, proof of Theorem 2.20(i)] The sentence “A surjection from a Q-algebra generated by three elements onto a polynomial ring in three variables mapping generators to generators is an isomorphism” is not true in that generality (e.g. Q[x]/(x^2)→Q[t], x↦t). In the present context the conclusion is saved by the algebraic independence of G2,G4,G6, but the argument should be spelled out: the polynomial subring Q[p1,p2,p3] maps injectively and surjectively onto M.
  3. [Throughout] There are several minor stylistic slips, e.g. “Let p_r be the r-th power sum” should read “Let p_r be the r-th power sum symmetric function,” and the typography “sl 2” and “MacMahon” is occasionally inconsistent. These do not affect the mathematics.
  4. [§4.2.2, Proposition 4.4] The claim that the C_r(X) form a Z-basis of the odd integer-valued polynomials is asserted without proof. It is true, but a short induction or a reference to the standard binomial-basis argument would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation; the basis theorem is an independent 2-adic argument that uses, but does not reduce to, imported lemmas from the authors' prior work.

full rationale

The derivation chain for Main Theorem C is not circular. The paper defines G(λ) directly as the renormalized all-2 Schur multiple Eisenstein series and then proves, via the imported Jacobi–Trudi formula (Theorem 2.3 from [Yu]), that G(λ)=Φ_G(sλ). The exponential identity (Lemma 2.4, from [Yu] and [Ba2]) gives Φ_G(p_n)=G_{2n}. These are load-bearing premises, but they do not assume the basis theorem. The proof of Theorem 4.1 then proceeds by a self-contained 2-adic argument: it establishes the divisibility R_m ∈ 2Z_(2)[y,z] from the Weierstrass differential equation, passes from power sums to monomial symmetric functions, proves an upper-unitriangular matrix modulo 2, and finally converts to Schur functions via the unitriangular Kostka matrix. None of this reduces to the imported identities by construction; the linear independence is genuinely new content. The only concern is external dependency on the unpublished preprint [Yu], which is a reliability issue, not a circularity issue. The paper honestly flags the dependency by saying 'We refer to the work of the second author [Yu] for the convergence statement and basic properties.' Since the cited results are parameter-free and do not include the target result, they count as independent support and do not raise the circularity score.

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

Axioms are mostly standard symmetric-function/quasimodular-form background; the two non-standard load-bearing inputs are [Yu]'s Jacobi–Trudi theorem and [Ba2]'s generating identity, both from the authors' own prior work. No free parameters are fitted in the main theorems; the only empirical quantity is the conjectural bound B(k).

free parameters (1)
  • B(k) minimal bound in Conjecture 4.5 = floor(k/2) + floor(k/6) (conjectural; computed minimal for k<=16)
    Proposed explicit bound for finite integral spanning; matches computed values for k=4..16, not proved.
assumptions (6)
  • domain assumption Jacobi–Trudi formula for all-2 Schur multiple Eisenstein series (Theorem 2.3) holds.
    Invoked from [Yu]; gives determinant expression and homogeneity of G(lambda/mu). Not proved in this paper.
  • domain assumption Exponential/generating identity (2.12) relating column MacMahon and all-2 Eisenstein series holds.
    Taken from [Ba2, Thm 1.1]; the starting point of the transition theorem.
  • standard math Phi_beta(p_m) = zeta(2m)/(2pi i)^(2m) defines an algebra character of the ring of symmetric functions.
    Classical values of zeta(2m); used throughout for constants beta(lambda).
  • standard math M = Q[E2,E4,E6] and E2,E4,E6 are algebraically independent over Q.
    Background on quasimodular forms (Zagier); used for bases and kernels.
  • standard math Semistandard tableaux expand Schur functions and the specialization x_m = q^m/(1-q^m)^2 converges q-adically.
    Standard symmetric function theory; defines the Schur MacMahon series.
  • standard math Central factorial numbers T(2m,2j) and t(2m,2k) satisfy the inverse expansions used in theta.
    Known combinatorial identities; key to transition coefficients.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Schur Eisenstein series and Schur MacMahon series." pith.science (2026). https://pith.science/paper/EKCLI2JJ

@misc{pith2026260727702,
  author       = {Pith},
  title        = {Pith review of: Schur Eisenstein series and Schur MacMahon series},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EKCLI2JJ}},
  note         = {Machine review of arXiv:2607.27702}
}
read the original abstract

We introduce and study two partition-indexed families of quasimodular forms obtained from Schur functions: Schur Eisenstein series and Schur MacMahon series. An explicit transition between them can be interpreted as a convolution in a Fa\`a di Bruno Hopf algebra of symmetric functions. We discuss the classical sl2-action and prove that Schur Eisenstein series for partitions with parts of size at most 3 give a basis for quasimodular forms. Further, we conjecture that the Schur MacMahon series span all quasimodular forms with integral coefficients.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 3 linked inside Pith

  1. [1]

    Amdeberhan, M

    T. Amdeberhan, M. Griffin, K. Ono, A. Singh, Traces of partition Eisenstein series, Forum Math. 37 (2025), no. 6, 1835--1847

    2025

  2. [2]

    Amdeberhan, K

    T. Amdeberhan, K. Ono, A. Singh, MacMahon's sums-of-divisors and allied q -series, Adv. Math. 452 (2024), Art. No.\ 109820

    2024

  3. [3]

    Andrews, S

    G. Andrews, S. Rose, MacMahon's sum-of-divisors functions, Chebyshev polynomials, and quasi-modular forms, J. Reine Angew. Math. 676 (2013), 97--103

    2013

  4. [4]

    Bachmann, Multiple Zeta-Werte und die Verbindung zu Modulformen durch Multiple Eisensteinreihen, Master thesis, Hamburg University, 2012

    H. Bachmann, Multiple Zeta-Werte und die Verbindung zu Modulformen durch Multiple Eisensteinreihen, Master thesis, Hamburg University, 2012

    2012

  5. [5]

    Bachmann, MacMahon's sums-of-divisors and their connection to multiple Eisenstein series, Res

    H. Bachmann, MacMahon's sums-of-divisors and their connection to multiple Eisenstein series, Res. Number Theory 10 (2024), Art. No.\ 50

    2024

  6. [6]

    Butzer, M

    P.L. Butzer, M. Schmidt, E.L. Stark, L. Vogt, Central factorial numbers, their main properties and some applications, Numer. Funct. Anal. Optim. 10 (1989), 419--488

    1989

  7. [7]

    Bachmann, K

    H. Bachmann, K. Tasaka, The double shuffle relations for multiple Eisenstein series, Nagoya Math. J. 230 (2017), 1--33

    2017

  8. [8]

    Bachmann, J.-W

    H. Bachmann, J.-W. van Ittersum, Formal multiple Eisenstein series and their derivations, with an appendix by N. Matthes, Adv. Math. 487 (2026), Art. No.\ 110739

    2026

Show all 23 references
  1. [9]

    Chiriac, A

    L. Chiriac, A. Jorza, Lacunary recurrences and 2-adic properties of Eisenstein series, preprint, arXiv:2605.09738 [math.NT], 2026

    2026 arXiv

  2. [10]

    Craig, Higher level q -multiple zeta values with applications to quasimodular forms and partitions, to appear in Math

    W. Craig, Higher level q -multiple zeta values with applications to quasimodular forms and partitions, to appear in Math. Ann., arXiv:2409.13874 [math.NT]

    arXiv

  3. [11]

    Foissy, Fa\`a di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson--Schwinger equations, Adv

    L. Foissy, Fa\`a di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson--Schwinger equations, Adv. Math. 218 (2008), 136--162

    2008

  4. [12]

    Gangl, M

    H. Gangl, M. Kaneko, D. Zagier, Double zeta values and modular forms, in Automorphic forms and zeta functions, World Sci. Publ., Hackensack, NJ, 2006, 71--106

    2006

  5. [13]

    Hoffman, K

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

    2017

  6. [14]

    Hurwitz, \"Uber die Entwickelungscoefficienten der lemniscatischen Functionen, Math

    A. Hurwitz, \"Uber die Entwickelungscoefficienten der lemniscatischen Functionen, Math. Ann. 51 (1899), 196--226

  7. [15]

    Kaneko, D

    M. Kaneko, D. Zagier, A generalized Jacobi theta function and quasimodular forms, in The moduli space of curves (Texel Island, 1994), Progr. Math. 129, Birkh\"auser, Boston, 1995, 165--172

    1994

  8. [16]

    Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford Mathematical Monographs, Oxford University Press, New York, 1995

    I.G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford Mathematical Monographs, Oxford University Press, New York, 1995

    1995

  9. [17]

    MacMahon, Divisors of numbers and their continuations in the theory of partitions, Proc

    P.A. MacMahon, Divisors of numbers and their continuations in the theory of partitions, Proc. London Math. Soc. (2) 19 (1921), 75--113

    1921

  10. [18]

    Nakasuji, O

    M. Nakasuji, O. Phuksuwan, Y. Yamasaki, On Schur multiple zeta functions: a combinatoric generalization of multiple zeta functions, Adv. Math. 333 (2018), 570--619

    2018

  11. [19]

    Rademacher, Topics in analytic number theory, Grundlehren der mathematischen Wissenschaften 169, Springer, Berlin--Heidelberg, 1973

    H. Rademacher, Topics in analytic number theory, Grundlehren der mathematischen Wissenschaften 169, Springer, Berlin--Heidelberg, 1973

    1973

  12. [20]

    Skoruppa, A quick combinatorial proof of Eisenstein series identities, J

    N.-P. Skoruppa, A quick combinatorial proof of Eisenstein series identities, J. Number Theory 43 (1993), 68--73

    1993

  13. [21]

    Stanley, Enumerative combinatorics, Vol.\ 2, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press, Cambridge, 1999

    R.P. Stanley, Enumerative combinatorics, Vol.\ 2, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press, Cambridge, 1999

    1999

  14. [22]

    Yu, The Young tableaux Hopf algebra and multiple Schur series, preprint, arXiv:2607.09157 [math.NT], 2026

    J. Yu, The Young tableaux Hopf algebra and multiple Schur series, preprint, arXiv:2607.09157 [math.NT], 2026

    2026 arXiv

  15. [23]

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

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

    2008

Pith tools

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