Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

Dousse-Konan coloured partition identities prove classical freeness of level-1 sl_n hat vertex operator algebras.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.3

2026-06-26 18:13 UTC pith:U3M77EM4

load-bearing objection The paper links Dousse-Konan colored-partition identities to Gröbner bases for arc algebras to prove classical freeness of level-1 sl_n-hat VOAs, but the explicit check that leading terms match the relation ideal is the part that needs verification. the 2 major comments →

arxiv 2606.19234 v1 pith:U3M77EM4 submitted 2026-06-17 math.QA math.COmath.RT

Classical freeness of widehat{mathfrak{sl}}_n at level 1 via combinatorics

classification math.QA math.COmath.RT
keywords classical freenessvertex operator algebrasaffine Lie algebrasRogers-Ramanujan identitiescoloured partitionsGröbner basesarc algebraslevel one
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to establish that the simple vertex operator algebras associated to the affine Lie algebra sl_n hat at level one are classically free. It does so by applying a family of Rogers-Ramanujan-type identities due to Dousse and Konan involving coloured partitions. These identities are used to construct Gröbner bases for the relevant arc algebras. A sympathetic reader would care because this supplies an explicit combinatorial description of the algebras and their relations, which can simplify explicit calculations in their representation theory.

Core claim

Using Dousse-Konan identities on coloured partitions, the paper produces Gröbner bases for the arc algebras, which in turn prove that the simple level-one vertex operator algebras based on sl_n hat are classically free.

What carries the argument

The Dousse-Konan Rogers-Ramanujan-type identities on coloured partitions, which generate Gröbner bases for arc algebras whose leading-term properties establish classical freeness.

Load-bearing premise

The Dousse-Konan identities on coloured partitions generate Gröbner bases for the arc algebras whose leading terms directly imply the classical freeness of the level-1 sl_n hat VOAs.

What would settle it

For a fixed small n such as n=2 or n=3, an explicit computation of a nonzero element in the arc algebra that lies outside the ideal generated by the leading terms coming from the Dousse-Konan identities.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript proves that the simple vertex operator algebras associated to the affine Lie algebra ž{sl}_n at level 1 are classically free. The proof proceeds by invoking a family of Rogers-Ramanujan-type identities due to Dousse-Konan on coloured partitions; these identities are shown to yield Gröbner bases for the arc algebras that encode the relations among the generators, thereby establishing that the associated graded algebra is free on the expected monomials.

Significance. Classical freeness is a central structural property for these level-1 VOAs; a combinatorial proof via explicit Gröbner bases would supply a new, parameter-free route to the result and could extend to other affine VOAs. The manuscript therefore addresses a question of independent interest in the representation theory of vertex algebras.

major comments (2)
  1. [§3.2, Theorem 3.4] §3.2, Theorem 3.4 and the subsequent Gröbner-basis construction: the argument asserts that the Dousse-Konan coloured-partition identities generate a Gröbner basis whose leading monomials coincide exactly with the initial ideal of the arc-algebra relations. No explicit verification is supplied that every generator of the relation ideal lies in the span of the identities or that higher syzygies do not introduce additional leading terms under the chosen monomial order; this step is load-bearing for the implication to classical freeness.
  2. [§4.1] §4.1, Definition of the arc algebra and the monomial order: the paper does not record a direct comparison between the leading-term ideal produced by the combinatorial identities and the set of monomials forbidden by the classical-freeness condition. Without this comparison, it remains possible that the Gröbner basis is proper but not complete for the purpose of freeness.
minor comments (2)
  1. [Introduction] The notation for coloured partitions and the precise statement of the Dousse-Konan identities are introduced only in §2; a short self-contained summary in the introduction would improve readability.
  2. [§2] Several citations to the original Dousse-Konan papers appear only in the bibliography; inline references at the first use of each identity would clarify the dependence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the argument can be clarified. Both major comments concern the explicitness of the Gröbner-basis verification; we agree that additional detail will strengthen the manuscript and will incorporate the requested comparisons and checks in a revised version.

