The work is devoted to a probably new connection between deformed Virasoro algebra and quantum $\widehat{\mathfrak{sl}}_2$. We give an explicit realization of Virasoro current via vertex operators of level 1 integrable representation of $\widehat{\mathfrak{sl}}_2$. The same is done for a twisted version of deformed Virasoro algebra.
We introduce the quantum determinant for the elliptic quantum algebra $\mathcal{A}_{q,p}(\mathfrak{\widehat{gl}}_N)$ and prove that it generates the center of this algebra.
We discuss the quantization of the $\widehat{\mathfrak{sl}}_2$ coset vertex operator algebra $\mathcal{W}D(2,1;α)$ using the bosonization technique. We show that after quantization there exist three families of commuting integrals of motion coming from three copies of the quantum toroidal algebra associated to ${\mathfrak{gl}}_2$.
We study embeddings of the simple admissible affine vertex algebras $V_k(sl(2))$ and $V_k(osp(1,2))$, $k \notin {\Bbb Z}_{\ge 0}$, into the tensor product of rational Virasoro and $N=1$ Neveu-Schwarz vertex algebra with lattice vertex algebras. We prove that the admissible affine vertex algebra $V_k(sl(2))$ can be embedded into vertex algebra $L^{Vir} (c_{p,p'}, 0) \otimes Π(0)$ where $L^{Vir} (c_{p,p'}, 0) $ is suitable minimal Virasoro vertex algebra and $Π(0)$ is a vertex algebra of lattice type. By using these realizations we construct a family of weight, logarithmic and Whittaker $\wideha…
We put forward the exact version of two-parameter generating functions with $τ$-invariance, which allows us to give a unified and inherent definition for the Drinfeld realization of two-parameter quantum affine algebras for all the untwisted types. As verification, we first construct their level-one vertex representations of $U_{r,s}(\widehat{\mathfrak{g}})$ for simply-laced types, which in turn well-detect the effectiveness of our definitions both for $(r,s)$-generating functions and $(r,s)$-Drinfeld realization in the framework of establishing the two-parameter vertex representation theory.
In this paper, Lie bialgebra structures on generalized Heisenberg-Virasoro algebra $\mathfrak{L}$ are considered. Also, $H^1({\mathfrak{L}} ,\mathfrak{L}\bigotimes\mathfrak{L})$ is given explicitly. Moreover, it is proved that all Lie bialgebra structure on centerless generalized Heisenberg-Virasoro algebra $\bar{\mathfrak{L}}$ are coboundary triangular.
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$.
We study the commutant of the vertex operator algebra $\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(4,0)$ in the cyclic permutation orbifold model $(\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes 4})^τ$ with $τ=(1\,2\,3\,4)$. It is shown that the commutant is isomorphic to a ${\mathbb Z}_2\times{\mathbb Z}_2$-orbifold model of a tensor product of two lattice type vertex operator algebras of rank one.
We prove an analogue of the MacMahon Master Theorem for the right quantum superalgebras. In particular, we obtain a new and simple proof of this theorem for the right quantum algebras. In the super case the theorem is then used to construct higher order Sugawara operators for the affine Lie superalgebra $\widehat{\mathfrak{gl}}(m|n)$ in an explicit form. The operators are elements of a completed universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$ at the critical level. They occur as the coefficients in the expansion of a noncommutative Berezinian and as the traces of powers of gener…
We consider the Whittaker modules $M_{1}(λ,μ)$ for the Weyl vertex algebra $M$, constructed in arXiv:1811.04649, where it was proved that these modules are irreducible for each finite cyclic orbifold $M^{\Bbb Z_n}$. In this paper, we consider the modules $M_{1}(λ,μ)$ as modules for the ${\Bbb Z}$-orbifold of $M$, denoted by $M^0$. $M^0$ is isomorphic to the vertex algebra $\mathcal W_{1+\infty, c=-1} = \mathcal M(2) \otimes M_1(1)$ which is the tensor product of the Heisenberg vertex algebra $M_1(1)$ and the singlet algebra $\mathcal M(2)$. Furthermore, these modules are also modules of the Li…
We consider imaginary Verma modules for quantum affine algebra $U_q(\hat{\mathfrak{sl}(2)})$ and construct Kashiwara type operators and the Kashiwara algebra $\mathcal K_q$. We show that a certain quotient $\mathcal N_q^-$ of $U_q(\hat{\mathfrak{sl}(2)})$ is a simple $\mathcal K_q$-module.
The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $κ$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=κ^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which d…
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.
Using the theory of vertex operator algebras and intertwining operators, we obtain presentations for the principal subspaces of all the standard $\widehat{\goth{sl}(3)}$-modules. Certain of these presentations had been conjectured and used in work of Calinescu to construct exact sequences leading to the graded dimensions of certain principal subspaces. We prove the conjecture in its full generality for all standard $\widehat{\goth{sl}(3)}$-modules. We then provide a conjecture for the case of $\widehat{\goth{sl}(n+1)}$.
Using completions of certain universal enveloping algebras, we provide a natural setting for families of defining relations for the principal subspaces of standard modules for untwisted affine Lie algebras. We also use the theory of vertex operator algebras and intertwining operators to construct exact sequences among principal subspaces of certain standard $\widehat{\mathfrak{sl}(n)}$-modules, $n \ge 3$. As a consequence, we obtain the multigraded dimensions of the principal subspaces $W(k_1Λ_1 + k_2 Λ_2)$ and $W(k_{n-2}Λ_{n-2} + k_{n-1} Λ_{n-1})$. This generalizes earlier work by Calinescu o…
Two Homomorphisms from the affine Yangian associated with $\widehat{\mathfrak{sl}}(n)$ to the affine Yangian associated with $\widehat{\mathfrak{sl}}(n+1)$
The fractional level models are (logarithmic) conformal field theories associated with affine Kac-Moody (super)algebras at certain levels $k \in \mathbb{Q}$. They are particularly noteworthy because of several longstanding difficulties that have only recently been resolved. Here, Wakimoto's free field realisation is combined with the theory of Jack symmetric functions to analyse the fractional level $\widehat{\mathfrak{sl}}(2)$ models. The first main results are explicit formulae for the singular vectors of minimal grade in relaxed Wakimoto modules. These are closely related to the minimal gra…
In [Kyushu J. Math. 64 (2010), 81-144, arXiv:0904.2889], it is discussed that a certain subalgebra of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$ controls the second kind TD-algebra of type I (the degenerate $q$-Onsager algebra). The subalgebra, which we denote by $U'_q(\widehat{\mathfrak{sl}}_2)$, is generated by $e_0^+$, $e_1^\pm$, $k_i^{\pm1}$ $(i=0,1)$ with $e^-_0$ missing from the Chevalley generators $e_i^\pm$, $k_i^{\pm1}$ $(i=0,1)$ of $U_q(\widehat{\mathfrak{sl}}_2)$. In this paper, we determine the finite-dimensional irreducible representations of $U'_q(\widehat{\mathf…
We construct embeddings of $\widehat{\mathfrak{sl}}_2$ in lattice vertex algebras by composing the Wakimoto realization with the Friedan-Martinec-Shenker bosonization. The Kac-Wakimoto hierarchy then gives rise to two new hierarchies of integrable, non-autonomous, non-linear partial differential equations. A new feature of our construction is that it works for any value of the central element of $\widehat{\mathfrak{sl}}_2$; that is, the level becomes a parameter in the equations.
For the cyclic group $\mathbb{Z}_3$ and positive integer $k$, we study the representations of the orbifold vertex operator algebra $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{\mathbb{Z}_3}$. All the irreducible modules for $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{\mathbb{Z}_3}$ are classified and constructed explicitly. Quantum dimensions and fusion rules for the orbifold vertex operator algebra $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{\mathbb{Z}_3}$ are completely determined.
Let $\mathcal{O}_{25}$ be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge $25$ whose composition factors are the irreducible quotients of reducible Verma modules. We show that $\mathcal{O}_{25}$ is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian $3$-cocycle twist of the category of finite-dimensional $\mathfrak{sl}_2$-modules. We also show that this $\mathfrak{sl}_2$-type subcategory is braid-reversed tensor equivalent to a similar category for the Vir…
We study the ODE/IM correspondence for all states of the quantum $\widehat{\mathfrak{g}}$-KdV model, where $\widehat{\mathfrak{g}}$ is the affinization of a simply-laced simple Lie algebra $\mathfrak{g}$. We construct quantum $\widehat{\mathfrak{g}}$-KdV opers as an explicit realization of the class of opers introduced by Feigin and Frenkel, which are defined by fixing the singularity structure at $0$ and $\infty$, and by allowing a finite number of additional singular terms with trivial monodromy. We prove that the generalized monodromy data of the quantum $\widehat{\mathfrak{g}}$-KdV opers s…
We construct vertex algebraic intertwining operators among certain generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$ and calculate the corresponding fusion rules. Additionally, we show that under some conditions these intertwining operators descend to intertwining operators among one generalized Verma module and two (generally non-standard) irreducible modules. Our construction relies on the irreducibility of the maximal proper submodules of generalized Verma modules appearing in the Garland-Lepowsky resolutions of standard $\widehat{\mathfrak{sl}(2,\mathbb{C})}$-modules. W…
In their seminal work J. Lepowsky and R. L. Wilson gave a vertex-operator theoretic interpretation of Gordon-Andrews-Bressoud's generalization of Rogers-Ramanujan combinatorial identities, by constructing bases of vacuum spaces for the principal Heisenberg subalgebra of standard $\widehat{\mathfrak{sl}}_{2}$-modules, parametrized with partitions satisfying certain difference 2 conditions. In this paper we define quasi-particles in the principal picture of $\widehat{\mathfrak{sl}}_{2}$ and construct quasi-particle monomial bases of standard $\widehat{\mathfrak{sl}}_{2}$-modules for which princi…
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 classify Jet modules for the Lie (super)algebras $\mathfrak{L}=W\ltimes(\mathfrak{g}\otimes\mathbb{C}[t,t^{-1}])$, where $W$ is the Witt algebra and $\mathfrak{g}$ is a Lie superalgebra with an even diagonlizable derivation. Then we give a concept method to classify all simple cuspidal modules for $\mathfrak{L}$ and the map superalgebras, which are of the form $\mathfrak{L}\otimes R$, where $R$ is a Noetherian unital supercommutative associative superalgebra.
In this paper, we introduce an algebra $\mathcal{H}$ from a subspace lattice with respect to a fixed flag which contains its incidence algebra as a proper subalgebra. We then establish a relation between the algebra $\mathcal{H}$ and the quantum affine algebra $U_{q^{1/2}}(\widehat{\mathfrak{sl}}_2)$, where $q$ denotes the cardinality of the base field. It is an extension of the well-known relation between the incidence algebra of a subspace lattice and the quantum algebra $U_{q^{1/2}}(\mathfrak{sl}_2)$. We show that there exists an algebra homomorphism from $U_{q^{1/2}}(\widehat{\mathfrak{sl}…
In this article, we introduce a completion $\widehat{U}^+_v(\mathcal{L}\mathfrak{g})$ of the positive half of the quantum affinization $U^+_v(\mathcal{L}\mathfrak{g})$ of a symmetrizable Kac-Moody algebra $\mathfrak{g}$. On $\widehat{U}^+_v(\mathcal{L}(\mathfrak{g}))$, we define a new "bar-involution" and construct the analogue Kashiwara's operators. We conjecture that the resulting pair $(\widehat{\mathcal{L}},\widehat{\mathcal{B}})$ is a crystal basis which provides the existence of the "canonical basis" on the (completion of the) of the positive half of the quamtum affinization.
We derive the generalization of the Knizhnik-Zamolodchikov equation (KZE) associated with the Ding-Iohara-Miki (DIM) algebra U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1). We demonstrate that certain refined topological string amplitudes satisfy these equations and find that the braiding transformations are performed by the R-matrix of U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1). The resulting syste is the uplifting of the \widehat{\mathfrak{u}}_1 Wess-Zumino-Witten model. The solutions to the (q,t)-KZE are identified with the (spectral dual of) building blocks of the Nekrasov partition functi…
In this article we use a parametrized version of the FRT construction to construct two new coquasitriangular Hopf algebras. The first one, $\widehat{SL_q(2)}$, is a quantization of the coordinate ring on affine $SL(2)$. We show that there is a duality relation between this object and the more well-known $U_q(\widehat{\mathfrak{sl}_2})$. We then build certain irreducible comodules of this Hopf algebra and prove an irreducibility criterion for their tensor product in the spirit of Chari and Pressley. The second object is built from a solution of the parametrized Yang-Baxter equation with paramet…
The loop super-Virasoro conformal superalgebra $\mathfrak{cls}$ associated with the loop super-Virasoro algebra is constructed in the present paper. The conformal superderivation algebra of $\mathfrak{cls}$ is completely determined, which is shown to consist of inner superderivations. And nontrivial free and free $\mathbb{Z}$-graded $\mathfrak{cls}$-modules of rank two are classified. We also give a classification of irreducible free $\mathfrak{cls}$-modules of rank two and all irreducible submodules of each free $\mathbb{Z}$-graded $\mathfrak{cls}$-module of rank two.
The positive part $U^+_q$ of $U_q(\widehat{\mathfrak{sl}}_2)$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. We introduce a PBW basis for $U^+_q$, said to be alternating. Each element of this PBW basis commutes with exactly one of $A$, $B$, $qAB-q^{-1}BA$. This gives three types of PBW basis elements; the elements of each type mutually commute. We interpret the alternating PBW basis in terms of a $q$-shuffle algebra associated with affine $\mathfrak{sl}_2$. We show how the alternating PBW basis is related to the PBW basis for $U^+_q$ found by Damiani i…
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 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…
The positive part $U^+_q$ of $U_q({\widehat {\mathfrak{sl}}}_2)$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. In 1993 I. Damiani obtained a PBW basis for $U^+_q$, consisting of some elements $\lbrace E_{nδ+α_0}\rbrace_{n=0}^\infty$, $\lbrace E_{nδ+α_1}\rbrace_{n=0}^\infty$, $\lbrace E_{nδ}\rbrace_{n=1}^\infty$ that are defined recursively. Our goal is to describe these elements in closed form. We achieve this goal using Catalan words and a $q$-shuffle algebra.
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…
In this paper, we classify all simple jet modules for the Neveu-Schwarz algebra $\widehat{\mathfrak{k}}$ and its contact subalgebra $\mathfrak{k}^+$. Based on these results, we give a classification of simple Harish-Chandra modules for $\widehat{\mathfrak{k}}$ and $\mathfrak{k}^+$.
We establish a natural connection of the $q$-Virasoro algebra $D_{q}$ introduced by Belov and Chaltikian with affine Kac-Moody Lie algebras. More specifically, for each abelian group $S$ together with a one-to-one linear character $χ$, we define an infinite-dimensional Lie algebra $D_{S}$ which reduces to $D_{q}$ when $S=\mathbb{Z}$. Guided by the theory of equivariant quasi modules for vertex algebras, we introduce another Lie algebra ${\mathfrak{g}}_{S}$ with $S$ as an automorphism group and we prove that $D_{S}$ is isomorphic to the $S$-covariant algebra of the affine Lie algebra $\widehat{…
We give a proof of the conjecture by Belavin, Bershtein and Tarnopolsky, which claims that a bosonization of singular vectors of $N=1$ super Virasoro algebra can be identified with Uglov (Jack $\mathfrak{gl}_p$) symmetric functions with $p=2$.
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}$.…
We consider two different methods of associating vertex algebraic structures with the level $1$ principal subspaces for $U_q (\widehat{\mathfrak{sl}}_2)$. In the first approach, we introduce certain commutative operators and study the corresponding vertex algebra and its module. We find combinatorial bases for these objects and show that they coincide with the principal subspace bases found by B. L. Feigin and A. V. Stoyanovsky. In the second approach, we introduce the, so-called nonlocal $\underline{\mathsf{q}}$-vertex algebras, investigate their properties and construct the nonlocal $\underl…