Schubert calculus from polyhedral parametrizations of Demazure crystals (Q2074825)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Schubert calculus from polyhedral parametrizations of Demazure crystals
scientific article

    Statements

    Schubert calculus from polyhedral parametrizations of Demazure crystals (English)
    0 references
    0 references
    11 February 2022
    0 references
    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.
    0 references
    Schubert calculus
    0 references
    string polytope
    0 references
    Demazure crystal
    0 references
    reduced Kogan face
    0 references
    semi-toric degeneration
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references