In this paper, we first classify all irreducible modules of the vertex algebra $V_L^+$ when $L$ is a negative definite even lattice of arbitrary rank. In particular, we show that any irreducible $V_L^+$-module is isomorphic to a submodule of an irreducible twisted $V_L$-module. We then extend this result to a vertex algebra $V_L^+$ when $L$ is a nondegenerate even lattice of finite rank.
In this paper it is shown that every irreducible vertex algebra of countable dimension and every simple vertex operator algebra are nondegenerate in the sense of Etingof and Kazhdan.
In this paper we prove that the vertex algebra $V_L^+$ is rational if $L$ is a negative definite even lattice of finite rank, or if $L$ is a non-degenerate even lattice of a finite rank that is neither positive definite nor negative definite. In particular, for such even lattices $L$, we show that the Zhu algebras of the vertex algebras $V_L^+$ are semisimple. This extends the result of Abe which establishes the rationality of $V_L^+$ when $L$ is a positive definite even lattice of finite rank.
The vertex operator algebra M(1)^+ is the fixed point set of free bosonic vertex operator algebra M(1) under the -1 automorphism. All irreducible modules for M(1)^+ are classified in this paper for all ranks.
The irreducible modules for the fixed point vertex operator subalgebra V_L^+ of the vertex operator algebra V_L associated to an arbitrary positive definite even lattice L under the automorphism lifted from the -1 isometry of L are classified.
Let M(1) be the vertex algebra for a single free boson. We classify irreducible modules of certain vertex subalgebras of M(1) generated by two generators. These subalgebras correspond to the W(2, 2p-1)--algebras with central charge $1- 6 \frac{(p - 1) ^{2}}{p}$ where p is a positive integer, $p \ge 2$. We also determine the associated Zhu's algebras.
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$ symmetry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. We classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $θ$-twisted $V_{L}$-module.
In this paper, for every $ε\in \mathbb{Z}$, we introduce an extension of the 2-toroidal Lie algebra by certain derivations. Based on the $ϕ_ε$-coordinated modules theory for vertex algebras, we give an explicit realization of a class of irreducible highest weight modules for this extended toroidal Lie algebra. When $ε=1$, this affords a realization of certain irreducible modules for the toroidal extended affine Lie algebras first constructed by Billig.
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$ symmetry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. In this series of papers, we classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $θ$-twisted $V_{L}$-module. Let $M(1)^{+}$ be the fixed point subalgebra of the Heisenberg vertex operator algebra $M(1)$ …
Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $θ$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of $θ$. In this series of papers, we classify the irreducible weak $V_{L}^{+}$-modules and show that any irreducible weak $V_{L}^{+}$-module is isomorphic to a weak submodule of some irreducible weak $V_{L}$-module or to a submodule of some irreducible $θ$-twisted $V_{L}$-module. In this paper (Part 1), we show that when the rank of $L$ is $1$, every non-zero weak $V_{L}^{…
To a depth two extension A | B, we associate the dual bialgebroids S := \End {}_BA_B and T := (A ø_B A)^B over the centralizer R=C_A(B). In the set-up where R is a subalgebra of B, which is quite common, two nondegenerate pairings of S and T will define an anti-automorphism τof the algebra S. Making use of a two-sided depth two structure, we prove that τis an antipode and S is a Hopf algebroid of a type we call skew Hopf algebra. A final section discusses how τand the nondegenerate pairings generalize to modules via the pi-method for depth two, and a certain derived mapping of cochain complexe…
The irreducible modules of the 2-cycle permutation orbifold models of lattice vertex operator algebras of rank 1 are classified, the quantum dimensions of irreducible modules and the fusion rules are determined.
We construct irreducible modules of centrally-extended classical Lie algebras over left ideals of the algebra of differential operators on the circle, through certain irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries. The structures of vertex algebras associated with the vaccum representations of these algebras are determined. Moreover, we prove that under certain conditions, the highest weight irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries naru…
In this paper, under the assumption that the diagonal coset vertex operator algebra $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$ is rational and $C_2$-cofinite, the global dimension of $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$ is obtained, the quantum dimensions of multiplicity spaces viewed as $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(l,0))$-modules are also obtained. As an application, a method to classify irreducible modules of $C(L_{\mathfrak g}(k+l,0),L_{\mathfrak g}(k,0)\otimes L_{\mathfrak g}(…
We study strongly graded vertex algebras and their strongly graded modules, which are conformal vertex algebras and their modules with a second, compatible grading by an abelian group satisfying certain grading restriction conditions. We consider a tensor product of strongly graded vertex algebras and its tensor product strongly graded modules. We prove that a tensor product of strongly graded irreducible modules for a tensor product of strongly graded vertex algebras is irreducible, and that such irreducible modules, up to equivalence, exhaust certain naturally defined strongly graded irreduc…
Let V be a simple vertex operator algebra and G a finite automorphism group. We give a construction of intertwining operators for irreducible V^G-modules which occur as submodules of irreducible V-modules by using intertwining operators for V. We also determine some fusion rules for a vertex operator algebra as an application.
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.
The irreducible modules for the parafermion vertex operator algebra associated to any finite dimensional Lie algebra and any positive integer are identified, the quantum dimensions are computed and the fusion rules are determined.
Let V be a simple vertex operator algebra and G a finite automorphism group. Then there is a natural right G-action on the set of all inequivalent irreducible V-modules. Let S be a finite set of inequivalent irreducible V-modules which is closed under the action of G. There is a finite dimensional semisimple associative algebra A_α(G,S) for a suitable 2-cocycle αnaturally determined by the G-action on S such that A_α(G,S) and the vertex operator algebra V^G form a dual pair on the sum of V-modules in S in the sense of Howe. In particular, every irreducible V-module is completely reducible V^G-…
Let $V$ be a simple vertex algebra of countable dimension, $G$ be a finite automorphism group of $V$ and $σ$ be a central element of $G$. Assume that ${\cal S}$ is a finite set of inequivalent irreducible $σ$-twisted $V$-modules such that ${\cal S}$ is invariant under the action of $G$. Then there is a finite dimensional semisimple associative algebra ${\cal A}_α(G,{\cal S})$ for a suitable $2$-cocycle $α$ naturally determined by the $G$-action on ${\cal S}$ such that $({\cal A}_α(G,{\cal S}),V^G)$ form a dual pair on the sum $\cal M$ of $σ$-twisted $V$-modules in ${\cal S}$ in the sense that …
We construct an irrational C_2-cofinite vertex operator algebra associatted to a finite dimensional vector space with a nondegenerate skew-symmetric bilinear form. We also classify its equivalence classes of irreducible modules and determine its automorphism group.
The W_3 algebra of central charge 6/5 is realized as a subalgebra of the vertex operator algebra V_{\sqrt{2}A_2} associated with a lattice of type \sqrt{2}A_2 by using both coset construction and orbifold theory. It is proved that W_3 is rational. Its irreducible modules are classified and constructed explicitly. The characters of those irreducible modules are also computed.
We study $\N$-graded $ϕ$-coordinated modules for a general quantum vertex algebra $V$ of a certain type in terms of an associative algebra $\widetilde{A}(V)$ introduced by Y.-Z. Huang. Among the main results, we establish a bijection between the set of equivalence classes of irreducible $\N$-graded $ϕ$-coordinated $V$-modules and the set of isomorphism classes of irreducible $\widetilde{A}(V)$-modules. We also show that for a vertex operator algebra, rationality, regularity, and fusion rules are independent of the choice of the conformal vector.
It was shown by Abe, Buhl and Dong that the vertex algebra $V_L^+$ and its irreducible weak modules satisfy the $C_2$-cofiniteness condition when $L$ is a positive definite even lattice. In this paper, we extend their results by showing that the vertex algebra $V_L^+$ and its irreducible weak modules are $C_2$-cofinite when $L$ is a negative definite even lattice and when $L$ is a non-degenerate even lattice that is neither negative definite nor positive definite.
It is proved that g-rationality of a vertex operator superalgebra V=V_{\bar0}+V_{\bar1} for all g in G imply rationality of V^G, and also imply that each irreducible V^G-module is a submodule of an irreducible g-twisted V-module for some g in G, where G is any finite abelian subgroup of Aut(V). We also prove that for any finite solvable G, rationality of V^G implies g-rationality of V for any g in G.
Let $\D$ be the Lie algebra of regular differentialoperators on ${\C} \setminus \{0\}$, and ${\hD}= {\D} + {\C} C$ be the central extension of ${\D}$. Let $W_{1+\infty,-N}$ be the vertex algebra associated to the irreducible vacuum $\hD$-module with the central charge $c=-N$. We show that $W_{1+\infty,-N}$ is a subalgebra of the Heisenberg vertex algebra M(1) with $2 N$ generators, and construct 2N-dimensional family of irreducible $W_{1+\infty,-N}$-modules. Considering these modules as $\hD$-modules, we identify the corresponding highest weights.
We study the commutant $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$ of $L_{\widehat{\frak{sl}}_{2}}(n,0)$ in the vertex operator algebra $L_{\widehat{\frak{sl}}_{2}}(1,0)^{\otimes n}$, for $n\geq 2$. The main results include a complete classification of all irreducible $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$-modules and a proof that $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$ is a rational vertex operator algebra. As a consequence, every irreducible $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$-module arises from the coset construction as conjectured in \cite{LS}.
A notion of vertex bialgebra and a notion of module nonlocal vertex algebra for a vertex bialgebra are studied and then a smash product construction of nonlocal vertex algebras is presented. For every nonlocal vertex algebra $V$ satisfying a suitable condition, a canonical bialgebra $B(V)$ is constructed such that primitive elements of $B(V)$ are essentially pseudo derivations and group-like elements are essentially pseudo endomorphisms. Furthermore, vertex algebras associated with Heisenberg Lie algebras as well as those associated with nondegenerate even lattices are reconstructed through sm…
We study twisted modules for (weak) quantum vertex algebras and we give a conceptual construction of (weak) quantum vertex algebras and their twisted modules. As an application we construct and classify irreducible twisted modules for a certain family of quantum vertex algebras.
Irreducible modules of the 3-permutation orbifold of a rank one lattice vertex operator algebra are listed explicitly. Fusion rules are determined by using the quantum dimensions. The $S$-matrix is also given.
A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible $A_n(V)$-modules which are not $A_{n-1}(V)$ modules and irreducible $V$-modules. Moreover, $V$ is rational if and only if $A_n(V)$ is semisimple for all $n.$ In particular, the homogeneous subspaces of any irreducible $V$-module are finite dimensional for rational vertex operator algebra $V.$
We classify the irreducible modules for the fixed point vertex operator subalgebra V_L^+ of the vertex operator algebra V_L associated to a positive definite even lattice of rank 1 under the automorphism lifted from the -1 isometry of L.
In this paper we study the representation theory for certain ``half lattice vertex algebras.'' In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these vertex algebras are related to the representation theory of some associative algebras.
Vertex operators associated with level two $U_q(\widehat{sl}_2)$ modules are constructed explicitly using bosons and fermions. An integral formula is derived for the trace of products of vertex operators. These results are applied to give $n$-point spin correlation functions of an integrable $S=1$ quantum spin chain, extending an earlier work of Jimbo {\em et al} for the case $S=1/2$.
We classify irreducible $σ$-twisted modules for the N=1 super triplet vertex operator superalgebra $\mathcal{SW}(m)$ introduced recently [Adamovic D., Milas A., Comm. Math. Phys., to appear, arXiv:0712.0379]. Irreducible graded dimensions of $σ$-twisted modules are also determined. These results, combined with our previous work in the untwisted case, show that the $SL(2,\mathbb{Z})$-closure of the space spanned by irreducible characters, irreducible supercharacters and $σ$-twisted irreducible characters is $(9m+3)$-dimensional. We present strong evidence that this is also the (full) space of g…
We give a complete description of the full automorphism group of a lattice vertex operator algebra, determine the twisted Zhu's algebra for the automorphism lifted from the -1 isometry of the lattice and classify the corresponding irreducible twisted modules through the twisted Zhu algebra.
In this paper, the irreducible modules for the $\mathbb{Z}_{2}$-orbifold vertex operator subalgebra of the parafermion vertex operator algebra associated to the irreducible highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ of level $k$ are classified and constructed.
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.
This paper consists of two parts: (1) Using a Z[1/2]-form of Virasoro vertex operator algebra L(1/2,0) with central charge 1/2, we obtain a modular vertex operator algebra over any field F of finite characteristic different from 2. We determine the generators and classify the irreducible modules for this vertex operator algebra. (2) We investigate modular framed vertex operator algebras. In particular, the rationality of modular framed vertex operator algebras is established. For a modular code vertex operator algebra, the irreducible modules are constructed and classified. Moreover, a Z[1/2]-…
We first investigate the algebraic structure of vertex algebroids $B$ when $B$ are simple Leibniz algebras. Next, we use these vertex algebroids $B$ to construct indecomposable non-simple $C_2$-cofinite $\mathbb{N}$-graded vertex algebras $\overline{V_B}$. In addition, we classify $\mathbb{N}$-graded irreducible $\overline{V_B}$-modules and examine conformal vectors of these $\mathbb{N}$-graded vertex algebras $\overline{V_B}$.
We classify the irreducible restricted modules for the affine Nappi-Witten Lie algebra $\hat{H}_{4}$ with some natural conditions. It turns out the representation theory of $\hat{H}_{4}$ is quite different from the theory of representations of Heisenberg algebras. We also study the extension of the vertex operator algebra $V_{\hat{H}_{4}}(\ell,0)$ by the even lattice $L$. We give the structure of the extension $V_{\hat{H}_{4}}(\ell,0)\otimes \C[L]$ and its irreducible modules via irreducible representations of $V_{\hat{H}_{4}}(\ell,0)$ viewed as a vertex algebra.
In this article, we show that a framed vertex operator algebra V satisfying the conditions: (1) V is holomorphic (i.e., V is the only irreducible V-module); (2) V is of rank 24; and (3) V_1=0; is isomorphic to the moonshine vertex operator algebra constructed by Frenkel-Lepowsky-Meurman.
For a vertex operator algebra V, a V-module M and a nonnegative integer n, an A_n(V)-bimodule A_n(M) is constructed and studied. The connection between A_n(M) and intertwining operators are discussed. In the case that V is rational, A_n(M) for irreducible V-module M is given explicitly.
Let V be a simple vertex operator algebra and let G be a finite automorphism group of V. In [DY], it was shown that any irreducible V-module is a completely reducible V^G-module where V^G is the G-invariant sub-vertex operator algebra of V. In this paper, we give an alternative proof of this fact using the theory of skew group algebras. We also extend this result to any irreducible g-twisted V-module when g is in the center of G and V is a g-rational vertex operator algebra.
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study modules for Heisenberg algebras and we classify irreducible modules satisfying certain conditions and obtain a complete reducibility theorem.
For the Klein group $K$ and a positive integr $k$, irreducible modules of the orbifold vertex operator algebra $L_{\widehat{\mathfrak{sl}_2}}(k,0)^{K}$ have been classified and constructed in \cite{JWa}. In this paper, we determine completely the fusion rules of $L_{\widehat{\frak{sl}_2}}(k,0)^{K}$.
We bosonize certain components of level $\ell$ $U_q(\hat{sl}_2)$-intertwiners of $(\ell + 1)$-dimensions. For $\ell = 2$, these intertwiners, after certain modification by bosonic vertex operators, are added to the algebra $U_q(\hat{sl}_2)$ at level 2 to construct all irreducible highest weight representations of level 1 for the quantum affine algebra $U_q(\hat{sp}_4)$.
Let $A$ be a finite dimensional unital commutative associative algebra and let $B$ be a finite dimensional vertex $A$-algebroid such that its Levi factor is isomorphic to $sl_2$. Under suitable conditions, we construct an indecomposable non-simple $\mathbb{N}$-graded vertex algebra $\overline{V_B}$ from the $\mathbb{N}$-graded vertex algebra $V_B$ associated with the vertex $A$-algebroid $B$. We show that this indecomposable non-simple $\mathbb{N}$-graded vertex algebra $\overline{V_B}$ is $C_2$-cofinite and has only two irreducible modules.
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…
Let $L_c$ be simple vertex operator superalgebra(SVOA) associated to the vacuum representation of N=2 superconformal algebra with the central charge $c$. Let $c_m = {3m}/{m+2}$. We classify all irreducible modules for the SVOA $L_{c_m}$. When $m$ is an integer we prove that the set of all unitary representations of N=2 superconformal algebra with the central charge $c_m$ provides all irreducible $L_{c_m}$-modules. When $m \notin {\N} $ and $m$ is an admissible rational number we show that irreducible $L_{c_m}$-modules are parameterized with the union of one finite set and union of finitely man…
Let $V$ be a vertex algebra of countable dimension, $G$ a subgroup of ${\rm Aut} V$ of finite order, $V^{G}$ the fixed point subalgebra of $V$ under the action of $G$, and ${\mathscr S}$ a finite $G$-stable set of inequivalent irreducible twisted weak $V$-modules associated with possibly different automorphisms in $G$. We show a Schur--Weyl type duality for the actions of ${\mathscr A}_α(G,{\mathscr S})$ and $V^G$ on the direct sum of twisted weak $V$-modules in ${\mathscr S}$ where ${\mathscr A}_α(G,{\mathscr S})$ is a finite dimensional semisimple associative algebra associated with $G,{\mat…
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…
A regular vertex operator algebra is a vertex operator algebra such that any weak module (without grading) is a direct sum of ordinary irreducible modules. In this paper we give several sufficient conditions under which a rational vertex operator algebra is regular. We prove that the moonshine module vertex operator algebra $V^{\natural},$ the vertex operator algebras $L(l,0)$ associated with the integrable representations of affine algebras of level $l,$ the vertex operator algebras $L(c_{p,q},0)$ associated with irreducible highest weight representations for the discrete series of the Viraso…
This is a sequel to \cite{li-qva}. In this paper, we focus on the construction of quantum vertex algebras over $\C$, whose notion was formulated in \cite{li-qva} with Etingof and Kazhdan's notion of quantum vertex operator algebra (over $\C[[h]]$) as one of the main motivations. As one of the main steps in constructing quantum vertex algebras, we prove that every countable-dimensional nonlocal (namely noncommutative) vertex algebra over $\C$, which either is irreducible or has a basis of PBW type, is nondegenerate in the sense of Etingof and Kazhdan. Using this result, we establish the nondege…
The admissible modules for $\hat{sl}_2$ are studied from the point of view of vertex operator algebra. If $l$ is rational such that $l+2={p\over q}$ for some coprime positive integers $p\ge 2$ and $q$, Kac and Wakimoto found finitely many distinguished irreducible representations for $\hat{sl}_2$, called admissible representations. In this paper we prove that the vertex operator algebra $L(l,0)$ associated to irreducible highest weight representation of $l$ is not rational if $l$ is not a positive integer. However if we change the Virasoro algebra in certain way, $L(l,0)$ becomes a rational ve…
An irreducible module for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$ is said to be of $σ$-type if an automorphism of the fusion algebra of $K(\mathfrak{sl}_2,k)$ of order $k$ is trivial on it. For any integer $k \ge 3$, we show that there exists an automorphism of order $2$ of the subalgebra of the fusion algebra of $K(\mathfrak{sl}_2,k)^{\langle θ\rangle}$ spanned by the irreducible direct summands of $σ$-type irreducible $K(\mathfrak{sl}_2,k)$-modules, where $θ$ is an involution of $K(\mathfrak{sl}_2,k)$. We discuss some examples of such an automorphism as well.
