In this paper we introduce a notion of vertex Lie algebra U, in a way a "half" of vertex algebra structure sufficient to construct the corresponding local Lie algebra L(U) and a vertex algebra V(U). We show that we may consider U as a subset of V(U) which generates V(U) and that the vertex Lie algebra structure on U is induced by the vertex algebra structure on V(U). Moreover, for any vertex algebra V a given homomorphism from U to V of vertex Lie algebras extends uniquely to a homomorphism from V(U) to V of vertex algebras. In the second part of paper we study under what conditions on structure constants one can construct a vertex Lie algebra U by starting with a given commutator formula for fields.
In this paper, we give a unified construction of vertex algebras arising from infinite-dimensional Lie algebras, including the affine Kac-Moody algebras, Virasoro algebras, Heisenberg algebras and their higher rank analogs, orbifolds and deformations. We define a notion of what we call quasi vertex Lie algebra to unify these Lie algebras. Starting from any (maximal) quasi vertex Lie algebra $\mathfrak{g}$, we construct a corresponding vertex Lie algebra ${\mathfrak{g}}_0$, and establish a canonical isomorphism between the category of restricted $\mathfrak{g}$-modules and that of equivariant $ϕ…
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.
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.
Based on the loop-algebraic presentation of 2-toroidal Lie superalgebras, free field representation of toroidal Lie superalgebras of type $A(m, n)$ is constructed using both vertex operators and bosonic fields.
In this paper, we present a canonical association of quantum vertex algebras and their $ϕ$-coordinated modules to Lie algebra $\gl_{\infty}$ and its 1-dimensional central extension. To this end we construct and make use of another closely related infinite-dimensional Lie algebra.
In this article, we describe a construction of a holomorphic vertex operator algebras of central charge $24$ whose weight one Lie algebra has type $A_{6,7}$.
Given a simple finite-dimensional Lie algebra and an automorphism of finite order, one defines the notion of a twisted toroidal Lie algebra. In this paper, we construct representations of twisted toroidal Lie algebras from twisted modules over affine and lattice vertex algebras.
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.
A vertex-algebraic analogue of the Lie algebroid complex is constructed, which generalizes the "small" chiral de Rham complex on smooth manifolds. The notion of VSA-inductive sheaves is also introduced. This notion generalizes that of sheaves of vertex superalgebras. The complex mentioned above is constructed as a VSA-inductive sheaf. With this complex, the equivariant Lie algebroid cohomology is generalized to a vertex-algebraic analogue, which we call the chiral equivariant Lie algebroid cohomology. In fact, the notion of the equivariant Lie algebroid cohomology contains that of the equivari…
We introduce dg Lie algebras controlling the deformations of vertex algebras and vertex Poisson algebras, utilizing the notion of operadic dg Lie algebra and the theory of chiral algebra. In terms of those dg Lie algebras, we formulate the deformation quantization problem of vertex Poisson algebras to vertex algebras.
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.
In this paper, a holomorphic vertex operator algebra $U$ of central charge 24 with the weight one Lie algebra $A_{8,3}A_{2,1}^2$ is proved to be unique. Moreover, a holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$ is obtained by applying a $\mathbb{Z}_2$-orbifold construction to $U$. The uniqueness of such a vertex operator algebra is also established. By a similar method, we also established the uniqueness of a holomorphic vertex operator algebra of central charge 24 with the weight one Lie algebra $E_{7,3}A_{5,1}$. As a consequence, we ver…
We establish that the Lie algebra of weight one states in a (strongly) rational vertex operator algebra is reductive, and that its Lie rank is bounded above by the effective central charge. We show that lattice vertex operator algebras may be characterized by the equalities of the effective central charge, the Lie rank and the central charge, and in particular holomorphic lattice theories may be characterized among all holomorphic vertex operator algebras by the equality of the Lie rank and the central charge.
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…
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 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…
This paper studies certain relations among vertex algebras, vertex Lie algebras and vertex Poisson algebras. In this paper, the notions of vertex Lie algebra (conformal algebra) and vertex Poisson algebra are revisited and certain general construction theorems of vertex Poisson algebras are given. A notion of filtered vertex algebra is formulated in terms of a notion of good filtration and it is proved that the associated graded vector space of a filtered vertex algebra is naturally a vertex Poisson algebra. For any vertex algebra $V$, a general construction and a classification of good filtra…
Herein we study conformal vectors of a Z-graded vertex algebra of (strong) CFT type. We prove that the full vertex algebra automorphism group transitively acts on the set of the conformal vectors of strong CFT type if the vertex algebra is simple. The statement is equivalent to the uniqueness of self-dual vertex operator algebra structures of a simple vertex algebra. As an application, we show that the full vertex algebra automorphism group of a simple vertex operator algebra of strong CFT type uniquely decomposes into the product of certain two subgroups and the vertex operator algebra automo…
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 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 show that certain vertex algebras without vacuum vector may be embedded into vertex algebras. The result is a partial analogue of the simple classical fact that any rng can be embedded into a ring. A one-line proof of the case of a vacuum-free vertex algebra (whose vertex operator map is by definition injective) appeared in Robinson (2010) using a powerful result from the representation theory of vertex algebras as algebras of mutually local weak vertex operators. Here we present a more elementary proof of a somewhat more general case. We also show that our constructions are canonical.
In this paper, we study a notion of what we call vertex Leibniz algebra. This notion naturally extends that of vertex algebra without vacuum, which was previously introduced by Huang and Lepowsky. We show that every vertex algebra without vacuum can be naturally extended to a vertex algebra. On the other hand, we show that a vertex Leibniz algebra can be embedded into a vertex algebra if and only if it admits a faithful module. To each vertex Leibniz algebra we associate a vertex algebra without vacuum which is universal to the forgetful functor. Furthermore, from any Leibniz algebra $\g$ we c…
In present paper, some properties of Hopf action on vertex algebras will be given. We prove that $V#H$ is an $\mathcal{S}$-local vertex algebra but it is not a vertex algebra when $V$ is an $H$-module vertex algebra. In addition, we extend the $\mathcal{S}$-locality to the quantum vertex algebras.
The notions of vertex Lie algebra and vertex Poisson algebra are presented and connections among vertex Lie algebras, vertex Poisson algebras and vertex algebras are discussed.
We continue with [LY] to construct and classify graded simple twisted modules for the $\N$-graded vertex algebras constructed by Gorbounov, Malikov and Schechtman from vertex algebroids. Meanwhile we determine the full automorphism groups of those $\N$-graded vertex algebras in terms of the automorphism groups of the corresponding vertex algebroids.
This is a paper in a series systematically to study toroidal vertex algebras. Previously, a theory of toroidal vertex algebras and modules was developed and toroidal vertex algebras were explicitly associated to toroidal Lie algebras. In this paper, we study twisted modules for toroidal vertex algebras. More specifically, we introduce a notion of twisted module for a general toroidal vertex algebra with a finite order automorphism and we give a general construction of toroidal vertex algebras and twisted modules. We then use this construction to establish a natural association of toroidal vert…
In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasi module for vertex algebras is introduced and studied. More specifically, a notion of quasi local subset(space) of $\Hom (W,W((x)))$ for any vector space $W$ is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasi local subspace there exists a natural vertex algebra structure and that any quasi local subset of $\Hom (W,W((x)))$ generates a vertex algebra. Furthermore, a notion of quasi module for …
We give a notation of Krichever-Novikov vertex algebras on compact Riemann surfaces which is a bit weaker, but quite similar to vertex algebras. As example, we construct Krichever-Novikov vertex algebras of generalized Heisenberg algebras on arbitrary compact Riemann surfaces, which are reduced to be Heisenberg vertex algebra when restricted on Riemann spheres.
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 …
We develop a theory of toroidal vertex algebras and their modules, and we give a conceptual construction of toroidal vertex algebras and their modules. As an application, we associate toroidal vertex algebras and their modules to toroidal Lie algebras.
It is proved that for a vector space W, any set of parafermion-like vertex operators on W in a certain canonical way generates a generalized vertex algebra in the sense of [DL2] with W as a natural module. This result generalizes a result of [Li2]. As an application, generalized vertex algebras are constructed from Lepowsky-Wilson's Z-algebras of any nonzero level.
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.
Unitary vertex operator algebras are introduced and studied. It is proved that most well-known rational vertex operator algebras are unitary. The classification of unitary vertex operator algebras with central charge c less than or equal to 1 is also discussed.
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.
This paper illustrates the combinatorial approach to vertex algebra - study of vertex algebras presented by generators and relations. A necessary ingredient of this method is the notion of free vertex algebra. Borcherds \cite{bor} was the first to note that free vertex algebras do not exist in general. The reason for this is that vertex algebras do not form a variety of algebras, because the locality axiom (see sec 2 below) is not an identity. However, a certain subcategory of vertex algebras, obtained by restricting the order of locality of generators, has a universal object, which we call th…
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…
We study the family of vertex algebras associated with vertex algebroids, constructed by Gorbounov, Malikov, and Schechtman. As the main result, we classify all the (graded) simple modules for such vertex algebras and we show that the equivalence classes of graded simple modules one-to-one correspond to the equivalence classes of simple modules for the Lie algebroids associated with the vertex algebroids. To achieve our goal, we construct and exploit a Lie algebra from a given vertex algebroid.
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.
In this paper, we study contragredient duals and invariant bilinear forms for modular vertex algebras (in characteristic $p$). We first introduce a bialgebra $\mathcal{H}$ and we then introduce a notion of $\mathcal{H}$-module vertex algebra and a notion of $(V,\mathcal{H})$-module for an $\mathcal{H}$-module vertex algebra $V$. Then we give a modular version of Frenkel-Huang-Lepowsky's theory and study invariant bilinear forms on an $\mathcal{H}$-module vertex algebra. As the main results, we obtain an explicit description of the space of invariant bilinear forms on a general $\mathcal{H}$-mo…
A notion of intermediate vertex subalgebras of lattice vertex operator algebras is introduced, as a generalization of the notion of principal subspaces. Bases and the graded dimensions of such subalgebras are given.As an application, it is shown that the characters of some modules of an intermediate vertex subalgebra between $E_7$ and $E_8$ lattice vertex operator algebras satisfy some modular differential equations.This result is an analogue of the result concerning the "hole" of the Deligne dimension formulas and the intermediate Lie algebra between the simple Lie algebras $E_7$ and $E_8$.
If a vertex operator algebra $V=\oplus_{n=0}^{\infty}V_n$ satisfies $\dim V_0=1, V_1=0$, then $V_2$ has a commutative (nonassociative) algebra structure called Griess algebra. One of the typical examples of commutative (nonassociative) algebras is a Jordan algebra. For example, the set $Sym_d(\C)$ of symmetric matrices of degree $d$ becomes a Jordan algebra. On the other hand, in the theory of vertex operator algebras, central charges influence the properties of vertex operator algebras. In this paper, we construct vertex operator algebras with central charge $c$ and its Griess algebra is isom…
We give a survey on the developments in a certain theory of quantum vertex algebras, including a conceptual construction of quantum vertex algebras and their modules and a connection of double Yangians and Zamolodchikov-Faddeev algebras with quantum vertex algebras.
In this paper, the structure of cocommutative vertex bialgebras is investigated. For a general vertex bialgebra $V$, it is proved that the set $G(V)$ of group-like elements is naturally an abelian semigroup, whereas the set $P(V)$ of primitive elements is a vertex Lie algebra. For $g\in G(V)$, denote by $V_g$ the connected component containing $g$. Among the main results, it is proved that if $V$ is a cocommutative vertex bialgebra, then $V=\oplus_{g\in G(V)}V_g$, where $V_{\bf 1}$ is a vertex subbialgebra which is isomorphic to the vertex bialgebra ${\mathcal{V}}_{P(V)}$ associated to the ver…
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 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.
To every vertex algebra $V$ we associate a canonical decreasing sequence of subspaces and prove that the associated graded vector space $gr(V)$ is naturally a vertex Poisson algebra, in particular a commutative vertex algebra. We establish a relation between this sequence and the sequence $C_{n}$ introduced by Zhu. By using the (classical) algebra $gr(V)$, we prove that for any vertex algebra $V$, $C_{2}$-cofiniteness implies $C_{n}$-cofiniteness for all $n\ge 2$. We further use $gr(V)$ to study generating subspaces of certain types for lower truncated $Z$-graded vertex algebras.
Given a vertex Lie algebra $\mathscr L$ equipped with an action by automorphisms of a cyclic group $Γ$, we define spaces of cyclotomic coinvariants over the Riemann sphere. These are quotients of tensor products of smooth modules over `local' Lie algebras $\mathsf L(\mathscr L)_{z_i}$ assigned to marked points $z_i$, by the action of a `global' Lie algebra ${\mathsf L}^Γ_{\{z_i \}}(\mathscr L)$ of $Γ$-equivariant functions. On the other hand, the universal enveloping vertex algebra $\mathbb V (\mathscr L)$ of $\mathscr L$ is itself a vertex Lie algebra with an induced action of $Γ$. This gives…
I show that simple finite vertex algebras are commutative, and that the Lie conformal algebra structure underlying a reduced (i.e., without nilpotent elements) finite vertex algebra is nilpotent.
In this paper, for every one-dimensional formal group $F$ we formulate and study a notion of vertex $F$-algebra and a notion of $ϕ$-coordinated module for a vertex $F$-algebra where $ϕ$ is what we call an associate of $F$. In the case that $F$ is the additive formal group, vertex $F$-algebras are exactly ordinary vertex algebras. We give a canonical isomorphism between the category of vertex $F$-algebras and the category of ordinary vertex algebras. Meanwhile, for every formal group we completely determine its associates. We also study $ϕ$-coordinated modules for a general vertex $\Z$-graded a…
We study the properties of shifted vertex operator algebras, which are vertex algebras derived from a given theory by shifting the conformal vector. In this way, we are able to exhibit large numbers of vertex operator algebras which are regular(rational and C_2-cofinite) and yet are pathological in one way or another.
In this paper, we study a new kind of vertex operator algebra related to the twisted Heisenberg-Virasoro algebra, which we call the twisted Heisenberg-Virasoro vertex operator algebra, and its modules. Specifically, we present some results concerning the relationship between the restricted module categories of twisted Heisenberg-Virasoro algebras of rank one and rank two and several different kinds of module categories of their corresponding vertex algebras. We also study fully the structures of the twisted Heisenberg-Virasoro vertex operator algebra, give a characterization of it as a tensor …
The extensions of the affine vertex operator algebras $L_{sl_2}(k,0)$ and the preunitary vertex operator algebras with central charges $c<1$ are classified. In particular, the unitary vertex operator algebras with central charges $c<1$ are classified.
In this paper, we associate quantum vertex algebras to a certain family of associative algebras $\widetilde{\A}(g)$ which are essentially Ding-Iohara algebras. To do this, we introduce another closely related family of associative algebras $\A(h)$. The associated quantum vertex algebras are based on the vacuum modules for $\A(h)$, whereas $ϕ$-coordinated modules for these quantum vertex algebras are associated to $\widetilde{A}(g)$-modules. Furthermore, we classify their irreducible $ϕ$-coordinated modules.
