Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

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

T0 review · 2 major / 2 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read Dousse-Konan coloured partition identities prove classical freeness of level-1 sl_n hat vertex operator algebras.

desk verdict 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. read the letter →

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

Shashank Kanade This is my paper · ORCID
classification math.QAmath.COmath.RT
keywords classicalfreenessvertexoperatoralgebrasaffineLieRogers-RamanujanidentitiescolouredpartitionsGröbnerbasesarclevelone
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

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.

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.

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

Extended reading notes

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.

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.

Share X Bluesky LinkedIn Reddit HN

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 · score 0.0 of 10

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.

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

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

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classical freeness of $\widehat{\mathfrak{sl}}_n$ at level $1$ via combinatorics." pith.science (2026). https://pith.science/paper/U3M77EM4

@misc{pith2026260619234,
  author       = {Pith},
  title        = {Pith review of: Classical freeness of $\widehat\mathfraksl_n$ at level $1$ via combinatorics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U3M77EM4}},
  note         = {Machine review of arXiv:2606.19234}
}
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 the authors.

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￾degenerate… view at source ↗
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(j − 1, j … view at source ↗
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 ↗
Figures from the paper (8 more)
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, w…
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′ +…
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…
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]
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) .= …
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…
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…
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. El…

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. 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 of 10

    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

    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

    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

    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

    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

    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

    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

    1928

  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

    1996

Show all 46 references
  1. [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

    2003

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

    2006

  3. [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

    2022

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

    2015

  5. [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

    2024

  6. [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

    2022

  7. [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

    2022

  8. [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

    2026

  9. [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

    2011

  10. [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

    2008

  11. [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

    1992

  12. [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

    2009

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

  14. [22]

    Kanade and S

    S. Kanade and S. Marshall. In progress

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

    1991

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

    2004

  17. [25]

    Lepowsky and S

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

    1978

  18. [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

    1981

  19. [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

    1981

  20. [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

    1984

  21. [29]

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

    2005

  22. [30]

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

    2021

  23. [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

    2024

  24. [32]

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

    2024

  25. [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

    2024

  26. [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

    1999

  27. [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

    2001

  28. [36]

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

    1999

  29. [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

    2025

  30. [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

    2016

  31. [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

    2019

  32. [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

    2023

  33. [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

    2026

  34. [42]

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

    2026

  35. [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

    2026

  36. [44]

    Sturmfels.Algorithms in invariant theory

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

    2008

  37. [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

    2021

  38. [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

    1996

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.