The extended affine Lie algebra $\widetilde{\frak{sl}_2(\mathbb{C}_q)}$ is quantized from three different points of view in this paper, which produces three noncommutative and noncocommutative Hopf algebra structures, and yield other three quantizations by an isomorphism of $\widetilde{\frak{sl}_2(\mathbb{C}_q)}$ correspondingly. Moreover, two of these quantizations can be restricted to the extended affine Lie algebra ${sl_2(\mathbb{C}_q)}$.
We present modules for the extended affine Lie algebra $\widetilde{\frak{gl}_{3}(\bc_q)}$ by using the idea of free fields. A necessary and sufficient condition for the modules being unitary is given.
We construct a class of modules for extended affine Lie algebra $\widetilde{\frak{gl}_l({\bc_q})}$ by using the free fields. A necessary and sufficient condition is given for those modules being irreducible.
We use the idea of free fields to obtain highest weight representations for the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$ coordinatized by the quantum torus $\bc_q$ and go on to construct a contravariant hermitian form. We further give a necessary and sufficient condition such that the contravariant hermitian form is positive definite.
In the present paper we shall investigate the Lie bialgebra structures on the Lie algebra $\widetilde{\frak{sl}_2(C_q[x,y])}$, which are shown to be triangular coboundary.
In this paper, we extend the generalization of Drinfeld realization of quantum affine algebras to quantum affine superalgebras with its Drinfeld comultiplication and its Hopf algebra structure, which depends on a function $g(z)$ satisfying the relation: $g(z)=g(z^{-1})^{-1}.$ In particular, we present the Drinfeld realization of $U_q(\hat {\frak osp}(1,2))$ and its Serre relations.
A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured.
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 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…
Let $\hat{\frak g}$ be an untwisted affine Kac-Moody algebra. The quantum group $U_h(\hat{\frak g})$ (over $\mathbb{C}[[h]]$) is known to be a quasitriangular Hopf algebra: in particular, it has a universal $ R $--matrix, which yields an $ R $--matrix for each pair of representations of $U_h(\hat{\frak g})$. On the other hand, the quantum group $U_q(\hat{\frak g})$ (over $\mathbb{C}(q) $) also has an $ R $--matrix for each pair of representations, but it has not a universal $ R $--matrix so that one cannot say that it is quasitriangular. Following Reshetikin, one introduces the (weaker) notion…
We construct a vertex representation for the quantum toroidal algebra through the quantum general linear algebra. Using a new realization of the quantum general linear algebra we construct vertex operators for root vectors on the basic representation of the affine Lie algebra $gl_n$ and show that the simple generators give rise a realization of the quantum toroidal algebra with two parameters.
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 …
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…
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…
In this note we present an explicit realization of the affine vertex algebra $V^{cri}(\frak{gl}(1 \vert 1)) $ inside of the tensor product $F\otimes M$ where $F$ is a fermionic verex algebra and $M$ is a commutative vertex algebra. This immediately gives an alternative description of the center of $V^{cri}(\frak{gl}(1 \vert 1) ) )$ as a subalgebra $M _ 0$ of $M$. We reconstruct the Molev-Mukhin formula for the Hilbert-Poincare series of the center of $V^ {cri}(\frak{gl}(1 \vert 1) )$. Moreover, we construct a family of irreducible $V^{cri}(\frak{gl}(1 \vert 1))$ -modules realized on $F$ and pa…
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 …
This is an extension of quantum spinor construction of $U_q(\hat {\frak gl}(n))$. We define quantum affine Clifford algebras based on the tensor category and the solutions of q-KZ equations, and construct quantum spinor representations of $U_q(\hat{\frak o}(N))$.
We classify all total orders having a certain convex property on the positive root system of an arbitrary untwisted affine Lie algebra ${\frak g}$. Such total orders are called convex orders and are used to construct convex bases of Poincaré-Birkhoff-Witt type of the upper triangular subalgebra $U_q^+$ of the quantized enveloping algebra $U_q({\frak g})$.
Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $σ$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained from $σ$, and $\widetilde{\mathbf B}$ (resp. $\widetilde{\underline{\mathbf B}}$) the canonical signed basis of ${\mathbf U}_q^-$ (resp. $\underline{\mathbf U}_q^-$). Assume that ${\mathbf U}_q^-$ is simply-laced of finite or affine type. In our previous papers [SZ1, 2], we have proved by an elementary method, that there exists a natural bijection $\widetilde{\math…
We construct a Fock space representation and the action of the two-parameter quantum algebra $U_{r,s}(\frak{gl}_{\infty})$ using extended Young diagrams. In particular, we obtain an integrable representation of the two-parameter quantum affine algebra of type $C_n^{(1)}$ which is a two-parameter generalization of Kang-Misra-Miwa's realization.
Construction of the diagrammatic version of the affine Temperley-Lieb algebra of type $\widetilde{A_N}$ as a subring of matrices over the Laurent polynomials is given. We move towards geometrical understanding of cellular structure of the Temperley-Lieb algebra. We represent its center as a coordinate ring of the certain affine algebraic variety and describe this variety constructing its desingularization.
In this paper, we explore a canonical connection between the algebra of $q$-difference operators $\widetilde{V}_{q}$, affine Lie algebra and affine vertex algebras associated to certain subalgebra $\mathcal{A}$ of the Lie algebra $\mathfrak{gl}_{\infty}$. We also introduce and study a category $\mathcal{O}$ of $\widetilde{V}_{q}$-modules. More precisely, we obtain a realization of $\widetilde{V}_{q}$ as a covariant algebra of the affine Lie algebra $\widehat{\mathcal{A}^{*}}$, where $\mathcal{A}^{*}$ is a 1-dimensional central extension of $\mathcal{A}$. We prove that restricted $\widetilde{V_…
Lie bialgebra structures on the extended affine Lie algebra $\widetilde{sl_2(\mathbb{C}_q)}$ are investigated. In particular, all Lie bialgebra structures on $\widetilde{sl_2(\mathbb{C}_q)}$ are shown to be triangular coboundary. This result is obtained by employing some techniques, which may also work for more general extended affine Lie algebras, to prove the triviality of the first cohomology group of $\widetilde{sl_2(\mathbb{C}_q)}$ with coefficients in the tensor product of its adjoint module, namely, $H^1(\widetilde{sl_2(\mathbb{C}_q)},\widetilde{sl_2(\mathbb{C}_q)}\otimes\widetilde{sl_2…
We introduce an analogue of the $q$-Schur algebra associated to Coxeter systems of type $\hat A_{n-1}$. We give two constructions of this algebra. The first construction realizes the algebra as a certain endomorphism algebra arising from an affine Hecke algebra of type $\hat A_{r-1}$, where $n \geq r$. This generalizes the original $q$-Schur algebra as defined by Dipper and James, and the new algebra contains the ordinary $q$-Schur algebra and the affine Hecke algebra as subalgebras. Using this approach we can prove a double centralizer property. The second construction realizes the affine $q$…
This is an extension of quantum spinor construction in \cite{DF2}. We define quantum affine Clifford algebras based on the tensor category and the solutions of q-KZ equations, construct quantum spinor representations of $U_q(\hat{\frak gl}(n))$ and explain classical and quantum boson-fermion correspondence.
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 establish the $Q \widetilde{Q}$-systems for the twisted quantum affine algebras that were conjectured in arXiv:1606.05301. We develop the representation theory of Borel subalgebra of twisted quantum affine algebras and we construct their prefundamental representations. We also propose a general conjecture on the relations between twisted and non-twisted types. We prove this conjecture for some particular classes of representations, including prefundamental representations.
This paper is the first in a series. The main goal of the series is to present a geometric construction of certain remarkable tensor categories arising from quantum groups coresponding to the value of deformation parameter $q$ equal to a root of unity. In the present paper we study perverse sheaves over a complex affine space which are smooth along the stratification determined by a finite arrangement of complex affine hyperplanes defined by real equations. In particular, we construct explicitely (in terms of combinatorial data) complexes computing cohomology of Goresky-MacPherson extensions o…
In this paper, we give a finite number of defining relations satisfied by a finite number of generators for the elliptic Lie algebras and superalgebras ${\frak g}_R$ with rank $\geq 2$. Here the $R$'s denote the reduced and non-reduced elliptic root systems with rank $\geq 2$. We also show that if ${\cal L}$ is an extended affine Lie algebra (EALA) whose non-isotropic roots form the $R$, then there exists a natural homomorphism ${\cal F}:{\frak g}_R \to{\cal L}$, which also give a universal central extension (UCE) surjective map from $[{\frak g}_R,{\frak g}_R]$ to the core of ${\cal L}$. (More…
In this paper, we explore natural connections among trigonometric Lie algebras, (general) affine Lie algebras, and vertex algebras. Among the main results, we obtain a realization of trigonometric Lie algebras as what were called the covariant algebras of the affine Lie algebra $\widehat{\mathcal{A}}$ of Lie algebra $\mathcal{A}=\frak{gl}_{\infty}\oplus\frak{gl}_{\infty}$ with respect to certain automorphism groups. We then prove that restricted modules of level $\ell$ for trigonometric Lie algebras naturally correspond to equivariant quasi modules for the affine vertex algebras $V_{\widehat{\…
The affine quantum Schur algebra is a certain important infinite dimensional algebra whose representation theory is closely related to that of quantum affine $\frak{gl}_n$. Finite dimensional irreducible modules for the affine quantum Schur algebra ${\mathcal S}_{\vartriangle}(n,r)_{v}$ were classified in \cite{DDF}, where $v\in{\mathbb C}^*$ is not a root of unity. We will classify blocks of the affine quantum Schur algebra ${\mathcal S}_{\vartriangle}(n,r)_{v}$ in this paper.
Recently, Lu and Wang formulated a Drinfeld type presentation for $\imath$quantum group $\widetilde{\mathbf U}^\imath$ arising from quantum symmetric pairs of split affine ADE type. In this paper, we generalize their results by establishing a current presentation for $\widetilde{\mathbf U}^\imath$ of arbitrary split affine type.
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.
Let $V$ be a strongly regular vertex operator algebra and let $\frak{ch}_V$ be the space spanned by the characters of the irreducible $V$-modules.\ It is known that $\frak{ch}_V$ is the space of solutions of a so-called \emph{modular linear differential equation (MLDE)}.\ In this paper we obtain a near-classification of those $V$ for which the corresponding MLDE is irreducible and monic of order $2$.\ As a consequence we derive the complete classification when $V$ has exactly two simple modules.\ It turns out that $V$ is either one of four affine Kac-Moody algebras of level $1$, or the Yang-Le…
In this paper, we continue the study on toroidal vertex algebras initiated in \cite{LTW}, to study concrete toroidal vertex algebras associated to toroidal Lie algebra $L_{r}(\hat{\frak{g}})=\hat{\frak{g}}\otimes L_r$, where $\hat{\frak{g}}$ is an untwisted affine Lie algebra and $L_r=$\mathbb{C}[t_{1}^{\pm 1},\ldots,t_{r}^{\pm 1}]$. We first construct an $(r+1)$-toroidal vertex algebra $V(T,0)$ and show that the category of restricted $L_{r}(\hat{\frak{g}})$-modules is canonically isomorphic to that of $V(T,0)$-modules.Let $c$ denote the standard central element of $\hat{\frak{g}}$ and set $S…
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.
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.
We consider the quantum affine vertex algebra $\mathcal{V}_{c}(\mathfrak{gl}_N)$ associated with the rational $R$-matrix, as defined by Etingof and Kazhdan. We introduce certain subalgebras $\textrm{A}_c (\mathfrak{gl}_N)$ of the completed double Yangian $\widetilde{\textrm{DY}}_{c}(\mathfrak{gl}_N)$ at the level $c\in\mathbb{C}$, associated with the reflection equation, and we employ their structure to construct examples of quasi $\mathcal{V}_{c}(\mathfrak{gl}_N)$-modules. Finally, we use the quasi module map, together with the explicit description of the center of $\mathcal{V}_{c}(\mathfrak{…
Let $C$ be a symmetrizable generalized Cartan Matrix, and $q$ an indeterminate. ${\fg}(C)$ is the Kac-Moody Lie algebra and $U=U_q({\fg}(C))$ the associated quantum enveloping algebra over $ k={\Bbb Q}(q)$. The quantum function algebra ${\Bbb C}_{q}[G]$ is defined as a suitable $U$-bisubalgebra of the dual space $\hom_{k}(U,k)$ which can be described using matrix elements of integrable $U$-modules. For $\fg$ affine, the highest weight modules of $C_q[G]$ are constructed and, assuming a minimality condition, their (unitarizable) irreducible quotients are shown to be in a 1-1 correspondence with…
Let $U_q(\frak{g})$ a the quantum affine algebra of type $A_n^{(1)}$, $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, $B_n^{(1)}$, $D_n^{(1)}$ and $D_{n+1}^{(2)}$, and let $\mathcal{F}(Λ)$ be the Fock space representation for a level 1 dominant integral weight $Λ$. Using the crystal basis of $\mathcal{F}(Λ)$ and its characterization in terms of abacus, we construct an explicit bijection between the set of weight vectors in $\mathcal{F}(Λ)_{λ-mδ}$ ($m\geq 0$) for a maximal weight $λ$ and the set of certain ordered sequences of partitions. As a corollary, we obtain the string function of the basic representat…
Let $Q$ be the affine quiver of type $\widetilde{A}_{2n-1,1}$ and $\mathcal{A}_{q}(Q)$ be the quantum cluster algebra associated to the valued quiver $(Q,(2,2,\dots,2))$. We prove some cluster multiplication formulas, and deduce that the cluster variables associated with vertices of $Q$ satisfy a quantum analogue of the constant coefficient linear relations. We then construct two bar-invariant $\mathbb{Z}[q^{\pm\frac{1}{2}}]$-bases $\mathcal{B}$ and $\mathcal{S}$ of $\mathcal{A}_{q}(Q)$ consisting of positive elements, and prove that $\mathcal{B}$ is an atomic basis.
We prove the irreducibility of the universal non-degenerate Whittaker modules for the affine Lie algebra $\widehat{sl_2}$ of type $A_1^{(1)}$ with noncritical level which are also irreducible Whittaker modules over $\widetilde{sl_2} =\widehat{sl_2} + {\Bbb C} d $ with the same Whittaker function and central charge. We have to modulo a central character for ${sl_2}$ to obtain irreducible degenerate Whittaker $\widehat{sl_2} $-modules with noncritical level. In the case of critical level the universal Whittaker module is reducible. We prove that the quotient of universal Whittaker $\widehat{sl_2…
We will give a representation-theoretic proof for the multiplication formula in the Ringel-Hall algebra ${\frak H}_Δ(n)$ of a cyclic quiver $Δ(n)$ given in \cite[Thm~4.5]{DuFu2015quantum}. As a first application, we see immediately the existence of Hall polynomials for cyclic quivers, a fact established in \cite{Guo1995hallpoly} and \cite{Ringel1993composition}, and derive a recursive formula to compute them. We will further use the formula and the construction of certain monomial base for ${\mathfrak H}_Δ(n)$ given in \cite{DengDuXiao2007generic}, together with the double Ringel--Hall algebra…
Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the critical cohomology of the stack of representations of $(Q,W)$. Special cases of this construction are related to work of Nakajima, Varagnolo, Schiffmann-Vasserot, Maulik-Okounkov, Yang-Zhao etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $\left(\widetilde{Q},\widetilde{W}\right)$ whose CoHA is conjecturally the positive half of the Maulik-Okounkov Yangian $Y_{\text{MO}}(\mathfrak{g}_Q)$. For a quiver with potential …
Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the cohomology of the stack of representations of $(Q,W)$. As shown by Davison-Meinhardt, this algebra comes with a filtration whose associated graded algebra is supercommutative. A special case of this construction is related to work of Nakajima, Varagnolo, Maulik-Okounkov etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $(\widetilde{Q},\widetilde{W})$ for which the CoHA is conjecturally the positive half of the Yangian …
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.…
