Bergeron's Fibonacci conjecture for the sign character of 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);1;1,1,1)\operatorname{Frob}(R_n^{(1,3)};1;1,1,1) denote its Frobenius series with all grading variables specialized to 11, and let s(1n)s_{(1^n)} be the Schur function of the sign representation. Let FnF_n be the Fibonacci numbers defined by F0=0F_0=0, F1=1F_1=1, and Fn=Fn1+Fn2F_n=F_{n-1}+F_{n-2} for n2n\geq2. Bergeron's Fibonacci conjecture. For all n1n \geq 1,

Frob(Rn(1,3);1;1,1,1),s(1n)=12F3n.\left\langle \operatorname{Frob}(R_n^{(1,3)};1;1,1,1), s_{(1^n)}\right\rangle = \frac{1}{2}F_{3n}.

This conjecture predicts a Fibonacci-number formula for the multiplicity of the sign character after specialization. The source attributes it to Bergeron and reports computational evidence, but does not specify a 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.