PBW bases of irreducible Ising modules
Pith reviewed 2026-05-24 08:10 UTC · model grok-4.3
The pith
A filtration compatible with Li's on modules over the Ising vertex algebra yields explicit monomial bases for its three irreducibles together with refined characters given by Nahm sums for the matrix [[8,3],[3,2]].
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the three irreducible modules L(1/2,0), L(1/2,1/2) and L(1/2,1/16) of Vir_{3,4}, the associated graded spaces gr^G(M) with respect to the new filtration admit explicit monomial bases, and the refined characters of the modules are given by Nahm sums for the matrix [[8,3],[3,2]].
What carries the argument
The increasing filtration (G^p M) on the module M, compatible with Li's filtrations, which induces on gr^G(M) the structure of a module over the vertex Poisson algebra gr^G(V).
If this is right
- Each of the three Ising modules possesses an explicit monomial basis.
- The refined characters of these modules equal Nahm sums associated to the matrix [[8,3],[3,2]].
- The filtration construction and the resulting Poisson-module structure apply to any h + ℕ-graded module over an ℕ-graded conformal vertex algebra.
- The associated graded spaces gr^G(M) inherit a natural action of the vertex Poisson algebra gr^G(V).
Where Pith is reading between the lines
- The monomial bases make it possible to write the action of vertex operators on the modules by explicit linear combinations of basis elements.
- The appearance of the same matrix in the character formulas may allow direct comparison with known combinatorial or q-series identities attached to that matrix.
- The method supplies a template that can be tested on other rational vertex algebras whose irreducible modules are known only abstractly.
Load-bearing premise
That the chosen filtration makes the associated graded space a module over the associated Poisson algebra in a way that preserves enough structure to extract bases and characters.
What would settle it
A calculation in low degree showing that the span of the proposed monomials in one of the three modules has dimension different from the known graded dimension of that module, or that the Nahm-sum formula does not match the known refined character.
read the original abstract
To every $h + \mathbb{N}$-graded module $M$ over an $\mathbb{N}$-graded conformal vertex algebra $V$, we associate an increasing filtration $(G^pM)_{p \in \mathbb{Z}}$ which is compatible with the filtrations introduced by Haisheng Li. The associated graded vector space $\mathrm{gr}^G(M)$ is naturally a module over the vertex Poisson algebra $\mathrm{gr}^G(V)$. We study $\mathrm{gr}^G(M)$ for the three irreducible modules of the Ising model $\mathrm{Vir}_{3, 4}$, namely $\mathrm{Vir}_{3,4} = L(1/2, 0)$, $L(1/2, 1/2)$ and $L(1/2, 1/16)$. We obtain an explicit monomial basis of each of these modules and a formula for their refined characters which are related to Nahm sums for the matrix $\left(\begin{smallmatrix} 8 & 3 \\ 3 & 2 \end{smallmatrix}\right)$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines an increasing filtration (G^p M) on h + ℕ-graded modules M over ℕ-graded conformal vertex algebras V that is compatible with Li's filtrations; the associated graded gr^G(M) therefore carries a natural module structure over the vertex Poisson algebra gr^G(V). It applies the construction to the three irreducible modules L(1/2,0), L(1/2,1/2) and L(1/2,1/16) of the Ising vertex algebra Vir_{3,4}, obtaining explicit monomial bases for each module together with formulas for their refined characters that are identified with Nahm sums associated to the matrix [[8,3],[3,2]].
Significance. If the results hold, the explicit monomial bases and refined-character formulas supply concrete, computable information about the representation theory of the Ising model that links directly to known q-series identities. The general filtration construction, being compatible with existing Li filtrations, offers a potentially reusable tool for studying associated graded structures in other vertex-algebra modules.
major comments (2)
- [§2 and Ising-module sections] §2 (filtration construction) and the subsequent application to Ising modules: the statement that gr^G(M) is naturally a module over gr^G(V) for M = L(1/2,h) is asserted after defining (G^p M) but without an explicit verification that the induced action of the generators of gr^G(V) (Virasoro modes in the graded setting) preserves the Poisson relations on the associated graded space of each irreducible module. This compatibility is load-bearing for the later identification of the monomial bases and the Nahm-sum character formulas.
- [§4] §4 (bases and characters): the derivation of the explicit monomial bases and the refined-character formulas is presented without intermediate verification steps, dimension counts, or direct comparison against the known graded dimensions of the Ising modules; an explicit check that the proposed monomials are linearly independent and span would strengthen the central claim.
minor comments (1)
- [§2] Notation for the filtration (G^p M) and the associated graded should be introduced with a short reminder of Li's original filtration to make the compatibility statement immediately readable.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the major comments point by point below.
read point-by-point responses
-
Referee: [§2 and Ising-module sections] §2 (filtration construction) and the subsequent application to Ising modules: the statement that gr^G(M) is naturally a module over gr^G(V) for M = L(1/2,h) is asserted after defining (G^p M) but without an explicit verification that the induced action of the generators of gr^G(V) (Virasoro modes in the graded setting) preserves the Poisson relations on the associated graded space of each irreducible module. This compatibility is load-bearing for the later identification of the monomial bases and the Nahm-sum character formulas.
Authors: The general theorem in §2 shows that the filtration G is compatible with Li's filtrations by construction, and therefore gr^G(M) carries a natural module structure over the vertex Poisson algebra gr^G(V) for any h + ℕ-graded module M. The preservation of the Poisson relations follows from the general argument and applies directly to the Virasoro generators acting on the Ising modules. We will add a clarifying sentence in the revised §3 noting that the general proof covers the Ising case without requiring separate verification. revision: partial
-
Referee: [§4] §4 (bases and characters): the derivation of the explicit monomial bases and the refined-character formulas is presented without intermediate verification steps, dimension counts, or direct comparison against the known graded dimensions of the Ising modules; an explicit check that the proposed monomials are linearly independent and span would strengthen the central claim.
Authors: We agree that the presentation in §4 would be strengthened by additional verification. In the revised manuscript we will insert explicit dimension counts obtained by comparing the generating functions of the proposed monomials with the known characters of L(1/2,h), together with a short argument for linear independence that uses the PBW property of the associated graded vertex Poisson algebra. revision: yes
Circularity Check
No circularity: filtration and graded module structure are standard constructions applied to external Ising modules.
full rationale
The paper defines an increasing filtration (G^p M) compatible with Li's filtrations on modules over N-graded conformal vertex algebras, states that gr^G(M) is naturally a module over gr^G(V), and applies this to the three irreducible Ising modules to obtain explicit monomial bases and refined characters linked to a Nahm sum. No quoted step reduces a claimed prediction or basis to a fitted parameter, self-citation chain, or definitional tautology. The module structure is presented as following directly from the filtration definition and prior work on vertex Poisson algebras (external to this paper). The derivation chain remains self-contained against the stated inputs without the reductions enumerated in the circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of N-graded conformal vertex algebras, their modules, and associated filtrations
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.