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.
Some natural hidden symmetries in the Verma modules over the Virasoro algebra are constructed in terms of geometric quantization. Their differential geometric meaning is established and their expression via $q_R$-conformal symmetries in the Verma modules over the Lie algebra $sl(2,C)$ is found. The analysis and the unraveling of the algebraic structure of these families of hidden symmetries are performed.
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.
Let $\mathbb{F}$ be a field of characteristic 0, $G$ an additive subgroup of $\mathbb{F}$, $α\in \mathbb{F}$ satisfying $α\notin G, 2α\in G$. We define a class of infinite-dimensional Lie algebras which are called generalized Schrödinger-Virasoro algebras and use $\mathfrak{gsv}[G,α]$ to denote the one corresponding to $G$ and $α$. In this paper the automorphism group and irreducibility of Verma modules for $\mathfrak{gsv}[G,α]$ are completely determined.
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.
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
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 give a proof of the recursive formula on the norm of Whittaker vector of the deformed Virasoro algebra, which is an analog of the one for the Virasoro Lie algebra proposed by Al. Zamolodchikov. Our formula gives a proof of the pure SU(2) 5d AGT relation proposed by Awata and Yamada. We also give a summary of the structures of the deformed Virasoro algebra and the fundamental properties of the Verma module.
We present the list of irreducible (generalized) highest weight modules over the Virasoro algebra and N=1 super-Virasoro algebras obtained as factor-modules of (generalized) Verma modules. We present also the character formulae of all these modules and single out the unitary irreducible ones. Most formulas are valid for the three algebras under consideration, the different cases being distinguished by two parameters. This is a slightly extended version of an Encyclopedia entry.
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 …
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 i…
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.
Let $\mathcal{F}_{25}$ be the family of irreducible highest weight modules for the Virasoro algebra of central charge $25$ which are not isomorphic to Verma modules. Let $L(25,0)$ be the Virasoro vertex operator algebra of central charge 25. We prove that the fusion rules for the $L(25,0)$-modules in $\mathcal{F}_{25}$ are in correspondence with the tensor rules for the irreducible finite dimensional representations of $sl(2, \mathbb{C})$, extending the known correspondence between modules for the Virasoro algebras of dual central charges 1 and 25.
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.
We classify and explicitly construct the embedding diagrams of Verma modules over the N=2 supersymmetric extension of the Virasoro algebra. The essential ingredient of the solution consists in drawing the distinction between two different types of submodules appearing in N=2 Verma modules. The problem is simplified by associating to every N=2 Verma module a relaxed Verma module over the affine algebra ^sl(2) with an isomorphic embedding diagram. We then make use of the mechanism according to which the structure of the N=2/relaxed-sl(2) embedding diagrams can be found knowing the standard embed…
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.
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.
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 describe a number of relationships between properties of the vacuum Verma module of a Virasoro algebra and the automorphism group of certain vertex operator algebras. These groups include the Deligne exceptional series of simple Lie groups and some exceptional finite simple groups including the Monster and Baby Monster.
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…
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 aim of the paper is to study modules for the twisted Heisenberg-Virasoro algebra $\mathcal H$ at level zero as modules for the $W(2,2)$-algebra by using construction from [J. Pure Appl. Algebra 219 (2015), 4322-4342, arXiv:1405.1707]. We prove that the irreducible highest weight ${\mathcal H}$-module is irreducible as $W(2,2)$-module if and only if it has a typical highest weight. Finally, we construct a screening operator acting on the Heisenberg-Virasoro vertex algebra whose kernel is exactly $W(2,2)$ vertex algebra.
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…
We suggest a programming realization of an algorithm for verifying a given set of algebraic relations in the form of a supercommutator multiplication table for the Verma module, which is constructed according to a generalized Cartan procedure for a quadratic superalgebra and whose elements are realized as a formal power series with respect to non-commuting elements. To this end, we propose an algebraic procedure of Verma module construction and its realization in terms of non-commuting creation and annihilation operators of a given Heisenberg--Weyl superalgebra. In doing so, we set up a proble…
The generalized form of the Kac formula for Verma modules associated with linear brackets of hydrodynamics type is proposed. Second cohomology groups of the generalized Virasoro algebras are calculated. Connection of the central extensions with the problem of quntization of hydrodynamics brackets is demonstrated.
Verma modules of superconfomal algebras can have singular vector spaces with dimensions greater than 1. Following a method developed for the Virasoro algebra by Kent, we introduce the concept of adapted orderings on superconformal algebras. We prove several general results on the ordering kernels associated to the adapted orderings and show that the size of an ordering kernel implies an upper limit for the dimension of a singular vector space. We apply this method to the topological N=2 algebra and obtain the maximal dimensions of the singular vector spaces in the topological Verma modules: 0,…
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…
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…
Let $\mathcal{O}_c$ be the category of finite-length modules for the Virasoro Lie algebra at central charge $c$ whose composition factors are irreducible quotients of reducible Verma modules. For any $c\in\mathbb{C}$, this category admits the vertex algebraic braided tensor category structure of Huang, Lepowsky, and Zhang. Here, we begin the detailed study of $\mathcal{O}_{c_{p,q}}$ where $c_{p,q} = 1-\frac{6(p-q)^2}{pq}$ for relatively prime integers $p, q \geq 2$; in conformal field theory, $\mathcal{O}_{c_{p,q}}$ corresponds to a logarithmic extension of the central charge $c_{p,q}$ Virasor…
Modules over affine Lie superalgebras ${\cal G}$ are studied, in particular, for ${\cal G}=\hat{OSP(1,2)}$. It is shown that on studying Verma modules, much of the results in Kac-Moody algebra can be generalized to the super case. Of most importance are the generalized Kac-Kazhdan formula and the Malikov-Feigin-Fuchs construction, which give the weights and the explicit form of the singular vectors in the Verma module over affine Kac-Moody superalgebras. We have also considered the decomposition of the admissible representation of $\hat{OSP(1,2)}$ into that of $\hat{SL(2)}\otimes$Virasoro alge…
We construct vertex operator representations for the full (N+1)-toroidal Lie algebra g. We associate with g a toroidal vertex operator algebra, which is a tensor product of an affine VOA, a sub-VOA of a hyperbolic lattice VOA, affine sl(N) VOA and a twisted Heisenberg-Virasoro VOA. The modules for the toroidal VOA are also modules for the toroidal Lie algebra g. We also construct irreducible modules for an important subalgebra gdiv of the toroidal Lie algebra that corresponds to the divergence free vector fields. This subalgebra carries a non-degenerate invariant bilinear form. The VOA that co…
We use the Jack symmetric functions as a basis of the Fock space, and study the action of the Virasoro generators $L_n$. We calculate explicitly the matrix elements of $L_n$ with respect to the Jack-basis. A combinatorial procedure which produces these matrix elements is conjectured. As a limiting case of the formula, we obtain a Pieri-type formula which represents a product of a power sum and a Jack symmetric function as a sum of Jack symmetric functions. Also, a similar expansion was found for the case when we differentiate the Jack symmetric functions with respect to power sums. As an appli…
Let $M(1)$ be the vertex operator algebra with the Virasoro element $ω$ associated to the Heisenberg algebra of rank $1$ and let $M(1)^{+}$ be the subalgebra of $M(1)$ consisting of the fixed points of an automorphism of $M(1)$ of order $2$. We classify the simple weak $M(1)^{+}$-modules with a non-zero element $w$ such that for some integer $s\geq 2$, $ω_i w\in{\mathbb C}w$ ($i=\lfloor s/2\rfloor+1,\lfloor s/2\rfloor+2,\ldots,s-1$), $ω_{s}w\in{\mathbb C}^{\times}w$, and $ω_i w=0$ for all $i>s$. The result says that any such simple weak $M(1)^{+}$-module is isomorphic to some simple weak $M(1)…
Differential calculi of Poincare-Birkhoff-Witt type on universal enveloping algebras of Lie algebras g are defined. This definition turns out to be independent of the basis chosen in g. The role of automorphisms of g is explained. It is proved that no differential calculus of Poincare-Birkhoff-Witt type exists on semi-simple Lie algebras. Examples are given, namely gl_n, Abelian Lie algebras, the Heisenberg algebra, the Witt and the Virasoro algebra. Completely treated are the 2-dimensional solvable Lie algebra, and the 3-dimensional Heisenberg algebra.
We define the partition and $n$-point functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We obtain closed formulas for the genus two partition function for the Heisenberg free bosonic string and for any pair of simple Heisenberg modules. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties for the Heisenberg and lattice vertex operator algebras and a continuous orbifolding of the rank two fermion vertex operator super algebra. We compute the genus two H…
This is the first in a series of papers where we study logarithmic intertwining operators for various vertex subalgebras of Heisenberg vertex operator algebras. In this paper we examine logarithmic intertwining operators associated with rank one Heisenberg vertex operator algebra $M(1)_a$, of central charge $1-12a^2$. We classify these operators in terms of {\em depth} and provide explicit constructions in all cases. Furthermore, for $a=0$ we focus on the vertex operator subalgebra L(1,0) of $M(1)_0$ and obtain logarithmic intertwining operators among indecomposable Virasoro algebra modules. I…
The recent focus on deformations of algebras called quantum algebras can be attributed to the fact that they appear to be the basic algebraic structures underlying an amazingly diverse set of physical situations. To date many interesting features of these algebras have been found and they are now known to belong to a class of algebras called Hopf algebras [1]. The remarkable aspect of these structures is that they can be regarded as deformations of the usual Lie algebras. Of late, there has been a considerable interest in the deformation of the Virasoro algebra and the underlying Heisenberg al…
We present a bilocal isomorphism between the algebra generated by a single real twisted boson field and the algebra of the boson $βγ$ ghost system. As a consequence of this twisted vertex algebra isomorphism we show that each of these two algebras possesses both an untwisted and a twisted Heisenberg bosonic currents, as well as three separate families of Virasoro fields. We show that this bilocal isomorphism generalizes to an isomorphism between the algebra generated by the twisted boson field with $2n$ points of localization and the algebra of the $2n$ symplectic bosons.
We give some general results about the generators and relations for the higher level Zhu algebras for a vertex operator algebra. In particular, for any element $u$ in a vertex operator algebra $V$, such that $u$ has weight greater than or equal to $-n$ for $n \in \mathbb{N}$, we prove a recursion relation in the $n$th level Zhu algebra $A_n(V)$ and give a closed formula for this relation. We use this and other properties of $A_n(V)$ to reduce the modes of $u$ that appear in the generators for $A_n(V)$ as long as $u \in V$ has certain properties (properties that apply, for instance, to the conf…
We consider the Whittaker modules $M_{1}(λ,μ)$ for the Weyl vertex algebra $M$, constructed in arXiv:1811.04649, where it was proved that these modules are irreducible for each finite cyclic orbifold $M^{\Bbb Z_n}$. In this paper, we consider the modules $M_{1}(λ,μ)$ as modules for the ${\Bbb Z}$-orbifold of $M$, denoted by $M^0$. $M^0$ is isomorphic to the vertex algebra $\mathcal W_{1+\infty, c=-1} = \mathcal M(2) \otimes M_1(1)$ which is the tensor product of the Heisenberg vertex algebra $M_1(1)$ and the singlet algebra $\mathcal M(2)$. Furthermore, these modules are also modules of the Li…
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 define a natural quantum analogue for the ${\cal Z}$ algebra, and which we refer to as the ${\cal Z}_q$ algebra, by modding out the Heisenberg algebra from the quantum affine algebra $U_q(\hat{sl(2)})$ with level $k$. We discuss the representation theory of this ${\cal Z}_q$ algebra. In particular, we exhibit its reduction to a group algebra, and to a tensor product of a group algebra with a quantum Clifford algebra when $k=1$, and $k=2$, and thus, we recover the explicit constructions of $\uq$-standard modules as achieved by Frenkel-Jing and Bernard, respectively. Moreover, for arbitrary n…
Motivated by the study of indecomposable, nonsimple modules for a vertex operator algebra $V$, we study the relationship between various types of $V$-modules and modules for the higher level Zhu algebras for $V$, denoted $A_n(V)$, for $n \in \mathbb{N}$, first introduced by Dong, Li, and Mason in 1998. We resolve some issues that arise in a few theorems previously presented when these algebras were first introduced, and give examples illustrating the need for certain modifications of the statements of those theorems. We establish that whether or not $A_{n-1}(V)$ is isomorphic to a direct summa…
