Spinon-type basis and analytic large-k proof of the spinon character formula for graded parafermions ($\widehat{\mathfrak{osp}}(1,2)_k/\widehat{\mathfrak{u}}(1)$)

The graded parafermion conformal field theories — the cosets $\widehat{\mathfrak{osp}}(1,2)_k/\widehat{\mathfrak{u}}(1)$, a Lie-superalgebraic cousin of the $\mathbb{Z}_k$ parafermion models — have three equivalent character formulae: bosonic, fermionic, and spinon-type. Fortin, Mathieu and Warnaar (2007) proved the equality of all three at finite level $k$ by q-series and lattice-path methods, but left two structural gaps open: no spinon-type basis of states has been constructed whose counting yields the spinon formula (which would explain from first principles the triplet structure of the $\mathfrak{osp}(1,2)$ spinon and its extra $n_0$ mode), and the spinon-equals-fermionic (S=F) identity has no purely analytic large-$k$ proof analogous to the one they gave for B=F, because its finite-$k$ proof rests on a higher-level Bailey-type transformation that does not simplify as $k\to\infty$. Both gaps likewise remain open in the subsequent literature (through 2026). The problem asks for (i) an explicit, provably complete spinon-type basis for the $\widehat{\mathfrak{osp}}(1,2)_k$ modules whose graded counting reproduces the spinon character formula term by term, and (ii) a purely analytic derivation of S=F in the $k\to\infty$ limit at fixed Dynkin label and charge.

Background

Two-dimensional parafermionic conformal field theories are exactly solved chiral theories built from fields of fractional spin. The prototype is the $\mathbb{Z}_k$ parafermion theory, realizable as the coset (quotient) of the $\widehat{\mathfrak{su}}(2)_k$ Wess–Zumino–Witten model — the chiral theory with affine Lie algebra symmetry $\widehat{\mathfrak{su}}(2)$ at integer level $k$ — by its $\widehat{\mathfrak{u}}(1)$ Cartan subalgebra; the characters (graded traces $\mathrm{Tr}\,q^{L_0-c/24}$ over a module) of a coset theory are branching functions of the numerator characters, i.e. the graded multiplicities with which a numerator character decomposes over the denominator theory. The graded parafermion theories generalize this by replacing $\mathfrak{su}(2)$ with the Lie superalgebra $\mathfrak{osp}(1,2)$, obtained from $\mathfrak{su}(2)$ by adding two odd generators $F^\pm$ with $(F^\pm)^2=J^\pm$. Introduced by Camino, Ramallo and Sánchez de Santos in 1998, the graded parafermion theory at level $k$ is generated by 'fermionic' parafermions $\psi_{1/2},\psi_{1/2}^\dagger$ of conformal dimension $1-1/(4k)$, has central charge $c=-3/(2k+3)$ (it is non-unitary), and is equivalent to the coset $\widehat{\mathfrak{osp}}(1,2)_k/\widehat{\mathfrak{u}}(1)$. Its irreducible characters $\chi_{\ell,r}(q)$ carry an integer Dynkin label $\ell$ (integrable modules have $0\le\ell\le k$) and a $\mathbb{Z}$-valued relative charge $r$, with $\chi_{\ell,r}(q)=\chi_{\ell,-r-2\ell}(q)$.

Three equivalent formulae are known for these characters. The bosonic form follows from the $\widehat{\mathfrak{u}}(1)$ branching of the $\widehat{\mathfrak{osp}}(1,2)_k$ characters, computed via the Weyl–Kac formula (the affine-Kac–Moody generalization of the Weyl character formula). The fermionic form expresses the character as a multiple sum with denominator products $(q;q)_{n_i}=\prod_{j=1}^{n_i}(1-q^j)$, reflecting a quasi-particle basis of states filled subject to a generalized exclusion principle (Haldane-type statistics in which occupancy constraints replace ordinary Fermi statistics); for graded parafermions such a quasi-particle basis was constructed by Jacob and Mathieu, governed by a modified $\mathbb{Z}_{2k}$ exclusion rule with a hidden $\mathbb{Z}_3$ structure. The spinon form is the newest. In the $\widehat{\mathfrak{su}}(2)_k$ WZW model the spinon is the fundamental ($\ell=1$) primary field, a doublet, and the character admits a formula in which the module is decomposed into multi-spinon states labeled by discrete momenta subject to generalized exclusion statistics; this was conjectured by Bouwknegt, Ludwig and Schoutens and proved using the crystalline spinon basis of Nakayashiki and Yamada (a realization in terms of crystal bases, the combinatorial $q\to0$ skeletons of representations, together with paths of the RSOS, i.e. restricted solid-on-solid, lattice models). Fortin–Mathieu–Warnaar (2007) wrote the $\widehat{\mathfrak{osp}}(1,2)_k$ analogue: the spinon is now a triplet (the $\ell=1$ primary of $\mathfrak{osp}(1,2)$ is three-dimensional), the third component manifesting itself as an additional occupation number $n_0$ in a multiple sum whose other ingredients are the occupation numbers $n_1,\dots,n_{k-1}$, a quadratic form built from the inverse $C^{-1}$ of the $A_{k-1}$ Cartan matrix (that of $\mathfrak{sl}_k$, of rank $k-1$, matching the $k-1$ occupation numbers), generalized-exclusion q-binomial factors $\binom{n_i+m_i}{n_i}_q$, and congruence constraints; branching to the coset gives the spinon form $\chi^S_{\ell,r}(q)$ of the graded parafermion characters.

