We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case.
Polyhedral realizations for crystal bases of integrable highest weight modules and combinatorial objects of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$
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 th…
We describe the crystal bases of the modified quantum algebras and give the explicit form of the highest (or lowest) weight vector of its connected component $B_0(λ)$ containing the unit element for arbitrary rank 2 cases. We also present the explicit form of $B_0(λ)$ containing the highest (or lowest) weight vector by the polyhedral realization method.
We describe the crystal bases of modified quantum algebras and its connected component containing ``zero vector''by the polyhedral realization method for the types A_n and A^(1)_1. We also present the explicit form of the unique highest weight vector in the connected component.
Polyhedral realization of crystal bases is one of the methods for describing the crystal base $B(\infty)$ explicitly. This method can be applied to symmetrizable Kac-Moody types. We can also apply this method to the crystal bases $B(λ)$ of integrable highest weight modules and of modified quantum algebras. But, the explicit forms of the polyhedral realizations of crystal bases $B(\infty)$ and $B(λ)$ are only given in the case of arbitrary rank 2, of $A_n$ and of $A^{(1)}_n$. So, we will give the polyhedral realizations of crystal bases $B(\infty)$ and $B(λ)$ for all simple Lie algebras in this…
We show that the Weyl-Kac type character formula holds for the integrable highest weight modules over the quantized enveloping algebra of any symmetrizable Kac-Moody Lie algebra, when the parameter $q$ is not a root of unity.
Using certain results for the vertex operator algebras associated with affine Lie algebras we obtain recurrence relations for the characters of integrable highest weight irreducible modules for an affine Lie algebra. As an application we show that in the simply-laced level 1 case, these recurrence relations give the known characters, whose principal specializations naturally give rise to some multisum Macdonald identities.
In the first part of the paper we give the denominator identity for all simple finite-dimensional Lie super algebras $\frak g\/$ with a non-degenerate invariant bilinear form. We give also a character and (super) dimension formulas for all finite-dimensional irreducible $\frak g\/$-modules of atypicality $\leq 1\/$ . In the second part of the paper we give the denominator identity for the affine superalgebras $\hat{\frak g}\/$ associated to $\frak g\/$. Specializations of this identity give almost all old and many new formulas for the number of representations of an integer as sums of squares …
Lusztig sheaves and integrable highest weight modules in the symmetrizable case
Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）；Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；School of Mathematical Sciences, Beijing Normal University（北京师范大学数学科学学院）
It is proved that the regularity of parafermion vertex operator algebras associated to integrable highest weight modules for affine Kac-Moody algebra A_1^{(1)} implies the C_2-cofiniteness of parafermion vertex operator algebras associated to integrable highest weight modules for any affine Kac-Moody algebra. In particular, the parafermion vertex operator algebra associated to an integrable highest weight module of small level for any affine Kac-Moody algebra is C_2-cofinite and has only finitely many irreducible modules. Also, the parafermion vertex operator algebras with level 1 are determin…
In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.
In [19], Zheng studied the bounded derived categories of constructible $\bar{\mathbb{Q}}_l$-sheaves on some algebraic stacks consisting of the representations of a enlarged quiver and categorified the integrable highest weight modules of the corresponding quantum group by using these categories. In this paper, we shall generalize Zheng's work to highest weight modules of a subalgebra of the double Ringel-Hall algebra associated to a quiver in a functional version.
We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the module is irreducible and in the second case we prove that the intersection of all the modules is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration. These are certain highest weight integrable modu…
In arXiv:1001.2562 a certain non-commutative algebra $A$ was defined starting from a semi-simple algebraic group, so that the derived category of $A$-modules is equivalent to the derived category of coherent sheaves on the Springer (or Grothendieck-Springer) resolution. Let $\hat{\g}$ be the affine Lie algebra corresponding to the Langlands dual Lie algebra. Using results of Frenkel and Gaitsgory arXiv:0712.0788 we show that the category of $\hat{\g}$ modules at the critical level which are Iwahori integrable and have a fixed central character, is equivalent to the category of modules over a q…
Using the fusion product of the representations of the Lie algebra $\mathfrak{sl}_2$ we construct a set of the integrable highest weight $\hat{\mathfrak{sl}_2}$-modules $L^D$, depending on the vector $D\in\mathbb{N}^{k+1}$. In a special cases of $D$ our modules are isomorphic to the irreducible $\hat{\mathfrak{sl}_2}$-modules $L_{i,k}$. We construct a basis of the $L^D$ and study the decomposition of $L^D$ on the irreducible components. We also write a formulas for the characters of $L^D$.
We give new combinatorial formulas for decomposition of the tensor product of integrable highest weight modules over the classical Lie algebras of type $B, C, D$, and the branching decomposition of an integrable highest weight module with respect to a maximal Levi subalgebra of type $A$. This formula is based on a combinatorial model of classical crystals called spinor model. We show that our formulas extend in a bijective way various stable branching rules for classical groups to arbitrary highest weights, including the Littlewood restriction rules.
Let $V(Λ_i)$ (resp., $V(-Λ_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(Λ_i)\otimes V(-Λ_j)$ is filtered by submodules $F_n=U_q(\hat{sl}_{2})(v_i\otimes \bar{v}_{n-i})$, $n\ge 0, n\equiv i-j\bmod 2$, where $v_i\in V(Λ_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-Λ_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ is isomorphic to the level 0 extremal weight module $V(n(Λ_1-Λ_0))$. Using this we give a functional realization of the completion of $V(Λ_i)\otimes V(-Λ_j)$ by the filtration $(F_n)_{n\geq0}$. The subsp…
We construct a filtration on integrable highest weight module of an affine Lie algebra whose adjoint graded quotient is a direct sum of global Weyl modules. We show that the graded multiplicity of each Weyl module there is given by a corresponding level-restricted Kostka polynomial. This leads to an interpretation of level-restricted Kostka polynomials as the graded dimension of the space of conformal coinvariants. In addition, as an application of the level one case of the main result, we realize global Weyl modules of current algebras of type $\mathsf{ADE}$ in terms of Schubert manifolds of …
We classify the simple infinite dimensional integrable modules with finite dimensional weight spaces over the quantized enveloping algebra of an untwisted affine algebra. We prove that these are either highest (lowest) weight integrable modules or simple submodules of a loop module of a finite-dimensional simple integrable module and describe the latter class. Their characters and crystal bases theory are discussed in a special case.
A representation of the Quantum Toroidal Algebra of type sl(N) is constructed on every irreducible integrable highest weight module of the Quantum Affine Algebra of type gl(N). As an intermediate step in the construction, we obtain a quantum analogue of the classical level-rank duality, describing the reciprocal decomposition of the q-Fock space with respect to mutually commutative actions of U_q(gl(N)^) of level L, and U_q(sl(L)^) of level N.
The structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied. In particular, a set of generators for this algebra has been determined.
In this paper we study the PBW filtration on irreducible integrable highest weight representations of affine Kac-Moody algebra $\gh$. The $n$-th space of this filtration is spanned with the vectors $x_1... x_s v$, where $x_i\in\gh$, $s\le n$ and $v$ is a highest weight vector. For the vacuum module we give a conjectural description of the corresponding adjoint graded space in terms of generators and relations. For $\g$ of the type $A_1$ we prove our conjecture and derive the fermionic formula for the graded character.
The method of vector coherent states is generalized to study representations of the affine Lie algebra $\hat{sl}(2)$. A large class of highest weight irreps is explicitly constructed, which contains the integrable highest weight irreps as special cases.
An action of the Yangian of the general Lie algebra gl(N) is defined on every irreducible integrable highest weight module of affine gl(N) with level greater than 1. This action is derived, by means of the Drinfeld duality and a subsequent semi-infinite limit, from a certain induced representation of the degenerate double affine Hecke algebra H. Each vacuum module of affine gl(N) is decomposed into irreducible Yangian subrepresentations by means of the intertwiners of H. Components of this decomposition are parameterized by semi-infinite skew Young diagrams.
Haisheng Li showed that given a module (W,Y_W(\cdot,x)) for a vertex algebra (V,Y(\cdot,x)), one can obtain a new V-module W^Δ = (W,Y_W(Δ(x)\cdot,x)) if Δ(x) satisfies certain natural conditions. Li presented a collection of such Δ-operators for V=L(k,0) (a vertex operator algebra associated with an affine Lie algebras, k a positive integer). In this paper, for each irreducible L(k,0)-module W, we find a highest weight vector of W^Δ when Δis associated with a miniscule coweight. From this we completely determine the action of these Δ-operators on the set of isomorphism equivalence classes 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 w…
Let $\mathfrak{g}$ be a finite-dimensional complex simple Lie algebra with highest root $θ$ and let $\mathfrak{g}[t]$ be the corresponding current algebra. In this paper, we consider the $\mathfrak{g}[t]$-stable Demazure modules associated to integrable highest weight representations of the affine Lie algebra $\widehat{\mathfrak{g}}$. We prove that the fusion product of Demazure modules of a given level with a single Demazure module of a different level and with highest weight a multiple of $θ$ is a generalized Demazure module, and also give defining relations. This also shows that the fusion …
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 paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and ${\mathcal{C}}$ of $\hat{\g}$-modules using generating functions, where ${\mathcal{E}}$ includes evaluation modules and ${\mathcal{C}}$ unifies highest weight modules, evaluation modules and their tensor product modules, and we classify integrable irreducible $\hat{\g}$-modules in categories ${\mathcal{E}}$ and ${\mathcal{C}}$.
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 give a detailed proof of the existence of evaluation map for affine Yangians of type A to clarify that it needs an assumption on parameters. This map was first found by Guay but a proof of its well-definedness and the assumption have not been written down in the literature. We also determine the highest weights of evaluation modules defined as the pull-back of integrable highest weight modules of the affine Lie algebra $\hat{\mathfrak{gl}}_N$ by the evaluation map.
We present an explicit character formula for the irreducible highest weight representations of the non-twisted affine Kac-Moody Lie algebra at the critical level which are integrable over the corresponding finite-dimensional simple Lie algebra.
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.
For $\imath$quantum covering groups $(\mathbf{U}, \mathbf{U}^\imath)$ of super Kac-Moody type, we construct $\imath$-canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules, as well as a canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$, using the $\imath^π$-divided powers, rank one canonical basis for $\mathbf{U}^\imath$.
In this paper, the structure of the parafermion vertex operator algebra associated to an integrable highest weight module for simple affine Lie superalgebra $osp(1|2n)$ is studied. Particularly, we determine the generators for this algebra.
We review several fermionic-type character formulae for the characters of the integrable highest weight modules of sl(n)^ at level l=1, and explain how they arise from a spinon basis for these modules. We also review how the Yangian Y(sl(n)) acts on the integrable (sl(n)^)_1 modules and we decompose the characters with respect to this Y(sl(n)) action.
This paper develops a general theory of canonical bases, and how they arise naturally in the context of categorification. As an application, we show that Lusztig's canonical basis in the whole quantized universal enveloping algebra is given by the classes of the indecomposable 1-morphisms in a categorification when the associated Lie algebra is finite type and simply laced. We also introduce natural categories whose Grothendieck groups correspond to the tensor products of lowest and highest weight integrable representations. This generalizes past work of the author's in the highest weight case…
We give a path model for a level zero extremal weight module over a quantum affine algebra. By using this result, we prove a branching rule for an extremal weight module with respect to a Levi subalgebra. Furthermore, we also show a decomposition rule of Littelmann type for the concatenation of path models for an integrable highest weight module and a level zero extremal weight module in the case where the extremal weight is minuscule.
Let Uq(g) be the quantum affine superalgebra associated with an affine Kac-Moody superalgebra g which belongs to the three series osp(1|2n)^(1),sl(1|2n)^(2) and osp(2|2n)^(2). We develop vertex operator constructions for the level 1 irreducible integrable highest weight representations and classify the finite dimensional irreducible representations of Uq(g). This makes essential use of the Drinfeld realisation for Uq(g), and quantum correspondences between affine Kac-Moody superalgebras, developed in earlier papers.
Let g = n^- + h + n^+ be a symmetrizable Kac-Moody algebra. Let B(\infty) be the Kashiwara crystal of U_q(n^-), let λbe a dominant integral weight, let T_λ= {t_λ} be the crystal with one element of weight λ, and let B(λ) \subset B(\infty) \otimes T_λbe the crystal of the integrable representation of highest weight λ. We compute the descending string parameters of an element b \otimes t_λin B(λ) in terms of the Lusztig parameters of b.
We study certain subspaces of solutions to the sl_2 rational qKZ equation at level zero. Each subspace is specified by the vanishing of the residue at a certain divisor which stems from models in two dimensional integrable field theories. We determine the character of the subspace which is parametrized by the number of variables and the sl_2 weight of the solutions. The sum of all characters with a fixed weight gives rise to the branching functions of the irreducible representations of sl_2 in the level one integrable highest weight representations of \hat{sl_2}. It is written in the fermionic…
The level-$1$ integrable highest weight modules of $U_q(\widehat{sl}_2)$ admit a level-$0$ action of the same algebra. This action is defined using the affine Hecke algebra and the basis of the level-$1$ module generated by components of vertex operators. Each level-$1$ module is a direct sum of finite-dimensional irreducible level-$0$ modules, whose highest weight vector is expressed in terms of Macdonald polynomials. This decomposition leads to the fermionic character formula for the level-$1$ modules.
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 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.
