Schubert calculus from polyhedral parametrizations of Demazure crystals (Q2074825)

From MaRDI portal
Revision as of 06:02, 31 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

    Identifiers

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