In this paper we construct combinatorial bases of parafermionic spaces associated with the standard modules of the rectangular highest weights for the untwisted affine Lie algebras. Our construction is a modification of G. Georgiev's construction for the affine Lie algebra $\widehat{\mathfrak sl}(n+1,\mathbb C)$---the constructed parafermionic bases are projections of the quasi-particle bases of the principal subspaces, obtained previously in a series of papers by the first two authors. As a consequence we prove the character formula of A. Kuniba, T. Nakanishi and J. Suzuki for all non-simply-laced untwisted affine Lie algebras.
Using the bases of principal subspaces for twisted affine Lie algebras except $A_{2l}^{(2)}$ by Butorac and Sadowski, we construct bases of the highest weight modules of highest weight $kΛ_0$ and parafermionic spases for the same affine Lie algebras. As a result, we obtain their character formulas conjectured in arXiv:math/0102113.
The standard modules for an affine Lie algebra $\ga$ have natural subquotients called parafermionic spaces -- the underlying spaces for the so-called parafermionic conformal field theories associated with $\ga.$ We study the case $\ga = \widehat{sl}(n+1,\C)$ for any positive integral level $k \geq 2.$ Generalizing the $\cal Z$-algebra approach of Lepowsky, Wilson and Primc, we construct a combinatorial basis for the parafermionic spaces in terms of colored partitions. The parts of these partitions represent ''Fourier coefficients'' of generalized vertex operators (parafermionic currents) and c…
Let $\tilde{\mathfrak{g}}$ be the affine Lie algebra of type $A_{2l}^{(2)}$. The integrable highest weight $\tilde{\mathfrak{g}}$-module $L(kΛ_0)$ called the standard $\tilde{\mathfrak{g}}$-module is realized by a tensor product of the twisted module $V_L^T$ for the lattice vertex operator algebra $V_L$. By using such vertex algebraic construction, we construct bases of the standard module, its principal subspace and the parafermionic space. As a consequence, we obtain their character formulas and settle the conjecture for vacuum modules stated in arXiv:math/0102113.
Two bases of states are presented for modules of the graded parafermionic conformal field theory associated to the coset $\osp(1,2)_k/\uh(1)$. The first one is formulated in terms of the two fundamental (i.e., lowest dimensional) parafermionic modes. In that basis, one can identify the completely reducible representations, i.e., those whose modules contain an infinite number of singular vectors; the explicit form of these vectors is also given. The second basis is a quasi-particle basis, determined in terms of a modified version of the $\ZZ_{2k}$ exclusion principle. A novel feature of this mo…
The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking. This work details and tests such a conjecture for $L_{-\frac{3}{2}}(\mathfrak{sl}_3)$ via a logarithmic Kazhdan-Lusztig correspondence. We first investigate the representation theory of $\overline{U}^H_i(\mathfrak{sl}_3)$, the unrolled restricted quantum group of $\mathfrak{sl}_3$ at fourth root of unity. In particular, we analyse its finite-dimensional weigh…
We construct quantized versions of generic bases in quantum cluster algebras of finite and affine types. Under the specialization of $q$ and coefficients to 1, these bases are generic bases of finite and affine cluster algebras.
We compare various bases of the affine quantum group $\mathbfU^ (\hat\mathfrak{sl}_2)$ in the context of the Kronecker quiver, and relate them to the Drinfeld presentation.
Mirkovic-Vilonen (MV) polytopes have proven to be a useful tool in understanding and unifying many constructions of crystals for finite-type Kac-Moody algebras. These polytopes arise naturally in many places, including the affine Grassmannian, pre-projective algebras, PBW bases, and KLR algebras. There has recently been progress in extending this theory to the affine Kac-Moody algebras. A definition of MV polytopes in symmetric affine cases has been proposed using pre-projective algebras. In the rank-2 affine cases, a combinatorial definition has also been proposed. Additionally, the theory of…
Assuming the existence of the perfect crystal bases of Kirillov-Reshetikhin modules over simply-laced quantum affine algebras, we construct certain perfect crystals for twisted quantum affine algebras, and also provide compelling evidence that the constructed crystals are isomorphic to the conjectural crystal bases of Kirillov-Reshetikhin modules over twisted quantum affine algebras.
We investigate the affine canonical basis and the monomial basis constructed in [LXZ] in Lusztig's geometric setting. We show that the transition matrix between the two bases is upper triangular with 1's in the diagonal and coefficients in the upper diagonal entries in N[v, v^{-1}]. As a consequence, we show that part of the monomial basis elements give rise to resolutions of support varieties of the affine canonical basis elements as simple perverse sheaves.
We establish a connection between (degenerate) nonsymmetric Macdonald polynomials and standard bases and dual standard bases of maximal parabolic modules of affine Hecke algebras. Along the way we prove a (weak) polynomiality result for coefficients of symmetric and nonsymmetric Macdonald polynomials.
We construct combinatorial bases of principal subspaces of standard modules of level $k \geq 1$ with highest weight $kΛ_0$ for the twisted affine Lie algebras of type $A_{2l-1}^{(2)}$, $D_l^{(2)}$, $E_6^{(2)}$ and $D_4^{(3)}$. Using these bases we directly calculate characters of principal subspaces.
Denote by $N \subset SL_k$ the subgroup of unipotent upper triangular matrices. In this paper, we show that the dual canonical basis of $\mathbb{C}[N]$ (and base affine spaces) can be parameterized by semi-standard Young tableaux. Moreover, we give an explicit formula for every element in the the dual canonical basis using the data of the corresponding semistandard Young tableau. We apply our results to study cluster variables in $\mathbb{C}[N]$.
In this paper, we obtain affine analogues of Gindikin-Karpelevich formula and Casselman-Shalika formula as sums over Kashiwara-Lusztig's canonical bases. Suggested by these formulas, we define natural $q$-deformation of arithmetical functions such as (multi-)partition function and Ramanujan $τ$-function, and prove various identities among them. In some examples, we recover classical identities by taking limits. We also consider $q$-deformation of Kostant's function and study certain $q$-polynomials whose special values are weight multiplicities.
In 1990 Beilinson, Lusztig and MacPherson provided a geometric realization of modified quantum $\mathfrak{gl}_n$ and its canonical basis. A key step of their work is a construction of a monomial basis. Recently, Du and Fu provided an algebraic construction of the canonical basis for modified quantum affine $\mathfrak{gl}_n$, which among other results used an earlier construction of monomial bases using Ringel-Hall algebra of the cyclic quiver. In this paper, we give an elementary algebraic construction of a monomial basis for affine Schur algebras and modified quantum affine $\mathfrak{gl}_n$.
This note has two purposes. First we establish that the map defined in [L, $§40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincaré--Birkhoff--Witt (PBW) type for $\bup$, an affine untwisted quantized enveloping algebra of Drinfel$'$d and Jimbo. The computations in this paper are made possible by extending the usual braid group action by certain outer automorphisms of the algebra.
We construct quasi-particle bases of principal subspaces of standard modules $L(Λ)$, where $Λ=k_0Λ_0+k_jΛ_j$, and $Λ_j$ denotes the fundamental weight of affine Lie algebras of type $B_l^{(1)}$, $C_l^{(1)}$, $F_4^{(1)}$ or $G_2^{(1)}$ of level one. From the given bases we find characters of principal subspaces.
We further define two-parameter quantum affine algebra $U_{r,s}(\widehat{\frak {sl}_n})$ $(n>2)$ after the work on the finite cases (see [BW1], [BGH1], [HS] & [BH]), which turns out to be a Drinfel'd double. Of importance for the quantum {\it affine} cases is that we can work out the compatible two-parameter version of the Drinfel'd realization as a quantum affinization of $U_{r,s}(\frak{sl}_n)$ and establish the Drinfel'd isomorphism Theorem in the two-parameter setting, via developing a new combinatorial approach (quantum calculation) to the quantum {\it affine} Lyndon basis we present (with…
For symmetrizable Kac-Moody Lie algebra $\textbf{g}$, Lusztig introduced the modified quantized enveloping algebra $\dot{\textbf{U}}(\textbf{g})$ and its canonical basis in [12]. In this paper, for finite and affine type symmetric Lie algebra $\textbf{g}$ we define a set which depend only on the root category and prove that there is a bijection between the set and the canonical basis of $\dot{\textbf{U}}(\textbf{g})$, where the root category is the $T^2$-orbit category of the derived category of Dynkin or tame quiver. Our method bases on one theorem of Lin, Xiao and Zhang in [9], which gave th…
We prove a multiplication theorem for quantum cluster algebras of acyclic quivers. The theorem generalizes the multiplication formula for quantum cluster variables in \cite{fanqin}. We apply the formula to construct some $\mathbb{ZP}$-bases in quantum cluster algebras of finite and affine types. Under the specialization $q$ and coefficients to $1$, these bases are the integral bases of cluster algebra of finite and affine types (see \cite{CK1} and \cite{DXX}).
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n…
A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring.
We give an introduction to the structure theory of extended affine Lie algebras, which provide a common framework for finite-dimensional semisimple, affine and toroidal Lie algebras. The notes are based on a lecture series given during the Fields Institute summer school at the University of Ottawa in June 2009.
We prove that the global base of the modified quantum algebra of affine GL_N is compatible with the intersection cohomology base of the convolution algebra of the affine flag variety. As a consequence we prove a recent conjecture of Lusztig on the compatibility of the intersection cohomology base with respect to transfer maps.
Feigin-Stoyanovsky's type subspaces for affine Lie algebras of type $C_\ell^{(1)}$ have monomial bases with a nice combinatorial description. We describe bases of whole standard modules in terms of semi-infinite monomials obtained as "a limit of translations" of bases for Feigin-Stoyanovsky's type subspaces.
Following the definition of a root basis of an affine root system, we define a base of the root system of an affine Lie superalgebra to be a linearly independent subset $B$ of its root system such that each root can be written as a linear combination of elements of $B$ with integral coefficients such that all coefficients are nonnegative or all coefficients are nonpositive. Characterization and classification of bases of root systems of affine Lie algebras are known in the literature; in fact, up to $\pm 1$-multiple, each base of an affine root system is conjugate with the standard base under …
We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our al…
The universal $R$-matrix of the quantum affine superalgebra associated to the Lie superalgebra $\mathfrak{gl}(1,1)$ is realized as the Casimir element of certain Hopf pairing, based on the explicit coproduct formula of all the Drinfeld loop generators.
The aim of this work is to construct the quasi-particle basis of principal subspace of standard module of highest weight $kΛ_0$ of level $k\geq 1$ of affine Lie algebra of type $G_2^{(1)}$ by means of which we obtain the basis of principal subspace of generalized Verma module.
We give an explicit expression for the central elements of affine Hecke algebras of type A in the Coxeter presentation, in terms of (parabolic) affine Kazhdan-Lusztig polynomials. Our approach is based on a version of quantum affine Schur-Weyl duality involving the Hall algebra of a cyclic quiver, on the theory of canonical bases and on the higher-level q-deformed Fock spaces recently introduced by Uglov.
We consider principal subspaces $W_{L(kΛ_0)}$ and $W_{N(kΛ_0)}$ of standard module $L(kΛ_0)$ and generalized Verma module $N(kΛ_0)$ at level $k\geq 1$ for affine Lie algebra of type $B_2^{(1)}$. By using the theory of vertex operator algebras, we find combinatorial bases of principal ubspaces in terms of quasi-particles. From quasi-particle bases, we obtain character formulas for $W_{L(kΛ_0)}$ and $W_{N(kΛ_0)}$.
Cui (arXiv:1405.6441) has shown that the modified quantum affine algebra $\widetilde{\mathbf U}$ (more precisely its quotients, BLN algebras) is affine cellular in the sense of Koenig and Xi. The proof is based on the structure of cells of $\widetilde{\mathbf U}$, studied previously in [http://arxiv.org/abs/math/0212253], the author's joint work with Beck. We here give more direct proof based on Lemma 6.17 in [http://arxiv.org/abs/math/0212253], together with a property of the bilinear form introduced in [http://arxiv.org/abs/math/0204183]. We also prove that cell ideals are idempotent, and he…
Generalizing our earlier work, we construct quasi-particle bases of principal subspaces of standard module $L_{X_l^{(1)}}(kΛ_0)$ and generalized Verma module $N_{X_l^{(1)}}(kΛ_0)$ at level $k\geq 1$ in the case of affine Lie algebras of types $B_l^{(1)}$ and $C_l^{(1)}$. As a consequence, from quasi-particle bases, we obtain the graded dimensions of these subspaces.
The notion of a "root base" together with its geometry plays a crucial role in the theory of finite and affine Lie theory. However, it is known that such a notion does not exist for the recent generalizations of finite and affine root systems such as extended affine root systems and affine reflection systems. As an alternative, we introduce the notion of a "reflectable base", a minimal subset $Π$ of roots such that the non-isotropic part of the root system can be recovered by reflecting roots of $Π$ relative to the hyperplanes determined by $Π$. We give a full characterization of reflectable b…
In this note we explain, in terms of finite dimensional representations of Lie algebras $\mathfrak{sp}_{2\ell}\subset\mathfrak{sl}_{2\ell}$, a combinatorial coincidence of difference conditions in two constructions of combinatorial bases for standard representations of symplectic affine Lie algebras.
We obtain Drinfeld second realization of the quantum affine superalgebras associated with the affine Lie superalgebra $D^{(1)}(2,1;x)$. Our results are analogous to those obtained by Beck for the quantum affine algebras. Beck's analysis uses heavily the (extended) affine Weyl groups of the affine Lie algebras. In our approach the structures are based on a Weyl groupoid.
We construct the Fock space representations for the quantum affine algebra of type $C_2^{(1)}$ in terms of Young walls. Using this construction, we give a generalized Lascoux-Leclerc-Thibon algorithm for computing the global bases of the basic representations.
We consider the principal subspaces of certain level $k\geqslant 1$ integrable highest weight modules and generalized Verma modules for the untwisted affine Lie algebras in types $D$, $E$ and $F$. Generalizing the approach of G. Georgiev we construct their quasi-particle bases. We use the bases to derive presentations of the principal subspaces, calculate their character formulae and find some new combinatorial identities.
Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. Th…
Crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ is given by path. Weyl group actions, extremal vectors and crystal structure of all irreducible components are described explicitly.
