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 →
Classical freeness of widehat{mathfrak{sl}}_n at level 1 via combinatorics
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [§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)
- [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] 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
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
-
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
-
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
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
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
Forward citations
Cited by 1 Pith paper
-
Two examples of combinatorial relations among relations of $C_{n}\sp{(1)}$-standard modules for higher levels
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
-
[1]
Afsharijoo
P. Afsharijoo. Looking for a new version of Gordon’s identities.Ann. Comb., 25(3):543–571, 2021
2021
-
[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]
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]
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]
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]
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]
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]
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
-
[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
-
[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
-
[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
-
[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
-
[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
-
[14]
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]
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
-
[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
-
[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
-
[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
-
[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
-
[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
-
[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]
Kanade and S
S. Kanade and S. Marshall. In progress
-
[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
-
[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
-
[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
-
[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
-
[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
-
[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
-
[29]
H. Li. Abelianizing vertex algebras.Communications in Mathematical Physics, 259(2):391– 411, 2005
2005
-
[30]
H. Li. Some remarks on associated varieties of vertex operator superalgebras.Eur. J. Math., 7(4):1689–1728, 2021
2021
-
[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
-
[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
-
[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
-
[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
-
[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
-
[36]
M. Primc. Some crystal Rogers-Ramanujan type identities.Glas. Mat. Ser. III, 34(54)(1):73– 86, 1999
1999
-
[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
-
[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
-
[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
-
[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
-
[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
-
[42]
D. Salazar. Boundary minimal models and the Rogers-Ramanujan identities.J. Pure Appl. Algebra, 230(6):Paper No. 108281, 2026
2026
-
[43]
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]
Sturmfels.Algorithms in invariant theory
B. Sturmfels.Algorithms in invariant theory. Texts and Monographs in Symbolic Computa- tion. Springer, Vienna, second edition, 2008
2008
-
[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
-
[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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.