Bergeron's Fibonacci conjecture for the sign character of the (1,3)(1,3)-bosonic-fermionic coinvariant ring

About 1 year old · traced to

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=Fn−1+Fn−2F_n=F_{n-1}+F_{n-2} for n≥2n\geq2. Bergeron's Fibonacci conjecture. For all n≥1n \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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.