Schubert calculus from polyhedral parametrizations of Demazure crystals (Q2074825): Difference between revisions

The context of the research is as follows. Let \(G\) be a connected, simply-connected semisimple algebraic group over \(\mathbb{C}\), \(B \subset G\) a Borel subgroup, \(G/B\) the full flag variety, and \(W\) the Weyl group. For each \(w \in W\), let \([X^w]\) be the Schubert classes associated with \(w\). The set of all \([X^w]\) forms a \(\mathbb{Z}\)-base of the cohomology ring of \(G/B\): \[ H^*(G/B,\mathbb{Z}) = \sum\limits_{w \in W} \mathbb{Z}[X^w]. \] For \(u,v,w \in W\), let \(c_{uv}^w\) be the structure constant of the cohomology ring \[ [X^u].[X^v] = \sum\limits_{w \in W} c_{uv}^w [X^w]. \] A central problem in Schubert Calculus is to compute \(c_{uv}^w\) explicitly (see [\textit{V. A. Kirichenko} et al., Russ. Math. Surv. 67, No. 4, 685--719 (2012; Zbl 1258.14055); translation from Usp. Mat. Nauk 67, No. 4, 89--128 (2012); \textit{A. Knutson} and \textit{E. Miller}, Ann. Math. (2) 161, No. 3, 1245--1318 (2005; Zbl 1089.14007); \textit{L. Manivel}, Symmetric functions, Schubert polynomials and degeneracy loci. Transl. from the French by John R. Swallow. Providence, RI: American Mathematical Society (AMS) (2001; Zbl 0998.14023)). One approach is to realize Schubert classes as concrete combinatorial objects: \begin{itemize} \item by Schubert polynomials, for type \(A\) full flag variety in [38] and other types in [\textit{S. Billey} and \textit{M. Haiman}, J. Am. Math. Soc. 8, No. 2, 443--482 (1995; Zbl 0832.05098); \textit{S. Fomin} and \textit{A. N. Kirillov}, Trans. Am. Math. Soc. 348, No. 9, 3591--3620 (1996; Zbl 0871.05060)]. \item by a sum of reduced (dual) Kogan faces, for type \(A\) full flag variety in [\textit{V. A. Kirichenko} et al., Russ. Math. Surv. 67, No. 4, 685--719 (2012; Zbl 1258.14055); translation from Usp. Mat. Nauk 67, No. 4, 89--128 (2012)]. \end{itemize} In this paper, the author generalizes the result in [\textit{V. A. Kirichenko} et al., Russ. Math. Surv. 67, No. 4, 685--719 (2012; Zbl 1258.14055); translation from Usp. Mat. Nauk 67, No. 4, 89--128 (2012)] of type \(A\) to type \(C\) full flag variety through the theory of Kashiwara crystal bases (see [\textit{M. Kashiwara}, Duke Math. J. 63, No. 2, 465--516 (1991; Zbl 0739.17005); \textit{M. Kashiwara}, Duke Math. J. 71, No. 3, 839--858 (1993; Zbl 0794.17008)]). The main results of the paper are: \begin{itemize} \item A description of the string parametrization Demazure crystal through Kogan faces (Theorem 6.8). \item A realization of Schubert classes in terms of (dual) Kogan faces (Corollaries 6.13 and 6.15). \item An application to the product of two Schubert classes (Corollary 6.16). \end{itemize} To obtain the main results, the author applies the strategy for type \(A\) full flag variety in [\textit{V. A. Kirichenko} et al., Russ. Math. Surv. 67, No. 4, 685--719 (2012; Zbl 1258.14055); translation from Usp. Mat. Nauk 67, No. 4, 89--128 (2012)] and adapts it to type \(C\) full flag variety. The structure of the paper is as follows. Section 2 prepares background about crystal bases and string polytopes. Section 3 reviews results on semi-toric degenerations of Richardson varieties. Section 4 gives an explicit description of string parametrization of opposite Demazure crystals. Section 5 reviews result in type \(A\) full flag variety and relate it with crystal bases. Section 6 extends the result in Section 5 to type \(C\) full flag variety.