Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

A Conjecture of Warnaar-Zudilin from Deformations of Lie Superalgebras

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

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

Pith's one-line read Deforming a Lie superalgebra into a nilpotent subalgebra proves the Warnaar–Zudilin q-series identities for all positive n and k.

desk verdict Elegant deformation argument that likely proves the Warnaar–Zudilin conjecture for all n,k, but the central proof has an unverified step that needs to be filled before the theorem is fully established. read the letter →

arxiv 2501.11509 v1 pith:LEKDGGBL submitted 2025-01-20 math.QA hep-thmath.NTmath.RT

Thomas Creutzig , Niklas Garner This is my paper · ORCID
classification math.QAhep-thmath.NTmath.RT MSC 17B6917B6711P84
keywords Warnaar-Zudilinconjectureq-seriesidentitiesvertexoperatorsuperalgebrasprincipalsubspaceosp(1|2n)LiesuperalgebradeformationsDuflo-SerganovareductionRogers-Ramanujan
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 proves a family of q-series identities conjectured by Warnaar and Zudilin, which generalize the Rogers–Ramanujan and Andrews–Gordon identities. The proof identifies the supercharacter of the simple affine vertex superalgebra $L_k(\mathfrak{osp}_{1|2n})$ with the character of the principal subspace of $L_k(\mathfrak{sl}_{2n})$, and with the supercharacter of the principal subspace of $L_k(\mathfrak{sl}_{1|2n+1})$. The bridge is a one-parameter deformation of $\mathfrak{osp}_{1|2n}$ into the principal nilpotent subalgebra of $\mathfrak{sl}_{1|2n+1}$, combined with a Duflo–Serganova cohomological reduction that keeps the supercharacter constant. This settles the Warnaar–Zudilin conjecture for all positive integers $n$ and $k$ and fills a gap left by Stoyanovsky's earlier deformation argument for the symplectic family.

What carries the argument

The load-bearing mechanism is a one-parameter family $\mathfrak{k}_\epsilon$ of subalgebras of $\mathfrak{sl}_{1|2n+1}[x]$ that equals $\mathfrak{osp}_{1|2n}$ for $\epsilon \neq 0$ and collapses to the principal nilpotent subalgebra $\mathfrak{p}$, the subalgebra generated by the positive-root vectors, at $\epsilon = 0$. To this the paper attaches the Duflo–Serganova reduction with respect to an embedded $\mathfrak{gl}_{1|1}$: a module in the relevant category has the same supercharacter as its $E$-weight-zero subspace, because every nontrivial $E$-weight block has superdimension zero. Applied to the principal subspace of $L_k(\mathfrak{sl}_{1|2n+1})$, this reduction gives that its homology is the principal subspace of $L_k(\mathfrak{sl}_{2n})$. The proof also relies on the presentation of that principal subspace by the fields $e_i(z)^{k+1}$, established in Appendix B via quasiparticle bases following Feigin–Stoyanovsky, Georgiev, and Butorac–Kožić.

What would settle it

Compute, for $n=2$ and $k=2$ or $k=3$, the operator $(e_i - \epsilon^2 f_{i+1})^{k+1}$ acting on the simple vacuum module $L_k(\mathfrak{sl}_{2n})$ for each $i = 2,\dots,2n-1$ and generic $\epsilon$; if any of these operators is nonzero on the quotient, the deformation step in the proof of Theorem 4.2.1 collapses. A complementary check is to compare the first several dozen $q$-coefficients of the two sides of (4.1) for $n=2$, $k=3$, where the left side is an alternating sum and the right side a manifestly positive series.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 4.2.1: the supercharacter of $L_k(\mathfrak{osp}_{1|2n})$ equals the supercharacter of the principal subspace of $L_k(\mathfrak{sl}_{1|2n+1})$ and equals the character of the principal subspace of $L_k(\mathfrak{sl}_{2n})$. Corollary 4.2.3 then equates the two sides of the conjectured q-series identity (1.1) for every positive $n$ and $k$. The proof builds a family of affine Lie superalgebras $\hat{\mathfrak{k}}_\epsilon$ whose $\epsilon = 0$ limit is the principal subalgebra of $\mathfrak{sl}_{1|2n+1}$ and whose $\epsilon \neq 0$ members are isomorphic to $\widehat{\mathfrak{osp}}_{1|2n}$; a $\mathfrak{gl}_{1|1}$-cohomology (Duflo–Serganova) reduction shows the supercharacter does not change in the limit. The critical internal step is showing that the ideal defining the principal subspace of $L_k(\mathfrak{sl}_{2n})$, generated by the modes of $e_i(z)^{k+1}$, deforms to the ideal $I_\epsilon$ for the deformed algebra.

