We study the representation theory of the N=1 super Heisenberg-Virasoro vertex algebra at level zero, which extends the previous work on the Heisenberg-Virasoro vertex algebra arXiv:math/0201314, arXiv:1405.1707 and arXiv:1703.00531 to the super case. We calculated all characters of irreducible highest weight representations by investigating certain Fock space representations. Quite surprisingly, we found that the maximal submodules of certain Verma modules are generated by subsingular vectors. The formulas for singular and subsingular vectors are obtained using screening operators appearing in a study of certain logarithmic vertex algebras in arXiv:0908.4053.
In a recent paper by the authors, Lie bialgebra structures on generalized Heisenberg- Virasoro algebra L are considered. In this paper, the explicit formula of the quantization on generalized Heisenberg-Virasoro algebra is presented.
In this paper, Lie bialgebra structures on generalized Heisenberg-Virasoro algebra $\mathfrak{L}$ are considered. Also, $H^1({\mathfrak{L}} ,\mathfrak{L}\bigotimes\mathfrak{L})$ is given explicitly. Moreover, it is proved that all Lie bialgebra structure on centerless generalized Heisenberg-Virasoro algebra $\bar{\mathfrak{L}}$ are coboundary triangular.
We show that subsingular vectors exist in Verma modules over W(2,2), and present a subquotient structure of these modules. We prove conditions for irreducibility of a tensor product of intermediate series module with the highest weight module. Relations to intertwining operators over vertex operator algebra associated to W(2,2) is discussed. Also, we study a tensor product of intermediate series and highest weight module over the twisted Heisenberg-Virasoro algebra, and present series of irreducible modules with infinite-dimensional weight spaces.
The work is devoted to a probably new connection between deformed Virasoro algebra and quantum $\widehat{\mathfrak{sl}}_2$. We give an explicit realization of Virasoro current via vertex operators of level 1 integrable representation of $\widehat{\mathfrak{sl}}_2$. The same is done for a twisted version of deformed Virasoro algebra.
We investigate the free fields realization of the twisted Heisenberg-Virasoro algebra $\mathcal{H}$ at level zero. We completely describe the structure of the associated Fock representations. Using vertex-algebraic methods and screening operators we construct singular vectors in certain Verma modules as Schur polynomials. We completely solve the irreducibility problem for tensor product of irreducible highest weight modules with intermediate series. We also determine the fusion rules for an interesting subcategory of $\mathcal{H}$-modules. Finally, as an application we present a free field rea…
We describe the structure of the irreducible highest weight modules for the twisted Heisenberg-Virasoro Lie algebra at level zero. We prove that such a module is either isomorphic to a Verma module or to a quotient of two Verma modules.
This paper is a continuation of arXiv:1405.1707. We present certain new applications and generalizations of the free field realization of the twisted Heisenberg-Virasoro algebra ${\mathcal H}$ at level zero. We find explicit formulas for singular vectors in certain Verma modules. A free field realization of self-dual modules for ${\mathcal H}$ is presented by combining a bosonic construction of Whittaker modules from arXiv:1409.5354 with a construction of logarithmic modules for vertex algebras. As an application, we prove that there exists a non-split self-extension of irreducible self-dual m…
We show that the support of an irreducible weight module over the twisted Heisenberg-Virasoro algebra, which has an infinite dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the twisted Heisenberg-Virasoro algebra, having a nontrivial finite dimensional weight space, is a Harish-Chandra module (and hence is either an irreducible highest or lowest weight module or an irreducible module from the intermediate series
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 …
For any additive subgroup $G$ of an arbitrary field $F$ of characteristic zero, there corresponds a generalized Heisenberg-Virasoro algebra $L[G]$. Given a total order of $G$ compatible with its group structure, and any $h,h_I,c,c_I,c_{LI}\in F$, a Verma module $M(h,h_I,c,c_I,c_{LI})$ over $L[G]$ is defined. In the this note, the irreducibility of Verma modules $M(h,h_I,c,c_I,c_{LI})$ is completely determined.
We give field theoretic realizations of both the $q$-Heisenberg and the $q$-Virasoro algebra. In particular, we obtain the operator product expansions among the current and the energy momentum tensor obtained using the Sugawara construction.
This paper focuses on the connection of holomorphic two-dimensional factorization algebras and vertex algebras which has been made precise in the forthcoming book of Costello-Gwilliam. We provide a construction of the Virasoro vertex algebra starting from a local Lie algebra on the complex plane. Moreover, we discuss an extension of this factorization algebra to a factorization algebra on the category of Riemann surfaces. The factorization homology of this factorization algebra is computed as are the correlation functions. We provide an example of how the Virasoro factorization algebra impleme…
We construct the bosonization of the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ of a single neutral fermion by using a 2-point local Heisenberg field. We decompose the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ as a direct sum of irreducible highest weight modules for the Heisenberg algebra $\mathcal{H}_{\mathbb{Z}}$, and thus we show that under the Heisenberg $\mathcal{H}_{\mathbb{Z}}$ action the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ of the single neutral fermion is isomorphic to the Fock space $\mathit{F^{\otimes 1}}$ of a pair of charged free fermions, thereby constructing the…
In this paper, we study the structure theory of a class of not-finitely graded Lie algebras related to generalized Heisenberg-Virasoro algebras. In particular, the derivation algebras, the automorphism groups and the second cohomology groups of these Lie algebras are determined.
In this paper we discuss the structure of the tensor product V'_{α,β}\otimes L(c,h) of irreducible module from intermediate series and irreducible highest weight module over the Virasoro algebra. We generalize Zhang's irreducibility criterion, and show that irreducibility depends on the existence of integral roots of a certain polynomial, induced by a singular vector in the Verma module V(c,h). A new type of irreducible Vir-module with infinite-dimensional weight subspaces is found. We show how the existence of intertwining operator for modules over vertex operator algebra yields reducibility …
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 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 determine the automorphism group of the twisted Heisenberg-Virasoro vertex operator algebra $V_{\mathcal{L}}(\ell_{123},0)$.Then, for any integer $t>1$, we introduce a new Lie algebra $\mathcal{L}_{t}$, and show that $σ_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules are in one-to-one correspondence with restricted $\mathcal{L}_{t}$-modules of level $\ell_{13}$, where $σ_{t}$ is an order $t$ automorphism of $V_{\mathcal{L}}(\ell_{123},0)$. At the end, we give a complete list of irreducible $σ_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules.
We construct integral forms containing the conformal vector $ω$ in certain tensor powers of the Virasoro vertex operator algebra $L(\frac{1}{2},0)$, and we construct integral forms in certain modules for these algebras. When a triple of modules for a tensor power of $L(\frac{1}{2},0)$ have integral forms, we classify which intertwining operators among these modules respect the integral forms. As an application, we explore how these results might be used to obtain integral forms in framed vertex operator algebras.
From the defining exchange relations of the A_{q,p}(gl_{N}) elliptic quantum algebra, we construct subalgebras which can be characterized as q-deformed W_N algebras. The consistency conditions relating the parameters p,q,N and the central charge c are shown to be related to the singularity structure of the functional coefficients defining the exchange relations of specific vertex operators representations of A_{q,p}({gl_{N}) available when N=2.
In this paper, extensions of nonunitary rational Virasoro vertex operator algebras corresponding to some exceptional modular invariants are constructed. The uniqueness of these extensions is also established.
We give an abstract construction, based on the Belavin-Polyakov-Zamolodchikov equations, of a family of vertex operator algebras of rank $26$ associated to the modified regular representations of the Virasoro algebra. The vertex operators are obtained from the tensor products of intertwining operators for a pair of Virasoro algebras. We explicitly determine the structure coefficients that yield the axioms of VOAs. In the process of our construction, we obtain new hypergeometric identities.
In this paper we prove the fusion rules of $L(c_{1,q},0)$ for all $q\geq1$. Roughly speaking, we consider $L(c_{1,q},0)$ as the limitation of $L(c_{n,nq-1},0)$, where $n\rightarrow\infty$, and the fusion rules of $L(c_{1,q},0)$ follow as the limitation of the fusion rules of $L(c_{n,nq-1},0)$.
We study permutation orbifolds of the $2$-fold and $3$-fold tensor product for the Virasoro vertex algebra $\mathcal{V}_c$ of central charge $c$. In particular, we show that for all but finitely many central charges $\left(\mathcal{V}_c^{\otimes 3}\right)^{\mathbb{Z}_3}$ is a $W$-algebra of type $(2, 4, 5, 6^3 , 7, 8^3 , 9^3 , 10^2 )$. We also study orbifolds of their simple quotients and obtain new realizations of certain rational affine $W$-algebras associated to a principal nilpotent element. Further analysis of permutation orbifolds of the celebrated $(2,5)$-minimal vertex algebra $\mathca…
We consider all genus two correlation functions for the Virasoro vacuum descendants of a vertex operator algebra. These are described in terms of explicit generating functions that can be combinatorially expressed in terms of a sequence of globally defined differential operators on which the genus two Siegel modular group $Sp(4,\mathbb{Z})$ has a natural action.
We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain …
We revisit the construction of deformed Virasoro algebras from elliptic quantum algebras of vertex type, generalizing the bilinear trace procedure proposed in the 90's. It allows us to make contact with the vertex operator techniques that were introduced separately at the same period. As a by-product, the method pinpoints two critical values of the central charge for which the center of the algebra is extended, as well as (in the $gl(2)$ case) a Liouville formula.
We consider all genus zero and genus one correlation functions for the Virasoro vacuum descendants of a vertex operator algebra. These are described in terms of explicit generating functions that can be combinatorially expressed in terms of graph theory related to derangements in the genus zero case and to partial permutations in the genus one case.
We develop a calculus of variations for functionals on certain spaces of conformal maps. Such a space Ω is composed of all maps that are conformal on domains containing a fix compact annular set of the Riemann sphere, and that are "sense-preserving". The calculus of variations is based on describing infinitesimal variations of such maps using vector fields. We show that derivatives of all orders with respect to such conformal maps, upon conjugation by an appropriate functional, give rise to the structure of the Virasoro vertex operator algebra. Our construction proceeds in three steps. We firs…
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.
Let $\mathcal{O}_{25}$ be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge $25$ whose composition factors are the irreducible quotients of reducible Verma modules. We show that $\mathcal{O}_{25}$ is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian $3$-cocycle twist of the category of finite-dimensional $\mathfrak{sl}_2$-modules. We also show that this $\mathfrak{sl}_2$-type subcategory is braid-reversed tensor equivalent to a similar category for the Vir…
In this article, we give a sufficient and necessary condition for the $C_2$-cofiniteness of the 2-cycle permutation orbifold model $(V\otimes V)^σ$ for a $C_2$-cofinite vertex operator algebra and the 2-cycle permutation $σ$ of $V\otimes V$. As an application, we show that the 2-cycle permutation orbifold model of the simple Virasoro vertex operator algebra $L(c,0)$ of minimal central charge $c$ is $C_2$-cofinite.
This paper studies restricted modules of gap-$p$ Virasoro algebra $Ł$ and their intrinsic connection to twisted modules of certain vertex algebras. We first establish an equivalence between the category of restricted $Ł$-modules of level $\el$ and the category of twisted modules of vertex algebra $V_{\mathcal{N}_{p}}(\el,0)$, where $\mathcal{N}_{p}$ is a new Lie algebra, $\el:=(\ell_{0},0,\cdots,0)\in\C^{\halfp+1}$, $\ell_{0}\in\C$ is the action of the Virasoro center. Then we focus on the construction and classification of simple restricted $Ł$-modules of level $\el$. More explicitly, we give…
In this paper, we study a certain deformation $D$ of the Virasoro algebra that was introduced and called $q$-Virasoro algebra by Nigro,in the context of vertex algebras. Among the main results, we prove that for any complex number $\ell$, the category of restricted $D$-modules of level $\ell$ is canonically isomorphic to the category of quasi modules for a certain vertex algebra of affine type. We also prove that the category of restricted $D$-modules of level $\ell$ is canonically isomorphic to the category of $\mathbb{Z}$-equivariant $ϕ$-coordinated quasi modules for the same vertex algebra.…
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…
This paper is a continuation to understand Heisenberg vertex algebras in terms of moduli spaces of their conformal structures. We study the moduli space of the conformal structures on a Heisenberg vertex algebra that have the standard fixed conformal gradation. As we know in Proposition 3.1 in Sect.3, conformal vectors of the Heisenberg vertex algebra $V_{\hatη}(1,0)$ that have the standard fixed conformal gradation is parameterized by a complex vector $h$ of its weight-one subspace. First, we classify all such conformal structures of the Heisenberg vertex algebra $V_{\hatη}(1,0)$ by describin…
In this paper we study the first cohomologies for the following three examples of vertex operator algebras: (i) the simple affine VOA associated to a simple Lie algebra with positive integral level; (ii) the Virasoro VOA corresponding to minimal models; (iii) the lattice VOA associated to a positive definite even lattice. We prove that in all these cases, the first cohomology $H^1(V, W)$ are given by the zero-mode derivations when $W$ is any $V$-module with an $\N$-grading (not necessarily by the operator $L(0)$). This agrees with the conjecture made by Yi-Zhi Huang and the author in 2018. For…
Primary fields of the $q$-deformed Virasoro algebra are constructed. Commutation relations among the primary fields are studied. Adjoint actions of the deformed Virasoro current on the primary fields are represented by the shift operator $Θ_ξ f(x)=f(ξx)$. Four point functions of the primary fields enjoy the connection formula associated with the Boltzmann weights of the fusion Andrews-Baxter-Forrester model.
In this paper, a continuation of \cite{MPS}, we investigate the $S_3$-orbifold subalgebra of $(\mathcal{V}_c)^{\otimes 3}$, that is, we consider the $S_3$-fixed point vertex subalgebra of the tensor product of three copies of the universal Virasoro vertex operator algebras $\mathcal{V}_c$. Our main result is construction of a minimal, strong set of generators of this subalgebra for any generic values of $c$. More precisely, we show that this vertex algebra is of type $(2,4,6^2,8^2,9,10^2,11,12^3)$. We also investigate two prominent examples of simple $S_3$-orbifold algebras corresponding to ce…
We consider exceptional vertex operator algebras for which particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendants of the vacuum. We discuss constraints on these theories that follow from an analysis of appropriate genus zero and genus one two point correlation functions. We find explicit differential equations for the partition function in the cases where the lowest weight primary vectors form a Lie algebra or a Griess algebra. Examples include the Wess-Zumino-Witten model for Deligne's exceptional Lie algebras and the Moonshine Modu…
In this note we associate to each Frobenius algebra a vertex algebra, the simplest example being the Virasoro vertex algebra. This construction is analogous to the procedure which associates to a Lie algebra with an invariant bilinear form the vacuum module over the corresponding Kac-Moody Lie algebra.
In the references [HL1]--[HL5] and [H1], a theory of tensor products of modules for a vertex operator algebra is being developed. To use this theory, one first has to verify that the vertex operator algebra satisfies certain conditions. We show in the present paper that for any vertex operator algebra containing a vertex operator subalgebra isomorphic to a tensor product algebra of minimal Virasoro vertex operator algebras (vertex operator algebras associated to minimal models), the tensor product theory can be applied. In particular, intertwining operators for such a vertex operator algebra s…
For a simple vertex operator algebra whose Virasoro element is a sum of commutative Virasoro elements of central charge 1/2, two codes are introduced and studied. It is proved that such vertex operator algebras are rational. For lattice vertex operator algebras and related ones, decompositions into direct sums of irreducible modules for the product of the Virasoro algebras of central charge 1/2 are explicitly described. As an application, the decomposition of the moonshine vertex operator algebra is obtained for a distinguished system of 48 Virasoro algebras.
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]-…
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.
By using the theory of vertex operator algebras, we gave a new proof of the famous Ramanujan's modulus 5 modular equation from his "Lost Notebook" (p.139 in \cite{R}). Furthermore, we obtained an infinite list of $q$-identities for all odd moduli; thus, we generalized the result of Ramanujan.
We generalize some results concerning affine algebras at the critical level to the corresponding quantum algebras. In particular, we show that the Wakimoto realization provides a homomorphism of Poisson algebras from the center of a quantum affine algebra to a Heisenberg-Poisson algebra. This homomorphism is a q-deformation of the Miura transformation. It is given by the same formulas as the spectra of transfer-matrices of the corresponding quantum integrable models. The image of the center in the Heisenberg-Poisson algebra is a Poisson subalgebra of the latter, which is a q-deformation of the…
In this paper, we study certain Virasoro frames for lattice vertex operator algebras and their $\Z_2$-orbifolds using linear codes over $\Z_4$. We also compute the corresponding frame stabilizer from the view point of binary codes and $\Z_4$-codes. As an application, we determine the frame stabilizers of several Virasoro frames of the vertex operator algebra $V_{E_8}$ and the moonshine vertex operator algebra $V^\natural$.
We provide a ribbon tensor equivalence between the representation category of small quantum SL(2), at parameter q=exp($π$ i/p), and the representation category of the triplet vertex operator algebra at integral parameter p>1. We provide similar quantum group equivalences for representation categories associated to the Virasoro, and singlet vertex operator algebras at central charge c=1-6(p-1)^2/p. These results resolve a number of fundamental conjectures coming from studies of logarithmic CFTs in type A_1.
We define an elliptic deformation of the Virasoro algebra. We argue that the $\mathbb{R}^4\times \mathbb{T}^2$ Nekrasov partition function reproduces the chiral blocks of this algebra. We support this proposal by showing that at special points in the moduli space the 6d Nekrasov partition function reduces to the partition function of a 4d vortex theory supported on $\mathbb{R}^2\times \mathbb{T}^2$, which is in turn captured by a free field correlator of vertex operators and screening charges of the elliptic Virasoro algebra.
We derive and study a quantum group g(p,q) that is Kazhdan--Lusztig-dual to the W-algebra W(p,q) of the logarithmic (p,q) conformal field theory model. The algebra W(p,q) is generated by two currents $W^+(z)$ and $W^-(z)$ of dimension (2p-1)(2q-1), and the energy--momentum tensor T(z). The two currents generate a vertex-operator ideal $R$ with the property that the quotient W(p,q)/R is the vertex-operator algebra of the (p,q) Virasoro minimal model. The number (2 p q) of irreducible g(p,q)-representations is the same as the number of irreducible W(p,q)-representations on which $R$ acts nontriv…
