Denominator identity for the affine Lie superalgebra $\widehat{\mathfrak{spo}}(2m,2m+1)$ and indefinite theta functions

Miyu Suzuki; Toshiki Matsusaka

REVIEW 3 major objections 4 minor 1 cited by

Denominator identity for the affine Lie superalgebra $\widehat{\mathfrak{spo}}(2m,2m+1)$ and indefinite theta functions

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

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

Pith's one-line read This paper proves that the corrected Kac-Wakimoto power-series identity for the triangular-number generating function follows from the modularity of an indefinite theta function with spherical polynomials.

desk verdict A real proof of a Kac-Wakimoto conjecture via a new modular-form route; the convergence debts are real but collectable. read the letter →

arxiv 2502.06449 v2 pith:ESKWG4TI submitted 2025-02-10 math.NT math.CO

Toshiki Matsusaka , Miyu Suzuki This is my paper · ORCID

classification math.NTmath.CO MSC 11F2717B10

keywords denominatoridentityaffineLiesuperalgebraKac-WakimotoindefinitethetafunctionssphericalpolynomialsmodularformstriangularnumbersGamma(2)

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

Kac and Wakimoto derived a power-series identity equating the $2m(2m+1)$-th power of $\triangle(q)$, the generating function of triangular numbers, with an intricate sum over $2m$ integer parameters. The original computation contained a small error, and the corrected identity was left as a conjecture. This paper proves that conjecture by a modular-form route: the right-hand side is rewritten as an indefinite $\theta$ function $KW_m(\tau)$ of signature $(m,m)$ carrying a spherical polynomial of degree $2m^2$, and the authors show it satisfies the same modular transformation laws and cusp growth as $\theta_\triangle(\tau)^{2m(2m+1)}$. Because the quotient then is a holomorphic function on the genus-zero curve $\mathbb{H}/\Gamma(2)$ with constant value $1$, the identity follows. The proof matters because it supplies a general mechanism for turning affine Lie superalgebra denominator identities into proved $q$-series identities.

What carries the argument

The load-bearing object is the function $p_{\vec c_0,\vec c_1}[f](\vec x)$, a signed alternating sum over choices of two cones in each of $m$ two-dimensional quadratic spaces, involving derivatives of a spherical polynomial $f$ and higher error functions that approximate sign functions. For any spherical polynomial $f$ it is an eigenfunction of the differential operator $\mathcal D = \mathcal E - \Delta/(4\pi)$ from Theorem 4.4 with eigenvalue equal to the degree $d$, so the associated $\theta$ series is modular under $\tau\mapsto -1/\tau$ (Theorem 5.5). The special polynomial $V_m(\vec x)=\prod_{i<j}(x_i^2-x_j^2)(y_i^2-y_j^2)\prod_j x_jy_j$, shown in Lemma 5.6 to be annihilated by the Laplace operator, is the one that appears in $KW_m$; taking the limit $t\to 0$ turns the smoothed series into $KW_m$ and yields the transformation laws of Corollary 5.8.

What would settle it

Compute the truncated $KW_2(\tau)$ series for $m=2$ at $\tau=i$ (or as a formal $q$-series) to many terms and compare with $\theta_\triangle(\tau)^{10}$; if the first coefficient where cancellation matters differs, the identity (4.2) fails. More directly, evaluate both sides of the transformation law $KW_2(\tau/(2\tau+1))=(2\tau+1)^{10}KW_2(\tau)$ numerically at a generic $\tau$ with a large truncation—any disagreement beyond roundoff would disprove Corollary 5.8 and hence the modular argument.

Watch

Extended reading notes

Core claim