Load-bearing premise

The proof depends on the assertion, borrowed from an earlier paper rather than verified in detail here, that the deformed versions of the operators that define the sl(2n) principal subspace still annihilate the vacuum for every nonzero deformation parameter; if this fails for even one root, the equality of supercharacters breaks.

Editorial extensions

If this is right

  • The Warnaar–Zudilin conjecture (1.1) holds for all positive integers $n$ and $k$, extending the previously known $k=1$ case.
  • For every $N$ and $k$, the vacuum character of the principal subspace of $L_k(\mathfrak{sl}_N)$ is now identified with the (super)character of a simple affine vertex (super)algebra: $L_k(\mathfrak{sp}_{2n})$ when $N=2n+1$ and $L_k(\mathfrak{osp}_{1|2n})$ when $N=2n$.
  • The principal subspace of $L_k(\mathfrak{sl}_{1|2n+1})$ has the same supercharacter as $L_k(\mathfrak{osp}_{1|2n})$, and its Duflo–Serganova homology is exactly the principal subspace of $L_k(\mathfrak{sl}_{2n})$.
  • Together with Theorem 1.2 of Bringmann–Calinescu–Folsom–Kimpoet, this result proves part of their Conjecture 4.1 on modularity of the right-hand side of (1.1) for $N$ even and $\ell = k$.

Reading between the lines

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

  • Going beyond the paper, the same deformation-and-reduction template may produce q-series identities from any embedding of a simple Lie superalgebra into the principal nilpotent subalgebra of another superalgebra; the examples here suggest osp-type targets paired with sl-type principal subspaces.
  • The paper proves equality of supercharacters; a natural strengthening, not shown here, would be an isomorphism of graded vertex-algebra structures between the Duflo–Serganova reduction and the principal subspace, which would make the equality categorical rather than numerical.
  • Since the left side of (1.1) is alternating and the right side is manifestly positive, the identity implies a hidden sign-cancellation in the Weyl-type sum; extracting this cancellation combinatorially might yield new bijective proofs of the associated partition identities.
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 / 4 minor

Summary. The paper aims to prove the Warnaar–Zudilin q-series identities for all positive integers n,k by realizing both sides as (super)characters of vertex operator algebras. The left-hand side is the supercharacter of the simple affine vertex operator superalgebra L_k(osp_{1|2n}); the right-hand side is the character of the principal subspace of L_k(sl_{2n}). The bridge is a one-parameter deformation of osp_{1|2n} into a principal nilpotent subalgebra of sl_{1|2n+1}, combined with a Duflo–Serganova reduction and a presentation of principal subspaces. The main structural result is Theorem 4.2.1, which asserts that the supercharacter of L_k(osp_{1|2n}) equals both the supercharacter of the principal subspace of L_k(sl_{1|2n+1}) and the character of the principal subspace of L_k(sl_{2n}); Corollary 4.2.3 then derives the Warnaar–Zudilin identity.

Significance. If the missing details are supplied, the result is significant. It proves a family of conjectured q-series identities, fills a gap left by Stoyanovsky by identifying principal-subspace characters with simple affine (super)algebra characters, and connects recent superconformal-field-theoretic observations to number theory. The paper is parameter-free: no free parameters are fitted, the conjectured identity is not assumed, and the argument uses independent external benchmarks such as the Kac–Wakimoto character formula and the Georgiev quasiparticle basis. The main reason for caution is that several load-bearing steps are asserted rather than proved.

