arXiv++ Combinatorics

We define a set of PBW-semistandard tableaux that is in a weight preserving bijection with the set of monomials corresponding to integral points in the Feigin-Fourier-Littelmann-Vinberg polytope for highest weight modules of the symplectic Lie algebra. We then show that these tableaux parametrize bases of the homogeneous coordinate rings of the complete symplectic original and PBW degenerate flag varieties. From this construction, we provide explicit degenerate relations that generate the defining ideal of the PBW degenerate variety. These relations consist of type A degenerate Plücker relations and a set of degenerate linear relations that we obtain from De Concini's linear relations.

In this paper, we present a uniform formula of Lusztig's $ \mathbf{a}$-functions on classical Weyl groups. Then we obtain an efficient algorithm for the Gelfand-Kirillov dimensions of simple highest weight modules of classical Lie algebras, whose highest weight is not necessarily regular or integral. To deal with type $ D $, we prove an interesting property about domino tableaux by introducing an invariant, called the hollow tableau. As an application, the associated varieties of all the simple highest weight Harish-Chandra modules are explicitly determined, including the exceptional cases.

The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody Lie algebra. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. If the pair ($ι$,$λ$) ($λ$: a dominant integral weight) satisfies the `ample' condition then there are some procedure to calculate the sets of linear inequalities. In this article, we show that if $ι$ is an adapted sequence (defined in our paper [Y.Kanakubo, T.Nakashima, arXiv:1904.10919]) then the pair ($ι$, $λ$) satisfies the ample condition for any dominant integral weight $λ$ in the case $\mathfrak{g}$ is a classical Lie algebra. Furthermore, we reveal the explicit forms of the polyhedral realizations of the crystal bases $B(λ)$ associated with arbitrary adapted sequences $ι$ in terms of column tableaux. As an application, we will give a combinatorial description of the function $\varepsilon_i^*$ on the crystal base $B(\infty)$.

We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in finding examples of reducible associated varieties of $\mathfrak{sl}_n$-highest weight modules, as well as in the study of $W$-graphs for symmetric groups, and in comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. For example, we are able to systematically produce many negative answers to a question from the 1980s of Borho-Brylinski and Joseph, which had been settled by Williamson via computer calculations only in 2014.

We give a crystal-theoretic proof that nonsymmetric Macdonald polynomials specialized to $t=0$ are affine Demazure characters. We explicitly construct an affine Demazure crystal on semistandard key tabloids such that removing the affine edges recovers the finite Demazure crystals constructed earlier by the authors. We also realize the filtration on highest weight modules by Demazure modules by defining explicit embedding operators which, at the level of characters, parallels the recursion operators of Knop and Sahi for specialized nonsymmetric Macdonald polynomials. Thus we prove combinatorially in type A that every affine Demazure module admits a finite Demazure flag.

In the first paper of this series, we gave infinite families of coloured partition identities which generalise Primc's and Capparelli's classical identities. In this second paper, we study the representation theoretic consequences of our combinatorial results. First, we show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity, which have a very simple expression, are actually the energy function with values in $\{0,1,2\}$ for the perfect crystal of the tensor product of the vector representation and its dual in $A_{n-1}^{(1)}$. Then we introduce a new type of partitions, grounded partitions, which allows us to retrieve connections between character formulas and partition generating functions without having to perform a specialisation. Finally, using the formulas for the generating functions of our generalised partitions, we recover the Kac-Peterson character formula for the characters of all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$, and give a new character formula as a sum of infinite products with obviously positive coefficients in the generators $e^{- α_i} \ (i \in \{0, \dots , n-1\}),$ where the $α_i$'s are the simple roots.

In these two companion papers, we give infinite families of partition identities which generalise Primc's and Capparelli's identities, and study their consequences on the theory of crystal bases of the affine Lie algebra $A_{n-1}^{(1)}.$ In this first paper, we focus on combinatorial aspects. We give a $n^2$-coloured generalisation of Primc's identity by constructing a $n^2 \times n^2$ matrix of difference conditions, Primc's original identities corresponding to $n=2$ and $n=3$. While most coloured partition identities in the literature connect partitions with difference conditions to partitions with congruence conditions, in our case, the natural way to generalise these identities is to relate partitions with difference conditions to coloured Frobenius partitions. This gives a very simple expression for the generating function. With a particular specialisation of the colour variables, our generalisation also yields a partition identity with congruence conditions. Then, using a bijection from our new generalisation of Primc's identity, we deduce a multi-parameter family of identities on $(n^2-1)$-coloured partitions which generalise Capparelli's identity, also in terms of coloured Frobenius partitions. The particular case $n=2$ is Capparelli's identity and the case $n=3$ recovers an identity of Meurman and Primc. In the second paper, we will focus on crystal theoretic aspects. We will show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity are actually energy functions for certain $A_{n-1}^{(1)}$ crystals. We will then use this result to retrieve the Kac-Peterson character formula and derive a new character formula as a sum of infinite products for all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$.

We construct a (bi)cyclic sieving phenomenon on the union of dominant maximal weights for level $\ell$ highest weight modules over an affine Kac-Moody algebra with exactly one highest weight being taken for each equivalence class, in a way not depending on types, ranks and levels. In order to do that, we introduce $\textbf{\textit{S}}$-evaluation on the set of dominant maximal weights for each highest modules, and generalize Sagan's action by considering the datum on each affine Kac-Moody algebra. As consequences, we obtain closed and recursive formulae for cardinality of the number of dominant maximal weights for every highest weight module and observe level-rank duality on the cardinalities.

Let $X_r$ be a finite type Dynkin diagram, and $\ell$ be a positive integer greater than or equal to two. The $Y$-system of type $X_r$ with level $\ell$ is a system of algebraic relations, whose solutions have been proved to have periodicity. For any pair $(X_r, \ell)$, we define an integer sequence called exponents using formulation of the $Y$-system by cluster algebras. We give a conjectural formula expressing the exponents by the root system of type $X_r$, and prove this conjecture for $(A_1,\ell)$ and $(A_r, 2)$ cases. We point out that a specialization of this conjecture gives a relationship between the exponents and the asymptotic dimension of an integrable highest weight module of an affine Lie algebra. We also give a point of view from $q$-series identities for this relationship.

We provide the first formulae for the weights of all simple highest weight modules over Kac-Moody algebras. For generic highest weights, we present a formula for the weights of simple modules similar to the Weyl-Kac character formula. For the remaining highest weights, the formula fails in a striking way, suggesting the existence of 'multiplicity-free' Macdonald identities for affine root systems.

We present an algorithm which computes the annihilator in ${\rm U}(\frak{sl}(\infty))$ of any simple highest weight $\frak{sl}(\infty)$-module $L_\frak b(λ)$. This algorithm is based on an infinite version of the Robinson-Schensted algorithm.

Let $ (G,K) $ be an irreducible Hermitian symmetric pair of non-compact type with $G=SU(p,q)$, and let $ λ$ be an integral weight such that the simple highest weight module $ L(λ) $ is a Harish-Chandra $ (\mathfrak{g},K) $-module. We give a combinatoric algorithm for the Gelfand-Kirillov dimension of $ L(λ) $. This enables us to prove that the Gelfand-Kirillov dimension of $ L(λ) $ decreases as the integer $ \langleλ+ρ,β^\vee\rangle $ increases, where $ρ$ is the half sum of positive roots and $β$ is the maximal noncompact root. As a byproduct, we obtain a description on the associated variety of $ L(λ) $.

The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.

Let $V$ be a highest weight module over a Kac-Moody algebra $\mathfrak{g}$, and let conv $V$ denote the convex hull of its weights. We determine the combinatorial isomorphism type of conv $V$, i.e. we completely classify the faces and their inclusions. In the special case where $\mathfrak{g}$ is semisimple, this brings closure to a question studied by Cellini-Marietti [IMRN 2015] for the adjoint representation, and by Khare [J. Algebra 2016; Trans. Amer. Math. Soc. 2017] for most modules. The determination of faces of finite-dimensional modules up to the Weyl group action and some of their inclusions also appears in previous work of Satake [Ann. of Math. 1960], Borel-Tits [IHES Publ. Math. 1965], Vinberg [Izv. Akad. Nauk 1990], and Casselman [Austral. Math. Soc. 1997]. For any subset of the simple roots, we introduce a remarkable convex cone which we call the universal Weyl polyhedron, which controls the convex hulls of all modules parabolically induced from the corresponding Levi factor. Namely, the combinatorial isomorphism type of the cone stores the classification of faces for all such highest weight modules, as well as how faces degenerate as the highest weight gets increasingly singular. To our knowledge, this cone is new in finite and infinite type. We further answer a question of Michel Brion, by showing that the localization of conv $V$ along a face is always the convex hull of the weights of a parabolically induced module. Finally, as we determine the inclusion relations between faces representation-theoretically from the set of weights, without recourse to convexity, we answer a similar question for highest weight modules over symmetrizable quantum groups.

We study a family of finite--dimensional representations of the hyperspecial parabolic subalgebra of the twisted affine Lie algebra of type $\tt A_2^{(2)}$. We prove that these modules admit a decreasing filtration whose sections are isomorphic to stable Demazure modules in an integrable highest weight module of sufficiently large level. In particular, we show that any stable level $m'$ Demazure module admits a filtration by level $m$ Demazure modules for all $m\ge m'$. We define the graded and weighted generating functions which encode the multiplicity of a given Demazure module and establish a recursive formulae. In the case when $m'=1,2$ and $m=2,3$ we determine these generating functions completely and show that they define hypergeoemetric series and that they are related to the $q$--Fibonacci polynomials defined by Carlitz.

The Kashiwara $B(\infty)$ crystal pertains to a Verma module for a Kac- Moody Lie algebra. Ostensibly it provides only a parametrisation of the global/canonical basis for the latter. Yet it is much more having a rich combinatorial structure from which one may read of a parametrisation of the corresponding basis for any integrable highest weight module, describe the decomposition of the tensor products of highest weight modules, the Demazure submodules of integrable highest weight modules and Demazure flags for translates of Demazure modules. $B(\infty)$ has in general infinitely many presentations as subsets of countably many copies of the natural numbers each given by successive reduced decompositions of Weyl group elements. In each presentation there is an action of Kashiwara operators determined by Kashiwara functions. These functions are linear in the entries. Thus a natural question is to show that in each presentation the subset $B(\infty)$ is polyhedral. Here a new approach to this question is initiated based on constructing dual Kashiwara functions and in this it is enough to show that the latter are also linear in the entries. The present work resolves one of the two very difficult obstacles in a step-wise construction, namely that the resulting functions must satisfy a sum, or simply S, condition. It depends very subtly on inequalities between the coefficients occurring in functions obtained from the previous step. The only remaining obstacle, that sufficiently many functions are obtained, can at least be verified in many families of cases, though this is to be postponed to a subsequent paper. This theory has some intriguing numerology which involves the Catalan numbers in two different ways.

We consider $U_{q}(\mathfrak{gl}_{n})$, the quantum group of type $A$ for $|q| = 1$, $q$ generic. We provide formulas for signature characters of irreducible finite-dimensional highest weight modules and Verma modules. In both cases, the technique involves combinatorics of the Gelfand-Tsetlin bases. As an application, we obtain information about unitarity of finite-dimensional irreducible representations for arbitrary $q$: we classify the continuous spectrum of the unitarity locus. We also recover some known results in the classical limit $q \rightarrow 1$ that were obtained by different means. Finally, we provide several explicit examples of signature characters.

In this paper we study certain fundamental and distinguished subsets of weights of an arbitrary highest weight module over a complex semisimple Lie algebra. These sets ${\rm wt}_J \mathbb{V}^λ$ are defined for each highest weight module $\mathbb{V}^λ$ and each subset $J$ of simple roots; we term them "standard parabolic subsets of weights". It is shown that for any highest weight module, the sets of simple roots whose corresponding standard parabolic subsets of weights are equal form intervals in the poset of subsets of the set of simple roots under containment. Moreover, we provide closed-form expressions for the maximum and minimum elements of the aforementioned intervals for all highest weight modules $\mathbb{V}^λ$ over semisimple Lie algebras $\mathfrak{g}$. Surprisingly, these formulas only require the Dynkin diagram of $\mathfrak{g}$ and the integrability data of $\mathbb{V}^λ$. As a consequence, we extend classical work by Satake, Borel-Tits, Vinberg, and Casselman, as well as recent variants by Cellini-Marietti to all highest weight modules. We further compute the dimension, stabilizer, and vertex set of standard parabolic faces of highest weight modules, and show that they are completely determined by the aforementioned closed-form expressions. We also compute the $f$-polynomial and a minimal half-space representation of the convex hull of the set of weights. These results were recently shown for the adjoint representation of a simple Lie algebra, but analogues remain unknown for any other finite- or infinite-dimensional highest weight module. Our analysis is uniform and type-free, across all semisimple Lie algebras and for arbitrary highest weight modules.

In 1994, Kac and Wakimoto suggested a generalization of Bernstein and Leites character formula for basic Lie superalgebras, and the natural question was raised: to which simple highest weight modules does it apply? In this paper, we prove a similar formula for a large class of finite-dimensional simple modules over the Lie superalgebra gl(m|n), which we call piecewise disconnected modules, or PDC. The class of PDC modules naturally includes totally connected modules and totally disconnected modules, the two families for which similiar character formulas were proven by Su and Zhang as special cases of their general formula. This paper is part of our program for the pursuit of elegant character formulas for Lie superalgebras.

Random paths are time continuous interpolations of random walks. By using Littelmann path model, we associate to each irreducible highest weight module of a Kac Moody algebra g a random path W. Under suitable hypotheses, we make explicit the probability of the event E: W never exits the Weyl chamber of g. We then give the law of the random walk defined by W conditioned by the event E and proves this law can be recovered by applying to W the generalized Pitmann transform introduced by Biane, Bougerol and O'Connell. This generalizes the main results of [10] and [16] to Kac Moody root systems and arbitrary highest weight modules. Moreover, we use here a completely new approach by exploiting the symmetry of our construction under the action of the Weyl group of g rather than renewal theory and Doob's theorem on Martin kernels.