Polynomiality of Stretched Schubert Structure Constants and Key Coefficients

Per Alexandersson

Abstract

We prove that monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial. The proof combines Demazure operators with vector partition functions and, in the Schubert case, P.~Magyar's orthodontic formula. These coefficient results extend to finite products. Using M.~Watanabe's Schubert duality, we deduce that stretched Schubert structure constants are eventually polynomial, proving a conjecture of I.~Pak and Z.~Slonim. For key polynomials, this resolves the polynomiality part of a conjecture of P.~Alexandersson and E.~Alhajjar.

Disclosure

“formula in the three partition parameters [Ras04]. Acknowledgments We thank Igor Pak for asking about polynomiality of stretched Schubert coefficients; that question was the starting point for this paper. OpenAI’s Codex was used during the preparation of this paper for proof exploration and editorial assistance. References [AA19] Per Alexandersson and Elie Alhajjar. Ehrhart positivity and Demazure characters.”

PDF page 13
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 14 pdf
Theorems 6 source
Lemmas 3 source
Propositions 3 source
Corollaries 3 source
Definitions 0 source
Displayed equations 55 source
Bibliography entries 21 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file key-schubert-kostka-ALEXANDERSSON-revised.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.