Combinatorial bases of modules for affine Lie algebra B_2^(1)
Mirko Primc
备注：
AMS-LaTeX, 29 pages, to appear in Central European Journal of Mathematics. v2: The claim that presentation for B_2^(1) implies linear independence for A_1^(1) is incorrect and omitted; other minor changes; a new section on vertex operator formula is added
In this paper we construct bases of standard (i.e. integrable highest weight) modules $L(Λ)$ for affine Lie algebra of type $B_2\sp{(1)}$ consisting of semi-infinite monomials. The main technical ingredient is a construction of monomial bases for Feigin-Stoyanovsky type subspaces $W(Λ)$ of $L(Λ)$ by using simple currents and intertwining operators in vertex operator algebra theory. By coincidence $W(kΛ_0)$ for $B_2\sp{(1)}$ and the integrable highest weight module $L(kΛ_0)$ for $A_1\sp{(1)}$ have the same parametrization of combinatorial bases and the same presentation $\mathcal P/\mathcal I$\,.
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 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)}$.
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.
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 introduce the notion of standard multipartitions and establish a one-to-one correspondence between standard multipartitions and irreducible representations with integral weights for the affine Hecke algebra of type A with a parameter q which is not a root of unity. We then extend the correspondence to all Kleshchev multipartitions for Ariki-Koike algebras of integral type. By the affine Schur--Weyl duality, we further extend this to a correspondence between standard multipartitions and Drinfeld multipolynomials of integral type whose associated irreducible polynomial representations complet…
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.
We define three combinatorial models for \hat{sl(n)} crystals, parametrized by partitions, configurations of beads on an `abacus', and cylindric plane partitions, respectively. These are reducible, but we can identify an irreducible subcrystal corresponding to any dominant integral highest weight. Cylindric plane partitions actually parametrize a basis for the tensor product of an irreducible representation with the space spanned by all partitions. We use this to calculate the partition function for a system of random cylindric plane partitions. We also observe a form of rank level duality. Fi…
We give a combinatorial description of the composition factors of the induction product of two evaluation modules of the affine Iwahori-Hecke algebra of type GL(m). Using quantum affine Schur-Weyl duality, this yields a combinatorial description of the composition factors of the tensor product of two evaluation modules of the quantum affine algebra of type sl(n).
In this paper we give a combinatorial parametrization of leading terms of defining relations for level $k$ standard modules for affine Lie algebra of type $C_{n}\sp{(1)}$. Using this parametrization we conjecture colored Rogers-Ramanujan type combinatorial identities for $n\geq 2$ and $k\geq 2$; the identity in the case $n=k=1$ is equivalent to one of Capparelli's identities.
By using the known description of combinatorial bases for Feigin-Stoyanovsky's type subspaces of standard modules for affine Lie algebra $\mathfrak{sl}(l+1,\mathbb{C})^{\widetilde{}}$, as well as certain intertwining operators between standard modules, we obtain exact sequences of Feigin-Stoyanovsky's type subspaces at fixed level $k$. This directly leads to systems of recurrence relations for formal characters of those subspaces.
The main result of this paper is a combinatorial description of a basis of standard level 1 module for the twisted affine Lie algebra $A_2^{(2)}.$ This description also gives two new combinatorial identities of Göllnitz (or Rogers--Ramanujan) type. Methods used through the paper are mainly developed by J. Lepowsky, R. L. Wilson, A. Meurman and M. Primc, and the crucial role in constructions plays a vertex operator algebra approach to standard representations of affine Lie algebras.
The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embeddings of the Grothendieck group of finite dimensional modules for the corresponding quatum group at a root of unity into Fock spaces of different charges and define an action of an affine quantum symm…
We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine a…
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.
We consider principal subspace W(Λ) of integrable highest weight module L(Λ) for quantum affine algebra $U_q(\hat{\mathfrak{sl}}_{n+1})$. We introduce quantum analogues of the quasi-particles associated with the principal subspaces for $\hat{\mathfrak{sl}}_{n+1}$ and discover certain relations among them. By using these relations we find, for certain highest weight Λ, combinatorial bases of principal subspace W(Λ) in terms of monomials of quantum quasi-particles.
J.~Lepowsky and R.~L.~Wilson initiated the approach to combinatorial Rogers-Ramanujan type identities via vertex operator constructions of standard (i.e. integrable highest weight) representations of affine Kac-Moody Lie algebras. A.~Meurman and M.~Primc developed further this approach for $\mathfrak{sl}(2,\mathbb C)\widetilde{}\ $ by using vertex operator algebras and Verma modules. In this paper we use the same method to construct combinatorial bases of basic modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and, as a consequence, we obtain a series of Rogers-Ramanujan type identities.…
Given an affine Kac-Moody Lie algebra $\tilde{\mathfrak{g}}[σ]$ of arbitrary type, we determine certain minimal sets of annihilating fields of standard $\tilde{\mathfrak{g}}[σ]$-modules. We then use these sets in order to obtain a characterization of standard $\tilde{\mathfrak{g}}[σ]$-modules in terms of irreducible loop $\tilde{\mathfrak{g}}[σ]$-modules, which proves to be a useful tool for combinatorial constructions of bases for standard $\tilde{\mathfrak{g}}[σ]$-modules.
We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of i-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we pr…
For coherent families of crystals of affine Lie algebras of type B^{(1)}_n, D^{(1)}_n, A^{(2)}_{2n} and D^{(2)}_{n+1} we describe the combinatorial R matrix using column insertion algorithms for B,C,D Young tableaux.
Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's slidi…
For irreducible integrable highest weight modules of the finite and affine Lie algebras of type A and D, we define an isomorphism between the geometric realization of the crystal graphs in terms of irreducible components of Nakajima quiver varieties and the combinatorial realizations in terms of Young tableaux and Young walls. For affine type A, we extend the Young wall construction to arbitrary level, describing a combinatorial realization of the crystals in terms of new objects which we call Young pyramids.
We construct explicitly strong generators of the affine $\mathcal{W}$-algebra $\mathcal{W}^{K-N}(\mathfrak{sl}_N, f_{sub})$ of subregular type $A$. Moreover, we are able to describe the OPEs between them at critical level. We also give a description the affine $\mathcal{W}$-algebra $\mathcal{W}^{-N}(\mathfrak{sl}_N, f_{sub})$ in terms of certain fermionic fields, which was conjectured by Adamović.
Let $\gtl$ be an affine Lie algebra of type $D_{\ell}^{(1)}$ and $L(Λ)$ its standard module with a highest weight vector $v_Λ$. For a given $\Z$-gradation $\gtl = \gtl_{-1} + \gtl_0 + \gtl_1$, we define Feigin-Stoyanovsky's type subspace as $$W(Λ) = U(\gtl_1) \cdot v_Λ.$$ By using vertex operator relations for standard modules we reduce the Ponicaré-Brikhoff-Witt spanning set of $W(Λ)$ to a basis and prove its linear independence by using Dong-Lepowsky intertwining operators.
Frenkel-Reshetikhin introduced $q$-characters of finite dimensional representations of quantum affine algebras. We give a combinatorial algorithm to compute them for all simple modules. Our tool is $t$-analogue of the $q$-characters, which is similar to Kazhdan-Lusztig polynomials, and our algorithm has a resemblance with their definition.
We first provide an explicit combinatorial description of the Auslander-Reiten quiver $Γ^Q$ of finite type $D$. Then we can investigate the categories of finite dimensional representations over the quantum affine algebra $U_q'(D^{(i)}_{n+1})$ $(i=1,2)$ and the quiver Hecke algebra $R_{D_{n+1}}$ associated to $D_{n+1}$ $(n \ge 3)$, by using the combinatorial description and the generalized quantum affine Schur-Weyl duality functor. As applications, we can prove that Dorey's rule holds for the category $\Rep(R_{D_{n+1}})$ and prove an interesting difference between multiplicity free positive roo…
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 give a realization of crystal graphs for basic representations of the quantum affine algebra $U_q(C_2^{(1)})$ in terms of new combinatorial objects called the Young walls.
We construct all fundamental modules for the two parameter quantum affine algebra of type $A$ using a combinatorial model of Young diagrams. In particular we also give a fermionic realization of the two-parameter quantum affine algebra.
We use combinatorial description of bases of Feigin-Stoyanovsky's type subspaces of standard modules of level 1 for affine Lie algebras of types $A_\ell^{(1)}$ and $D_4^{(1)}$ to obtain character formulas. These descriptions naturally lead to systems of recurrence relations for which we also find solutions.
The quiver Hecke algebra $R$ can be also understood as a generalization of the affine Hecke algebra of type $A$ in the context of the quantum affine Schur-Weyl duality by the results of Kang, Kashiwara and Kim. On the other hand, it is well-known that the Auslander-Reiten(AR) quivers $Γ_Q$ of finite simply-laced types have a deep relation with the positive roots systems of the corresponding types. In this paper, we present explicit combinatorial descriptions for the AR-quivers $Γ_Q$ of finite type $A$. Using the combinatorial descriptions, we can investigate relations between finite dimensiona…
We study the polytope model for the affine type $A$ Kirillov-Reshetikhin crystals and prove that the action of the affine Kashiwara operators can be described in a remarkable simple way. Moreover, we investigate the combinatorial $R$-matrix on a tensor product of polytopes and characterize the map explicitly on the highest weight elements. We further give a formula for the local energy function and provide an alternative proof for the perfectness. We determine for any dominant highest weight element $Λ$ of level $\ell$ the elements $b_Λ, b^Λ$ involved in the definition of perfect crystals and …
For an affine Lie algebra $\hat{\mathfrak g}$ the coefficients of certain vertex operators which annihilate level $k$ standard $\hat{\mathfrak g}$-modules are the defining relations for level $k$ standard modules. In this paper we study a combinatorial structure of the leading terms of these relations for level $k=2$ standard $\hat{\mathfrak g}$-modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and the main result is a construction of combinatorially parameterized relations among the coefficients of annihilating fields. It is believed that the constructed relations among relations will p…
The Kirillov--Reshetikhin modules W^{r,s} are finite-dimensional representations of quantum affine algebras U'_q(g), labeled by a Dynkin node r of the affine Kac--Moody algebra g and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^{2,s} corresponding to W^{2,s} for the algebra of type D_n^{(1)}.
Let $\tilde{\mathfrak g}$ be an affine Lie algebra of the type $A_\ell^{(1)}$. We find a combinatorial basis of Feigin-Stoyanovsky's type subspace $W(Λ)$ given in terms of difference and initial conditions. Linear independence of the generating set is proved inductively by using coefficients of intertwining operators. A basis of $L(Λ)$ is obtained as an "inductive limit" of the basis of $W(Λ)$.
Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author.
In this work, we study the concept of the length function and some of its combinatorial properties for the class of extended affine root systems of type $A_1$. We introduce a notion of root basis for these root systems, and using a unique expression of the elements of the Weyl group with respect to a set of generators for the Weyl group, we calculate the length function with respect to a very specific root basis.
The Weyl-Kac character formula gives a beautiful closed-form expression for the characters of integrable highest-weight modules of Kac-Moody algebras. It is not, however, a formula that is combinatorial in nature, obscuring positivity. In this paper we show that the theory of Hall-Littlewood polynomials may be employed to prove Littlewood-type combinatorial formulas for the characters of certain highest weight modules of the affine Lie algebras C_n^{(1)}, A_{2n}^{(2)} and D_{n+1}^{(2)}. Through specialisation this yields generalisations for B_n^{(1)}, C_n^{(1)}, A_{2n-1}^{(2)}, A_{2n}^{(2)} an…
We introduce and study some affine Hecke algebras of type ADE, generalising the affine Hecke algebras of GL. We construct irreducible calibrated representations and describe the calibrated spectrum. This is done in terms of new families of combinatorial objects equipped with actions of the corresponding Weyl groups. These objects are built from and generalise the usual standard Young tableaux, and are controlled by the considered affine Hecke algebras. By restriction and limiting procedure, we obtain several combinatorial models for representations of finite Hecke algebras and Weyl groups of t…
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…
A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we prove that the set of the isomorphism classes of simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ has an extended crystal structure isomorphic to the extended crystal $\widehat{B}_{\mathfrak{g}}(\inft…
Let $\tilde{\mathfrak g}$ be an affine Lie algebra of type $A_\ell^{(1)}$. Suppose we're given a $\mathbb Z$-gradation of the corresponding simple finite-dimensional Lie algebra ${\mathfrak g}={\mathfrak g}_{-1}\oplus{\mathfrak g}_0 \oplus {\mathfrak g}_1$; then we also have the induced $\mathbb Z$-gradation of the affine Lie algebra $$\tilde{\mathfrak g}=\tilde{\mathfrak g}_{-1} \oplus \tilde{\mathfrak g}_0 \oplus \tilde{\mathfrak g}_1.$$ Let $L(Λ)$ be a standard module of level 1. Feigin-Stoyanovsky's type subspace $W(Λ)$ is the $\tilde{\mathfrak g}_1$-submodule of $L(Λ)$ generated by the hi…
We give combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for tensor products of irreducible evaluation modules over the Yangian $Y({\mathfrak{gl}}_N)$ and the quantum affine algebra $U_q(\widetilde{\mathfrak{gl}_N})$. The results of the paper were obtained in 1998 and were used in math.QA/9905137, math.QA/0302148, math.QA/0610517.
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…
We study connections between the ring of symmetric functions and the characters of irreducible finite-dimensional representations of quantum affine algebras. We study two families of representations of the symplectic and orthogonal Lie algebras. One is defined via combinatorial properties and is easy to calculate; the other is closely related to the $q=1$ limit of the ``minimal affinization'' representations of quantum affine algebras. We conjecture that the two families are identical, and present supporting evidence and examples. In the special case of a highest weight that is a multiple of a…
In 2003, Haglund's {\sf bounce} statistic gave the first combinatorial interpretation of the $q,t$-Catalan numbers and the Hilbert series of diagonal harmonics. In this paper we propose a new combinatorial interpretation in terms of the affine Weyl group of type $A$. In particular, we define two statistics on affine permutations; one in terms of the Shi hyperplane arrangement, and one in terms of a new arrangement - which we call the Ish arrangement. We prove that our statistics are equivalent to the {\sf area'} and {\sf bounce} statistics of Haglund and Loehr. In this setting, we observe that…
In this paper, we study the polynomial representation of the double affine Hecke algebra of type $(C^\vee_n, C_n)$ for specialized parameters. Inductively and combinatorially, we give a linear basis of the representation in terms of linear combinations of non-symmetric Koornwinder polynomials. The basis consists of generalized eigenfunctions with respect to $q$-Dunkl-Cherednik operators $\hat{Y}_i$, and it gives a way to cancel out poles of non-symmetric Koornwinder polynomials. We examine irreducibility and $Y$-semisimplicity of the representation for the specialized parameters. For some case…
This is the first of a series of papers studying combinatorial (with no ``subtractions'') bases and characters of standard modules for affine Lie algebras, as well as various subspaces and ``coset spaces'' of these modules. In part I we consider certain standard modules for the affine Lie algebra $\ga,\;\g := sl(n+1,\C),\;n\geq 1,$ at any positive integral level $k$ and construct bases for their principal subspaces (introduced and studied recently by Feigin and Stoyanovsky [FS]). The bases are given in terms of partitions: a color $i,\;1\leq i \leq n,$ and a charge $s,\; 1\leq s \leq k,$ are a…
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-…
We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.
We use the Hecke algebras of affine symmetric groups and their associated Schur algebras to construct a new algebra through a basis, and a set of generators and explicit multiplication formulas of basis elements by generators. We prove that this algebra is isomorphic to the quantum enveloping algebra of the loop algebra of $\mathfrak {gl}_n$. Though this construction is motivated by the work \cite{BLM} by Beilinson--Lusztig--MacPherson for quantum $\frak{gl}_n$, our approach is purely algebraic and combinatorial, independent of the geometric method which seems to work only for quantum $\mathfr…
In this paper we conjecture combinatorial Rogers-Ramanujan type colored partition identities related to standard representations of the affine Lie algebra of type $C^{(1)}_\ell$, $\ell\geq2$, and we conjecture similar colored partition identities with no obvious connection to representation theory of affine Lie algebras.
