The sign-character formula for the (1,3)(1,3)-bosonic-fermionic coinvariant ring

From papers

Let Rn(1,3)R_n^{(1,3)} be the (1,3)(1,3)-bosonic-fermionic coinvariant ring, let Frob(Rn(1,3);q;u,v,w)\operatorname{Frob}(R_n^{(1,3)};q;u,v,w) denote its Frobenius series, and let s(1n)s_{(1^n)} denote the Schur function of the sign representation. The (1,3)(1,3) sign-character conjecture. Based on data for n5n \leq 5, the source proposes

Frob(R(1,3);q;u,v,w),s(1n)=k,,d0ukvwdq(ndk2)\qbinomn1dq\qbinomn1kdq\qbinomn1kq.\left\langle \operatorname{Frob}( R^{(1,3)};q;u,v,w), s_{(1^n)}\right\rangle = \sum_{k,\ell,d \geq 0} u^k v^\ell w^d q^{\binom{n-d-k-\ell}{2}}\qbinom{n-1-d}{\ell}_q\qbinom{n-1-k}{d}_q\qbinom{n-1-\ell}{k}_q.

Here \qbinomabq\qbinom{a}{b}_q denotes the qq-binomial coefficient. The formula conjecturally gives the multigraded sign-character multiplicity; the supplied text reports computational evidence for n5n \leq 5 but no resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

John Lentfer, “The sign character of the triagonal fermionic coinvariant ring”, arXiv:2501.09920 (2026).

Solutions 0

No solutions have been posted yet.