This paper studies the twisted representations of vertex operator algebras. Let V be a vertex operator algebra and g an automorphism of V of finite order T. For any m,n in (1/T)Z_+, an A_{g,n}(V)-A_{g,m}(V)-bimodule A_{g,n,m}(V) is constructed. The collection of these bimodules determines any admissible g-twisted V-module completely. A Verma type admissible g-twisted V-module is constructed naturally from any A_{g,m}(V)-module. Furthermore, it is shown with the help of bimodule theory that a simple vertex operator algebra V is g-rational if and only if its twisted associative algebra A_g(V) is semisimple and each irreducible admissible g-twisted V-module is ordinary.
Let V be a vertex operator algebra and m,n be nonnegative integers. We construct an A_n(V)-A_m(V)-bimodule A_{n,m}(V) which determines the action of V from the level m subspace to level n subspace of an admissible V-module. We show how to use A_{n,m}(V) to construct naturally admissible V-modules from A_m(V)-modules. We also determine the structure of A_{n,m}(V) when V is rational.
It is shown that a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is semisimple and each irreducible admissible V-module is ordinary. A contravariant form on a Verma type admissible V-module is constructed and the radical is exactly the maximal proper submodule. As an application the rationality of V_L^+ for any positive definite even lattice is obtained.
The lattice vertex operator algebra $V_L$ associated to a positive definite even lattice $L$ has an automorphism of order 2 lifted from -1-isometry of $L$. We prove that for the fixed point vertex operator algebra $V_L^+$, any $\Z_{\geq0}$-graded weak modules is completely reducible.
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 …
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.
We prove the conjecture of Kac-Wakimoto on the rationality of exceptional W-algebras for the first non-trivial series, namely, for the Bershadsky-Polyakov vertex algebras $W_3^{(2)}$ at level $k=p/2-3$ with $p=3,5,7,...$. This gives new examples of rational conformal field theories.
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.
The lattice vertex operator V_L associated to a positive definite even lattice L has an automorphism of order 2 lifted from -1 isometry of L. It is established that the fixed point vertex operator algebra V_L^+ is rational.
In this paper we prove the rationality of the capped vertex function with descendents for arbitrary Nakajima quiver varieties with generic stability conditions. We generalise the proof given by Smirnov to the general case, which requires to use techniques of tautological classes rather than the fixed-point basis. This result confirms that the "monodromy" of the capped vertex function is trivial, which gives a strong constraint for the monodromy of the capping operators. We will also provide a GIT wall-crossing formula for the capped vertex function in terms of the quantum difference operators …
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.
We prove the rationality of all the minimal series principal W-algebras discovered by Frenkel, Kac and Wakimoto in 1992, thereby giving a new family of rational and C_2-cofinite vertex operator algebras. A key ingredient in our proof is the study of Zhu's algebra of simple W-algebras via the quantized Drinfeld-Sokolov reduction. We show that the functor of taking Zhu's algebra commutes with the reduction functor. Using this general fact we determine the maximal spectrums of the associated graded of Zhu's algebra of all the admissible affine vertex algebras as well.
We demonstrate that, for CFT vertex operator algebras, C_2-cofiniteness and rationality is equivalent to regularity. In addition, we show that, for C_2-cofinite vertex operators algebras, irreducible weak modules are ordinary modules and C_2-cofinite, and V_L^+ are C_2-cofinite.
This paper is an exposition of the representation theory of vertex operator algebras in terms of associative algebras A_n(V) and their bimodules. A new result on the rationality is given. That is, a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is a semisimple associative algebra and each irreducible admissible $V$-module is ordinary.
The rationality of the parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra and any nonnegative integer is established and the irreducible modules are determined.
In this paper, it is shown that the diagonal coset vertex operator algebra $C(L_{\mathfrak{g}}(k+2,0),L_{\mathfrak{g}}(k,0)\otimes L_{\mathfrak{g}}(2,0))$ is rational and $C_2$-cofinite in case $\mathfrak{g}=so(2n), n\geq 3$ and $k$ is an admissible number for $\hat{\mathfrak{g}}$. It is also shown that the diagonal coset vertex operator algebra $C(L_{sl_2}(k+4,0),L_{sl_2}(k,0)\otimes L_{sl_2}(4,0))$ is rational and $C_2$-cofinite in case $k$ is an admissible number for $\hat{sl_2}$. Furthermore, irreducible modules of $C(L_{sl_2}(k+4,0),L_{sl_2}(k,0)\otimes L_{sl_2}(4,0))$ are classified in c…
In vertex operator algebra theories, most of the general theorems are proved under the assumptions of rationality and C_2-cofiniteness. In this paper, we obtain several general theorems without the assumption of rationality so that we can use them for proving rationality of given C_2-cofinite vertex operator algebras. For example, we apply them to orbifold models and show that if g is a finite automorphism of a rational C_2-cofinite vertex operator algebra T of CFT-type with T'\cong T and a fixed point subVOA T^g is C_2-cofinite, then T^g is also rational.
Using the Zhu algebra for a certain category of $\mathbb{C}$-graded vertex algebras $V$, we prove that if $V$ is finitely $Ω$-generated and satisfies suitable grading conditions, then $V$ is rational, i.e. has semi-simple representation theory, with one dimensional level zero Zhu algebra. Here $Ω$ denotes the vectors in $V$ that are annihilated by lowering the real part of the grading. We apply our result to the family of rank one Weyl vertex algebras with conformal element $ω_μ$ parameterized by $μ\in \mathbb{C}$, and prove that for certain non-integer values of $μ$, these vertex algebras, wh…
The rationality and C_2-cofiniteness of the orbifold vertex operator algebra V_{L_{2}}^{A_{4}} are established and all the irreducible modules are constructed and classified. This is part of classification of rational vertex operator algebras with c=1.
The vertex operator algebras and modules associated to the highest weight modules for the Virasoro algebra over an arbitrary field F whose characteristic is not equal to 2 are studied. The irreducible modules of vertex operator algebra L(1/2,0)_F are classified. The rationality of L(1/2,0)_F is established if the characteristic of F is different from 7.
We give a criterion for the complete reducibility of modules satisfying a composability condition for a meromorphic open-string vertex algebra $V$ using the first cohomology of the algebra. For a $V$-bimodule $M$, let $\hat{H}^{1}_{\infty}(V, M)$ be the first cohomology of $V$ with the coefficients in $M$. Let $\hat{Z}^{1}_{\infty}(V, M)$ be the subspace of $\hat{H}^{1}_{\infty}(V, M)$ canonically isomorphic to the space of derivations obtained from the zero mode of the right vertex operators of weight $1$ elements such that the difference between the skew-symmetric opposite action of the left…
$C_2$ cofiniteness and rationality of $V_{L_2}^{S_4}$ are obtained, and irreducible $V_{L_2}^{S_4}$-modules are classified. With the assumption of rationality and $C_2$ cofiniteness, irreducible $V_{L_2}^{A_5}$-modules are determined. Also, quantum dimensions of these irreducible modules are calculated.
A notion of meromorphic open-string vertex algebra is introduced. A meromorphic open-string vertex algebra is an open-string vertex algebra in the sense of Kong and the author satisfying additional rationality (or meromorphicity) conditions for vertex operators. The vertex operator map for a meromorphic open-string vertex algebra satisfies rationality and associativity but in general does not satisfy the Jacobi identity, commutativity, the commutator formula, the skew-symmetry or even the associator formula. Given a vector space \mathfrak{h}, we construct a meromorphic open-string vertex algeb…
We study representations of the meromorphic open-string vertex algebra (MOSVAs hereafter) defined in [H3], a noncommutative generalization of vertex (operator) algebra. We start by recalling the definition of a MOSVA $V$ and left $V$-modules in [H3]. Then we define right $V$-modules and $V$-bimodules that reflect the noncommutative nature of $V$. When $V$ satisfies a condition on the order of poles of the correlation function (which we call pole-order condition), we prove that the rationality of products of two vertex operators implies the rationality of products of any numbers of vertex opera…
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.
First, we prove the Kac-Wakimoto conjecture on modular invariance of characters of exceptional affine W-algebras. In fact more generally we prove modular invariance of characters of all lisse W-algebras obtained through Hamiltonian reduction of admissible affine vertex algebras. Second, we prove the rationality of a large subclass of these W-algebras, which includes all exceptional W-algebras of type A and lisse subregular W-algebras in simply laced types. Third, for the latter cases we compute S-matrices and fusion rules. Our results provide the first examples of rational W-algebras associate…
We prove that the space of intertwining operators associated with certain admissible modules over vertex operator algebras is isomorphic to a quotient of the vector space of conformal blocks on a three-pointed rational curve defined by the same data. This provides a new proof and alternative version of Frenkel and Zhu's fusion rules theorem in terms of the dimension of certain bimodules over Zhu's algebra, without the assumption of rationality.
We prove a generalized rationality property and a new identity that we call the ``Jacobi identity'' for intertwining operator algebras. Most of the main properties of genus-zero conformal field theories, including the main properties of vertex operator algebras, modules, intertwining operators, Verlinde algebras, and fusing and braiding matrices, are incorporated into this identity. Together with associativity and commutativity for intertwining operators proved by the author in \cite{H2} and \cite{H3}, the results of the present paper solve completely the problem of finding a natural purely al…
This paper is to establish a natural connection between regular representations for a vertex operator algebra $V$ and $A_{n}(V)$-$A_{m}(V)$ bimodules of Dong and Jiang. Let $W$ be a weak $V$-module and let $(m,n)$ be a pair of nonnegative integers. We study two quotient spaces $A_{n,m}^{\dagger}(W)$ and $A^{\diamond}_{n,m}(W)$ of $W$. It is proved that the dual space $A^{\dagger}_{n,m}(W)^{*}$ viewed as a subspace of $W^*$ coincides with the level-$(m,n)$ vacuum subspace of the regular representation module $\mathfrak{D}_{(-1)}(W)$. By making use of this connection, we obtain an $A_{n}(V)$-$A_…
This paper generalizes Huang's cohomology theory of grading-restricted vertex algebras to meromorphic open-string vertex algebras (MOSVAs hereafter), which are noncommutative generalizations of grading-restricted vertex algebras introduced by Huang. The vertex operators for these algebras satisfy associativity but do not necessarily satisfy the commutativity. Moreover, the MOSVA and its bimodules considered in this paper do not necessarily have finite-dimensional homogeneous subspaces, though we do require that they have lower-bounded gradings. The construction and results in this paper will b…
We study the subalgebra of the lattice vertex operator algebra $V_{\sqrt{2}A_2}$ consisting of the fixed points of an automorphism which is induced from an order 3 isometry of the root lattice $A_2$. We classify the simple modules for the subalgebra. The rationality and the $C_2$-cofiniteness are also established.
We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops naturally if we include not only ordinary modules, but also weak modules with a composition series of finite length (we call it an Artin module). In particular, we don't assume the semisimplicity of the weight operator L(0). Actually, without the assumption of rationality, a C_2-cofiniteness on V is enough to obtain the existence of a tensor product of two A…
We study the fixed point subalgebra of a certain class of lattice vertex operator algebras by an automorphism of order 3, which is a lift of a fixed-point-free isometry of the underlying lattice. We classify the irreducible modules for the subalgebra. Moreover, the rationality and the $C_2$-cofiniteness of the subalgebra are established. Our result contains the case of the vertex operator algebra associated with the Leech lattice.
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.
Some of the consequences that follow from the C_2 condition of Zhu are analysed. In particular it is shown that every conformal field theory satisfying the C_2 condition has only finitely many n-point functions, and this result is used to prove a version of a conjecture of Nahm, namely that every representation of such a conformal field theory is quasirational. We also show that every such vertex operator algebra is a finite W-algebra, and we give a direct proof of the convergence of its characters as well as the finiteness of the fusion rules.
We introduce a notion of a (V,T)-module over a vertex algebra V for an arbitrary positive integer T, which is a generalization of a twisted V-module. Under some conditions on V, we construct an associative algebra A^{T}_{m}(V) for m\in(1/T)\N and an A^{T}_{m}(V)-A^{T}_{n}(V)-bimodule A^{T}_{n,m}(V) for n,m\in(1/T)\N and we establish a one-to-one correspondence between the set of isomorphism classes of simple left A^{T}_{0}(V)-modules and that of simple (1/T)\N-graded (V,T)-modules.
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced and various module categories over quasi-finite algebras are described. When applied to the current algebras (universal enveloping algebras) of vertex operator algebras satisfying Zhu's $C_2$-finiteness condition, our general consideration derives important consequences on representation theory of such vertex operator algebras. In particular, the category of…
We prove the long-standing conjecture on the coset construction of the minimal series principal $W$-algebras of $ADE$ types in full generality. We do this by first establishing Feigin's conjecture on the coset realization of the universal principal $W$-algebras, which are not necessarily simple. As consequences, the unitarity of the "discrete series" of principal $W$-algebras is established, a second coset realization of rational and unitary $W$-algebras of type $A$ and $D$ are given and the rationality of Kazama-Suzuki coset vertex superalgebras is derived.
In this paper we build an abstract description of vertex algebras from their basic axioms. Starting with Borcherds' notion of a vertex group, we naturally construct a family of multilinear singular maps parameterised by trees. These singular maps are defined in a way which focusses on the relations of singularities to their inputs. In particular we show that this description of a vertex algebra allows us to present generalised notions of rationality, commutativity and associativity as natural consequences of the definition. Finally, we show that for a certain choice of vertex group, axiomatic …
We consider how a vertex operator algebra can be extended to an abelian intertwining algebra by a family of weak twisted modules which are {\em simple currents} associated with semisimple weight one primary vectors. In the case that the extension is again a vertex operator algebra, the rationality of the extended algebra is discussed. These results are applied to affine Kac-Moody algebras in order to construct all the simple currents explicitly (except for $E_8$) and to get various extensions of the vertex operator algebras associated with integrable representations.
In this paper we construct Bernstein--Gelfand--Gelfand type resolution of simple highest weight modules over the simple $\mathcal{N}=2$ vertex operator superalgebra of central charge $c_{p,p'}=3\left(1-\frac{2p'}{p}\right)$ by means of the Kazama--Suzuki coset construction. As an application, we compute the twisted Zhu algebras of the simple $\mathcal{N}=2$ vertex operator superalgebra. We also compute the Frenkel--Zhu bimodule structure associated with a certain simple highest weight module of central charge $c_{3,2}=-1$.
We consider exceptional vertex operator algebras and vertex operator superalgebras with the property that particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendents of the vacuum. We show that the genus one partition function and characters for simple ordinary modules must satisfy modular linear differential equations. We show the rationality of the central charge and module lowest weights, modularity of solutions, the dimension of each graded space is a rational function of the central charge and that the lowest weight primaries generat…
For a vertex operator algebra $V$, the regular representations are related to the $A_{n}(V)$-algebras and their bimodules, and induced $V$-modules from $A_{n}(V)$-modules are defined and studied in terms of the regular representations.
Structure of certain simple $\mathcal{W}$-algebras assocated with the Deligne exceptional Lie algebras and non-admissible levels are described as the {\it simple current extensions} of certain vertex operator algebras. As an application, the $C_2$-cofiniteness and $\mathbb{Z}_2$-rationality of the algebras are proved.
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]-…