For every positive integer $m$, the identity $\theta_\triangle(\tau)^{2m(2m+1)} = KW_m(\tau)$ holds, where $\theta_\triangle(\tau) = q^{1/16}\triangle(q^{1/2})$ and $KW_m$ is the indefinite $\theta$ function introduced in Theorem 4.3. This is equivalent to the Kac-Wakimoto power-series identity (1.3), so the paper establishes the corrected version of that identity as a theorem. The central discovery is that $KW_m$ is a holomorphic modular form of weight $m(2m+1)$ on $\Gamma(2)$: it is obtained as the $t\to 0$ limit of a non-holomorphic $\theta$ series built from a smoothing function $p_{\vec c_0(t),\vec c_1(t)}[f]$ with $f = V_m$, and the limit inherits transformation laws from the $\theta$ criterion of Theorem 4.4. Comparing these laws with those of $\theta_\triangle$ shows the two sides of (4.2) are the same modular form.

Load-bearing premise

The proof assumes that the $t\to 0$ limit can be interchanged with the infinite lattice sum in Theorem 5.7 for the high-degree spherical polynomial $V_m$; the one-variable lemmas this relies on were proven for lower-degree cases, and if they fail for degree $2m^2$, the transformation laws for $KW_m$ are not established.

Editorial extensions

If this is right

For every positive integer $m$, identity (4.2) is now proven, so the corrected Kac-Wakimoto power-series identity (1.3) holds as stated.
The right-hand side of (1.3), after the change of variables, is a holomorphic modular form of weight $m(2m+1)$ on $\Gamma(2)$; this modularity is what makes the quotient-with-$\theta_\triangle$ argument work.
The leading coefficient of $KW_m$ is $1$, so the cusp normalization matches $\theta_\triangle^{2m(2m+1)}$ at $i\infty$; the same argument pins the constant at the other two cusps.
The proof is uniform in $m$ because $V_m$ is spherical for every $m$, so no case-by-case computation beyond the degree check is needed.
Since $\theta_\triangle$ has no zeros on $\mathbb{H}$, the quotient $KW_m/\theta_\triangle^{2m(2m+1)}$ is holomorphic, and the genus zero of $\mathbb{H}/\Gamma(2)$ forces it to be constant.

Reading between the lines

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

The same limit machinery should extend to the companion Kac-Wakimoto identities for the other classical affine Lie superalgebras, whose denominator identities also produce powers of $\triangle(q)$; the same spherical-polynomial setup appears ready to handle them, although this paper does not carry that out.
The identity recasts a positive integer count—representations of $N$ as a sum of $2m(2m+1)$ triangular numbers—as a signed, indefinite lattice sum; that alternative encoding may make the counting function amenable to stationary-phase estimates and to comparisons with random-lattice heuristics.
A concrete numerical check is available to anyone implementing the series: for $m=2$, comparing the first few hundred coefficients of truncated $KW_2$ with $\theta_\triangle^{10}$ should show exact agreement, and the size of the truncation error can be measured explicitly as a test of the convergence arguments.

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.

Desk Editor's Note

read the letter

Short version: the paper proves a Kac-Wakimoto conjecture, not just an identity, and the modular-form route is genuinely new: it extends Roehrig-Zwegers indefinite theta functions to signature (m,m) with a spherical polynomial of degree 2m^2. That is a credit-worthy advance, not a repackaging.

What is good: the algebraic proof in Sections 2-3 is detailed and the limit from the denominator identity is handled with care. The change of variables in Theorem 4.3 turning the KW series into an indefinite theta function is clean and actually useful. The modular strategy is sensible: apply Vignéras' criterion, take a t→0 limit, compare transformations and cusp behavior on Γ(2). The paper is honest about provenance: it says the Kac-Wakimoto computation was slightly wrong and the identity was stated as a conjecture there.

Where the soft spots are: the main debt sits in Theorem 5.7. The limit interchange that identifies the modular series with KW_m is delegated to one-variable lemmas from a preprint and a thesis. The authors assert these lemmas still work with the high-degree polynomial V_m, but they do not reproduce the argument. For a proof of a published conjecture, a referee should push for the missing details; it is not obviously wrong, but it is a genuine gap. Relatedly, the cusp estimates in Corollary 5.9 are sketched, particularly the ε→0 step, though the display (5.14) is plausible and the O(1) conclusion is consistent. The attribution inconsistency is real: the theorem statement credits Kac-Wakimoto [6] even though the paper's own introduction says that reference had only a conjecture and an erroneous example. That should be corrected.

