A Demazure crystal construction for Schubert polynomials.

*(English)*Zbl 1390.14162Schubert polynomials \(\mathfrak{S}_w\) were first introduced by I. N. Bernstein et al. [Russ. Math. Surv. 28, No. 3, 1–26 (1973; Zbl 0289.57024)] as certain polynomial representatives of cohomology classes of Schubert cycles \(X_w\) in flag varieties. They were extensively studied by A. Lascoux and M.-P. Schützenberger [C. R. Acad. Sci., Paris, Sér. I 294, 447–450 (1982; Zbl 0495.14031)] using an explicit definition in terms of difference operators \({\partial}_w\). Subsequently, a combinatorial expression for Schubert polynomials as the generating polynomial for compatible sequences for reduced expressions of a permutation \(w\) was discovered by S. C. Billey et al. [J. Algebr. Comb. 2, No. 4, 345–374 (1993; Zbl 0790.05093)]. In the special case of the Grassmannian subvariety, Schubert polynomials are Schur polynomials, which also arise as the irreducible characters for the general linear group.

The Stanley symmetric functions \(F_w\) were introduced by R. P. Stanley [Eur. J. Comb. 5, 359–372 (1984; Zbl 0587.20002)] in the pursuit of enumerations of the reduced expressions of permutations, in particular of the long permutation \(w_0\). They are defined combinatorially as the generating functions of reduced factorizations of permutations. Stanley symmetric functions are the stable limit of Schubert polynomials \[ F_w (x_1, x_2, \ldots ) = \lim_{m\rightarrow \infty} \mathfrak{S}_{1^m \times w}(x_1, x_2, \ldots, x_{n+m}). \] P. Edelman and C. Greene [Adv. Math. 63, 42–99 (1987; Zbl 0616.05005)] showed that the coefficients of the Schur expansion of Stanley symmetric functions are nonnegative integer coefficients. Demazure modules for the general linear group are closely related to Schubert classes for the cohomology of the flag manifold. In certain cases these modules are irreducible polynomial representations, and so the Demazure characters also contain the Schur polynomials as a special case. Lascoux and Schützenberger stated that Schubert polynomials are nonnegative sums of Demazure characters.

In this paper the authors prove the converse to limit identity above by showing that Schubert polynomials are Demazure truncations of Stanley symmetric functions. Specifically, they show that the combinatorial objects underlying the Schubert polynomials, namely the compatible sequences, exhibit a Demazure crystal truncation of the full Stanley crystal of Morse and Schilling. They prove this, in which they give an explicit Demazure crystal structure on semi-standard key tableaux, which coincide with semi-skyline augmented fillings. Also they show that the crystal operators on reduced factorizations intertwine with (weak) Edelman-Greene insertion, proves their main result.

The Stanley symmetric functions \(F_w\) were introduced by R. P. Stanley [Eur. J. Comb. 5, 359–372 (1984; Zbl 0587.20002)] in the pursuit of enumerations of the reduced expressions of permutations, in particular of the long permutation \(w_0\). They are defined combinatorially as the generating functions of reduced factorizations of permutations. Stanley symmetric functions are the stable limit of Schubert polynomials \[ F_w (x_1, x_2, \ldots ) = \lim_{m\rightarrow \infty} \mathfrak{S}_{1^m \times w}(x_1, x_2, \ldots, x_{n+m}). \] P. Edelman and C. Greene [Adv. Math. 63, 42–99 (1987; Zbl 0616.05005)] showed that the coefficients of the Schur expansion of Stanley symmetric functions are nonnegative integer coefficients. Demazure modules for the general linear group are closely related to Schubert classes for the cohomology of the flag manifold. In certain cases these modules are irreducible polynomial representations, and so the Demazure characters also contain the Schur polynomials as a special case. Lascoux and Schützenberger stated that Schubert polynomials are nonnegative sums of Demazure characters.

In this paper the authors prove the converse to limit identity above by showing that Schubert polynomials are Demazure truncations of Stanley symmetric functions. Specifically, they show that the combinatorial objects underlying the Schubert polynomials, namely the compatible sequences, exhibit a Demazure crystal truncation of the full Stanley crystal of Morse and Schilling. They prove this, in which they give an explicit Demazure crystal structure on semi-standard key tableaux, which coincide with semi-skyline augmented fillings. Also they show that the crystal operators on reduced factorizations intertwine with (weak) Edelman-Greene insertion, proves their main result.

Reviewer: Cenap Özel (Bolu)

##### MSC:

14N15 | Classical problems, Schubert calculus |

05E10 | Combinatorial aspects of representation theory |

05A05 | Permutations, words, matrices |

05E05 | Symmetric functions and generalizations |

05E18 | Group actions on combinatorial structures |

20G42 | Quantum groups (quantized function algebras) and their representations |

PDF
BibTeX
XML
Cite

\textit{S. Assaf} and \textit{A. Schilling}, Algebr. Comb. 1, No. 2, 225--247 (2018; Zbl 1390.14162)

Full Text:
DOI

##### References:

[1] | Assaf, Sami, Nonsymmetric Macdonald polynomials and a refinement of Kostka-Foulkes polynomials · Zbl 1388.05187 |

