We define the categories of weight-finite modules over the type $\mathfrak a_1$ quantum affine algebra $\dot{\mathrm{U}}_q(\mathfrak a_1)$ and over the type $\mathfrak a_1$ double quantum affine algebra $\ddot{\mathrm{U}}_q(\mathfrak a_1)$ that we introduced in a previous paper. In both cases, we classify the simple objects in those categories. In the quantum affine case, we prove that they coincide with the simple finite-dimensional $\dot{\mathrm{U}}_q(\mathfrak a_1)$-modules which were classified by Chari and Pressley in terms of their highest (rational and $\ell$-dominant) $\ell$-weights or, equivalently, by their Drinfel'd polynomials. In the double quantum affine case, we show that simple weight-finite modules are classified by their ($t$-dominant) highest $t$-weight spaces, a family of simple modules over the subalgebra $\ddot{\mathrm{U}}_q^0(\mathfrak a_1)$ of $\ddot{\mathrm{U}}_q(\mathfrak a_1)$ which is conjecturally isomorphic to a split extension of the elliptic Hall algebra. The proof of the classification, in the double quantum affine case, relies on the construction of a double quantum affine analogue of the evaluation modules that appear in the quantum affine setting.
We conjecture an explicit bound on the prime characteristic of a field, under which the Weyl modules of affine $\mathfrak{sl}_2$ and the minimal series modules of Virasoro algebra remain irreducible, and Goddard-Kent-Olive coset construction for affine $\mathfrak{sl}_2$ is valid.
We establish an explicit embedding of a quantum affine $\mathfrak{sl}_n$ into a quantum affine $\mathfrak{sl}_{n+1}$. This embedding serves as a common generalization of two natural, but seemingly unrelated, embeddings, one on the quantum affine Schur algebra level and the other on the non-quantum level. The embedding on the quantum affine Schur algebras is used extensively in the analysis of canonical bases of quantum affine $\mathfrak{sl}_n$ and $\mathfrak{gl}_n$. The embedding on the non-quantum level is used crucially in a work of Riche and Williamson on the study of modular representation…
We study the classical limit of a family of irreducible representations of the quantum affine algebra associated to $\mathfrak{sl}_{n+1}$. After a suitable twist, the limit is a module for $\mathfrak{sl}_{n+1}[t]$, i.e., for the maximal standard parabolic subalgebra of the affine Lie algebra. Our first result is about the family of prime representations introduced in the context of a monoidal categorification of cluster algebras. We show that these representations specialize (after twisting), to $\mathfrak{sl}_{n+1}[t]$--stable, prime Demazure modules in level two integrable highest weight rep…
For an admissible affine vertex algebra $V_k(\mathfrak{g})$ of type $A$, we describe a new family of relaxed highest weight representations of $V_k(\mathfrak{g})$. They are simple quotients of representations of the affine Kac-Moody algebra $\widehat{\mathfrak{g}}$ induced from the following $\mathfrak{g}$-modules: 1) generic Gelfand-Tsetlin modules in the principal nilpotent orbit, in particular all such modules induced from $\mathfrak{sl}_2$; 2) all Gelfand-Tsetlin modules in the principal nilpotent orbit which are induced from $\mathfrak{sl}_3$; 3) all simple Gelfand-Tsetlin modules over $\…
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…
We establish a multiplication formula for a tridiagonal standard basis element in the idempotented coideal subalgebras of quantum affine $\mathfrak{gl}_n$ arising from the geometry of affine partial flag varieties of type $C$. We apply this formula to obtain the stabilization algebras $\dot{\mathbf K}^{\mathfrak{c}}_n$, $\dot{\mathbf K}^{\jmath \imath}_{\mathfrak{n}}$, $\dot{\mathbf K}^{\imath \jmath}_{\mathfrak{n}}$ and $\dot{\mathbf K}^{\imath \imath}_η$, which are idempotented coideal subalgebras of quantum affine $\mathfrak{gl}_n$. The symmetry in the formula leads to an isomorphism of the…
Let $\mathfrak{g}$ be an affine Kac-Moody algebra with symmetric Cartan datum, $\mathfrak{n^{+}}$ be the maximal nilpotent subalgebra of $\mathfrak{g}$. By the Hall algebra approach, we construct integral bases of the $\mathbb{Z}$-form of the enveloping algebra $U(\mathfrak{n^{+}})$. In particular, the representation theory of tame quivers is essentially used in this paper.
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$.
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C}…
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 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 $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $\mathcal{C}^0_{\mathfrak{g}}$ be Hernandez-Leclerc's category. For a duality datum $\mathcal{D}$ in $\mathcal{C}^0_{\mathfrak{g}}$, we denote by $\mathcal{F}_{\mathcal{D}}$ the quantum affine Weyl-Schur duality functor. We give sufficient conditions for a duality datum $\mathcal{D}$ to provide the functor $\mathcal{F}_{\mathcal{D}}$ sending simple modules to simple modules. Then we introduce the notion of cuspidal modules in $\mathcal{C}^0_{\mathfrak{g}}$, and show that all simple modules in $\mathcal{C}…
We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver $\overr{Q}$ and of the category of coherent sheaves on ${\mathbb P}^1$. Using this approach, we show that the Drinfeld--Beck isomorphism for the quantized enveloping algebra $U_v(\hat{\mathfrak{sl}}_2)$ is a corollary of an equivalence between the derived categories $D^b\bigl(\Rep(\overr{Q})\bigr)$ and $D^b\bigl(\Coh({\mathbb P}^1)\bigr)$. This technique also allows to reprove several technical results on the integral form of $U_v(\hat{\mathfrak{sl}}_2)$.
For a finite-dimensional simple Lie algebra $\mathfrak{g}$, we use the vertex tensor category theory of Huang and Lepowsky to identify the category of standard modules for the affine Lie algebra $\hat{\mathfrak{g}}$ at a fixed level $\ell\in\mathbb{N}$ with a certain tensor category of finite-dimensional $\mathfrak{g}$-modules. More precisely, the category of level $\ell$ standard $\hat{\mathfrak{g}}$-modules is the module category for the simple vertex operator algebra $L_{\hat{\mathfrak{g}}}(\ell,0)$, and as is well known, this category is equivalent as an abelian category to $\mathbf{D}(\ma…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra with an indeterminate $q$ and let $\mathscr{C}_{\mathfrak{g}}$ be the category of finite-dimensional integrable $U_q'(\mathfrak{g})$-modules. We write $\mathscr{C}_{\mathfrak{g}}^0$ for the monoidal subcategory of $\mathscr{C}_{\mathfrak{g}}$ introduced by Hernandez-Leclerc. In this paper, we associate a simply-laced finite type root system to each quantum affine algebra $U_q'(\mathfrak{g})$ in a natural way, and show that the block decompositions of $\mathscr{C}_{\mathfrak{g}}$ and $\mathscr{C}_{\mathfrak{g}}^0$ are parameterized by the lat…
Notes on a homomorphism from the affine Yangian associated with $\hat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$
We introduce a category $\widehat{\mathcal{O}}_{\rm osc}$ of $q$-oscillator representations of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_n)$. We show that $\widehat{\mathcal{O}}_{\rm osc}$ has a family of irreducible representations, which naturally corresponds to finite-dimensional irreducible representations of quantum affine algebra of untwisted affine type $A$. It is done by constructing a category of $q$-oscillator representations of the quantum affine superalgebra of type $A$, which interpolates these two family of irreducible representations. The category $\widehat{\mathca…
Let $\mathfrak g$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$ and ${\mathfrak g}^L$ be its Langlands dual. It is conjectured by Kashiwara et al.([16]) that for each $k \in I \setminus \{0\}$ the affine Lie algebra $\mathfrak g$ has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of certain coherent family of perfect crystals for ${\mathfrak g}^L$. Motivated by this conjecture we construct a positive geometric crystal for the affine Lie algebra ${\mathfrak g}= A^{(1)}_n$ for each Dynkin index $k\in I\setminus\{0\}$ and show that its u…
Given a finite-dimensional reductive Lie algebra $\mathfrak{g}$ equipped with a nondegenerate, invariant, symmetric bilinear form $B$, let $V^k(\mathfrak{g},B)$ denote the universal affine vertex algebra associated to $\mathfrak{g}$ and $B$ at level $k$. Let $\mathcal{A}^k$ be a vertex (super)algebra admitting a homomorphism $V^k(\mathfrak{g},B)\rightarrow \mathcal{A}^k$. Under some technical conditions on $\mathcal{A}^k$, we characterize the coset $\text{Com}(V^k(\mathfrak{g},B),\mathcal{A}^k)$ for generic values of $k$. We establish the strong finite generation of this coset in full generali…
Arakawa, Suzuki and Tsuchiya constructed a correspondence between certain modules of the trigonometric Cherednik algebra $\mathfrak{C}_N$ depending on a parameter $κ\in\mathbb{C}$, and certain modules of the affine Lie algebra $\widehat{\mathfrak{sl}}_m$ of level $κ-m$. We give a detailed proof of this correspondence by working with the affine Lie algebra $\widehat{\mathfrak{gl}}_m$ alongside of $\widehat{\mathfrak{sl}}_m$. We also relate this construction to a correspondence between certain modules of the degenerate affine Hecke algebra $\mathfrak{H}_N$ and all modules of $\mathfrak{sl}_m$ or…
We investigate in detail relationships between the set ${\mathfrak B}^\infty$ of all infinite ``biconvex'' sets in the positive root system $Δ_+$ of an arbitrary untwisted affine Lie algebra ${\mathfrak g}$ and the set ${\mathcal W}^\infty$ of all infinite ``reduced word'' of the Weyl group of ${\mathfrak g}$. The study is applied to the classification of ``convex orders'' on $Δ_+$ (cf. \cite{kI}), which are indispensable to construct ``convex bases'' of Poincaré-Birkhoff-Witt type of the upper triangular subalgebra $U_q^+$ of the quantized universal enveloping algebra $U_q({\mathfrak g})$. We…
The localized equivariant homology of the quiver variety of type $A_{N-1}^{(1)}$ can be identified with the level one Fock space by assigning a normalized torus fixed point basis to certain symmetric functions, Jack($\mathfrak{gl}_N$) symmetric functions introduced by Uglov. We show that this correspondence is compatible with actions of two algebras, the Yangian for $\mathfrak{sl}_N$ and the affine Lie algebra $\hat{\mathfrak{sl}}_N$, on both sides. Consequently we obtain affine Yangian action on the Fock space.
We define the double quantum affinization $\ddot{\mathrm{U}}_q(\mathfrak a_1)$ of type $\mathfrak{a}_1$ as a topological Hopf algebra. We prove that it admits a subalgebra $\ddot{\mathrm{U}}_q'(\mathfrak a_1)$ whose completion is (bicontinuously) isomorphic to the completion of the quantum toroidal algebra $\dot{\mathrm{U}}_q(\dot{\mathfrak a}_1)$, defined as the (simple) quantum affinization of the untwisted affine Kac-Moody Lie algebra $\dot{\mathfrak{sl}}_2$ of type $\dot{\mathfrak a}_1$, equipped with a certain topology inherited from its natural $\mathbb Z$-grading. The isomorphism is con…
We construct a four-parameter family of affine Yangian algebras by gluing two copies of the affine Yangian of $\mathfrak{gl}_1$. Our construction allows for gluing operators with arbitrary (integer or half integer) conformal dimension and arbitrary (bosonic or fermionic) statistics, which is related to the relative framing. The resulting family of algebras is a two-parameter generalization of the $\mathcal{N}=2$ affine Yangian, which is isomorphic to the universal enveloping algebra of $\mathfrak{u}(1)\oplus \mathcal{W}^{\mathcal{N}=2}_{\infty}[λ]$. All algebras that we construct have natural …
Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $\mathfrak{g}_{0}$, we define a full subcategory ${\mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U'_q(\mathfrak{g})$-modules, a twisted version of the category ${\mathcal C}_{Q}$ introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur-Weyl duality, we construct an exact faithful KLR-type duality functor ${\mathcal F}_{Q}…
Highest weight modules of the double affine Lie algebra $\widehat{\widehat{\mathfrak{sl}}}_{2}$ are studied under a new triangular decomposition. Singular vectors of Verma modules are determined using a similar condition with horizontal affine Lie subalgebras, and highest weight modules are described under the condition that $c_1>0$ and $c_2=0$.
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.
We give shuffle algebra realization of positive part of quantum affine superalgebra $U_{v}(\widehat{\mathfrak{D}}(2,1;θ))$ associated to any simple root systems. We also determine the shuffle algebra associated to $\widehat{\mathfrak{sl}}(2|1)$ with odd root system when $v$ is a primitive root of unity of even order, generalizing results in \cite{FJMMT03}.
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.
Let $\mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U'_q(\mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(\mathfrak{g}_0)$ on the quantum Grothendieck ring $K_t(\mathfrak{g})$ of Hernandez-Leclerc's category $C_{\mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal autofunctors $\{\mathscr{S}_i\}_{i\in \mathbb{Z}}$ on a localization $T_N$ of the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. Under an isomorphism bet…
We introduce and investigate new invariants on the pair of modules $M$ and $N$ over quantum affine algebras $U_q'(\mathfrak{g})$ by analyzing their associated R-matrices. From new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_q'(\mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.
We introduce a new approach to the study of finite-dimensional representations of the quantum group of the affine Lie superalgebra $\mathrm{L}\mathfrak{gl}_{M|N}=\mathbb{C}[t,t^{-1}]\otimes\mathfrak{gl}_{M|N}$ ($M\neq N$). We explain how the representations of the quantum group of $\mathrm{L}\mathfrak{gl}_{M|N}$ are directly related to those of the quantum affine algebra of type $A$, using an exact monoidal functor called truncation. This can be viewed as an affine analogue of super duality of type $A$.
Two Homomorphisms from the affine Yangian associated with $\widehat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$
We consider an infinite quiver $Q(\mathfrak{g})$ and a family of periodic quivers $Q_m(\mathfrak{g})$ for a finite dimensional simple Lie algebra $\mathfrak{g}$ and $m \in \mathbb{Z}_{>1}$. The quiver $Q(\mathfrak{g})$ is essentially same as what introduced by Hernandez and Leclerc for the quantum affine algebra. We construct the Weyl group $W(\mathfrak{g})$ as a subgroup of the cluster modular group for $Q_m(\mathfrak{g})$, in a similar way as what studied by the author, Ishibashi and Oya, and study its applications to the $q$-characters of quantum non-twisted affine algebras $U_q(\hat{\mathf…
In this paper, for an arbitrary Kac-Moody Lie algebra $\mathfrak g$ and a diagram automorphism $μ$ of $\mathfrak g$ satisfying certain natural linking conditions, we introduce and study a $μ$-twisted quantum affinization algebra $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ of $\mathfrak g$. When $\mathfrak g$ is of finite type, $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ is Drinfeld's current algebra realization of the twisted quantum affine algebra. When $μ=\mathrm{id}$ and $\mathfrak g$ in affine type, $\mathcal U_\hbar\left(\hat{\mathfrak g}_μ\right)$ is the quantum toroidal al…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $\mathcal{C}_{\mathfrak{g}}$ be Hernandez-Leclerc's category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in $\mathcal{C}_{\mathfrak{g}}$. We introduce the notion of a strong (complete) duality datum $D$ and prove that, when $D$ is strong, the induced duality functor $F_D$ sends simple modules to simple modules and preserves the invariants $Λ$ and $Λ^\infty$ introduced by the authors. We next define the reflections $\mathcal{S}_k$ and $\mathcal{S}^{-1}_k$ acting on str…
We define a family of symmetric polynomials $G_{ν,λ}(z_1,\cdots, z_{n+1},q)$ indexed by a pair of dominant integral weights. The polynomial $G_{ν,0}(z,q)$ is the specialized Macdonald polynomial and we prove that $G_{0,λ}(z,q)$ is the graded character of a level two Demazure module associated to the affine Lie algebra $\widehat{\mathfrak{sl}}_{n+1}$. Under suitable conditions on $(ν,λ)$ (which includes the case when $ν=0$ or $λ=0$) we prove that $G_{ν,λ}(z,q)$ is Schur positive and give explicit formulae for them in terms of Macdonald polynomials.
We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length generalized $V$-modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) $\mathfrak{g}$ at level $k$ and the category $KL_k(\mathfrak{g})$ of its finite length generalized modules, we discover several f…
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 show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$.…
The Yangian double $\text{DY}_{\hbar}(\mathfrak{g}_N)$ is introduced for the classical types of $\mathfrak{g}_N=\mathfrak{o}_{2n+1}$, $\mathfrak{sp}_{2n}$, $\mathfrak{o}_{2n}$. Via the Gauss decomposition of the generator matrix, the Yangian double is given the Drinfeld presentation. In addition, bosonization of level $1$ realizations for the Yangian double $\text{DY}_{\hbar}(\mathfrak{g}_N)$ of non-simply-laced types are explicitly constructed.
We construct the twisted Fock module of quantum toroidal $\mathfrak{gl}_1$ algebra with a slope $n'/n$ using vertex operators of quantum affine $\mathfrak{gl}_n$. The proof is based on the $q$-wedge construction of an integrable level-one $U_q(\widehat{\mathfrak{gl}}_n)$-module and the representation theory of double affine Hecke algebra. The results are consistent with Gorsky-Neguţ conjecture (Kononov-Smirnov theorem) on stable envelopes for Hilbert schemes of points in the plane and can be viewed as a manifestation of $(\mathfrak{gl}_1,\mathfrak{gl}_n)$-duality.
Feigin-Stoyanovsky's type subspace $W(Λ)$ of a standard $\tilde{\mathfrak g}$-module $L(Λ)$ is a $\tilde{\mathfrak g}_1$-submodule of $L(Λ)$ generated by the highest-weight vector $v_Λ$, where $\tilde{\mathfrak g}_1$ is a certain commutative subalgebra of $\tilde{\mathfrak g}$. Based on the description of basis of $W(Λ)$ for $\tilde{\mathfrak g}$ of type $C_\ell^{(1)}$, we give a presentation of this subspace in terms of generators and relations $$W(Λ)\simeq U(\tilde{\mathfrak g}_1^-)/J.$$
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…
This paper is a natural continuation of our previous work on conformal embeddings of vertex algebras [6], [7], [8]. Here we consider conformal embeddings in simple affine vertex superalgebra $V_k(\mathfrak g)$ where $\mathfrak g=\mathfrak g_{\bar 0}\oplus \mathfrak g_{\bar 1}$ is a basic classical simple Lie superalgebras. Let $\mathcal V_k (\mathfrak g_{\bar 0})$ be the subalgebra of $V_k(\mathfrak g)$ generated by $\mathfrak g_{\bar 0}$. We first classify all levels $k$ for which the embedding $\mathcal V_k (\mathfrak g_{\bar 0})$ in $V_k(\mathfrak g)$ is conformal. Next we prove that, for a…
The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.
We introduce a sequence of $q$-characters of standard modules of a quantum affine algebra and we prove it has a limit as a formal power series. For $\mathfrak{g}=\hat{\mathfrak{sl}_{2}}$, we establish an explicit formula for the limit which enables us to construct corresponding asymptotical standard modules associated to each simple module in the category $\mathcal{O}$ of a Borel subalgebra of the quantum affine algebra. Finally, we prove a decomposition formula for the limit formula into $q$-characters of simple modules in this category $\mathcal{O}$.