major comments (3)
  1. [§4.2, Theorem 4.2.1] The deformation of the ideal generators is the central step, but it is asserted rather than proved. The text states that e_{i,ε}(z) = e_i(z) − ε^2 f_{i+1}(z) satisfies e_{i,ε}(z)^{k+1} ∈ I “as in [Sto98] from the fact that e_{i,ε} is nilpotent,” and this is not a formal consequence in an affine vertex algebra. Nilpotence of a matrix of modes does not imply vanishing of the normally ordered power e_{i,ε}(z)^{k+1}; the relation e_i(z)^{k+1}=0 is specific to the principal-subspace presentation and is not automatic for linear combinations such as e_i(z) − ε^2 f_{i+1}(z). Since Corollary 3.2.2 requires every element of the E-weight-zero subspace of I_p to deform to an element of I_ε, this gap blocks the proof of Theorem 4.2.1 unless a detailed argument is supplied.
  2. [Appendix B, Proposition B.2.1 and Theorem B.0.1] The presentation of the principal subspace of L_k(sl_{N+1}) is load-bearing: it is used to identify the E-weight-zero subspace of I_p with the defining ideal of the principal subspace of L_k(sl_{2n}). However, the proof of Proposition B.2.1 is only a sketch. Properties (B.4)–(B.6) are stated, and the reductions are said to follow “exactly as in [Geo96]” or “as in [BK22],” but no complete argument is provided for all N. Because this presentation is used for all sl_{2n} and the cited literature proves the full statement only for small ranks, the appendix needs a complete proof or a precise reference with a proof.
  3. [§4.1, Lemma 4.1.4] The proof for k>1 that L_k(sl_N) is a vertex subalgebra of L_k(sl_{1|N}) appears incomplete. The argument embeds L_k(sl_N) into L_1(sl_{1|N})^{⊗k}, but it does not show that the composed map into the simple quotient L_k(sl_{1|N}) is injective. This injectivity is used when identifying the E-weight-zero subspace of I_p with the defining ideal of the principal subspace of L_k(sl_{2n}) and in Corollary 4.1.5, so it must be justified explicitly.
minor comments (4)
  1. [Introduction, Eq. (1.1)] The q-Pochhammer symbol (q)_m is used without definition; it should be defined explicitly for the reader.
  2. [Appendix B, Theorem B.0.1] The phrase “For all positive integer integers” contains a typo and should read “For all positive integers.”
  3. [§2.3, proof of Lemma 2.3.2] The sentence “we must verify that Uar → 0 is proportional to x” is confusing; presumably it means that the matrix entries Uar must be proportional to x in the limit ε → 0, and this should be stated more clearly.
  4. [§4.2, Corollary 4.2.2] The notation H(L_k(p)) is used for the homology of the principal subspace without first defining H for vertex algebras; a brief definition or reference would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Warnaar–Zudilin identity is derived from independent character formulas and a deformation argument, with no fitted parameter or self-referential definition.

full rationale

The derivation chain does not reduce to its inputs. Theorem 4.2.1 equates the supercharacter of L_k(osp_{1|2n}) with the principal-subspace characters of L_k(sl_{1|2n+1}) and L_k(sl_{2n}); each side is independently computed. The left side is obtained in Appendix A from the Kac–Wakimoto character formula (A.4)–(A.6), an external benchmark. The right side for L_k(sl_{2n}) is matched to the Georgiev quasiparticle basis via Appendix B, which adapts Georgiev [Geo96] and Butorac–Kožić [BK22]; the Warnaar–Zudilin conjecture is not assumed anywhere. The connecting step is Corollary 3.2.2, a cohomological comparison whose hypothesis is that E-weight-zero ideal generators deform to the deformed ideal, and the proof of Theorem 4.2.1 attempts to verify this by deforming e_i(z)^{k+1} to e_{i,ε}(z)^{k+1}, asserting that 'this follows as in [Sto98] from the fact that e_{i,ε} is nilpotent'. This is the weakest link in the paper: the claim that nilpotence of the finite current implies vanishing of its normally ordered (k+1)-st power in L_k(sl_{2n}) is not demonstrated in the text, and the citation to Stoyanovsky supplies an analogous argument rather than a fully reproduced proof. However, this is a rigor/completeness gap, not circularity: it does not make the theorem an input of the argument, and the missing step is in principle checkable independently. Self-citations such as [CGL24], [CKLR19], [GS22], and [CGK24] are used for notation, for the k=1 embedding with its own independent proof, and for structural facts about osp_{1|2n}; none is the sole justification of the target identity. Consequently the circularity score is 0.

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

