arXiv++ Combinatorics

We prove a criterion of when the dual character $χ_{D}(x)$ of the flagged Weyl module associated to a diagram $D$ in the grid $[n]\times [n]$ is zero-one, that is, the coefficients of monomials in $χ_{D}(x)$ are either 0 or 1. This settles a conjecture proposed by M{é}sz{á}ros--St. Dizier--Tanjaya. Since Schubert polynomials and key polynomials occur as special cases of dual flagged Weyl characters, our approach provides a new and unified proof of known criteria for zero-one Schubert/key polynomials due to Fink--M{é}sz{á}ros--St. Dizier and Hodges--Yong, respectively.

For a subset $D$ of boxes in an $n\times n$ square grid, let $χ_{D}(x)$ denote the dual character of the flagged Weyl module associated to $D$. It is known that $χ_{D}(x)$ specifies to a Schubert polynomial (resp., a key polynomial) in the case when $D$ is the Rothe diagram of a permutation (resp., the skyline diagram of a composition). One can naturally define a lower and an upper bound of $χ_{D}(x)$. M{é}sz{á}ros, St. Dizier and Tanjaya conjectured that $χ_{D}(x)$ attains the upper bound if and only if $D$ avoids a certain subdiagram. We provide a proof of this conjecture.

We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.