Complete homogeneous basis conjecture for Grassmannian cohomology subalgebras

From papers

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λ2hλ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 1mmin(,k)1\leq m\leq\min(\ell,k),

{hλ:λ1m 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.

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

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).

Solutions 0

No solutions have been posted yet.