REVIEW 3 major objections 4 minor 15 references
Indefinite theta functions arising from affine Lie superalgebras and sums of triangular numbers
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For every m≥1, a new identity expresses q^{m^2/2} Δ(q)^{4m^2} as a constant times an infinite sum over half-integer pairs with polynomial weights; the paper proves it twice, once via indefinite theta functions and once via the denominator…
desk verdict New identity with two proofs, but the modular proof hinges on a deferred eigenvalue computation that the authors need to write out. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the indefinite $\theta$ function of Definition 2.3, built from sign functions and derivatives of the error function attached to the cone of the quadratic form $Q_1(x,y)=xy$, then assembled for signature $(m,m)$ with $Q_m=\sum x_jy_j$. The relevant polynomial $f_3$—the product $\prod(x_j+y_j)$ times the two difference-of-squares products—is shown to be spherical, meaning it is homogeneous and annihilated by the Laplace operator $\Delta_m=2\sum\partial^2/\partial x_j\partial y_j$ (Lemma 3.2). Vignéras' criterion converts the eigenfunction equation $D_mp=dp$ into the modular transformation law, and the proof then compares the $\theta$ series with the power $\theta_\Delta(\tau)^{4m^2}$ on the genus-zero quotient $\Gamma(2)\backslash\mathbb{H}$. The denominator-identity proof uses the Weyl dimension formula to pass from affine root-system data to the polynomial factors in the q-series.
What would settle it
For m=2, expand both sides of Theorem 1.2 through $q^{{30}}$; any coefficient mismatch disproves the identity. To isolate the load-bearing step, differentiate the m=2 kernel symbolically and verify the claimed eigenvalue equation D_2 p = 2 p at a generic point; a failure there would show Proposition 2.5 is false.
Extended reading notes
Core claim
The central claim is the identity of Theorem 1.2: for every integer m≥1, $$$q^{{m^2/2}}$\$\Delta$(q)^{$4m^{2}$}=\frac{2^m(2m)!}{\prod_{j=1}^m(2j)!^2}\sum_{x_j,y_j\in\frac12+\mathbb{Z}_{\ge0}} f(\vec x)\,$q^{{2\sum_{j=1}}$^m x_jy_j},$$ where $\Delta(q)=\sum_{n\ge0}q^{n(n+1)/2}$ and $$f(\vec x)=\prod_{j=1}^m(x_j+y_j)\prod_{1\le i<j\le m}\bigl((x_i-y_i)^2-(x_j-y_j)^2\bigr)\bigl((x_i+y_i)^2-(x_j+y_j)^2\bigr).$$ The authors prove this identity by showing that the right-hand side is a modular form on $\Gamma(2)$ of the same weight, level, and cusp behavior as the left-hand side. They construct an indefinite $\theta$ function for the quadratic form $Q_m=\sum x_jy_j$, verify the spherical-polynomial condition needed for Vignéras' criterion, and then match the two sides by comparing their expansions at the cusps. They also derive the same identity by taking a limit in the denominator identity for the affine Lie superalgebra $\mathrm{cspo}(2m,2m)$.
Load-bearing premise
The proof rests on the claim in Proposition 2.5 that the Vignéras operator acts on the $\theta$ kernel as multiplication by the polynomial's degree; the paper sketches this by saying the calculation is the same as in [7, Proposition 5.4] after replacing the quadratic form, but it does not display the full computation for $Q_m=\sum x_jy_j$; if that eigenvalue equation fails, the modular transformation law fails and the $\theta$-function proof of Theorem 1.2 collapses.
Editorial extensions
If this is right
- For each m≥1 the coefficients of $\Delta(q)^{4m^2}$ have an explicit infinite-sum expression, giving a concrete arithmetic formula for these coefficients rather than a mere modularity statement.
- The two known identities of Theorem 1.1 are reproved within the same framework, so the paper unifies the proof strategy for all three families of power-series identities.
- The identity is a specialization of the denominator identity of $\mathrm{cspo}(2m,2m)$, so the q-series identity carries representation-theoretic content for that affine Lie superalgebra.
- The theta-function construction now works for signature $(m,m)$, extending the earlier indefinite-theta-function framework and making the method available for other indefinite quadratic forms.
- The denominator-identity route also yields power-series identities for $\Delta(q)^{2m^2-2}$ and $\Delta(q)^{2m(m+1)}$ from $\mathrm{bgl}(m,m)$ and $\mathrm{bsl}(m+1,m)$; these cases are proven from denominators but not yet by the theta-function method.
Reading between the lines
- A natural test of the framework is to attempt the same theta-function proof for the $\mathrm{bsl}(m+1,m)$ identity; the paper's Section 5.5 indicates that all non-holomorphic error-function contributions would have to cancel, which is a checkable computation.
- The success of the two-sided proof suggests a general recipe: any power of $\Delta(q)$ that is modular can be matched against an indefinite theta series whose spherical polynomial satisfies the Vignéras eigenfunction condition, so new identities of this shape may be found by classifying such polynomials.
- If the denominator-identity dictionary extends, the six affine Lie superalgebras listed in the paper should correspond to a complete list of power-series identities for $\Delta(q)$; the remaining open cases are $\mathrm{bgl}(m,m)$ and $\mathrm{bsl}(m+1,m)$ from the theta-function side.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops indefinite theta functions of signature (m,m) associated with the off-diagonal quadratic form Q_m = Σ x_j y_j, extending work of Roehrig–Zwegers and of the authors' earlier paper [7]. It uses Vignéras' criterion to prove modular transformation laws for these theta series, and then compares them with powers of the triangular-number generating function θ_Δ(τ) = q^{1/16}Δ(q^{1/2}). This yields proofs of the known Kac–Wakimoto–Zagier identities (Theorem 1.1) and of a new identity, Theorem 1.2, expressing q^{m^2/2}Δ(q)^{4m^2} as an explicit infinite sum with polynomial weight f(x). In the second half, the paper derives the same q-series identities from denominator identities of affine Lie superalgebras, in particular cspo(2m,2m) for Theorem 1.2 and cspo(2m,2m+2) for the second identity in Theorem 1.1.
Significance. If the gaps identified below are filled, the paper would contribute a genuinely new explicit q-series identity (Theorem 1.2) with two independent derivations, one through indefinite theta functions and one through denominator identities of affine Lie superalgebras. The extension of the Roehrig–Zwegers framework to signature (m,m) with the off-diagonal form is a useful technical development, and the connection between cspo denominator identities and triangular-number identities is conceptually appealing. The paper also contains a substantial explicit computation (Lemma 3.2) proving that the new polynomial f_3 is spherical. The main claims are not assumed from the literature, and the identities themselves are concrete and numerically checkable; this is a strength. However, the proof as written leaves several load-bearing computations either deferred to [7] or summarized by analogy, and the final variable changes in Section 5 are only asserted.
major comments (3)
- [§2.2, Proposition 2.5] The asserted eigenvalue identity D_m p = d p is the hypothesis needed for Vignéras' criterion in Theorem 2.6, and the proof given is only a sketch. For the off-diagonal matrix A = [[0,I_m],[I_m,0]], the relations between ∂_{x_j}ρ, ∂_{y_j}ρ and ∂_{c_j} are not the same as in the diagonal case treated in [7, Proposition 5.4], and the displayed mixed-derivative term in the product rule is not actually evaluated. The sentence 'the conclusion remains unchanged' is precisely the step that must be checked; a sign or factor error in that term would destroy the eigenvalue condition and invalidate Theorem 2.6. Please provide the complete calculation, or state and prove a reduction of the off-diagonal case to [7] by an explicit change of variables.
- [§3.5, proof of the third identity] The proof that θ_Δ^{4m^2} = F_3 uses the same Liouville comparison as in §3.3, but the required boundedness of F_3 at the cusps is not established. The text says that the second statement of Lemma 3.5 'proceeds in exactly the same way' after replacing f_1 by f_3, yet no estimate is given for the terms that now involve the y_j variables; the third cusp estimate is not discussed at all. Since the quotient F_3/θ_Δ^{4m^2} must be bounded at i∞, 0, and 1 to conclude that it is constant, this is a load-bearing omitted proof. The analogous cusp estimates for F_2 in §3.4 are also dismissed with 'we omit the details'.
- [§5.3, after Theorem 5.15] The claimed reduction of Theorem 5.15 to Theorem 1.2 by the change of variables k_j = x_j + 1/2 and r_j = y_j - x_j is not demonstrated. One must show that the alternating sum over subsets J, the signs (-1)^{|J|}, the prefactor, and the polynomial in (k,r) combine to the product f(x) = ∏(x_j+y_j) ∏((x_i-y_i)^2-(x_j-y_j)^2)((x_i+y_i)^2-(x_j+y_j)^2), and that the summation over Z^m_J becomes the stated sum over x_j,y_j ∈ 1/2+Z_{\ge0}. As written, the denominator-identity proof of the paper's main new theorem is incomplete at the final step.
minor comments (4)
- [Throughout] The repeated prefix 'Theorem Counter' before theorem and lemma numbers appears to be a typesetting or conversion artifact; the numbering should be made consistent and conventional throughout the manuscript.
- [References and Theorem 1.1] The name 'Zagier' is misspelled as 'Zegier' in the attribution of Theorem 1.1, and the authors' own previous paper is listed as 'Matsusaska and Suzuki' in [7]; the correct spelling is 'Matsusaka'.
- [§4 and §5 headings] There are typographical errors: 'neccessary' in the first sentence of Section 4, 'seires' in the opening of Section 5, and 'withoug modification' in Section 2.3.
- [§3.5] In the change of variables X_j = x_j + y_j, Y_j = x_j - y_j, since x_j,y_j ∈ 1/2+Z, the parity condition is X_j - Y_j ∈ 1+2Z; the text writes 'X_j - Y_j not in 2Z', which is equivalent but worth stating explicitly for clarity.
Circularity Check
No significant circularity: the new identity is proved, not assumed; self-citations to [7] concern analogous kernel lemmas, and Section 5.3 gives an independent denominator-identity derivation.
full rationale
The paper does not assume Theorem 1.2 anywhere. The indefinite-theta proof verifies Vignéras' hypotheses by constructing kernels; the only deferred items are Proposition 2.4 (Schwartz property) and Proposition 2.5 (eigenfunction property), both citing the authors' prior work [7]. Those cited statements are parameter-free lemmas about the kernel construction for the analogous diagonal quadratic form, not about the target q-series identity, and the paper sketches the needed modification for the off-diagonal form Q_m = Σ x_j y_j. The final identity also has an independent proof in Section 5.3 from Gorelik's denominator identity for cspo(2m,2m), so the central claim does not reduce to the self-cited eigenfunction check. The manuscript honestly records in Section 5.5 that the bsl(m+1,m) and bgl(m,m) cases could not be proved by the theta-function method; that is a limitation, not a circular step. No fitted parameter is renamed as a prediction, and no known result is merely repackaged. The numerical-support remark is presented as motivation, not as proof. Because the derivation chain is grounded in external theorems (Vignéras, Roehrig–Zwegers, Gorelik, Zagier/Milne), no significant circularity is found; the low score reflects only the reliance on the authors' own prior work for analogous technical lemmas.
Assumptions & free parameters
assumptions (5)
- standard math Vignéras' criterion for constructing modular theta functions from eigenfunctions of the operator D_A.
- standard math Gorelik-Reif denominator identity for affine Lie superalgebras (Theorem 4.8).
- standard math Roehrig-Zwegers results on indefinite theta functions of signature (n-1,1), especially [12, Lemma 3.1] and [12, Theorem 2.4].
- domain assumption Previous results of the authors: [7, Proposition 5.2] (Schwartz property) and [7, Proposition 5.4] (eigenfunction property for diagonal A).
- standard math Γ(2)\H has genus zero and Liouville's theorem for holomorphic functions on it.
Cite this review
Pith. "Pith review of Indefinite theta functions arising from affine Lie superalgebras and sums of triangular numbers." pith.science (2026). https://pith.science/paper/5SIQZ45S
@misc{pith2026250604722,
author = {Pith},
title = {Pith review of: Indefinite theta functions arising from affine Lie superalgebras and sums of triangular numbers},
year = {2026},
howpublished = {\url{https://pith.science/paper/5SIQZ45S}},
note = {Machine review of arXiv:2506.04722}
}
read the original abstract
We extend the recently developed theory of Roehrig and Zwegers on indefinite theta functions to prove certain power series are modular forms. As a consequence, we obtain several power series identities for powers of the generating function of triangular numbers. We also show that these identities arise as specializations of denominator identities of affine Lie superalgebras.
Reference graph
Works this paper leans on
-
[7]
T. Matsusaska and M. Suzuki,Denominator identity for the affine Lie superalgebra cspo(2m,2m+1)and indefinite theta functions, 2025. arXiv:2502.06449
work page Pith review arXiv 2025
-
[1]
L. E. Dickson,History of the theory of numbers. Vol. II: Diophantine analysis, Chelsea Publishing Co., New York, 1966
work page 1966
-
[2]
Gorelik,Weyl denominator identity for affine Lie superalgebras with non-zero dual Coxeter number, J
M. Gorelik,Weyl denominator identity for affine Lie superalgebras with non-zero dual Coxeter number, J. Algebra 337(2011), 50–62
work page 2011
-
[3]
M. Gorelik and S. Reif,A denominator identity for affine Lie superalgebras with zero dual Coxeter number, Algebra and Number Theory6(2012), no. 5, 1043–1059
work page 2012
-
[4]
J. E. Humphreys,Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics, Vol. 9, Springer-Verlag, New York-Berlin, 1972
work page 1972
-
[5]
V. G. Kac and M. Wakimoto,Integrable highest weight modules over affine superalgebras and number theory, Lie theory and geometry, 1994, pp. 415–456
work page 1994
-
[6]
A. M. Legendre,Trait´ e des fonctions elliptiques et des int´ egrales Eul´ eriennes, Vol. 3, Paris, 1828
-
[8]
S. C. Milne,Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions, Ramanujan J.6(2002), no. 1, 7–149
work page 2002
Show all 15 references
-
[9]
I. M. Musson,Lie superalgebras and enveloping algebras, Graduate Studies in Mathematics, vol. 131, American Mathematical Society, 2012
2012
-
[10]
K. Ono, S. Robins, and P. T. Wahl,On the representation of integers as sums of triangular numbers, Aequationes Math.50(1995), no. 1-2, 73–94
1995
-
[11]
Roehrig and S
C. Roehrig and S. Zwegers,Theta series for quadratic forms of signature(n−1,1)with (spherical) polynomials, Int. J. Number Theory18(2022), no. 7, 1491–1515
2022
-
[12]
arXiv:2201.03986
,Theta series for quadratic forms of signature(n−1,1)with (spherical) polynomials II, 2022. arXiv:2201.03986
2022 arXiv
-
[13]
Vign´ eras,S´ eries thˆ eta des formes quadratiques ind´ efinies, Modular functions in one variable vi, 1977, pp
M.-F. Vign´ eras,S´ eries thˆ eta des formes quadratiques ind´ efinies, Modular functions in one variable vi, 1977, pp. 227–239
1977
-
[14]
Zagier,A proof of the Kac-Wakimoto affine denominator formula for the strange series, Math
D. Zagier,A proof of the Kac-Wakimoto affine denominator formula for the strange series, Math. Res. Lett.7 (2000), 597–604
2000
-
[15]
S. P. Zwegers,Mock theta functions, Ph.D. Thesis, 2002. F aculty of Mathematics, Kyushu University, Motooka 744, Nishi-ku, Fukuoka 819-0395, Japan Email address:matsusaka@math.kyushu-u.ac.jp Department of Mathematics, Kyoto University, Kitashirakawa Oiwake-cho, Sakyo-ku, Kyoto...
2002
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.