Filtering cohomology of ordinary and Lagrangian Grassmannians (Q2163050)

The context of the research is as follows. Let \(G(l,\mathbb{C}^{k+l})\) be the Grassmannian of \(l\)-dimensional subspaces of \(\mathbb{C}^{l+k}\). Let \(R^{l,k}\) be the cohomology \(H^*(G(l,\mathbb{C}^{k+l}),\mathbb{Q})\). In [The fixed point property for Grassmann's manifold. Columbus, OH: Ohio State Univ. (PhD Thesis) (1974)], \textit{L. S. O'Neill} conjectured the form of all graded endomorphisms of \(R^{l,k}\). A special case of the conjecture is proved by \textit{M. Hoffman} [Trans. Am. Math. Soc. 281, 745--760 (1984; Zbl 0566.14022)] via complicated means. To simplify the proof of Hoffman, in [``Conjectures on the cohomology of the Grassmannian'', Preprint, \url{arXiv:math/0309281}], \textit{V. Reiner} and \textit{G. Tudose} made a series of weaker conjectures (1-4). The strongest conjecture described the Hilbert series \(\mathrm{Hilb}(R^{l,k,m},q)\) of \(R^{l,k}\)-the \(\mathbb{Q}\)-subalgebra of \(R^{l,k}\) generated by the homogeneous elements of degree at most \(m\). The strongest conjecture is verified for \(m=1\), \(m=\min(l,k)\) in Reiner and Tudose [loc. cit.]. For the case \(m=\min(l,k)\), a key idea of the proof is an interpretation of \(\mathrm{Hilb}(R^{l,k,m},q)\) [loc. cit., Proposition 8]. The main results of the paper are: A reformulation of [loc. cit., Proposition 8], and then the conjectures about the existence of two bases for \(R^{l,k}\) that would prove the strongest conjecture of Reiner and Tudose, see Conjectures 1.2, 1.3. Similarly, for Lagrangian Grassmannian \(LG(n,\mathbb{C}^{2n})\), the authors made an analogues conjecture to Conjectures 1.2, 1.3, see Conjecture 1.4. In particular, it is verified in extreme cases \(m=1\) and \(m=n\), see Proposition 5.2. The strategy used to obtain the main results is the proof of [loc. cit., Proposition 8] for the extreme case \(m=\min(l,k)\). The structure of the paper is as follows. Section 2 rephrases the proof of [loc. cit., Proposition 8]. Section 3 gives a proof of Theorem 1.1. Section 4 states Conjectures 1.2, 1.3. Section 5 states Conjecture 1.4 and verifies it in two extreme cases.