Fortin, Mathieu and Warnaar proved the equality $\chi^B_{\ell,r}(q)=\chi^S_{\ell,r}(q)=\chi^F_{\ell,r}(q)$ for all $\ell,r$ at finite $k$, by q-series methods combined with one-dimensional configuration sums (weighted sums over the admissible height configurations of a one-dimensional lattice) of the $(k+1)$-state Andrews–Baxter–Forrester (ABF) solid-on-solid lattice model, using the factorization of the coset into $M(k+2,2k+3)\times\,\mathbb{Z}_k$-parafermions (a non-unitary Virasoro minimal model — a chiral theory with finitely many primary fields — times the ordinary parafermion theory) and higher-level Bailey lemmas (iterated q-series transformation schemes for Bailey pairs, pairs of sequences linked by an inversion formula that generates q-series identities). They also proved, purely analytically, that as $k\to\infty$ at fixed $\ell,r$ the bosonic and fermionic characters both degenerate to the difference $V_r(q)-V_{r+2\ell+1}(q)$ of two Verma characters, where $V_r(q)$ is the character of the free module of relative charge $r$ (Theorem 4.1). Two structural gaps were explicitly left open and define the problem studied here: the spinon formula is established only as an identity of q-series — no spinon-type basis of states is known whose counting produces it (in contrast to the fermionic form, and to the $\mathfrak{su}(2)$ case where the crystalline spinon basis exists) — and the S=F equality has no purely analytic large-$k$ proof, because its finite-$k$ proof rests on a higher-level Bailey-type transformation (Proposition 3.3 of that paper) that does not significantly simplify as $k\to\infty$.

Problem Statement

Give the spinon-type character formula of the graded parafermion theory (coset $\widehat{\mathfrak{osp}}(1,2)_k/\widehat{\mathfrak{u}}(1)$) the same first-principles foundation that its bosonic and fermionic counterparts already possess. Concretely, resolve the two linked issues left open by Fortin–Mathieu–Warnaar:

(1) Spinon-type basis. Construct explicitly a spinon-type basis of states — a microscopic quasi-particle/spinon realization — for the integrable modules of $\widehat{\mathfrak{osp}}(1,2)_k$, and thereby, through the $\widehat{\mathfrak{u}}(1)$ branching, for the graded parafermion modules, such that the graded counting of basis states at fixed relative charge $r$ directly and term-by-term produces the spinon character formula (eqs. (1.20)–(1.21) of Fortin–Mathieu–Warnaar, including its multiple sum over the occupation numbers $n_0,\dots,n_{k-1}$ and $L$, its quadratic form built from the inverse $C^{-1}$ of the $A_{k-1}$ Cartan matrix (the Cartan matrix of $\mathfrak{sl}_k$, acting on the $k-1$ occupation numbers), its generalized-exclusion q-binomial factors $\binom{n_i+m_i}{n_i}_q$, and its congruence constraints), thereby explaining from first principles the triplet structure of the $\mathfrak{osp}(1,2)$ spinon and the presence and combinatorics of the $n_0$ mode. The construction must include a proof that the proposed states form a basis (linear independence and completeness/spanning of the module).

(2) Analytic large-$k$ proof of S=F. Provide a purely analytic derivation, in the limit $k\to\infty$ at fixed $\ell$ and $r$ (as in Theorem 4.1: $\ell$ a positive integer and $r$ an arbitrary integer), of the equality between the spinon-form and fermionic-form graded parafermion characters, analogous to the purely analytic large-$k$ proof of B=F given by Theorem 4.1 of Fortin–Mathieu–Warnaar. The known finite-$k$ proof of S=F proceeds through Proposition 3.3, a higher-level Bailey-type transformation that does not significantly simplify in the large-$k$ limit; the requested derivation must circumvent this obstacle, with all interchanges of limits and sums justified, and should make plain how the $n_0$ mode behaves in the limit.