Bottom line: for people working on indefinite theta functions or q-series from affine Lie superalgebras, this is a useful paper. It proves a named conjecture, extends a technique to a new signature, and the core argument looks sound. It deserves a serious referee, with the expectation that the convergence debts and attribution get cleaned up.

Referee Report

3 major / 4 minor

Summary. The paper gives a new proof of the Kac–Wakimoto denominator identity for the affine Lie superalgebra cspo(2m, 2m + 1), equivalently the power-series identity for Δ(q)^{2m(2m+1)} in Theorem 1.1. Sections 2–3 present a self-contained algebraic derivation of the identity from the denominator identity of Gorelik, including the corrected version of the Kac–Wakimoto computation. The main new contribution is analytic: the right-hand side is rewritten as an indefinite theta series KW_m(τ) with a spherical polynomial V_m, and the authors prove modular transformation laws and cusp behavior for KW_m using Vignéras' criterion and the Roehrig–Zwegers construction. Comparing KW_m with the modular form θ_Δ(τ)^{2m(2m+1)} on Γ(2) then yields the identity by a genus-zero Liouville argument. The overall strategy is clear and the algebraic part is detailed, but the analytic core relies on convergence and limit-interchange results that are delegated to an unpublished preprint and are only sketched at key points.

Significance. If fully justified, this is a valuable new proof of a nontrivial identity and a genuine extension of the Roehrig–Zwegers indefinite theta machinery to signature (m, m) with spherical polynomials of degree growing with m. The algebraic computation in Sections 2–3 is a strength: it is detailed, checks the signs and limits explicitly, and recovers the corrected Kac–Wakimoto formula. The modular comparison strategy is elegant and reduces the identity to a boundedness check at three cusps. The main weakness is that the transition from the nonholomorphic Vignéras theta functions to the holomorphic series KW_m is not proved in the manuscript itself, and the cusp estimates in Corollary 5.9 contain several abbreviated limit arguments. These points are load-bearing because Corollaries 5.8 and 5.9 are what make the final Liouville argument possible.

major comments (3)

[Theorem 5.7 and §5.1] The limit identity (5.3) is load-bearing: it is the only step that connects the nonholomorphic theta functions covered by Vignéras' criterion to the holomorphic series KW_m. The proof after (5.7) does not itself establish that the t → 0 limit may be interchanged with the infinite sum; it delegates the absolute convergence of (5.5), the vanishing statement (5.9), and the convergence of the β(z^2) terms to Roehrig–Zwegers [13, Lemma 3.1 and Theorem 2.4]. Because [13] is an arXiv preprint and because the polynomial f = V_m has degree 2m^2, the authors should state the exact one-variable lemma they are using, verify its hypotheses for the lattice a = (0, 1/2) and for the monomials x_j^{e_j} y_j^{f_j}, and provide the required uniform-in-t bounds (or a dominated-convergence argument) for the sums in (5.8) and for the S_k terms in the last paragraph of the proof. Without this, Corollary 5.8 does not follow from the displayed reasoning.
[Corollary 5.9, cusp 0] The proof of the O(1) estimate at the cusp 0 is not complete. The passage from (5.11) to (5.13)–(5.14) lets ε → 0 inside infinite sums without a dominated convergence theorem; moreover, (5.14) is an Abel-type limit of a series that is not absolutely convergent at ε = 0, and no q-uniform estimate is supplied. Since boundedness at cusp 0 is needed in the final Liouville argument, this estimate must be proved with explicit inequalities or by deriving the full q-expansion of the ε → 0 limit. The current argument only shows that the limit exists for each fixed τ and that, formally, no negative q-powers survive.
[Corollary 5.9, cusp 1] The final statement for the cusp 1 says that, after transformations and 'comparing it with the first result', one obtains O(q^{m(2m+1)/8}); this is too terse. The expression obtained is a limit involving θ_{-a,a}[V_m](τ), not KW_m itself, and one has to justify that its q-expansion starts with the same exponent as the first cusp expansion. This is likely correct, but it should be shown explicitly, since the boundedness of the quotient at cusp 1 is another ingredient in the Liouville argument.