[2] | Assaf, Sami, Combinatorial models for Schubert polynomials, (2017) · Zbl 1356.14039 |

[3] | Assaf, Sami, Weak dual equivalence for polynomials, (2017) · Zbl 1356.14039 |

[4] | Assaf, Sami; Searles, Dominic, Schubert polynomials, slide polynomials, Stanley symmetric functions and quasi-yamanouchi pipe dreams, Adv. in Math., 306, 89-122, (2017) · Zbl 1356.14039 |

[5] | Bergeron, Nantel; Billey, Sara, RC-graphs and Schubert polynomials, Experiment. Math., 2, 4, 257-269, (1993) · Zbl 0803.05054 |

[6] | Bernstein, I. N.; Gel’fand, I. M.; Gel’fand, S. I., Schubert cells, and the cohomology of the spaces \(G/P\), Uspehi Mat. Nauk, 28, 3, 1-26, (1973) · Zbl 0289.57024 |

[7] | Billey, Sara; Jockusch, William; Stanley, Richard P., Some combinatorial properties of Schubert polynomials, J. Algebraic Combin., 2, 4, 345-374, (1993) · Zbl 0790.05093 |

[8] | Bump, Daniel; Schilling, Anne, Crystal bases. Representations and combinatorics, xii+279 pp., (2017), World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ · Zbl 1440.17001 |

[9] | Demazure, Michel, Une nouvelle formule des caractères, Bull. Sci. Math. (2), 98, 3, 163-172, (1974) · Zbl 0365.17005 |

[10] | Edelman, Paul; Greene, Curtis, Balanced tableaux, Adv. in Math., 63, 1, 42-99, (1987) · Zbl 0616.05005 |

[11] | Hong, Jin; Kang, Seok-Jin, Introduction to quantum groups and crystal bases, 42, xviii+307 pp., (2002), American Mathematical Society, Providence, RI · Zbl 1134.17007 |

[12] | Kashiwara, Masaki, The crystal base and littelmann’s refined Demazure character formula, Duke Math. J., 71, 3, 839-858, (1993) · Zbl 0794.17008 |

[13] | Kashiwara, Masaki; Nakashima, Toshiki, Crystal graphs for representations of the \(q\)-analogue of classical Lie algebras, J. Algebra, 165, 2, 295-345, (1994) · Zbl 0808.17005 |

[14] | Kohnert, Axel, Weintrauben, polynome, tableaux, Bayreuth. Math. Schr., 38, 1-97, (1991) · Zbl 0755.05095 |

[15] | Lascoux, Alain; Schützenberger, Marcel-Paul, Polynômes de Schubert, C. R. Acad. Sci. Paris Sér. I Math., 294, 13, 447-450, (1982) · Zbl 0495.14031 |

[16] | Lascoux, Alain; Schützenberger, Marcel-Paul, Schubert polynomials and the Littlewood-Richardson rule, Lett. Math. Phys., 10, 2-3, 111-124, (1985) · Zbl 0586.20007 |

[17] | Lascoux, Alain; Schützenberger, Marcel-Paul, Invariant theory and tableaux (Minneapolis, MN, 1988), 19, Keys & standard bases, 125-144, (1990), Springer, New York · Zbl 0815.20013 |

[18] | Lenart, Cristian, A unified approach to combinatorial formulas for Schubert polynomials, J. Algebraic Combin., 20, 3, 263-299, (2004) · Zbl 1056.05146 |

[19] | Littelmann, Peter, Crystal graphs and Young tableaux, J. Algebra, 175, 1, 65-87, (1995) · Zbl 0831.17004 |

[20] | Macdonald, I. G., Notes on Schubert polynomials, (1991), LACIM, Univ. Quebec a Montreal, Montreal, PQ · Zbl 0784.05061 |

[21] | Macdonald, I. G., Surveys in combinatorics, 1991 (Guildford, 1991), 166, Schubert polynomials, 73-99, (1991), Cambridge Univ. Press, Cambridge · Zbl 0784.05061 |

[22] | Mason, Sarah, An explicit construction of type A Demazure atoms, J. Algebraic Combin., 29, 3, 295-313, (2009) · Zbl 1210.05175 |

[23] | Monical, Cara, Set-valued skyline fillings, Sém. Lothar. Combin., 78B, (2017) · Zbl 1384.05160 |

[24] | Morse, Jennifer; Schilling, Anne, Crystal approach to affine Schubert calculus, Int. Math. Res. Not., 8, 2239-2294, (2016) · Zbl 1404.14057 |

[25] | Reiner, Victor; Shimozono, Mark, Key polynomials and a flagged Littlewood-Richardson rule, J. Combin. Theory Ser. A, 70, 1, 107-143, (1995) · Zbl 0819.05058 |

[26] | Reiner, Victor; Shimozono, Mark, Plactification, J. Algebraic Combin., 4, 4, 331-351, (1995) · Zbl 0922.05049 |

[27] | Stanley, Richard P., On the number of reduced decompositions of elements of Coxeter groups, European J. Combin., 5, 4, 359-372, (1984) · Zbl 0587.20002 |

[28] | Stembridge, John R., A local characterization of simply-laced crystals, Trans. Amer. Math. Soc., 355, 12, 4807-4823, (2003) · Zbl 1047.17007 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.