The central claim rests on several established theorems from the vertex algebra and representation theory literature (Kac-Wakimoto, Georgiev, Gorelik-Serganova, Creutzig-Kanade-Linshaw-Ridout) and on a deformation argument developed in the paper. No free parameters are fitted and no new entities are postulated.

assumptions (4)
  • standard math Kac-Wakimoto character formula for the simple affine vertex algebra L_k(osp_{1|2n}) (Equation (A.4)).
    Gives the left-hand side of the q-series identity as a specialization of the supercharacter; cited from [KW88] and [CGL24].
  • standard math Georgiev's quasiparticle basis theorem for the principal subspace of L_k(sl_{N+1}) (Theorem B.1.1, [Geo96]).
    Provides the product form of the right-hand side and is used in the proof of the presentation in Appendix B.
  • standard math Theorem 4.5.2 of [GS22], which identifies the quotient of V_k(osp_{1|2n}) killing the (k+1)st powers of the nilpotent sp_{2n} generators with L_k(osp_{1|2n}).
    Used in Corollary 4.1.5 to identify the deformed algebra L_k(k_epsilon) with L_k(osp_{1|2n}).
  • standard math The embedding L_k(sl_N) into L_k(sl_{1|N}) for N>1, based on the k=1 case of [CKLR19] and the tensor product embedding of [KW01].
    Used in Lemma 4.1.4 to describe the E-weight zero subspace of the principal subspace ideal.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Conjecture of Warnaar-Zudilin from Deformations of Lie Superalgebras." pith.science (2026). https://pith.science/paper/LEKDGGBL

@misc{pith2026250111509,
  author       = {Pith},
  title        = {Pith review of: A Conjecture of Warnaar-Zudilin from Deformations of Lie Superalgebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LEKDGGBL}},
  note         = {Machine review of arXiv:2501.11509}
}
abstract

We prove a collection of $q$-series identities conjectured by Warnaar and Zudilin and appearing in recent work with H. Kim in the context of superconformal field theory. Our proof utilizes a deformation of the simple affine vertex operator superalgebra $L_k(\mathfrak{osp}_{1|2n})$ into the principal subsuperspace of $L_k(\mathfrak{sl}_{1|2n+1})$ in a manner analogous to earlier work of Feigin-Stoyanovsky. This result fills a gap left by Stoyanovsky, showing that for all positive integers $N$, $k$ the character of the principal subspace of type $A_N$ at level $k$ can be identified with the (super)character of a simple affine vertex operator (super)algebra at the same level.

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. Modular Nahm Sums for the Inverse Cartan Matrix of Type $D_r$

    math.NT 2026-07 accept novelty 6.0 of 10

    Bailey-pair methods yield floor((r+4)/2) modular Nahm sums for C(D_r)^{-1}, confirming Sun–Wang’s zero-vector identity and partial companions.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [1]

    G. E. Andrews, An Analytic Generalization of the Rogers-Ramanujan Identities for Odd Moduli , Proc. Natl. Acad. Sci. 71 (1974), no. 10, 4082--4085

    work page 1974

  2. [2]

    Appl., CUP, 1984

    , The T heory of P artitions , Encyclopedia Math. Appl., CUP, 1984

    work page 1984

  3. [3]

    Bringmann, C

    K. Bringmann, C. Calinescu, A. Folsom, and S. Kimport, Graded dimensions of principal subspaces and modular A ndrews– G ordon-type series , Commun. Contemp. Math. 16 (2014), no. 04, 1350050

    work page 2014

  4. [4]

    Butorac and S

    M. Butorac and S. Ko z i \'c , Principal subspaces for the affine lie algebras in types d, e and f, Journal of Algebraic Combinatorics 56 (2022), no. 4, 1063--1096

    work page 2022

  5. [5]

    Candu, T

    C. Candu, T. Creutzig, V. Mitev, and V. Schomerus, Cohomological Reduction of Sigma Models , JHEP 05 (2010), 047

    work page 2010

  6. [6]

    Creutzig, N

    T. Creutzig, N. Garner, and H. Kim, Mirror Symmetry and Level-rank Duality for 3d N = 4 Rank 0 SCFTs , 5 2024

    work page 2024

  7. [7]

    Creutzig, N

    T. Creutzig, N. Genra, and A. R. Linshaw, Ordinary modules for vertex algebras of osp _ 1|2n , J. Reine Angew. Math. 2024 (2024), no. 817, 1--31

    work page 2024

  8. [8]

    Creutzig, S

    T. Creutzig, S. Kanade, A. R. Linshaw, and D. Ridout, Schur- W eyl duality for H eisenberg cosets , Transform. Groups 24 (2019), no. 2, 301--354. 3948937

    work page 2019