The common objective of the two deliverables is to replace the currently purely combinatorial (q-series/lattice-path) verification of the spinon formula with a structural, representation-theoretic foundation (deliverable 1) and a self-contained analytic limiting argument (deliverable 2); a complete answer addresses both, and each is independently checkable against the published formulae.

References

1. J.-F. Fortin, P. Mathieu and S. O. Warnaar, 'Characters of graded parafermion conformal field theory', Advances in Theoretical and Mathematical Physics 11 (2007) 945–989. DOI: 10.4310/atmp.2007.v11.n6.a2, arXiv:hep-th/0602248, https://arxiv.org/abs/hep-th/0602248
2. J. M. Camino, A. V. Ramallo and J. M. Sánchez de Santos, 'Graded parafermions', Nuclear Physics B 530 (1998) 715–741. DOI: 10.1016/S0550-3213(98)00505-7, https://doi.org/10.1016/S0550-3213(98)00505-7
3. P. Jacob and P. Mathieu, 'Graded parafermions: standard and quasiparticle bases', Nuclear Physics B 630 (2002) 433–452. DOI: 10.1016/S0550-3213(02)00129-3, arXiv:hep-th/0201156, https://arxiv.org/abs/hep-th/0201156
4. L. Bégin, J.-F. Fortin, P. Jacob and P. Mathieu, 'Fermionic characters for graded parafermions', Nuclear Physics B 659 (2003) 365–386. DOI: 10.1016/S0550-3213(03)00175-5, https://doi.org/10.1016/S0550-3213(03)00175-5
5. P. Bouwknegt, A. W. W. Ludwig and K. Schoutens, 'Spinon basis for higher level SU(2) WZW models', Physics Letters B 359 (1995) 304–312. DOI: 10.1016/0370-2693(95)01078-5, https://doi.org/10.1016/0370-2693(95)01078-5
6. A. Nakayashiki and Y. Yamada, 'Crystallizing the spinon basis', Communications in Mathematical Physics 178 (1996) 179–200. DOI: 10.1007/BF02104914, arXiv:hep-th/9504052, https://arxiv.org/abs/hep-th/9504052
7. A. Schilling and S. O. Warnaar, 'A higher level Bailey lemma: proof and application', The Ramanujan Journal 2 (1998) 327–349. DOI: 10.1023/A:1009746932284, https://doi.org/10.1023/A:1009746932284
8. A. Schilling and S. O. Warnaar, 'Conjugate Bailey pairs: from configuration sums and fractional-level string functions to Bailey's lemma', Contemporary Mathematics 297 (2002) 227–255. DOI: 10.1090/conm/297/05100, https://doi.org/10.1090/conm/297/05100
9. P. Jacob and P. Mathieu, 'A new path description for the M(k+1,2k+3) models and the dual Z_k graded parafermions', Journal of Statistical Mechanics: Theory and Experiment (2007) P11005. DOI: 10.1088/1742-5468/2007/11/P11005, arXiv:0709.1658, https://arxiv.org/abs/0709.1658
10. P. Mathieu, 'Paths and partitions: Combinatorial descriptions of the parafermionic states', Journal of Mathematical Physics 50 (2009) 095210. DOI: 10.1063/1.3157921, arXiv:0903.3550, https://arxiv.org/abs/0903.3550
11. Thessa Fokkema and Kareljan Schoutens, 'Spinon bases in supersymmetric CFTs', Journal of Physics A: Mathematical and Theoretical 49 (2016) 285004. DOI: 10.1088/1751-8113/49/28/285004, arXiv:1512.07234, https://arxiv.org/abs/1512.07234
12. Thomas Creutzig, Jesse Fröhlich and Shashank Kanade, 'Representation theory of L_k(osp(1|2)) from vertex tensor categories and Jacobi forms', Proceedings of the American Mathematical Society 146 (2018) 4571–4589. DOI: 10.1090/proc/14066, arXiv:1706.00242, https://arxiv.org/abs/1706.00242
13. Cuipo Jiang and Qing Wang, 'The structure of parafermion vertex operator algebras K(osp(1|2n),k)', Journal of Algebra 594 (2022) 722–732. DOI: 10.1016/j.jalgebra.2021.12.016, arXiv:2108.07486, https://arxiv.org/abs/2108.07486
14. Peter Bouwknegt, Shane Chern and Bolin Han, 'q-Identities for parafermion theories', Journal of Physics A: Mathematical and Theoretical 57 (2024) 505201. DOI: 10.1088/1751-8121/ad8f07, arXiv:2403.03464, https://arxiv.org/abs/2403.03464