arXiv++ Combinatorics

Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form φ^{(r_L,r_{L-1})}_{-n_L}...φ^{(r_1,r_{0})}_{-n_1} |r_0,s >, where φ_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary field mapping M_{r,s} to M_{r',s}, and |r_0,s > is the highest weight vector of M_{r_0,s}. In this article, for all p<p' with p>2 and s=1, we describe a subset of such monomials which conjecturally forms a basis of \oplus_{r=1}^{p-1}M_{r,1}. We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case of p=3.

For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of $λ$ as the particle content of the configuration ${\bf a}$ and $ρ_j$ as the energy level of the $j$-th particle, which has the weight $λ_j$. The total energy $\sum_iia_i$ is written as the sum of the two-body interaction term $\sum_{j<j'}A_{λ_j,λ_{j'}}$ and the free part $\sum_jρ_j$. The bijection implies a fermionic formula for the one-dimensional configuration sums $\sum_{\bf a}q^{\sum_iia_i}$. We also derive the polynomial identities which describe the configuration sums corresponding to the configurations with prescribed values for $a_0$ and $a_1$, and such that $a_i=0$ for all $i>N$.

For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1.