The filtered Hilbert-series conjecture for the Grassmannian cohomology ring

About 23 years old · traced to

Let Rk,ℓR^{k,\ell} be the graded cohomology ring of the Grassmannian, with homogeneous generators e1,…,eke_1,\ldots,e_k, and let Rk,ℓ,mR^{k,\ell,m} be the subalgebra generated by e1,…,eme_1,\ldots,e_m. Write Hilb⁡(A,q)=∑d≥0dim⁡Q(Ad)qd\operatorname{Hilb}(A,q)=\sum_{d\geq 0}\dim_{\mathbb Q}(A_d)q^d for the Hilbert series of a graded algebra AA.

The filtered Hilbert-series conjecture. For m≥0m\geq 0,

Hilb⁡(Rk,ℓ,m,q)=1+∑i=1mqi[ℓi]q(∑j=0k−iqj(ℓ−i+1)[i+j−1j]q).\operatorname{Hilb}(R^{k,\ell,m},q)=1+\sum_{i=1}^m q^i\left[\begin{matrix}\ell\\i\end{matrix}\right]_q\left(\sum_{j=0}^{k-i}q^{j(\ell-i+1)}\left[\begin{matrix}i+j-1\\j\end{matrix}\right]_q\right).

This conjecture predicts the Hilbert series of each algebra in the natural filtration Q=Rk,ℓ,0⊂⋯⊂Rk,ℓ,k=Rk,ℓ\mathbb Q=R^{k,\ell,0}\subset\cdots\subset R^{k,\ell,k}=R^{k,\ell} and would describe how the cohomology ring is generated degree by degree. Its status is not resolved in the supplied source material.

References

Primary source

Victor Reiner and Geanina Tudose, “Conjectures on the cohomology of the Grassmannian”, arXiv:math/0309281 (2003).

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.