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.

We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup.

The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert basis then the partitions are at most r wide. We also classify the extremal rays of the associated polyhedral cone; these rays correspond to a (strict) subset of the Hilbert basis. In an appendix, the second and third authors show that a natural extension of our main result on the Kostka semigroup cannot be extended to the Littlewood-Richardson semigroup. This furthermore gives a counterexample to a recent speculation of P. Belkale concerning the semigroup controlling nonvanishing conformal blocks.