Complete homogeneous basis conjecture for Grassmannian cohomology subalgebras

About 6 years old · traced to

Let Rℓ,kR^{\ell,k} be the cohomology ring of the Grassmannian, let Rℓ,k,mR^{\ell,k,m} be the Q{\mathbb Q}-subalgebra generated by elements of degree at most mm, and let λω(k)\lambda^{\omega(k)} denote the kk-conjugate of a kk-bounded partition λ\lambda. Write hλ=hλ1hλ2⋯hλrh_\lambda=h_{\lambda_1}h_{\lambda_2}\cdots h_{\lambda_r} for the complete homogeneous symmetric function indexed by λ\lambda.

Complete homogeneous basis conjecture. For 1≤m≤min⁡(ℓ,k)1\leq m\leq\min(\ell,k),

{hλ:λ1≤m and λω(k)⊆(kℓ)}\{h_\lambda:\lambda_1\leq m\text{ and }\lambda^{\omega(k)}\subseteq(k^\ell)\}

is a Q{\mathbb Q}-basis of Rℓ,k,mR^{\ell,k,m}. This conjecture would imply the Reiner–Tudose Hilbert-series conjecture by giving the required graded basis.

References

Primary source

The 2020 Polymath Jr. REU "q-binomials, the Grassmannian group", :, Huda Ahmed, Rasiel Chishti, Yu-Cheng Chiu, Galen Dorpalen-Barry, Jeremy Ellis, David Fang, Michael Feigen, Jonathan Feigert, Mabel González, Dylan Harker, Jiaye Wei, Bhavna Joshi, Gandhar Kulkarni, Kapil Lad, Zhen Liu, Ma Mingyang, Lance Myers, Arjun Nigam, Tudor Popescu, Victor Reiner, Zijian Rong, Eunice Sukarto, Leonardo Mendez Villamil, Chuanyi Wang, Napoleon Wang, Ajmain Yamin, Jeffery Yu, Matthew Yu, Yuanning Zhang, Ziye Zhu and Chen Zijian, “Filtering cohomology of ordinary and Lagrangian Grassmannians”, arXiv:2011.03179 (2021).

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.