For any vertex algebra V and any subalgebra A of V, there is a new subalgebra of V known as the commutant of A in V. This construction was introduced by Frenkel-Zhu, and is a generalization of an earlier construction due to Kac-Peterson and Goddard-Kent-Olive known as the coset construction. In this paper, we interpret the commutant as a vertex algebra notion of invariant theory. We present an approach to describing commutant algebras in an appropriate category of vertex algebras by reducing the problem to a question in commutative algebra. We give an interesting example of a Howe pair (ie, a pair of mutual commutants) in the vertex algebra setting.
We determine Zhu's algebra and C_2-algebra of parafermion vertex operator algebras for sl_2. Moreover, we prove the C_2-cofiniteness of parafermion vertex operator algebras for any finite dimensional simple Lie algebras.
The main goals for this paper is i) to study of an algebraic structure of $\mathbb{N}$-graded vertex algebras $V_B$ associated to vertex $A$-algebroids $B$ when $B$ are cyclic non-Lie left Leibniz algebras, and ii) to explore relations between the vertex algebras $V_B$ and the rank one Heisenberg vertex operator algebra. To achieve these goals, we first classify vertex $A$-algebroids $B$ associated to given cyclic non-Lie left Leibniz algebras $B$. Next, we use the constructed vertex $A$-algebroids $B$ to create a family of indecomposable non-simple vertex algebras $V_B$. Finally, we use the a…
It is proved that any vertex operator algebra for which the image of the Virasoro element in Zhu's algebra is algebraic over complex numbers is finitely generated. In particular, any vertex operator algebra with a finite dimensional Zhu's algebra is finitely generated. As a result, any rational vertex operator algebra is finitely generated.
In this paper, we study in the context of quantum vertex algebras a certain Clifford-like algebra introduced by Jing and Nie. We establish bases of PBW type and classify its $\mathbb N$-graded irreducible modules by using a notion of Verma module. On the other hand, we introduce a new algebra, a twin of the original algebra. Using this new algebra we construct a quantum vertex algebra and we associate $\mathbb N$-graded modules for Jing-Nie's Clifford-like algebra with $ϕ$-coordinated modules for the quantum vertex algebra. We also show that the adjoint module for the quantum vertex algebra is…
We investigate a general structure theory for a vertex operator algebra. We discuss the center and blocks, the Jacobson radical and solvable radical and local vertex operator algebras. The main consequence of our structure theory is that if the vertex operator algebra satisfies some mild conditions then it is necessarily semilocal, i.e. a direct sum of local vertex operator algebras.
In this paper the W-algebra W(2,2) and its representation theory are studied. It is proved that a simple vertex operator algebra generated by two weight 2 vectors is either a vertex operator algebra associated to a highest irreducible W(2,2)-module or a tensor product of two irreducible Virasoro vertex operator algebras. Furthermore, any rational, C_2-cofinite simple vertex operator algebra whose weight 1 subspace is zero and weight 2 subspace is 2-dimensional, and with central charge c=1 is isomorphic to L(1/2,0)\otimes L(1/2,0).
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.
In this paper, we study an impact of Leibniz algebras on the algebraic structure of $\mathbb{N}$-graded vertex algebras. We provide easy ways to characterize indecomposable non-simple $\mathbb{N}$-graded vertex algebras $\oplus_{n=0}^{\infty}V_{(n)}$ such that $\dim V_{(0)}\geq 2$. Also, we examine the algebraic structure of $\mathbb{N}$-graded vertex algebras $V=\oplus_{n=0}^{\infty}V_{(n)}$ such that $\dim~V_{(0)}\geq 2$ and $V_{(1)}$ is a (semi)simple Leibniz algebra that has $sl_2$ as its Levi factor. We show that under suitable conditions this type of vertex algebra is indecomposable but …
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.
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.
The structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied. In particular, a set of generators for this algebra has been determined.
I give a short proof of the following algebraic statement: if a vertex algebra is simple, then its underlying Lie conformal algebra is either abelian, or it is an irreducible central extension of a simple Lie conformal algebra.
It is proved that the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k coincides with a certain W-algebra. In particular, a set of generators for the parafermion vertex operator algebra is determined.
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.
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.
The quantum dimensions and the fusion rules for the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k are determined.
We prove a conjecture stated in a previous paper by the author about the existence of canonical filtrations for a family of vertex operator algebras in rational levels.
The rational and C_2-cofinite simple vertex operator algebras whose effective central charges and the central charges c are equal and less than 1 are classified. Such a vertex operator algebra is zero if c<0 and C if c=0. If c>0, it is an extension of discrete Virasoro vertex operator algebra L(c_{p,q},0) by its irreducible modules. It is also proved that for any rational and C_2-cofinite simple vertex operator algebra whose effective central charge and central charge are equal, the vertex operator subalgebra generated by the Virasoro vector is simple.
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.
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 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.
Any vertex algebra has a canonical decreasing filtration, called Li filtration, whose associated graded space has a natural structure of a vertex Poisson algebra. In this note, we introduce an analogous filtration for any SUSY vertex algebra, which was introduced by Heluani and Kac as a superfield formalism of a supersymmetric vertex algebra. We prove that the associated graded superspace of our filtration has a structure of SUSY vertex Poisson algebras. We also introduce and discuss related notions, such as Zhu's $C_2$-Poisson superalgebras, associated superschemes and singular supports, for …
We introduce the notion of irregular vertex (operator) algebras. The irregular versions of fundamental properties, such as Goddard uniqueness theorem, associativity and operator product expansions are formulated and proved. We also give some elementary examples of irregular vertex operator algebras.
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)$.
We introduce the notion of a genus and its mass for vertex algebras. For lattice vertex algebras, their genera are the same as those of lattices, which plays an important role in the classification of lattices. We derive a formula relating the mass for vertex algebras to that for lattices, and then give a new characterization of some holomorphic vertex operator algebras.
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 introduce the concept of linear topological modules over vertex algebras and apply it to representations of $β-γ$ system and affine Kac-Moody algebras.
We study a simple, self-dual, rational, and $C_2$-cofinite vertex operator algebra of CFT-type whose simple current modules are graded by $\mathbb{Z}_{2k}$. Based on those simple current modules, a vertex operator algebra associated with a $\mathbb{Z}_{2k}$-code is constructed. The classification of irreducible modules for such a vertex operator algebra is established. Furthermore, all the irreducible modules are realized in a module for a certain lattice vertex operator algebra.
We prove the conjectual isomorphism between the level $k$ $\widehat{sl}_2$-parafermion vertex operator algebra and the $(k+1,k+2)$ minimal series $W_k$-algebra for all integers $k \ge 2$. As a consequence, we obtain the conjectural isomorphism between the $(k+1,k+2)$ minimal series $W_k$-algebra and the coset vertex operator algebra $SU(k)_1 \otimes SU(k)_1/SU(k)_2$.
A definition of a quantum vertex algebra, which is a deformation of a vertex algebra, was proposed by Etingof and Kazhdan in 1998. In a nutshell, a quantum vertex algebra is a braided state-field correspondence which satisfies associativity and braided locality axioms. We develop a structure theory of quantum vertex algebras, parallel to that of vertex algebras. In particular, we introduce braided n-products for a braided state-field correspondence and prove for quantum vertex algebras a version of the Borcherds identity.
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…
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…
Using the method of commutative algebra, we show that the set $\mathfrak{R}$ of nilpotent elements of a vertex algebra $V$ forms an ideal, and $V/\mathfrak{R}$ has no nonzero nilpotent elements.
We construct a canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex, which restricts to an isomorphism on the top degree. This is an important step in the computation of Poisson vertex algebra and vertex algebra cohomologies.
We present recent progress in theory of local conformal nets which is an operator algebraic approach to study chiral conformal field theory. We emphasize representation theoretic aspects and relations to theory of vertex operator algebras which gives a different and algebraic formulation of chiral conformal field theory.
The moduli stack of representations of a quiver, or coherent sheaves on a proper curve, carries two structures on its cohomology: a Hall algebra and braided vertex coalgebra. We show that they are compatible, by developing a formulation of abelian localisation which works in the derived/singular setting. An application of these techniques gives an explicit formula for the cohomological Hall algebra products.
We develop methods for computation of Poisson vertex algebra cohomology. This cohomology is computed for the free bosonic and fermionic Poisson vertex (super)algebras, as well as for the universal affine and Virasoro Poisson vertex algebras. We establish finite dimensionality of this cohomology for conformal Poisson vertex (super)algebras that are finitely and freely generated by elements of positive conformal weight.
This is a continuation of our work to understand vertex operator algebras using the geometric properties of varieties attached to vertex operator algebras. For a class of vertex operator algebras including affine vertex operator algebras associated to a finite dimensional simple Lie algebra $\mathfrak{g}$, we describe their varieties of semi-conformal vectors by some matrix equations. These matrix equations are too complicated to be solved for us. However, for affine vertex operator algebras associated to the simple Lie algebra $\mathfrak{g}$, we find the adjoint group $G$ of $\mathfrak{g}$ ac…
