pith. sign in

arxiv: 2405.07126 · v3 · submitted 2024-05-12 · 🧮 math.QA · math.CO

Boundary minimal models and the Rogers-Ramanujan identities

Diego Salazar This is my paper

Pith reviewed 2026-05-24 01:14 UTC · model grok-4.3

classification 🧮 math.QA math.CO
keywords Virasoro vertex algebrasminimal modelsRogers-Ramanujan identitiesclassical freenessZhu algebrajet algebraAndrews-Gordon identitiesboundary models
0
0 comments X

The pith

Irreducible modules over Virasoro vertex algebras are classically free only for boundary minimal models.

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

The paper determines when the irreducible modules L(c_{p,q}, h_{m,n}) over simple Virasoro vertex algebras Vir_{p,q} are classically free. This property holds solely for the boundary minimal models, namely the modules over Vir_{2, 2s+1} for positive integers s. Consequently, their classical limits are fully described using the jet algebra of the corresponding Zhu C_2-algebra. The Andrews-Gordon generalization of the Rogers-Ramanujan identities plays a key role in establishing these results and receives a natural algebraic interpretation in return.

Core claim

The irreducible modules L(c_{p,q}, h_{m,n}) over Vir_{p,q} are classically free if and only if they arise from the boundary minimal models Vir_{2, 2s+1} for s a positive integer. For these modules the classical limits admit a complete description in terms of the jet algebra of the associated Zhu C_2-algebra.

What carries the argument

Classical freeness of the modules L(c_{p,q}, h_{m,n}), verified using the Andrews-Gordon identities and yielding jet-algebra descriptions of the classical limits via the Zhu C_2-algebra.

Load-bearing premise

The Andrews-Gordon generalization of the Rogers-Ramanujan identities can be used to decide classical freeness of the modules L(c_{p,q}, h_{m,n}).

What would settle it

An explicit basis or generating-function calculation showing that some L(c_{p,q}, h_{m,n}) with p greater than 2 is classically free would refute the classification.

read the original abstract

We determine when the irreducible modules $L(c_{p, q}, h_{m, n})$ over the simple Virasoro vertex algebras $\operatorname{Vir}_{p, q}$, where $p, q \ge 2$ are relatively prime with $0 < m < p$ and $0 < n < q$, are classically free. It turns out that this only happens with the boundary minimal models, i.e., with the irreducible modules over $\operatorname{Vir}_{2, 2s + 1}$ for $s \in \mathbb{Z}_+$. We thus obtain a complete description of the classical limits of these modules in terms of the jet algebra of the corresponding Zhu $C_2$-algebra. The Andrews-Gordon generalization of the Rogers-Ramanujan identities is used in the proof, and our results in turn provide a natural interpretation of these identities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript determines when the irreducible modules L(c_{p,q}, h_{m,n}) over the simple Virasoro vertex algebras Vir_{p,q} (p,q coprime, 0<m<p, 0<n<q) are classically free. It establishes that this holds precisely for the boundary minimal models, i.e., the irreducible modules over Vir_{2,2s+1} for s positive integer. The positive direction uses the Andrews-Gordon generalization of the Rogers-Ramanujan identities to match characters with the Hilbert series of the jet algebra of the Zhu C_2-algebra, supplying an explicit basis; the converse proceeds by direct comparison showing that non-boundary characters deviate from any free jet-algebra series.

Significance. If the result holds, the work supplies a complete classification of classically free irreducible modules for simple Virasoro vertex algebras and furnishes a natural algebraic interpretation of the Andrews-Gordon identities via the correspondence between module characters and jet-algebra Hilbert series. The explicit basis construction in the boundary case and the graded-dimension verification for the converse are strengths that make the argument self-contained once the known identities are invoked.

minor comments (2)
  1. The definition of 'classically free' and the precise construction of the jet algebra of the Zhu C_2-algebra should be recalled in §2 or §3 with a short reminder of the grading, to make the Hilbert-series comparison self-contained for readers outside the immediate subfield.
  2. In the statement of the main theorem (presumably Theorem 1.1 or 4.1), the range of s should be written explicitly as s ∈ ℤ₊ rather than left implicit from the boundary-model description.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the classification, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on the external Andrews-Gordon identities (known combinatorial statements) to match characters of boundary modules to free jet-algebra Hilbert series, with non-boundary cases ruled out by direct graded-dimension comparison. These identities are independent external input, not derived from or defined in terms of the paper's own outputs or self-citations. No step reduces a claimed prediction or freeness result to a fit or redefinition internal to the paper; the logic is self-contained against the cited combinatorial benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

No free parameters or invented entities are visible from the abstract. The work rests on standard properties of Virasoro vertex algebras and the truth of the Andrews-Gordon identities.

axioms (2)
  • domain assumption Standard properties of simple Virasoro vertex algebras Vir_p,q and their irreducible modules L(c_p,q,h_m,n)
    Invoked throughout the statement of the main result.
  • standard math The Andrews-Gordon generalization of the Rogers-Ramanujan identities holds
    Used in the proof as stated in the abstract.

