arXiv++ Combinatorics

We introduce a new generalisation of partitions, multi-grounded partitions, related to ground state paths indexed by dominant weights of Lie algebras. We use these to express characters of irreducible highest weight modules of Kac-Moody algebras of affine type as generating functions for multi-grounded partitions. This generalises the approach of our previous paper, where only irreducible highest weight modules with constant ground state paths were considered, to all ground state paths. As an application, we compute the characters of the level $1$ modules of the affine Lie algebras $A_{2n}^{(2)}(n\geq 2)$, $D_{n+1}^{(2)}(n\geq 2)$, $A_{2n-1}^{(1)}(n\geq 3)$, $B_{n}^{(1)}(n\geq 3)$, and $D_{n}^{(1)}(n\geq 4)$.

In this paper, we calculate the dimension of root spaces $\mathfrak{g}_λ$ of a special type rank $3$ Kac-Moody algebras $\mathfrak{g}$. We first introduce a special type of elements in $\mathfrak{g}$, which we call elements in standard form. Then, we prove that any root space is spanned by these elements. By calculating the number of linearly independent elements in standard form, we obtain a formula for the dimension of root spaces $\mathfrak{g}_λ$, which depends on the root $λ$.

The $Γ$-colored $d$-complete and $Γ$-colored minuscule posets unify and generalize multiple classes of colored posets introduced by R.A. Proctor, J.R. Stembridge, and R.M. Green. In previous work, we showed that $Γ$-colored minuscule posets are necessary and sufficient to build from colored posets certain representations of Kac--Moody algebras that generalize minuscule representations of semisimple Lie algebras. In this paper we classify $Γ$-colored minuscule posets, which also classifies the corresponding representations. We show that $Γ$-colored minuscule posets are precisely disjoint unions of colored minuscule posets of Proctor and connected full heaps of Green. Connected finite $Γ$-colored minuscule posets can be realized as certain posets of coroots in the corresponding finite Lie type.

In Lie theory the partial sum property (PSP) says that for a root system in any Kac-Moody algebra, every positive root is an ordered sum of simple roots whose partial sums are all roots. In this paper, we present two generalizations: 1) "Parabolic generalization": if $I$ is a subset of simple roots, every root with positive $I$-height is an ordered sum of roots of $I$-height 1, whose partial sums are all roots. In fact we show this on the Lie algebra level, by showing that every root space is spanned by the Lie words formed from root vectors of $I$-height 1. As an application, we provide a "minimal" description for the set of weights of every (non-integrable) simple highest weight module over any Kac-Moody algebra. This seems to be novel even in finite type. 2) Generalization to weights of weight modules: the PSP gives a chain of roots between 0 (fixed) and any positive root. We generalize this to the weights of weight modules to get a chain of weights between any two comparable weights. This was shown by S. Kumar for any finite-dimensional simple module over a semisimple Lie algebra. In this paper, we extend this result to (i) a large class of highest weight modules over any Kac-Moody algebra $\mathfrak{g}$, which includes all simple highest weight modules over $\mathfrak{g}$; (ii) more generally, for non-highest weight modules such as $\mathfrak{g}$ itself (adjoint representation) and arbitrary submodules of parabolic Verma modules over $\mathfrak{g}$; (iii) arbitrary integrable modules over semisimple $\mathfrak{g}$. Additionally, we also prove the "parabolic" generalizations of this second generalization to the best possible extent. We also find all the highest weight modules which have their sets of weights same as those of parabolic Verma modules and provide a Minkowski difference formula for weights of arbitrary highest weight modules over Kac-Moody $\mathfrak{g}$.

We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we prove an explicit formula for the discriminant of the integral form over ${\mathbb{Z}}[\varepsilon]$ of each quantum unipotent cells of De Concini, Kac and Procesi for arbitrary symmetrizable Kac-Moody algebras, where $\varepsilon$ is a root of unity.

In this paper, we study a special class of indefinite Kac-Moody algebras. Based on the study of hyperbolic Kac-Moody algebras, we give the definition of $N_k$ type Kac-Moody algebras and study some properties of this special type Kac-Moody algebras.

