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.
We identify the algebra of matrix elements of big projective modules in category O with the regular functions on the big Bruhat cell of G. Analogous extensions of the regular representations of the affine Lie and Virasoro algebras yield vertex operator algebras, equipped with two commuting actions with special values of the total central charge. In the generic case, we identify the structure of these VOAs, compute their semi-infinite cohomology. Its superalgebra structure encodes the fusion rules for the associated tensor categories. Full details are provided for the affine sl(2) and Virasoro …
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.
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$.
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…
Let $\dot{\mathbf{U}}(\widehat{\frak{sl}}_n)$ be the modified quantum affine $\frak{sl}_n$ and let ${\bf U}(\widehat{\frak{sl}}_N)^+$ be the positive part of quantum affine $\frak{sl}_N$. Let $\dot{\mathbf{B}}(n)$ be the canonical basis of $\dot{\mathbf{U}}(\widehat{\frak{sl}}_n)$ and let $\mathbf{B}(N)^{\mathrm{ap}}$ be the canonical basis of ${\bf U}(\widehat{\frak{sl}}_N)^+$. It is proved in \cite{FS} that each structure constant for the multiplication with respect to $\dot{\mathbf{B}}(n)$ coincide with a certain structure constant for the multiplication with respect to $\mathbf{B}(N)^{\mat…
We give a geometric interpretation of the inner product on the modified quantum group of $\hat{\mathfrak{sl}}_n$. We also give some applications of this interpretation, including a positivity result for the inner product, and a new geometric construction of the canonical basis.
We introduce a modified affine Hecke algebra $\h{H}^{+}_{qη}({l})$ ($\h{H}_{qη}({l})$) which depends on two deformation parameters $q$ and $η$. When the parameter $η$ is equal to zero the algebra $\h{H}_{qη=0}(l)$ coincides with the usual affine Hecke algebra $\h{H}_{q}(l)$ of type $A_{l-1}$, if the parameter q goes to 1 the algebra $\h{H}^{+}_{q=1η}(l)$ is isomorphic to the degenerate affine Hecke algebra $\Lm_η(l)$ introduced by Drinfeld. We construct a functor from a category of representations of $H_{qη}^{+}(l)$ into a category of representations of Drinfeldian $D_{qη}(sl(n+1))$ which has …
The positivity property for canonical bases asserts that the structure constants of the multiplication for the canonical basis are in ${\mathbb N}[v,v^{-1}]$. Let $\mathbf U$ be the quantum group over ${\mathbb Q}(v)$ associated with a symmetric Cartan datum. The positivity property for the positive part ${\mathbf U}^+$ of ${\mathbf U}$ was proved by Lusztig. He conjectured that the positivity property holds for the modified form $\dot{\mathbf U}$ of ${\mathbf U}$. In this paper, we prove that the structure constants for the canonical basis of $\dot{\mathbf U}(\widehat{\frak{sl}}_n)$ coincide …
Let $G$ be a simple complex Lie group with Lie algebra $\mf g$ and let $\af$ be the affine Lie algebra. We use intertwining operators and Knizhnik-Zamolodchikov equations to construct a family of $\N$-graded vertex operator algebras associated to $\mf g$. They are $\af \oplus \af$-modules of dual levels $k, \bar k \notin \Q$ in the sense that $k + \bar k = -2 h^\vee$ where $h^\vee$ is the dual Coxeter number of $\mf g$. Its conformal weight 0 component is the algebra of regular functions on $G$. This family of vertex operator algebras were previously studied by Arkhipov-Gaitsgory and Gorbounov…
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…
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…
We show how the threshold level of affine fusion, the fusion of Wess-Zumino-Witten (WZW) conformal field theories, fits into the Schubert calculus introduced by Gepner. The Pieri rule can be modified in a simple way to include the threshold level, so that calculations may be done for all (non-negative integer) levels at once. With the usual Giambelli formula, the modified Pieri formula deforms the tensor product coefficients (and the fusion coefficients) into what we call threshold polynomials. We compare them with the q-deformed tensor product coefficients and fusion coefficients that are rel…
We will construct the Lusztig form for the quantum loop algebra of $\mathfrak{gl}_n$ by proving the conjecture \cite[3.8.6]{DDF} and establish partially the Schur--Weyl duality at the integral level in this case. We will also investigate the integral form of the modified quantum affine $\mathfrak{gl}_n$ by introducing an affine stabilisation property and will lift the canonical bases from affine quantum Schur algebras to a canonical basis for this integral form. As an application of our theory, we will also discuss the integral form of the modified extended quantum affine $\mathfrak{sl}_n$ and…
Let $\g$ be an affine Kac-Moody Lie algebra. Let $\U^+$ be the positive part of the Drinfeld-Jimbo quantum enveloping algebra associated to $\g$. We construct a basis of $\U^+$ which is related to the Kashiwara-Lusztig global crystal basis (or canonical basis) by an upper triangular matrix (with respect to an explicitly defined ordering) with 1's on the diagonal and with above diagonal entries in $q_s^{-1} \Z[q_s^{-1}]$. Using this construction we study the global crystal basis $\B(\Um)$ of the modified quantum enveloping algebra defined by Lusztig. We obtain a Peter-Weyl like decomposition of…
We shall give some criteria for the existence of the Peter-Weyl type decomposition for modified quantum algebra, which is motivated by the fact that modified quantum algebra has commutative two crystal structures. We shall apply the criteria to the crystal base of the level 0 part of the modified quantum affine algebra $\widetilde U_q(\widehat{sl_2})_0$ and give more precise description of Peter-Weyl type decomposition.
Let ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the double Ringel--Hall algebra of the cyclic quiver $\triangle(n)$ and let $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the modified quantum affine algebra of ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$. We will construct an integral form $\dot{{\mathfrak D}_{\vartriangle}}(n)$ for $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ such that the natural algebra homomorphism from $\dot{{\mathfrak D}_{\vartriangle}}(n)$ to the integral affine quantum Schur algebra is surjective. Furthermore, we will use Hall algebras to construct…
We show the positivity of the canonical basis for a modified quantum affine $\mathfrak{sl}_n$ under the comultiplication. Moreover, we establish the positivity of the i-canonical basis in [LW15] with respect to the coideal subalgebra structure.
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.
The purpose of this paper is to introduce and study a q-analogue of the holonomic system of differential equations associated to the Belavin's classical r-matrix (elliptic r-matrix equations), or, equivalently, to define an elliptic deformation of the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. In hep-th 9303018, it was shown that solutions of the elliptic r-matrix equations admit a representation as traces of products of intertwining operators between certain modules over affine sl(N). In this paper, this construction is generalized to quantum affine sl(N). The main o…
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…
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…
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 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…
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.
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}).
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-…