arXiv++ Combinatorics

For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.

For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by vertices and by inequalities, and we use these results to prove that Demazure characters are saturated, in the case that $G$ is simple of classical Lie type. Specializing to $G=GL_n$, we recover results of Fink, Mészáros, and St. Dizier, and separately Fan and Guo, on key polynomials, originally conjectured by Monical, Tokcan, and Yong.

Let $\overline{\mathtt{X}}_λ$ be the closure of the $\mathtt{I}$-orbit $\mathtt{X}_λ$ in the affine Grassmanian $\mathtt{Gr}$ of a simple algebraic group $G$ of adjoint type, where $\mathtt{I}$ is the Iwahori group and $λ$ is a coweight of $G$. We find a simple algorithm which describes the set $Ψ(λ)$ of all $\mathtt{I}$-orbits in $\overline{\mathtt{X}}_λ$ in terms of coweights. We introduce $R$-operators (associated to positive roots) on the coweight lattice of $G$, which exactly describe the closure relation of $\mathtt{I}$-orbits. These operators satisfy Braid relations generically on the coweight lattice. We also establish a duality between the set $Ψ(λ)$ and the weight system of the level one affine Demazure module $\hat{\mathscr{D}}_λ$ of $^L\tilde{\mathfrak{g}}$ indexed by $λ$, where $^L\tilde{\mathfrak{g}}$ is the affine Kac-Moody algebra dual to the affine Kac-Moody Lie algebra $\tilde{\mathfrak{g}}$ associated to the Lie algebra $\mathfrak{g}$ of $G$.