Minimum quantum degrees for isotropic Grassmannians in types B and C (Q2155551): Difference between revisions

The context of the research is as follows. Let \(X\) be one of \(\mathrm{Gr}:=\mathrm{Gr}(k,n)\) the Grassmannian, \(\mathrm{IG}:=\mathrm{IG}(k,2n)\) the symplectic Grassmannian, \(\mathrm{OG} :=\mathrm{OG}(k,2n+1)\) the odd orthogonal Grassmannian. Let \(\mathrm{QH}^*(X)\) be the quantum cohomology ring of \(X\). The minimum positive integer \(d\) such that \(q^d\) appears in the quantum product of two Schubert classes in \(\mathrm{QH}^*(X)\) is previously studied. For \(X = \mathrm{Gr}\), it is computed using Young diagrams by \textit{A. Postnikov} [Duke Math. J. 128, No. 3, 473--509 (2005; Zbl 1081.14070); Proc. Am. Math. Soc. 133, No. 3, 699--709 (2005; Zbl 1051.05078)], \textit{W. Fulton} and \textit{C. Woodward} [J. Algebr. Geom. 13, No. 4, 641--661 (2004; Zbl 1081.14076)]. In this paper, the author gives a formula for the minimum quantum degree in terms of inclusions of Young diagrams. The main result of the paper is: \begin{itemize} \item The formula of the minimum quantum degree in the case \(X\) is one of \(\mathrm{IG}(n,2n), \mathrm{OG}(n,2n+1)\) (Theorem 1.5). \item The formula of the minimum quantum degree in the case \(X\) is one of \(\mathrm{IG}(k,2n+1), \mathrm{OG}(k,2n)\) with \(k<2n\) (Theorem 1.6). \end{itemize} The key point used to obtain the main results is studying curve neighborhoods by combinatorial models (certain partitions). The structure of the paper is as follows. Section 2 prepares background about flag varieties, quantum cohomology, curve neighborhoods, and relation with the minimum quantum degree. Section 3 restates results in [\textit{W. Fulton} and \textit{C. Woodward}, J. Algebr. Geom. 13, No. 4, 641--661 (2004; Zbl 1081.14076); \textit{A. Postnikov}, Duke Math. J. 128, No. 3, 473--509 (2005; Zbl 1081.14070); Proc. Am. Math. Soc. 133, No. 3, 699--709 (2005; Zbl 1051.05078)] and gives proof of Theorem 1.5. Section 4 describes indexing sets for Schubert varieties of \(\mathrm{IG}(k,2n)\) and \(\mathrm{OG}(k,2n+1)\). Section 5 describes combinatorics associated with the curve neighborhoods in Section 3. Section 6 proves Theorem 1.6. Section 7 collects some technical proofs for Section 5.