Show all 23 references
  1. [9]

    Cheng and W

    S.-J. Cheng and W. Wang, Dualities and representations of L ie superalgebras , Grad. Stud. Math., vol. 144, Amer. Math. Soc., Providence, RI, 2012. 3012224

    2012

  2. [10]

    Georgiev, Combinatorial constructions of modules for infinite-dimensional lie algebras, i

    G. Georgiev, Combinatorial constructions of modules for infinite-dimensional lie algebras, i. principal subspace, Journal of Pure and Applied Algebra 112 (1996), no. 3, 247--286

    1996

  3. [11]

    Gordon, A Combinatorial Generalization of the Rogers-Ramanujan Identities , Amer

    B. Gordon, A Combinatorial Generalization of the Rogers-Ramanujan Identities , Amer. J. Math. 83 (1961), no. 2, 393--399

    1961

  4. [12]

    Gorelik and V

    M. Gorelik and V. Serganova, On DS functor for affine Lie superalgebras , 2017

    2017

  5. [13]

    4, 839 -- 879

    , Snowflake modules and Enright functor for Kac–Moody superalgebras , Algebra Number Theory 16 (2022), no. 4, 839 -- 879

    2022

  6. [14]

    V. G. Kac and M. Wakimoto, Modular invariant representations of infinite-dimensional L ie algebras and superalgebras , Proc. Natl. Acad. Sci. 85 (1988), no. 14, 4956--4960

    1988

  7. [15]

    , Integrable highest weight modules over affine superalgebras and A ppell's function , Commun. Math. Phys. 215 (2001), no. 3, 631--682. 1810948

    2001

  8. [16]

    I. G. Macdonald, Affine root systems and Dedekind's -function , Invent. Math. 15 (1971), no. 2, 91--143

    1971

  9. [17]

    L. J. Rogers, Second Memoir on the Expansion of certain Infinite Products , Proc. Lond. Math. Soc. s1-25 (1893), no. 1, 318--343

  10. [18]

    Sadowski, Presentations of the principal subspaces of the higher-level standard sl (3) -modules , J

    C. Sadowski, Presentations of the principal subspaces of the higher-level standard sl (3) -modules , J. Pure Appl. Algebra 219 (2015), no. 6, 2300--2345

    2015

  11. [19]

    , Principal subspaces of higher-level standard sl (n) -modules , Int. J. Math. 26 (2015), no. 08, 1550053

    2015

  12. [20]

    Serganova, On the superdimension of an irreducible representation of a basic classical Lie superalgebra , Lect

    V. Serganova, On the superdimension of an irreducible representation of a basic classical Lie superalgebra , Lect. Notes Math. 2027 (2011), 253--273

    2011

  13. [21]

    A. V. Stoyanovsky and B. L. Feigin, Functional models for representations of current algebras and semi-infinite S chubert cells , Funct. Anal. Appl. 28 (1994), no. 1, 55--72

    1994

  14. [22]

    A. V. Stoyanovsky, Lie algebra deformations and character formulas, Funct. Anal. Appl. 32 (1998), no. 1, 66--68

    1998

  15. [23]

    S. O. Warnaar and W. Zudilin, Dedekind's -function and Rogers–Ramanujan identities , Bull. Lond. Math. Soc. 44 (2012), no. 1, 1--11

    2012

Pith tools

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