minor comments (4)

[Introduction] In the paragraph after (1.2), 'exlpained' should be 'explained'.
[References] Reference [9] lists the first author as 'Matsusaska'; this should be 'Matsusaka'.
[Definition 4.2] The notation x_j is used both for a vector and for its first coordinate; this makes the degree computation for V_m unnecessarily confusing. Please add a sentence stating that V_m is homogeneous of degree 2m^2 and explain the notation (x_j, y_j).
[Corollary 5.9] In (5.14), the polynomials E_k(x) are introduced without definition or reference; please identify them (for instance as Euler-like polynomials given by the displayed generating function) so that the convergence statement is checkable.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is self-contained and relies on external modular-form theorems rather than on the identity being proved.

full rationale

The paper's central claim is the identity θ_△(τ)^{2m(2m+1)} = KW_m(τ) (4.2), which is proven by comparing the independently defined modular form θ_△(τ) with the series KW_m(τ). The function KW_m is defined directly from the Kac–Wakimoto right-hand side by the explicit change of variables in Theorem 4.3, so this step is an algebraic rewriting, not an assumption of the target identity. The modular transformation laws for KW_m are derived from Vignéras' criterion (Theorem 4.4) together with the Roehrig–Zwegers/Zwegers construction of error-function kernels, all external results; the paper generalizes those techniques to the signature (m,m) case with the spherical polynomial V_m. No parameter is fitted to the target identity, and no 'prediction' is statistically or definitionally forced. The only author self-citation is reference [9], which merely announces a companion study of remaining cases and is not load-bearing for the present proof. The limit interchanges in Theorem 5.7 are supported by external lemmas from Roehrig–Zwegers [13] and Zwegers [16]; while this is a dependency, it is not circular because those lemmas do not assume the Kac–Wakimoto identity. Thus the derivation chain is self-contained relative to standard external theorems, and no circular step is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proofs rely on established external theorems (denominator identity, Weyl dimension formula, Vignéras' criterion, Jacobi triple product, and Roehrig-Zwegers lemmas) plus the internal construction of the Schwartz eigenfunction p. No free parameters are fitted, and no new physical entities are introduced.

assumptions (5)

domain assumption Denominator identity for affine Lie superalgebra cspo(2m,2m+1) (Theorem 3.4)
Invoked in Section 3 to derive equation (♡); cited to Gorelik [1].
standard math Weyl dimension formula for semisimple Lie algebras
Used in Lemma 3.6 to compute a limit; cited to Humphreys [3].
standard math Vignéras' criterion for indefinite theta functions
Theorem 4.4 is the foundation of the modular transformation proof; cited to Vignéras [14].
standard math Roehrig-Zwegers convergence and error function lemmas
Used throughout Section 5 for the Schwartz property, eigenvalue equation, and limit interchanges; cited to [12,13] and Zwegers [16].
standard math Jacobi triple product identity
Used to establish (1.4) and the modularity of θ_△ in Lemma 4.1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Denominator identity for the affine Lie superalgebra $\widehat{\mathfrak{spo}}(2m,2m+1)$ and indefinite theta functions." pith.science (2026). https://pith.science/paper/ESKWG4TI

@misc{pith2026250206449,
  author       = {Pith},
  title        = {Pith review of: Denominator identity for the affine Lie superalgebra $\widehat\mathfrakspo(2m,2m+1)$ and indefinite theta functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ESKWG4TI}},
  note         = {Machine review of arXiv:2502.06449}
}

abstract