read point-by-point responses
  1. Referee: [§3.2, Theorem 3.4] §3.2, Theorem 3.4 and the subsequent Gröbner-basis construction: the argument asserts that the Dousse-Konan coloured-partition identities generate a Gröbner basis whose leading monomials coincide exactly with the initial ideal of the arc-algebra relations. No explicit verification is supplied that every generator of the relation ideal lies in the span of the identities or that higher syzygies do not introduce additional leading terms under the chosen monomial order; this step is load-bearing for the implication to classical freeness.

    Authors: We will expand the proof of Theorem 3.4 to include an explicit verification that the Dousse-Konan identities generate the full relation ideal. Specifically, we will show that every generator of the arc-algebra relation ideal lies in the span of the identities under the chosen monomial order, and we will verify by direct computation on the relevant syzygies that no additional leading terms are introduced. This material will be added as a new lemma or subsection. revision: yes

  2. Referee: [§4.1] §4.1, Definition of the arc algebra and the monomial order: the paper does not record a direct comparison between the leading-term ideal produced by the combinatorial identities and the set of monomials forbidden by the classical-freeness condition. Without this comparison, it remains possible that the Gröbner basis is proper but not complete for the purpose of freeness.

    Authors: We will add to §4.1 an explicit comparison (in the form of a short proposition or remark) between the leading-term ideal generated by the Dousse-Konan identities and the monomials forbidden by the classical-freeness condition. The comparison will confirm that the two sets are identical, thereby completing the link to freeness. revision: yes

Circularity Check

0 steps flagged

No circularity: external combinatorial identities drive the Gröbner-basis construction.

full rationale

The derivation applies Dousse-Konan Rogers-Ramanujan-type identities on coloured partitions (cited as independent prior work) to produce Gröbner bases for the arc algebras; these bases are then used to deduce classical freeness of the level-1 sl_n-hat VOAs. No step in the described chain defines the target freeness property in terms of itself, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content is unverified. The central implication (identities generate the required initial ideal) is presented as a verification step rather than an assumption, rendering the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the argument is described as resting on previously published combinatorial identities.

pith-pipeline@v0.9.1-grok · 5578 in / 1098 out tokens · 29890 ms · 2026-06-26T18:13:04.506952+00:00 · methodology

0 comments
read the original abstract

We use a family of Rogers--Ramanujan-type combinatorial identities of Dousse--Konan involving coloured partitions to prove classical freeness of the simple vertex operator algebras based on $\widehat{\mathfrak{sl}}_n$ at level $1$. These identities are used to produce Gr\"obner bases for the relevant arc algebras.

Figures

Figures reproduced from arXiv: 2606.19234 by Shashank Kanade.

