Let $N_{k} (\g)$ be a vertex operator algebra (VOA) associated to the generalized Verma module for affine Lie algebra of type $A_{\ell -1} ^{(1)}$ or $C_{\ell} ^{(1)}$. We construct a family of ideals $J_{m,n} (\g)$ in $N_{k} (\g)$, and a family $V_{m,n} (\g)$ of quotient VOAs. These families include VOAs associated to the integrable representations, and VOAs associated to admissible representations at half-integer levels investigated in q-alg/9502015. We also explicitly identify the Zhu's algebras $A(V_{m,n} (\g))$ and find a connection between these Zhu's algebras and Weyl algebras.
In this paper, we study Virasoro vertex algebras and affine vertex algebras over a general field of characteristic $p>2$. More specifically, we study certain quotients of the universal Virasoro and affine vertex algebras by ideals related to the $p$-centers of the Virasoro algebra and affine Lie algebras. Among the main results, we classify their irreducible $\mathbb{N}$-graded modules by explicitly determining their Zhu algebras and show that these vertex algebras have only finitely many irreducible $\mathbb{N}$-graded modules and they are $C_2$-cofinite.
We associate elliptic affine Lie algebras with what are called vertex $\C((z))$-algebras and their modules in a certain category. In the course, we construct two families of Lie algebras closely related to elliptic affine Lie algebras.
We give a summary of the theory of (weak) quantum vertex $\C((t))$-algebras and the association of quantum affine algebras with (weak) quantum vertex $\C((t))$-algebras.
In this paper, we study nullity-2 toroidal extended affine Lie algebras in the context of vertex algebras and their $ϕ$-coordinated modules. Among the main results, we introduce a variant of toroidal extended affine Lie algebras, associate vertex algebras to the variant Lie algebras, and establish a canonical connection between modules for toroidal extended affine Lie algebras and $ϕ$-coordinated modules for these vertex algebras. Furthermore, by employing some results of Billig, we obtain an explicit realization of irreducible modules for the variant Lie algebras.
We generalize Feigin and Miwa's construction of extended vertex operator (super)algebras $A_{k}(sl(2))$ for other types of simple Lie algebras. For all the constructed extended vertex operator (super)algebras, irreducible modules are classified, complete reducibility of every module is proved and fusion rules are determined modulo the fusion rules for vertex operator algebras of affine type.
In this note we construct a series of singular vectors in universal affine vertex operator algebras associated to $D_{\ell}^{(1)}$ of levels $n-\ell+1$, for $n \in \Z_{>0}$. For $n=1$, we study the representation theory of the quotient vertex operator algebra modulo the ideal generated by that singular vector. In the case $\ell =4$, we show that the adjoint module is the unique irreducible ordinary module for simple vertex operator algebra $L_{D_{4}}(-2,0)$. We also show that the maximal ideal in associated universal affine vertex algebra is generated by three singular vectors.
We continue a previous study on $Γ$-vertex algebras and their quasimodules. In this paper we refine certain known results and we prove that for any $\Z$-graded vertex algebra $V$ and a positive integer $N$, the category of $V$-modules is naturally isomorphic to the category of quasimodules of a certain type for $V^{\otimes N}$. We also study certain generalizations of twisted affine Lie algebras and we relate such Lie algebras to vertex algebras and their quasimodules, in a way similar to that twisted affine Lie algebras are related to vertex algebras and their twisted modules.
Filtration and gradation of quantum affine vertex algebras
Key Laboratory of Computing and Stochastic Mathematics (Ministry of Education), School of Mathematics and Statistics, Hunan Normal University（湖南师范大学数学与统计学院，计算与随机数学教育部重点实验室）
Drinfeld realisations are constructed for the quantum affine superalgebras of the series ${\rm\mathfrak{osp}}(1|2n)^{(1)}$,${\rm\mathfrak{sl}}(1|2n)^{(2)}$ and ${\rm\mathfrak{osp}}(2|2n)^{(2)}$. By using the realisations, we develop vertex operator representations and classify the finite dimensional irreducible representations for these quantum affine superalgebras.
$q$-vertex operators for quantum affine algebras have played important role in the theory of solvable lattice models and the quantum Knizhnik-Zamolodchikov equation. Explicit constructions of these vertex operators for most level one modules are known for classical types except for type $C_n^{(1)}$, where the level -1/2 have been constructed. In this paper we survey these results for the quantum affine algebras of types $A_n^{(1)}, B_n^{(1)}, C_n^{(1)}$ and $D_n^{(1)}$.
By using the ideas of Feigin and Stoyanovsky and Calinescu, Lepowsky and Milas we introduce and study the principal subspaces associated with the Etingof-Kazhdan quantum affine vertex algebra of integer level $k\geqslant 1$ and type $A_1^{(1)}$. We show that the principal subspaces possess the quantum vertex algebra structure, which turns to the usual vertex algebra structure of the principal subspaces of generalized Verma and standard modules at the classical limit. Moreover, we find their topological quasi-particle bases which correspond to the sum sides of certain Rogers-Ramanujan-type iden…
Let $L_{D_{\ell}}(-\ell +{3/2},0)$ (resp. $L_{B_{\ell}}(-\ell +{3/2},0)$) be the simple vertex operator algebra associated to affine Lie algebra of type $D_{\ell}^{(1)}$ (resp. $B_{\ell}^{(1)}$) with the lowest admissible half-integer level $-\ell + {3/2}$. We show that $L_{D_{\ell}}(-\ell +{3/2},0)$ is a vertex subalgebra of $L_{B_{\ell}}(-\ell +{3/2},0)$ with the same conformal vector. For $\ell =4$, $L_{D_{4}}(-{5/2},0)$ is a vertex subalgebra of three copies of $L_{B_{4}}(-{5/2},0)$ contained in $L_{F_{4}}(-{5/2},0)$, and all five of these vertex operator algebras have the same conformal v…
We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When $\mathfrak{g}=\mathfrak{sl}_2$, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to $\hat{\mathfrak{g}}$, and we identify obstructions to the construction arising from the possible non-existence of …
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…
For any nullity $2$ extended affine Lie algebra $\mathcal{E}$ of maximal type and $\ell\in\mathbb{C}$, we prove that there exist a vertex algebra $V_{\mathcal{E}}(\ell)$ and an automorphism group $G$ of $V_{\mathcal{E}}(\ell)$ equipped with a linear character $χ$, such that the category of restricted $\mathcal{E}$-modules of level $\ell$ is canonically isomorphic to the category of $(G,χ)$-equivariant $ϕ$-coordinated quasi $V_{\mathcal{E}}(\ell)$-modules. Moreover, when $\ell$ is a nonnegative integer, there is a quotient vertex algebra $L_{\mathcal{E}}(\ell)$ of $V_{\mathcal{E}}(\ell)$ modulo…
In this paper, we study a family of infinite-dimensional Lie algebras $\widehat{X}_{S}$, where $X$ stands for the type: $A,B,C,D$, and $S$ is an abelian group, which generalize the $A,B,C,D$ series of trigonometric Lie algebras. Among the main results, we identify $\widehat{X}_{S}$ with what are called the covariant algebras of the affine Lie algebra $\widehat{\mathcal{L}_{S}}$ with respect to some automorphism groups, where $\mathcal{L}_{S}$ is an explicitly defined associative algebra viewed as a Lie algebra. We then show that restricted $\widehat{X}_{S}$-modules of level $\ell$ naturally co…
We give a simple description of the closure of the nilpotent orbits appearing as associated varieties of admissible affine vertex algebras in terms of primitive ideals.
In this paper, we investigate the Lie algebra structures of weight one subspaces of $C_2$-cofinite vertex operator superalgebras. We also show that for any positive integer $k$, vertex operator superalgebras $L_{sl(1|n+1)}(k,0)$ and $L_{osp(2|2n)}(k,0)$ have infinitely many irreducible admissible modules. As a consequence, we give a proof of the fact that $L_{\mathfrak g}(k,0)$ is $C_2$-cofinite if and only if $\mathfrak g$ is either a simple Lie algebra, or $\mathfrak g=osp(1|2n)$, and $k$ is a nonnegative integer. As an application, we show that $L_{G(3)}(1,0)$ is a vertex operator superalge…
We study the vertex algebras associated with modular invariant representations of affine Kac-Moody algebras at fractional levels, whose simple highest weight modules are classified by Joseph's characteristic varieties. We show that an irreducible highest weight representation of a non-twisted affine Kac-Moody algebra at an admissible level k is a module over the associated simple affine vertex algebra if and only if it is an admissible representation whose integral root system is isomorphic to that of the vertex algebra itself. This in particular proves the conjecture of Adamovic and Milas on …
We develop some basic properties such as $p$-centers of affine vertex algebras and free field vertex algebras in prime characteristic. We show that the Wakimoto-Feigin-Frenkel homomorphism preserves the $p$-centers by providing explicit formulas. This allows us to formulate the notion of baby Wakimoto modules, which in particular provides an interpretation in the context of modular vertex algebras for Mathieu's irreducible character formula of modular affine Lie algebras at the critical level.
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.
This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra $K(sl_2,k)$ associated to the integrable highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ is the building block of the general parafermion vertex operator $K(\mathfrak{g},k)$ for any finite dimensional simple Lie algebra $\mathfrak{g}$ and any positive integer $k$. We first classify the irreducible modules of $\mathbb{Z}_{2}$-orbifold of the simple affine vertex operator algebra of type $A_1^{(1)}$ and determine their fusion rul…
Let $L(-{1/2}(l+1),0)$ be the simple vertex operator algebra associated to an affine Lie algebra of type $A_{l}^{(1)}$ with the lowest admissible half-integer level $-{1/2}(l+1)$, for even l. We study the category of weak modules for that vertex operator algebra which are in category $\cal{O}$ as modules for the associated affine Lie algebra. We classify irreducible objects in that category and prove semisimplicity of that category.
In this paper we study a series of vertex operator algebras of integer level associated to the affine Lie algebra $A_{\ell}^{(1)}$. These vertex operator algebras are constructed by using the explicit construction of certain singular vectors in the universal affine vertex operator algebra $N(n-2,0)$ at the integer level. In the case $n=1$ or $l=2$, we explicitly determine Zhu's algebras and classify all irreducible modules in the category $\mathcal{O}$. In the case $l=2$, we show that the vertex operator algebra $N(n-2,0)$ contains two linearly independent singular vectors of the same conforma…
In this paper, we prove the categories of lower bounded twisted modules of positive integer levels for simple vertex operator algebras associated with affine Lie algebras and general automorphisms are semisimple, using the twisted generalization of Zhu's algebra for these vertex operator algebras, constructed in \cite{HY}. We also show that the category of lower bounded twisted modules for a general automorphism is equivalent to the category of lower bounded twisted modules for the corresponding diagram automorphism.
We apply the construction of the universal lower-bounded generalized twisted modules by the author to construct universal lower-bounded and grading-restricted generalized twisted modules for affine vertex (operator) algebras. We prove that these universal twisted modules for affine vertex (operator) algebras are equivalent to suitable induced modules of the corresponding twisted affine Lie algebra or quotients of such induced modules by explicitly given submodules.
We define an integral intertwining operator among modules for a vertex operator algebra to be an intertwining operator which respects integral forms in the modules, and we show that an intertwining operator is integral if it is integral when restricted to generators of the integral forms in the modules. We apply this result to classify integral intertwining operators which respect certain natural integral forms in modules for affine Lie algebra and lattice vertex operator algebras.
We consider the quantum vertex algebra associated with the trigonometric R-matrix in type A as defined by Etingof and Kazhdan. We show that its center is a commutative associative algebra and construct an algebraically independent family of topological generators of the center at the critical level.
We study modularity of the characters of a vertex (super)algebra equipped with a family of conformal structures. Along the way we introduce the notions of rationality and cofiniteness relative to such a family. We apply the results to determine modular transformations of trace functions on admissible modules over affine Kac-Moody algebras and, via BRST reduction, trace functions on minimal series representations of principal affine W-algebras.
We revisit the construction of integral forms for vertex (operator) algebras $V_L$ based on even lattices $L$ using generators instead of bases, and we construct integral forms for $V_L$-modules. We construct integral forms for vertex (operator) algebras based on highest-weight modules for affine Lie algebras and we exhibit natural generating sets. For vertex operator algebras in general, we give conditions showing when an integral form contains the standard conformal vector generating the Virasoro algebra. Finally, we study integral forms in contragredients of modules for vertex algebras.
Evaluation-type deformed modules over the quantum affine vertex algebras of type $A$
Dipartimento di Matematica, Sapienza Università di Roma（罗马大学数学系）；INFN sezione di Roma（罗马国家核物理研究所）；University of Zagreb Faculty of Science, Department of Mathematics（萨格勒布大学理学院数学系）
We construct explicitly the $q$-vertex operators (intertwining operators) for the level one modules $V(Λ_i)$ of the classical quantum affine algebras of twisted types using interacting bosons, where $i=0, 1$ for $A_{2n-1}^{(2)}$, $i=0$ for $D_4^{(3)}$, $i=0, n$ for $D_{n+1}^{(2)}$, and $i=n$ for $A_{2n}^{(2)}$. A perfect crystal graph for $D_4^{(3)}$ is constructed as a by-product.
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.
The energy bounds condition for intertwining operators of unitary rational vertex operator algebras (VOAs) was studied, first by A.Wassermann for type $A$ affine VOAs, and later by T.Loke for $c<1$ Virasoro VOAs, and by V.Toledano-Laredo for type $D$ affine VOAs. In this paper, we extend their results to affine VOAs of type $B$, $C$, and $G_2$. As a consequence, the modular tensor categories of these unitary vertex operator algebras are unitary.
The two-parameter quantum vertex operator representation of level-one is explicitly constructed for $U_{r,s}(C^{(1)}_n)$ based on its two-parameter Drinfeld realization we give. This construction will degenerate to the one-parameter case due to Jing-Koyama-Misra (\cite{JKM2}) when $rs=1$.
We show that sheet closures appear as associated varieties of affine vertex algebras. Further, we give new examples of non-admissible affine vertex algebras whose associated variety is contained in the nilpotent cone. We also prove some conjectures from our previous paper and give new examples of lisse affine W-algebras.
We derive the exchange relations of the vertex operators of $U_q(A_2^{(2)})$ and show that these vertex operators give the bosonization of the Izergin-Korepin model. We give an integral expression of the correlation functions of the Izergin-Korepin model and derive the difference equations which they satisfy.
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_…
In this paper, we construct various simple vertex superalgebras which are extensions of affine vertex algebras, by using abelian cocycle twists of representation categories of quantum groups. This solves the Creutzig and Gaiotto conjectures in the case of type ABC. If the twist is trivial, the resulting algebras correspond to chiral differential operators in the chiral case, and to WZW models in the non-chiral case.
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{\…
We give a coset realization of the vertex operator algebra $M(1)^+$ with central charge $\ell$. We realize $M(1)^+$ as a commutant of certain affine vertex algebras of level -1 in the vertex algebra $L_{C_{\ell} ^{(1)}}(-\tfrac{1}{2}Λ_0) \otimes L_{C_{\ell} ^{(1)}}(-\tfrac{1}{2}Λ_0)$. We show that the simple vertex algebra $L_{C_{\ell} ^{(1)}}(-Λ_0)$ can be (conformally) embedded into $L_{A_{2 \ell -1} ^{(1)}} (-Λ_0)$ and find the corresponding decomposition. We also study certain coset subalgebras inside $L_{C_{\ell} ^{(1)}}(-Λ_0)$.
Let L(n-l+1/2,0) be the vertex operator algebra associated to an affine Lie algebra of type B_l^(1) at level n-l+1/2, for a positive integer n. We classify irreducible L(n-l+1/2,0)-modules and show that every L(n-l+1/2,0)-module is completely reducible. In the special case n=1, we study a category of weak L(-l+3/2,0)-modules which are in the category $\cal{O}$ as modules for the associated affine Lie algebra. We classify irreducible objects in that category and prove semisimplicity of that category.
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…
We apply the theory of $ϕ$-coordinated modules, developed by H.-S. Li, to the Etingof--Kazhdan quantum affine vertex algebra associated with the trigonometric $R$-matrix of type $A$. We prove, for a certain associate $ϕ$ of the one-dimensional additive formal group, that any $ϕ$-coordinated module for the level $c\in\mathbb{C}$ quantum affine vertex algebra is naturally equipped with a structure of restricted level $c$ module for the quantum affine algebra in type $A$ and vice versa. Moreover, we show that any $ϕ$-coordinated module is irreducible with respect to the action of the quantum affi…
We present a general vertex operator construction based on the Fock space for an affine Lie algebras of type $A$. This construction allows us to give a unified treatment for both the homogeneous and principle realizations of the affine Lie algebras $\hat{gl}_N$ as well as for some extended affine Lie algebras coordinatized by certain quantum tori.
We construct a universal Vertex-IRF transformation between Vertex type universal solution and Face type universal solution of the quantum dynamical Yang-Baxter equation. This universal Vertex-IRF transformation satisfies the generalized coBoundary equation and is an extension of our previous work to the quantum affine $U_q(A^{(1)}_r)$ case. This solution has a simple Gauss decomposition which is constructed using Sevostyanov's characters of twisted quantum Borel algebras. We show that the evaluation of this universal solution in the evaluation representation of $U_q(A_1^{(1)})$ gives the stand…
We obtain a presentation of principal subspaces of basic modules for the twisted affine Kac-Moody Lie algebras of type $A_{2n-1}^{(2)}$, $D_n^{(2)}$ and $E_6^{(2)}$. Using this presentation, we construct exact sequences among these principal subspaces, and use these exact sequences to obtain recursions satisfied by graded dimensions of the principal subspaces. Solving these recursions, we obtain the graded dimensions of the principal subspaces.
Given a finite-dimensional complex Lie algebra g equipped with a nondegenerate, symmetric, invariant bilinear form B, let V_k(g,B) denote the universal affine vertex algebra associated to g and B at level k. For any reductive group G of automorphisms of V_k(g,B), we show that the invariant subalgebra V_k(g,B)^G is strongly finitely generated for generic values of k. This implies the existence of a new family of deformable W-algebras W(g,B,G)_k which exist for all but finitely many values of k.
We characterize, in the case of affine sl(2), the crystal base of the Demazure module E_w(\La) in terms of extended Young diagrams or paths for any dominant integral weight \La and Weyl group element w. Its character is evaluated via two expressions, 'bosonic' and 'fermionic'.
