We study finite-dimensional representations of quantum affine algebras using q-characters. We prove the conjectures from math.QA/9810055 and derive some of their corollaries. In particular, we prove that the tensor product of fundamental representations is reducible if and only if at least one of the corresponding normalized R-matrices has a pole.
In this paper, we give a realization of crystal bases for quantum affine algebras using some new combinatorial objects which we call the Young walls. The Young walls consist of colored blocks with various shapes that are built on the given ground-state wall and can be viewed as generalizations of Young diagrams. The rules for building Young walls and the action of Kashiwara operators are given explicitly in terms of combinatorics of Young walls. The crystal graphs for basic representations are characterized as the set of all reduced proper Young walls. The characters of basic representations c…
We review and motivate recently-observed relationships between exactly solvable lattice models and modular representations of Hecke algebras. Firstly, we describe how the set of $n$-regular partitions label both of the following classes of objects: 1. The spectrum of unrestricted solid-on-solid lattice models based on level-1 representations of the affine algebras $\sl_n$, 2. The irreducible representations of type-A Hecke algebras at roots of unity: $H_m(\sqrt[n]{1})$. Secondly, we show that a certain subset of the $n$-regular partitions label both of the following classes of objects: 1. The …
We construct a subcrystal of the Littelmann's path crystal whose formal character coincides with that of a certain simple integrable module of level zero over the untwisted affine Lie algebra associated to sl_n. We also establish an analogue of the Littlewood-Richardson rule for the tensor product of that crystal with a highest weight crystal.
We construct the Fock space representations of classical quantum affine algebras using combinatorics of Young walls. We also show that the crystal graphs of the Fock space representations can be realized as the abstract crystal consisting of proper Young walls. Finally, we give a generalized version of Lascoux-Leclerc-Thibon algorithm for computing the global bases of the basic representations of classical quantum affine algebras.
Using combinatorics of Young walls, we give a new realization of arbitrary level irreducible highest weight crystals $\mathcal{B}(λ)$ for quantum affine algebras of type $A_n^{(1)}$, $B_n^{(1)}$, $C_n^{(1)}$, $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, and $D_{n+1}^{(2)}$. The irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls. The notion of slices and splitting of blocks plays a crucial role in the constructions of crystal graphs.
We explore combinatorics associated with the degenerate Hecke algebra at $q=0$, obtaining a formula for a system of orthogonal idempotents, and also exploring various pattern avoidance results. Generalizing constructions for the 0-Hecke algebra, we explore the representation theory of $\JJ$-trivial monoids. We then discuss two-tensors of crystal bases for $U_q(\tilde{\mathfrak{sl}_2})$, establishing a complementary result to one of Bandlow, Schilling, and Thiéry on affine crystals arising from promotion operators. Finally, we give a computer implementation of Stembridge's local axioms for simp…
We first describe how the Kashiwara involution on crystals of affine type $A$ is encoded by the combinatorics of aperiodic multisegments. This yields a simple relation between this involution and the Zelevinsky involution on the set of simple modules for the affine Hecke algebras. We then give efficient procedures for computing these involutions. Remarkably, these procedures do not use the underlying crystal structure. They also permit to match explicitly the Ginzburg and Ariki parametrizations of the simple modules associated to affine and cyclotomic Hecke algebras, respectively .
J. Lepowsky and R. L. Wilson initiated the approach to combinatorial Rogers-Ramanujan type identities via the vertex operator constructions of representations of affine Lie algebras. In a joint work with Arne Meurman this approach is developed further in the framework of vertex operator algebras. The main ingredients of that construction are defining relations for standard modules and relations among them. The arguments involve both representation theory and combinatorics, the final results hold only for affine Lie algebras $A_1^{(1)}$ and $A_2^{(1)}$. In the present paper some of those argume…
We give a realization of crystal graphs for basic representations of the quantum affine algebra U_q(C_n^{(1)}) using combinatorics of Young walls. The notion of splitting blocks plays a crucial role in the construction of crystal graphs.
Let $\mathfrak g$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$ and ${\mathfrak g}^L$ be its Langlands dual. It is conjectured by Kashiwara et al.([16]) that for each $k \in I \setminus \{0\}$ the affine Lie algebra $\mathfrak g$ has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for ${\mathfrak g}^L$. Motivated by this conjecture we construct a positive geometric crystal for the affine Lie algebra ${\mathfrak g}= A^{(1)}_n$ for each Dynkin index $k\in I\setminus\{0\}$ and show that its u…
We provide further boson-fermion q-polynomial identities for the `finitised' Virasoro characters χ^{p, p'}_{r,s} of the Forrester-Baxter minimal models M(p, p'), for certain values of r and s. The construction is based on a detailed analysis of the combinatorics of the set P^{p, p'}_{a, b, c}(L) of q-weighted, length-L Forrester-Baxter paths, whose generating function χ^{p, p'}_{a, b, c}(L) provides a finitisation of χ^{p, p'}_{r,s}. In this paper, we restrict our attention to the case where the startpoint a and endpoint b of each path both belong to the set of Takahashi lengths. In the limit …
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 w…
The Rogers-Ramanujan identities have been studied from the viewpoints of combinatorics, number theory, affine Lie algebras, statistical mechanics, and quantum field theory. This note connects the Rogers-Ramanujan identities with the finite general linear groups and the Hall-Littlewood polynomials of symmetric function theory.
We consider sets of screening operators with fermionic screening currents. We study sums of vertex operators which formally commute with the screening operators assuming that each vertex operator has rational contractions with all screening currents with only simple poles. We develop and use the method of $qq$-characters which are combinatorial objects described in terms of deformed Cartan matrix. We show that each qq-character gives rise to a sum of vertex operators commuting with screening operators and describe ways to understand the sum in the case it is infinite. We discuss combinatorics …
We consider two types of quotients of the integrable modules of $\hat{sl}_2$. These spaces of coinvariants have dimensions described in terms of the Verlinde algebra of level-$k$. We describe monomial bases for the spaces of coinvariants, which leads to a fermionic description of these spaces. For $k=1$, we give the explicit formulas for the characters. We also present recursion relations satisfied by the characters and the monomial bases.
We study using combinatorial methods the structural coefficients of the formal homogeneous universal enveloping algebra Uh(sl2) of the special linear algebra sl2 over a field of characteristic zero. We provide explicit formulae for the product of generic elements in Uh(sl2), and construct combinatorial objects giving flesh to these formulae.
We give the fermionic character formulas for the spaces of coinvariants obtained from level $k$ integrable representations of $\hat{\mathfrak sl}_2$. We establish the functional realization of the spaces dual to the coinvariant spaces. We parameterize functions in the dual spaces by rigged partitions, and prove the recursion relations for the sets of rigged partitions.
For a complex finite-dimensional simple Lie algebra $\mathfrak{g}$, we introduce the notion of Q-datum, which generalizes the notion of a Dynkin quiver with a height function from the viewpoint of Weyl group combinatorics. Using this notion, we develop a unified theory describing the twisted Auslander-Reiten quivers and the twisted adapted classes introduced in [O.-Suh, J. Algebra, 2019] with an appropriate notion of the generalized Coxeter elements. As a consequence, we obtain a combinatorial formula expressing the inverse of the quantum Cartan matrix of $\mathfrak{g}$, which generalizes the …