Zero-one Schubert polynomials

From MaRDI portal



Abstract: We prove that if sigmainSm is a pattern of winSn, then we can express the Schubert polynomial mathfrakSw as a monomial times mathfrakSsigma (in reindexed variables) plus a polynomial with nonnegative coefficients. This implies that the set of permutations whose Schubert polynomials have all their coefficients equal to either 0 or 1 is closed under pattern containment. Using Magyar's orthodontia, we characterize this class by a list of twelve avoided patterns. We also give other equivalent conditions on mathfrakSw being zero-one. In this case, the Schubert polynomial mathfrakSw is equal to the integer point transform of a generalized permutahedron.


Schubert polynomials \(\mathfrak{S}_w\) represent cohomology classes of Schubert cycles in the full flag variety. Their coefficients are nonnegative integers. There exists a number of combinatorial formulas for computing these coefficients. This paper is devoted to the following question: when are all the coefficients of a Schubert polynomial equal to \(0\) or \(1\)? Such polynomials are called zero-one Schubert polynomials. To answer this question, the authors first make the following observation: if a permutation \(\sigma\in S_m\) is a pattern of \(w\in S_n\), then the Schubert polynomial \(\mathfrak{S}_w\) equals a monomial times \(\mathfrak{S}_\sigma\) plus a polynomial with nonnegative coefficients. Hence the set of 0-1 Schubert polynomials is closed under pattern containment. Using Magyar's orthodontia, an inductive algorithm for computing \(\mathfrak{S}_w\) in terms of the Rothe diagram of \(w\), they describe the set of twelve avoided patterns, and also formulate equivalent confitions for a Schubert polynomial to be 0-1 in terms of Rothe diagrams and orthodontic sequences of permutations. According to the recent result of the same authors about the supports of Schubert polynomials (see [\textit{A. Fink} et al., Adv. Math. 332, 465--475 (2018; Zbl 1443.05179)]), this implies that each 0-1 Schubert polynomial is equal to the integer transform of a generalized permutahedron.











This page was built for publication: Zero-one Schubert polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663066)