pith-pipeline@v0.9.0 · 5669 in / 1406 out tokens · 28470 ms · 2026-05-24T01:14:13.658353+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    George E. Andrews. The theory of partitions . Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1998. Reprint of the 1976 original

    work page 1998

  2. [2]

    A remark on the C _2 -cofiniteness condition on vertex algebras

    Tomoyuki Arakawa. A remark on the C _2 -cofiniteness condition on vertex algebras. Mathematische Zeitschrift , 270(1-2):559--575, February 2012

    work page 2012

  3. [3]

    Andrews, Jethro Van Ekeren, and Reimundo Heluani

    George E. Andrews, Jethro Van Ekeren, and Reimundo Heluani. The Singular Support of the Ising Model . International Mathematics Research Notices , page rnab328, May 2022

    work page 2022

  4. [4]

    Arc spaces and the Rogers – Ramanujan identities

    Clemens Bruschek, Hussein Mourtada, and Jan Schepers. Arc spaces and the Rogers – Ramanujan identities. The Ramanujan Journal , 30(1):9--38, January 2013

    work page 2013

  5. [5]

    Degenerate conformal field theories and explicit expressions for some null vectors

    Louis Benoit and Yvan Saint-Aubin. Degenerate conformal field theories and explicit expressions for some null vectors. Physics Letters B , 215(3):517--522, December 1988

    work page 1988

  6. [6]

    Examples of Poisson modules, I

    Paolo Caressa. Examples of Poisson modules, I . Rendiconti del Circolo Matematico di Palermo , 52(3):419--452, October 2003

    work page 2003

  7. [7]

    Enveloping algebras , volume 11 of Graduate studies in mathematics

    Jacques Dixmier. Enveloping algebras , volume 11 of Graduate studies in mathematics . American Mathematical Society, Providence, R.I, 1996

    work page 1996

  8. [8]

    Jet schemes and singularities

    Lawrence Ein and Mircea Musta t a . Jet schemes and singularities. In Algebraic geometry--- S eattle 2005. P art 2 , volume 80 of Proc. Sympos. Pure Math. , pages 505--546. Amer. Math. Soc., Providence, RI, 2009

    work page 2005

  9. [9]

    Vertex algebras and algebraic curves , volume 88 of Mathematical surveys and monographs

    Edward Frenkel and David Ben-Zvi. Vertex algebras and algebraic curves , volume 88 of Mathematical surveys and monographs . American Mathematical Society, Providence, R.I, 2001

    work page 2001

  10. [10]

    B. L. Feigin and D. B. Fuchs. Verma modules over the virasoro algebra. Functional Analysis and Its Applications , 17(3):241--242, 1984

    work page 1984

  11. [11]

    On simplicity of vacuum modules

    Maria Gorelik and Victor Kac. On simplicity of vacuum modules. Advances in Mathematics , 211(2):621--677, June 2007

    work page 2007

  12. [12]

    A Combinatorial Generalization of the Rogers - Ramanujan Identities

    Basil Gordon. A Combinatorial Generalization of the Rogers - Ramanujan Identities . American Journal of Mathematics , 83(2):393, April 1961

    work page 1961

  13. [13]

    Representation theory of the V irasoro algebra

    Kenji Iohara and Yoshiyuki Koga. Representation theory of the V irasoro algebra . Springer Monographs in Mathematics. Springer-Verlag London, Ltd., London, 2011

    work page 2011

  14. [14]

    Introduction to Vertex Algebras , Poisson Vertex Algebras , and Integrable Hamiltonian PDE

    Victor Kac. Introduction to Vertex Algebras , Poisson Vertex Algebras , and Integrable Hamiltonian PDE . In Filippo Callegaro, Giovanna Carnovale, Fabrizio Caselli, Corrado De Concini, and Alberto De Sole, editors, Perspectives in Lie Theory , volume 19, pages 3--72. Springer International Publishing, Cham, 2017

    work page 2017

  15. [15]

    Victor G. Kac, A. K. Raina, and Natasha Rozhkovskaya. Bombay lectures on highest weight representations of infinite dimensional lie algebras , volume 29 of Advanced series in mathematical physics . World Scientific, Hackensack, New Jersey, Second edition, 2013. OCLC: ocn858312870

    work page 2013

  16. [16]

    Abelianizing Vertex Algebras

    Haisheng Li. Abelianizing Vertex Algebras . Communications in Mathematical Physics , 259(2):391--411, October 2005

    work page 2005

  17. [17]

    Introduction to Vertex Operator Algebras and Their Representations

    James Lepowsky and Haisheng Li. Introduction to Vertex Operator Algebras and Their Representations . Birkhäuser Boston, Boston, MA, 2004

    work page 2004

  18. [18]

    Conformal Field Theory and Torsion Elements of the Bloch Group , pages 67--132

    Werner Nahm. Conformal Field Theory and Torsion Elements of the Bloch Group , pages 67--132. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007

    work page 2007

  19. [19]

    Introduction to Vertex Algebras

    Christophe Nozaradan. Introduction to Vertex Algebras , November 2008. arXiv:0809.1380 [math-ph] version: 3

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  20. [20]

    PBW bases of irreducible Ising modules

    Diego Salazar. PBW bases of irreducible Ising modules. Journal of Algebra , 639:398--421, February 2024

    work page 2024

  21. [21]

    Chiral Homology of Elliptic Curves and the Zhu Algebra

    Jethro Van Ekeren and Reimundo Heluani. Chiral Homology of Elliptic Curves and the Zhu Algebra . Communications in Mathematical Physics , 386(1):495--550, August 2021

    work page 2021

  22. [22]

    Rationality of Virasoro vertex operator algebras

    Weiqiang Wang. Rationality of Virasoro vertex operator algebras. International Mathematics Research Notices , 1993(7):197--211, 1993

    work page 1993

  23. [23]

    Modular invariance of characters of vertex operator algebras

    Yongchang Zhu. Modular invariance of characters of vertex operator algebras. Journal of the American Mathematical Society , 9(1):237--302, 1996

    work page 1996