We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over ${\mathbb{Z}}[q^{\pm 1/2}]$. Previously, this was only known for acyclic quantum cluster algebras. The theorem is applied to prove that for every symmetrizable Kac-Moody algebra ${\mathfrak{g}}$ and Weyl group element $w$, the dual canonical form $A_q({\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]}$ of the corresponding quantum unipotent cell has the property that $A_q( {\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]} \otimes_{\mathbb{Z}[q^{ \pm 1}]} {\mathbb{Z}}[ q^{\pm 1/2}]$ is isomorphic to a quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$ and to the corresponding upper quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$.

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a necessary and sufficient condition for the crystal graph of the Lakshmibai-Seshadri path crystal $\mathbb{B}(λ)$ to be connected for an arbitrary integral weight $λ$.

Root multiplicities encode information about the structure of Kac-Moody algebras, and appear in applications as far-reaching as string theory and the theory of modular functions. We provide an algorithm based on the Peterson recurrence formula to compute multiplicities, and argue that it is more efficient than the naive algorithm.

The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux and Sch{ü}tzenberger. We show that this procedure is a part of a more general construction holding in the Kac-Moody case that we illustrate in finite types and affine type A. In affine type A, we introduce higher level generalizations of core partitions which notably give interesting analogues of the Young lattice and are expected to parametrize distinguished elements of certain remarkable blocks for Ariki-Koike algebras.

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 $\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$.

We construct a uniform model for highest weight crystals and $B(\infty)$ for generalized Kac--Moody algebras using rigged configurations. We also show an explicit description of the $\ast$-involution on rigged configurations for $B(\infty)$: that the $\ast$-involution interchanges the rigging and the corigging. We do this by giving a recognition theorem for $B(\infty)$ using the $\ast$-involution. As a consequence, we also characterize $B(λ)$ as a subcrystal of $B(\infty)$ using the $\ast$-involution.

R.M. Green described structural properties that ``doubly infinite'' colored posets should possess so that they can be used to construct representations of most affine Kac--Moody algebras. These representations are analogs of the minuscule representations of the semisimple Lie algebras, and his posets (``full heaps'') are analogs of the finite minuscule posets. Here only simply laced Kac--Moody algebras are considered. Working with their derived subalgebras, we provide a converse to Green's theorem. Smaller collections of colored structural properties are also shown to be necessary and sufficient for such poset-built representations to be produced for smaller subalgebras, especially the ``Borel derived'' subalgebra. These developments lead to the formulation of unified definitions of finite and infinite colored minuscule and $d$-complete posets. This paper launches a program that seeks to extend the notion of ``minuscule representation'' to Kac--Moody algebras, and to classify such representations.

The category of Cohen-Macaulay modules of an algebra $B_{k,n}$ is used [JKS16] to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander--Reiten sequences and study the Auslander--Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen-Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the associated Kac-Moody algebra in the tame cases.

Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.

Peterson and Proctor obtained a formula which expresses the multivariate generating function for $P$-partitions on a $d$-complete poset $P$ as a product in terms of hooks in $P$. In this paper, we give a skew generalization of Peterson--Proctor's hook formula, i.e., a formula for the generating function for $(P \setminus F)$-partitions for a $d$-complete poset $P$ and its order filter $F$, by using the notion of excited diagrams. Our proof uses the Billey-type formula and the Chevalley-type formula in the equivariant $K$-theory of Kac--Moody partial flag varieties. This generalization provides an alternate proof of Peterson--Proctor's hook formula.

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 completely classify and give explicit descriptions of the maximal closed subroot systems of real affine root systems. As an application we describe a procedure to get the classification of all regular subalgebras of affine Kac Moody algebras in terms of their root systems.

In this paper, we describe a general setting for dimer models on cylinders over Dynkin diagrams which in type A reduces to the well studied case of dimer models on a disc. We prove that all Berenstein--Fomin--Zelevinsky quivers for Schubert cells in a symmetric Kac--Moody algebra give rise to dimer models on the cylinder over the corresponding Dynkin diagram. We also give an independent proof of a result of Buan, Iyama, Reiten and Smith that the corresponding superpotentials are rigid using the dimer model structure of the quivers.