Figure 1
Figure 1. Figure 1: Boxes and leading terms of odd order derivatives (1) The box is completely degenerate and lies on h e (see Figure 1b), i.e., 1 ≤ i = i ′ = j = j ′ ≤ n. (2) The box is semi-degenerate, i.e., has only two distinct points, and such that these points are vertical with the bottom one on h e (see Figure 1c), i.e., 1 ≤ i ′ < i = j = j ′ ≤ n. (3) The transpose of the previous kind of box. That is, the box is semi￾… view at source ↗
Figure 2
Figure 2. Figure 2: Semi-degenerate horizontal box, right end-point not in h e We clearly have for k ∈ Z≥1: ℓt(∂ 2k−1x) .= X(i, j′ )kX(i, j)k+1, ℓt(∂ 2k−2x) .= X(i, j)kX(i, j′ )k. If however, the left end point of the box is on h, i.e., if i = i ′ = j ′ < j, we proceed as follows. We start with X(i, j) 2 1 ∈ T and use: X(i, j) 2 1 − 1 2 X(j,i) −−−−−−→ X(i, j)1(E(i, i) − E(j, j))1 = X(i, j)1 1 X(i, i)1 2 + · · · + X(i, j)1 1 X… view at source ↗
Figure 3
Figure 3. Figure 3: Semi-degenerate vertical box, bottom end-point not in h e i < i ′ j ′ < j • • ◦ ◦ [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Non-degenerate box, no location in h e with ℓt(∂ 2k−1x) .= X(i, j)kX(i ′ , i′ )k+1, ℓt(∂ 2k−2x) .= X(i ′ , i′ )kX(i, j)k. We enlarge the set G1 by putting in it elements (32), (33), and their derivatives of all orders. Next, we will consider non-degenerate cases. So, we assume that i ′ < i, j ′ < j. 5.4. Non-degenerate and no location in h e . Suppose that no location among (i, j),(i ′ , j′ ),(i, j′ ),(i ′… view at source ↗
Figure 5
Figure 5. Figure 5: Non-degenerate box, top-left in h First, suppose that i = i ′+ 1. Since i ′ = j ′ < j, i ̸= j, this implies that i ′+ 1 < j. Starting from the element of the type (31) (with appropriate indices) we obtain: X(i ′ ,i′ )1X(i ′ , i′ + 1)1 = (E(i ′ , i′ )1 − E(i ′ + 1, i′ + 1)1)X(i ′ , i′ + 1)1 −X(i ′+1,j) −−−−−−−→ −X(i ′ + 1, j)1X(i ′ , i′ + 1)1 + X(i ′ , i′ )1X(i ′ , j)1 1 2 X(i ′+1,i′ ) −−−−−−−−→ x = X(i ′ +… view at source ↗
Figure 6
Figure 6. Figure 6: Non-degenerate and left-bottom in h 5.6. Non-degenerate and left-bottom in h. We start with the element ob￾tained as the semi-degenerate horizontal element with left end-point on h (31) and commute as appropriate: X(i, j)1 X i≤s<j X(i, i)1 X(i ′ ,i) −−−−→ x = X(i ′ , j)1 1 X i≤s<j X(s, s)1 ↓ + X(i, j)1 3 X(i ′ , i)1 2 ∈ T, (38) where ↓ depicts factors lower than the factor marked 3 (see [PITH_FULL_IMAGE:f… view at source ↗
Figure 7
Figure 7. Figure 7: Non-degenerate and top-right in h 5.9. Non-degenerate and bottom-right in h e . Lastly, we consider the case where i = j (and we allow i = j = n), but that i ′ ̸= j ′ , i ′ < i, j ′ < j. See [PITH_FULL_IMAGE:figures/full_fig_p018_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Non-degenerate box, bottom-right corner in h e x = X(i, j′ )1 6 X(i ′ , i)1 1 − X(i − 1, j′ )1 5 X(i ′ , i − 1)1 2 −X(i ′ , j′ )1X(i − 1, i − 1)1 ∈ T (42) The order of the factors in the last term depends on whether i ′ > j′ or not. Re￾gardless, we see: ℓt(∂ 2k−1x) .= X(i, j′ )kX(i ′ , i)k+1, ℓt(∂ 2k−2x) .= X(i ′ , j′ )kX(i − 1, i − 1)k. We include in G1 elements (40), (41), (42), and their derivatives. Su… view at source ↗
Figure 9
Figure 9. Figure 9: Two locations in h e + X(i − 1, i)1X(i − 1, i − 1)1 − X(i ′ , i)1X(i − 1, i′ )1 X(i,i−1) −−−−−−→ X(i, i − 1)1X(i − 1, i)1 − (E(i − 1, i − 1)1 − E(i ′ , i′ )1)X(i − 1, i − 1)1 − X(i − 1, i − 1)1X(i − 1, i − 1)1 + 2X(i − 1, i)1X(i, i − 1)1 + X(i ′ , i − 1)1X(i − 1, i′ )1 − X(i ′ , i)1X(i, i′ )1 = −X(i − 1, i − 1)2 1 + X i ′≤s<i−1 X(s, s)1X(i − 1, i − 1)1 + 3X(i, i − 1)1X(i − 1, i)1 + X(i ′ , i − 1)1X(i − 1, … view at source ↗
Figure 10
Figure 10. Figure 10: Leading terms of even order derivatives Thus, by Weyl’s dimension formula, dim(T) = Y α∈S ⟨2Λ1 + 2Λn−1 + ρ, α⟩ ⟨ρ, α⟩ = Qn−2 j=1 (j + 2) (n + 3) Qn−1 j=2 (n − j + 2) Qn−2 j=1 j  (n − 1) Qn−1 j=2 (n − j)  , which can be easily seen to equal the required quartic. □ Proposition 23. The elements found in this section form a basis of T. Proof. Leading terms of derivatives of the elements we have found … view at source ↗
Figure 11
Figure 11. Figure 11: Cubic leading terms in LT(I) We now demonstrate certain S-polynomials which do not reduce to 0 modulo our set G1. This constitutes our second step in the Buchberger’s algorithm. To this end, we let G2 = G1, and we shall enlarge this set as we go along. Notation 24. Ellipses · · · in various expressions will denote elements that are lower in the order. Elements that have lower shape (in particular, they ar… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Two examples of combinatorial relations among relations of $C_{n}\sp{(1)}$-standard modules for higher levels

    math.QA 2026-06 unverdicted novelty 3.0

    Two examples are given where combinatorial counting of relations among relations for C_n^(1) standard modules at level 5 and C_3^(1) at higher levels matches the representation-theoretic dimension in a trapezoid of ne...

Reference graph

Works this paper leans on

46 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    Afsharijoo

    P. Afsharijoo. Looking for a new version of Gordon’s identities.Ann. Comb., 25(3):543–571, 2021

  2. [2]

    G. E. Andrews, J. van Ekeren, and R. Heluani. The singular support of the Ising model.Int. Math. Res. Not. IMRN, (10):8800–8831, 2023

  3. [3]

    Arakawa and A

    T. Arakawa and A. R. Linshaw. Singular support of a vertex algebra and the arc space of its associated scheme. In M. Gorelik, V. Hinich, and A. Melnikov, editors,Representations and Nilpotent Orbits of Lie Algebraic Systems, volume 330 ofProgress in Mathematics, pages 1–17. Birkh¨ auser, Cham, 2019

  4. [4]

    Arakawa and A

    T. Arakawa and A. Moreau. Arc spaces and chiral symplectic cores.Publications of the Research Institute for Mathematical Sciences, 57(3):795–829, 2021

  5. [5]

    Bruschek, H

    C. Bruschek, H. Mourtada, and J. Schepers. Arc spaces and the Rogers-Ramanujan identities. Ramanujan J., 30(1):9–38, 2013

  6. [6]

    Calinescu, J

    C. Calinescu, J. Lepowsky, and A. Milas. Vertex-algebraic structure of the principal subspaces of certainA (1) 1 -modules. I. Level one case.Internat. J. Math., 19(1):71–92, 2008

  7. [7]

    Calinescu, J

    C. Calinescu, J. Lepowsky, and A. Milas. Vertex-algebraic structure of the principal subspaces of certainA (1) 1 -modules. II. Higher-level case.J. Pure Appl. Algebra, 212(8):1928–1950, 2008

  8. [8]

    Capparelli

    S. Capparelli. A construction of the level 3 modules for the affine Lie algebraA (2) 2 and a new combinatorial identity of the Rogers-Ramanujan type.Trans. Amer. Math. Soc., 348(2):481– 501, 1996

  9. [9]

    Capparelli, J

    S. Capparelli, J. Lepowsky, and A. Milas. The Rogers-Ramanujan recursion and intertwining operators.Commun. Contemp. Math., 5(6):947–966, 2003

  10. [10]

    Capparelli, J

    S. Capparelli, J. Lepowsky, and A. Milas. The Rogers-Selberg recursions, the Gordon- Andrews identities and intertwining operators.Ramanujan J., 12(3):379–397, 2006

  11. [11]

    Capparelli, A

    S. Capparelli, A. Meurman, A. Primc, and M. Primc. New partition identities fromC (1) ℓ - modules.Glas. Mat. Ser. III, 57(77)(2):161–184, 2022

  12. [12]

    D. A. Cox, J. Little, and D. O’Shea.Ideals, varieties, and algorithms. Undergraduate Texts in Mathematics. Springer, Cham, fourth edition, 2015. An introduction to computational algebraic geometry and commutative algebra

  13. [13]

    Creutzig, A

    T. Creutzig, A. R. Linshaw, and B. Song. Classical freeness of orthosymplectic affine vertex superalgebras.Proc. Amer. Math. Soc., 152(10):4087–4094, 2024

  14. [14]

    Dousse and I

    J. Dousse and I. Konan. Characters of level 1 standard modules ofC(1) n as generating functions for generalised partitions. 2022.https://arxiv.org/abs/2212.12728

  15. [15]

    Dousse and I

    J. Dousse and I. Konan. Generalisations of Capparelli’s and Primc’s identities, I: Coloured Frobenius partitions and combinatorial proofs.Adv. Math., 408:Paper No. 108571, 70, 2022

  16. [16]

    Dousse and I

    J. Dousse and I. Konan. Generalisations of Capparelli’s and Primc’s identities, II: Perfect A(1) n crystals and explicit character formulae.J. Lond. Math. Soc. (2), 113(3):Paper No. e70469, 2026

  17. [17]

    Feigin, E

    B. Feigin, E. Feigin, and P. Littelmann. Zhu’s algebras,C 2-algebras and abelian radicals. Journal of Algebra, 329(1):130–146, 2011

  18. [18]

    E. Feigin. The PBW filtration, Demazure modules and toroidal current algebras.SIGMA Symmetry Integrability Geom. Methods Appl., 4:Paper 070, 21, 2008. CLASSICAL FREENESS OF bsln AT LEVEL 1 VIA COMBINATORICS 37

  19. [19]

    I. B. Frenkel and Y. Zhu. Vertex operator algebras associated to representations of affine and Virasoro algebras.Duke Math. J., 66(1):123–168, 1992

  20. [20]

    M. R. Gaberdiel and T. Gannon. Zhu’s algebra, theC 2 algebra, and twisted modules. In Vertex operator algebras and related areas, volume 497 ofContemp. Math., pages 65–78. Amer. Math. Soc., Providence, RI, 2009

  21. [21]

    S. Kanade. Lepowsky–WilsonZ-algebras and Rogers–Ramanujan-type identities: Recent ad- vances. InSrinivasa Ramanujan: His Life, Legacy and Mathematical Influence. Springer. to appear

  22. [22]

    Kanade and S

    S. Kanade and S. Marshall. In progress

  23. [23]

    S.-J. Kang, M. Kashiwara, K. C. Misra, T. Miwa, T. Nakashima, and A. Nakayashiki. Affine crystals and vertex models. InInfinite analysis, Part A, B (Kyoto, 1991), volume 16 ofAdv. Ser. Math. Phys., pages 449–484. World Sci. Publ., River Edge, NJ, 1992

  24. [24]

    Lepowsky and H

    J. Lepowsky and H. Li.Introduction to vertex operator algebras and their representations, volume 227 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 2004

  25. [25]

    Lepowsky and S

    J. Lepowsky and S. Milne. Lie algebraic approaches to classical partition identities.Adv. in Math., 29(1):15–59, 1978

  26. [26]

    Lepowsky and R

    J. Lepowsky and R. L. Wilson. A new family of algebras underlying the Rogers-Ramanujan identities and generalizations.Proc. Nat. Acad. Sci. U.S.A., 78(12):7254–7258, 1981

  27. [27]

    Lepowsky and R

    J. Lepowsky and R. L. Wilson. The Rogers-Ramanujan identities: Lie theoretic interpretation and proof.Proc. Nat. Acad. Sci. U.S.A., 78(2):699–701, 1981

  28. [28]

    Lepowsky and R

    J. Lepowsky and R. L. Wilson. The structure of standard modules. I. Universal algebras and the Rogers-Ramanujan identities.Invent. Math., 77(2):199–290, 1984

  29. [29]

    H. Li. Abelianizing vertex algebras.Communications in Mathematical Physics, 259(2):391– 411, 2005

  30. [30]

    H. Li. Some remarks on associated varieties of vertex operator superalgebras.Eur. J. Math., 7(4):1689–1728, 2021

  31. [31]

    Li and A

    H. Li and A. Milas. Jet schemes, quantum dilogarithm and Feigin-Stoyanovsky’s principal subspaces.J. Algebra, 640:21–58, 2024

  32. [32]

    A. R. Linshaw and B. Song. Cosets of free field algebras via arc spaces.Int. Math. Res. Not. IMRN, (1):47–114, 2024

  33. [33]

    A. R. Linshaw and B. Song. Standard monomials and invariant theory of arc spaces II: Symplectic group.J. Algebraic Geom., 33(4):601–628, 2024

  34. [34]

    Meurman and M

    A. Meurman and M. Primc. Annihilating fields of standard modules ofsl(2,C) ∼ and combi- natorial identities.Mem. Amer. Math. Soc., 137(652):viii+89, 1999

  35. [35]

    Meurman and M

    A. Meurman and M. Primc. A basis of the basicsl(3,C) ∼-module.Commun. Contemp. Math., 3(4):593–614, 2001

  36. [36]

    M. Primc. Some crystal Rogers-Ramanujan type identities.Glas. Mat. Ser. III, 34(54)(1):73– 86, 1999

  37. [37]

    Primc and G

    M. Primc and G. Trupˇ cevi´ c. Linear independence forC(1) ℓ by usingC (1) 2ℓ .J. Algebra, 661:341– 356, 2025

  38. [38]

    Primc and T

    M. Primc and T. ˇSiki´ c. Combinatorial bases of basic modules for affine Lie algebrasC(1) n .J. Math. Phys., 57(9):091701, 19, 2016

  39. [39]

    Primc and T

    M. Primc and T. ˇSiki´ c. Leading terms of relations for standard modules of the affine Lie algebrasC (1) n .Ramanujan J., 48(3):509–543, 2019

  40. [40]

    Primc and T

    M. Primc and T. ˇSiki´ c. Combinatorial relations among relations for level 2 standardC (1) n - modules.J. Math. Phys., 64(8):Paper No. 081702, 13, 2023

  41. [41]

    M. C. Russell. Companions to the Andrews-Gordon and Andrews-Bressoud identities and re- cent conjectures of Capparelli, Meurman, Primc, and Primc.SIGMA Symmetry Integrability Geom. Methods Appl., 22:Paper No. 046, 2026

  42. [42]

    D. Salazar. Boundary minimal models and the Rogers-Ramanujan identities.J. Pure Appl. Algebra, 230(6):Paper No. 108281, 2026

  43. [43]

    Song and X

    B. Song and X. Zeng. Zhu’s algebra and theC 2-algebra of a classically free vertex operator algebra. 2026.https://arxiv.org/abs/2606.14407

  44. [44]

    Sturmfels.Algorithms in invariant theory

    B. Sturmfels.Algorithms in invariant theory. Texts and Monographs in Symbolic Computa- tion. Springer, Vienna, second edition, 2008

  45. [45]

    van Ekeren and R

    J. van Ekeren and R. Heluani. Chiral homology of elliptic curves and the Zhu algebra.Comm. Math. Phys., 386(1):495–550, 2021. 38 SHASHANK KANADE

  46. [46]

    Y. Zhu. Modular invariance of characters of vertex operator algebras.Journal of the American Mathematical Society, 9(1):237–302, 1996. University of Denver, Denver, USA Email address:shashank.kanade@du.edu