Elementary transversality in the Schubert calculus in any characteristic (Q1432735): Difference between revisions

The author considers four spaces over an infinite field \(\mathbb K\). The first space is the Grassmannian \( G(r,n)\) of \(r-\)planes in \(\mathbb K ^n\). The second space is defined as follows. For a sequence \(r:0<r_1<r_2<\dots <r_{m}\) of integers, \(\mathbb F l_r\) is the variety of \(m\)-step flags \(E_1\subset E_2\subset\dots \subset E_m\subset \mathbb K ^n\) with \(\dim E_i=r_i\). The third space is the orthogonal Grassmannian \(OG(r,n)\) of \(r-\)dimensional isotropic subspaces of \((\mathbb K ^n,\langle.,.\rangle)\), where \(\langle.,.\rangle\) is a non-degenerate split symmetric bilinear form on \(\mathbb K ^n\), \(\text{char\,}\mathbb K \neq 2\) and \(n=2r+1\) is odd. The fourth space is the space \(\mathcal M^{q}_{r,n}\) of maps \(M:\mathbb P^1\rightarrow G(r,n)\) with \({\deg}M=q\geq 0\). The author describes simple Schubert subvarieties of the considered spaces and proves the following result. {Let \(X\) be either \( G(r,n),\quad \mathbb F l_r\), \(O G(r,n)\) or \(\mathcal M^{q}_{r,n}\) and let \(Z\subset X\) be any Schubert variety of \(X\). Then general simple Schubert varieties \(Y_1,Y_2,\dots ,Y_{\dim Z}\) meet \(Z\) transversally on \(X\).} A similar result for the case \(\mathbb K =\mathbb R\) is also proved.