Pieri formulas, higher level Demazure crystals, and numerical multiplicities of excellent filtrations

Abstract

The classical Pieri formula gives a multiplicity-free expansion of the tensor product of an irreducible module with a fundamental one for the complex general linear group. In this article, we replace the tensor product by the fusion product and prove an analogous Pieri formula for higher level Demazure modules for the affine Lie algebra ${\widehat{\mathfrak{sl}}}_{n+1}$. To be more precise, we show that the fusion product of an arbitrary stable Demazure module with a fundamental module admits a multiplicity-free excellent filtration and the successive quotients are described explicitly. We conjecture that similar formulas hold for all non-exceptional types and minuscule nodes. As a consequence, we derive recurrence relations for the generating series encoding the numerical multiplicities in Demazure flags of level one Demazure modules.