In 1994, Kac and Wakimoto found the denominator identity for classical affine Lie superalgebras, generalizing that for affine Lie algebras. As an application, they obtained power series identities for some powers of $\triangle(q)$, where $\triangle(q)$ is the generating function of triangular numbers. In this article, we give a different proof of one of their identities. The main step is to prove that a certain indefinite theta function involving spherical polynomials is a modular form. We use the technique recently developed by Roehrig and Zwegers.

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

Indefinite theta functions arising from affine Lie superalgebras and sums of triangular numbers
math.NT 2025-06 conditional novelty 7.0 of 10

New families of q-series identities for powers of the generating function of triangular numbers are proved via indefinite theta functions and affine Lie superalgebra denominator identities.

Reference graph

Works this paper leans on

16 extracted references · 14 canonical work pages · cited by 1 Pith paper

[6]

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
[13]

arXiv:2201.03986

, Theta series for quadratic forms of signature (n − 1, 1) with (spherical) polynomials II , 2022. arXiv:2201.03986. 22

arXiv 2022
[1]

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
[2]

, Weyl denominator identity for finite-dimensional Lie superalgebras , Highlights in Lie algebraic methods, 2012, pp. 167–188

work page 2012
[3]

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
[4]

V. G. Kac, Infinite-dimensioned Lie algebras and Dedekind’s η-function, Funct. Anal. Appl. 8 (1974), 68–70

work page 1974
[5]

44, Birkh¨ auser Boston, Inc., Boston, MA, 1983

, Infinite-dimensional Lie algebras , Progress in Mathematics, vol. 44, Birkh¨ auser Boston, Inc., Boston, MA, 1983

work page 1983
[7]

K¨ ohler,Eta products and theta series identities , Springer Monographs in Mathematics, Springer, Heidelberg, 2011

G. K¨ ohler,Eta products and theta series identities , Springer Monographs in Mathematics, Springer, Heidelberg, 2011

work page 2011

Show all 16 references

[8]

I. G. Macdonald, Affine root systems and Dedekind’s η-function, Invent. Math. 15 (1972), 91–143

1972
[9]

Matsusaska and M

T. Matsusaska and M. Suzuki, Indefinite theta functions arising from affine Lie superalgebras and sums of triangular numbers, 2025. arXiv:2506.04722

2025 arXiv
[10]

R. V. Moody, Macdonald identities and Euclidean Lie algebras , Proc. Amer. Math. Soc. 48 (1975), 43–52

1975
[11]

Nazaroglu, r-tuple error functions and indefinite theta series of higher-depth , Commun

C. Nazaroglu, r-tuple error functions and indefinite theta series of higher-depth , Commun. Number Theory Phys. 12 (2018), no. 3, 581–608

2018
[12]

Roehrig and S

C. Roehrig and S. Zwegers, Theta series for quadratic forms of signature (n − 1, 1) with (spherical) polynomials, Int. J. Number Theory 18 (2022), no. 7, 1491–1515

2022
[14]

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
[15]

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
[16]

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, K...

2002

Pith tools

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

[1] [6]

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

[2] [13]

arXiv:2201.03986

, Theta series for quadratic forms of signature (n − 1, 1) with (spherical) polynomials II , 2022. arXiv:2201.03986. 22

arXiv 2022

[3] [1]

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

[4] [2]

, Weyl denominator identity for finite-dimensional Lie superalgebras , Highlights in Lie algebraic methods, 2012, pp. 167–188

work page 2012

[5] [3]

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

[6] [4]

V. G. Kac, Infinite-dimensioned Lie algebras and Dedekind’s η-function, Funct. Anal. Appl. 8 (1974), 68–70

work page 1974

[7] [5]

44, Birkh¨ auser Boston, Inc., Boston, MA, 1983

, Infinite-dimensional Lie algebras , Progress in Mathematics, vol. 44, Birkh¨ auser Boston, Inc., Boston, MA, 1983

work page 1983

[8] [7]

K¨ ohler,Eta products and theta series identities , Springer Monographs in Mathematics, Springer, Heidelberg, 2011

G. K¨ ohler,Eta products and theta series identities , Springer Monographs in Mathematics, Springer, Heidelberg, 2011

work page 2011