arXiv++ Combinatorics

In this note, we study the Hilbert-Poincaré polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these degrees explicitly.

New graded modules for the current algebra of $\mathfrak{sl}_n$ are introduced. Relating these modules to the fusion product of simple $\mathfrak{sl}_n$-modules and local Weyl modules of truncated current algebras shows their expected impact on several outstanding conjectures. We further generalize results on PBW filtrations of simple $\mathfrak{sl}_n$-modules and use them to provide decomposition formulas for these new modules in important cases.

We extend the preorder on k-tuples of dominant weights of a simple complex Lie algebra g of classical type adding up to a fixed weight $λ$ defined by V. Chari, D. Sagaki and the author. We show that the induced extended partial order on the equivalence classes has a unique minimal and a unique maximal element. For k=2 we compute its size and determine the cover relation. To each k-tuple we associate a tensor product of simple g-modules and we show that for k=2 the dimension increases also along with the extended partial order, generalizing a theorem proved in the aforementioned paper. We also show that the tensor product associated to the maximal element has the biggest dimension among all tuples for arbitrary k, indicating that this might be a symplectic (resp. orthogonal) analogon of the row shuffle defined by Fomin et al. The extension of the partial order reduces the number of elements in the cover relation and may facilitate the proof of an analogon of Schur positivity along the partial order for symplectic and orthogonal types.

Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset. Given an element of $P(λ, k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order. We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.

We study the PBW filtration on the highest weight representations $V(\la)$ of $\msp_{2n}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial formula for the character of $V(\la)$ and obtain a new class of bases of the modules $V(\la)$.

We study the PBW filtration on the highest weight representations $V(\la)$ of $\msl_{n+1}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial character formula for $V(\la)$, and we obtain a new class of bases of the modules $V(\la)$ conjectured by Vinberg in 2005.

For nonexceptional types, we prove a conjecture of Hatayama et al. about the prefectness of Kirillov-Reshetikhin crystals.

We provide combinatorial models for all Kirillov--Reshetikhin crystals of nonexceptional type, which were recently shown to exist. For types D_n^(1), B_n^(1), A_{2n-1}^(2) we rely on a previous construction using the Dynkin diagram automorphism which interchanges nodes 0 and 1. For type C_n^(1) we use a Dynkin diagram folding and for types A_{2n}^(2), D_{n+1}^(2) a similarity construction. We also show that for types C_n^(1) and D_{n+1}^(2) the analog of the Dynkin diagram automorphism exists on the level of crystals.