{'fraction_non_alphanumeric': 0.0665088800821958, 'fraction_numerical': 0.01946646117716131, 'mean_word_length': 3.43130081300813, 'pattern_counts': {'":': 0, '<': 2, '<?xml version=': 0, '>': 6, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 38, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A category of modules for the full toroidal Lie algebra

We introduce a category B of bounded modules for the toroidal Lie algebras and study irreducible modules in B. We show that one of the irreducible modules in this category, L(T_0), admits a structure of a vertex operator algebra. We prove that L(T_0) factors into a tensor product of a sub-VOA of a hyperbolic lattice VOA and a simple VOA associated with a twisted Virasoro-affine Lie algebra. Every irreducible module in category B is a VOA module for a slightly larger VOA V(T_0). Knowing the structure of V(T_0), we are able to give explicit realizations for all irreducible modules in category B and determine their characters.

The most important class of modules for the affine Lie algebras are the highest weight modules, and one would certainly want to construct their toroidal analogs. The first problem that arises here is that one needs a triangular decomposition for the Lie algebra in order to introduce the notion of the highest weight module. Toroidal Lie algebras are graded by Z N+1 , and for N > 0, there is no canonical way of dividing this lattice into positive and negative parts. This difficulty is not present for the affine Lie algebras, which are graded by Z, and for Z such a splitting is natural.
One way to split Z N+1 is to cut it with a hyperplane that intersects with the lattice only at zero. The corresponding class of the highest weight modules was studied by Berman and Cox [BC], where it was found that the Verma modules constructed in this way will have infinitedimensional weight spaces and do not produce any representations with interesting realizations. Modules corresponding to other decompositions of the lattice were studied in [DFP].
An extremal way of dividing the lattice is to cut it with a hyperplane that intersects Z N+1 at a sublattice of rank N . This approach was taken by Moody, Rao and Yokonuma, who constructed a homogeneous vertex operator realization of the basic module for the universal central extension of the multi-loop algebra [MRY]. In [EM], Rao and Moody showed how to get a representation of a bigger algebra on the same space, adding a subalgebra D * = N ⊕ p=1 R ∂ ∂t p of the Lie algebra of vector fields. One unanticipated development in [EM] was the appearance of a K-valued 2-cocycle τ 1 on the Lie algebra of vector fields, which is an abelian generalization of the Virasoro cocycle. A principal realization for the basic module was given in [B1].
Developing further these ideas, Larsson succeeded in constructing a wider class of representations for the toroidal Lie algebras [L]. He showed that the basic module for the affine Lie algebra ġ may be replaced with an arbitrary highest weight module. Larsson also discovered that affine gl N -modules can be used as an ingredient in these constructions. In Larsson's paper a combination of 2-cocycles τ 1 and τ 2 had appeared.
Berman and Billig developed a categorical approach to the representation theory of toroidal Lie algebras, introducing the generalized Verma modules for toroidal Lie algebras [BB]. They developed a theory of Lie algebras with polynomial multiplication, which allowed them to prove that simple quotients of the generalized Verma modules always have finite-dimensional weight spaces. Realizations of these irreducible quotients were obtained using a modified version of Larsson's construction.
A vertex algebra interpretation of these results was given by Berman, Billig and Szmigielski in [BBS].
Although the generalized Verma modules could be defined for the full toroidal algebras and the result of [BB] concerning finite-dimensional weight spaces also holds in full generality, there was one substantial difficulty unresolved in all of these publications. It was not known how to construct realizations for the modules over the full toroidal algebra -the piece R ∂ ∂t 0 was always missing. This piece corresponds to the energy-momentum tensor in quantum field theories, so it is important to have it represented.
A class of modules for the full toroidal Lie algebras was constructed in [B4] (unpublished), and in the present paper we completely solve this problem.
Extended affine Lie algebras (EALAs) are another important family of algebras closely related to the toroidal Lie algebras. The main feature of the extended affine Lie algebras is the existence of a non-degenerate symmetric invariant bilinear form. Such a form does not exist on the full toroidal algebra, but it can be defined on its subalgebra (R ⊗ġ) ⊕ K ⊕ D div , where D div is the Lie algebra of divergence zero vector fields on a torus. The results of the present paper make it possible to develop the representation theory for the toroidal EALA using restriction from the full toroidal algebras [B4], [B6].
It is shown in [ABFP] that most of the extended affine Lie algebras may be realized as twisted toroidal EALAs. The representation theory of the twisted toroidal EALAs is studied by Billig and Lau in [BL].
In the present paper we define a rather natural category B χ of bounded g-modules with finite-dimensional weight spaces with the central character χ. Our goal is to study irreducible modules in this category. We show that every irreducible module is characterized by its top T -the highest eigenspace for the operator d 0 = t 0 ∂ ∂t 0 . The space T is a submodule with respect to the subalgebra g 0 consisting of elements of g of degree zero with respect to t 0 . Following [BB], we define a generalized Verma module M (T ) and its irreducible quotient L (T ). We show (Theorem 2.5) that every irreducible module in category B χ is isomorphic to L(T ) for some irreducible g 0 -module T with finite-dimensional weight spaces. Using the results of [JM], [E] and [B5], we see that such g 0 -modules are precisely those considered in [BB] -they are multi-loop modules with respect to R N ⊗ġ and tensor modules with respect to Der (R N ).
Once we get a description of the tops T , we wish to completely determine the structure of the g-modules L (T ). This is done by constructing the vertex operator realizations of these modules. The crucial observation here is that the full toroidal Lie algebras are vertex Lie algebras. This allows us to construct the universal enveloping VOA V g . We show (Proposition 4.2) that for a particular top T 0 , the irreducible module L(T 0 ) is a factor-VOA of V g . Using the methods developed in [BB], we study the kernel of the projection V g → L (T 0 ). This kernel gives us valuable information about L (T 0 ). Once we determine that a vector v ∈ V g belongs to the kernel, we apply the state-field correspondence Y and conclude that Y L(T 0 ) (v, z) = 0. In this way we derive important relations that hold in L (T 0 ). We use these relations to define a toroidal VOA V (T 0 ) as a tensor product of a sub-VOA V + Hyp of a lattice VOA and a VOA V f corresponding to the twisted Virasoro-affine Lie algebra withḟ =ġ ⊕ gl N .
In the previous papers on this subject, the vertex operator realization for the toroidal modules had to be essentially guessed. The significant difference in the present approach is that we are able to derive all the properties of the vertex operator realizations from inside, using only the relations in the toroidal Lie algebra g and its universal enveloping vertex algebra V g .
The VOA V (T 0 ) controls the representation theory of g. We show (Theorem 5.3) that every irreducible module L(T ) in category B χ is a simple VOA module for V (T 0 ) and can be constructed as a tensor product of a simple module M + Hyp (α) for the VOA V + Hyp with an irreducible highest weight module L f for the twisted Virasoro-affine algebra f. For a generic level c, we can further factor L f in a tensor product and get the following decomposition for L(T ): where the last four factors are certain irreducible highest weight modules for the affine algebras ġ, sl N , the infinite-dimensional Heisenberg algebra and the Virasoro algebra. In this way we reduce the representation theory of toroidal Lie algebras to the representation theory of affine, Heisenberg and Virasoro algebras. Whenever explicit realizations are available for the components in the tensor product decomposition above, we get a realization for the irreducible module for the full toroidal Lie algebra. This leads to the following open problem: while the explicit expressions for the characters of irreducible modules may be known, there is no Weyl-type character formula for the toroidal Lie algebras. Obtaining such a formula may yield interesting number-theoretic identities.
The structure of the paper is the following. In Section 1 we review the construction of the toroidal Lie algebras. In Section 2 we introduce a category B χ of g-modules and show that every irreducible module in B χ is characterized by its top T . We also describe the structure of the top T . In Section 3 we recall the definition of the vertex operator algebra and the construction of the universal enveloping vertex algebra of a vertex Lie algebra. We introduce twisted Virasoroaffine Lie algebras, show that these algebras are in fact vertex Lie algebras and describe the structure of the corresponding enveloping vertex algebras and their simple modules. At the end of Section 3 we describe the hyperbolic lattice VOA V Hyp and its sub-VOA V + Hyp . In Section 4 we show that the full toroidal Lie algebra is vertex Lie algebra and define its enveloping VOA V g . Next we establish a series of relations that hold in the simple quotient L(T 0 ) and use them to decompose L(T 0 ) into a tensor product of two VOAs, V + Hyp and L f (γ 0 ). In the final Section 5 we prove that a slightly bigger VOA V (T 0 ) = V + Hyp ⊗ V f (γ 0 ) also admits the structure of a module over the full toroidal algebra g. We show that every irreducible g-module in category B χ is a simple VOA module for V (T 0 ), which then allows us to obtain a complete description of these irreducible g-modules.
Acknowledgements: I thank Stephen Berman for the stimulating discussions and encouragement. I have greatly benefited from Chongying Dong's lectures on vertex operator algebras given at the Fields Institute.

Toroidal Lie algebras.
Toroidal Lie algebras are the natural multi-variable generalizations of affine Lie algebras. In this review of the toroidal Lie algebras we follow the work [BB]. Letġ be a simple finitedimensional Lie algebra over C with a non-degenerate invariant bilinear form (·|·) and let N ≥ 1 be an integer. We consider the Lie algebra R ⊗ġ of maps from an N + 1 dimensional torus intȯ is the algebra of Fourier polynomials on a torus. The universal central extension of this Lie algebra may be described by means of the following construction which is due to Kassel [Kas]. Let Ω 1 R be the space of 1-forms on a torus: Rdt p . We will choose the forms {k p = t −1 p dt p |p = 0, . . . , N } as a basis of this free R module. There is a ∂t p k p . The center K for the universal central extension (R ⊗ġ) ⊕ K of R ⊗ġ is realized as (R), and the Lie bracket is given by the formula Here and in the rest of the paper we will denote elements of K by the same symbols as elements of Ω 1 R , keeping in mind the canonical projection Ω 1 R → Ω 1 R /d (R). Next we add to (R ⊗ġ) ⊕ K the algebra D of vector fields on the torus where d p = t p ∂ ∂t p . We will use the multi-index notation writing t r = t r 0 0 t r 1 1 . . . t r N N for r = (r 0 , r 1 , . . . , r N ), etc.
The natural action of D on R ⊗ġ uniquely extends to the action on the universal central extension (R ⊗ġ This corresponds to the Lie derivative action of the vector fields on 1-forms. It turns out that there is still an extra degree of freedom in defining the Lie algebra structure on (R ⊗ġ) ⊕ K ⊕ D. The Lie bracket on D may be twisted with a K-valued 2-cocycle: (1.3) In order to compute the second cohomology space H 2 (D, K), one could use the Gelfand-Fuks cohomology theory [F], [T]. Unfortunately this theory only allows one to do the computations in the C ∞ setup, i.e., when R is replaced with the algebra of infinitely differentiable functions on a torus, and not for the algebra of Fourier polynomials that we consider here. For the C ∞ situation the calculation of H 2 C ∞ (D, K) has been carried out in [BN]. For the (N +1)-dimensional torus with N + 1 ≥ 2, the dimension of the second cohomology space is dim H 2 C ∞ (D, K) = 2 + N + 1 3 , and the following cocycles form the basis of this space: together with a family {η abc |0 ≤ a < b < c ≤ N }, where the cocycle η abc is defined by the conditions that η abc (t r d σ(a) , t m d σ(b) ) = (−1) σ t r+m k σ(c) , for any permutation σ : It is clear that H 2 (D, K) in the algebraic setup contains the space H 2 C ∞ (D, K). After twisting with a cocycle η abc , the vector fields d a and d b no longer commute. For this reason we will be considering only the cocycles τ 1 and τ 2 in this paper.
We will write τ = µτ 1 + ντ 2 . The resulting algebra (or rather a family of algebras) is called the full toroidal Lie algebra Note that after adding the algebra of derivations D, the center Z of the toroidal Lie g becomes finite-dimensional with the basis {k 0 , k 1 , . . . , k N }. This can be seen from the action (1.2) of D on K, which is non-trivial.
The study representation theory of toroidal Lie algebras has begun in [MRY] and [EM], with further developments in [B1], [L], [BB], [BBS]. In all of these papers there was one common difficulty that has not been resolved -the representations constructed there were not for the full toroidal algebra g, but only for a subalgebra where the piece Rd 0 that corresponds to the toroidal energy-momentum tensor was missing. This left the theory in a somewhat incomplete form, and the goal of the present paper is to study representations for the full toroidal Lie algebra.

A category of bounded modules for toroidal Lie algebras.
In this section we will introduce a category of bounded modules for toroidal Lie algebras that could be regarded as analogs of the highest weight modules for affine Kac-Moody algebras. The difference from the affine case is that the highest weight space is not 1-dimensional, but rather forms a multi-loop module for a smaller toroidal subalgebra.
These bounded modules are quite promising from the point of view of applications. In [B2] a module of this type was used to construct a toroidal extension of the Korteweg-de Vries hierarchy. The vertex operator realizations of the toroidal modules allow one to construct soliton solutions to these non-linear PDEs.
The variable t 0 will play a special role in our construction. From the physics perspective, it may be interpreted as time, whereas t 1 , . . . t N are the space variables.
The algebra g has a Z N+1 -grading by the eigenvalues of the adjoint action of d 0 , d 1 , . . . d N . We will denote by {ǫ 0 , . . . , ǫ N } the standard basis of Z N+1 . We will be also considering its Z-grading just with respect to the action of d 0 : and define subalgebras g ± = ⊕ n≷0 g n , which yields the decomposition g = g − ⊕ g 0 ⊕ g + .
We recall that the center Z of g is N + 1-dimensional: Z = Span k 0 , k 1 , . . . , k N . Clearly, in any irreducible weight module with finite-dimensional weight spaces, these central elements will act as multiplications by scalars. Let us fix a non-zero central character χ : Z → C and define a category of bounded modules with central character χ for the toroidal Lie algebra.
Definition. A category B χ of bounded modules for the toroidal Lie algebra is a category whose objects are g-modules B satisfying the following axioms: (B1) B has a weight decomposition with respect to the subalgebra d 0 , d 1 , . . . , d N : The physical meaning of the last axiom is that the spectrum of the energy operator E = −d 0 has a lower bound, i.e., there exist states of the lowest energy.
The goal of this paper is to describe irreducible modules in category B χ and find their characters.
First of all we are going to show that in order for B χ to be non-trivial, the central character must satisfy the condition χ(k 1 ) = 0, . . . , χ(k N ) = 0. Clearly, χ must vanish on an N -dimensional subspace in Z, and it turns out that this N -dimensional nullspace must be "aligned" with the choice of the operator d 0 in axiom (B4).
Proof. Let B be a non-zero module in B χ . Let us reason by contradiction and assume that χ(k j ) = c j = 0 for some j, 1 ≤ j ≤ N .
Since the spectrum of d 0 is bounded, we can find a weight space B m such that m 0 + 1 is not an eigenvalue of d 0 on B. Let v be a non-zero vector in B m , and consider the following family of vectors: (t −1 0 t −n j k j )(t −1 0 t n j k j )v, n = 1, 2, . . . Clearly, all these vectors belong to the same weight space B m−2ǫ 0 , and we claim that they are all linearly independent. Indeed, suppose n>0 a n (t −1 )v, and m 0 + 1 is not an eigenvalue of d 0 on B, we conclude that (t 0 t r j d 0 )v = 0 for all r ∈ Z. We also note that Taking these two facts into account, we get that for r > 0, Since c j = 0, we conclude that a r = 0 for all r > 0. Thus the vectors (t −1 0 t −n j k j )(t −1 0 t n j k j )v with n > 0 are linearly independent, which contradicts (B2). This proves that χ(k 1 ) = 0, . . . , χ(k N ) = 0.
For the rest of this paper we fix a non-zero constant c ∈ C and let χ = (c, 0, . . . , 0). From now on, the multivariable t will not include t 0 , that is t r will stand for t r 1 1 . . . t r N N , etc. Consider an irreducible module L in category B χ . It is clear that the eigenvalues of d 0 on L belong to a single Z-coset in C. Let d be the eigenvalue of d 0 with the highest real part, and let T be the corresponding eigenspace.
Obviously, T is a g 0 -module and g + T = 0. It is easy to see that irreducibility of L implies the irreducibility of T as a g 0 -module. We will call the subspace T the top of L. Next we are going to describe the structure of T . We will be using a result of [JM] for this.
where U is a finite-dimensional space, and the action of g 0 on T satisfies If we take the quotient of g 0 by the ideal J = Span t r k j |r ∈ Z N , j = 1, . . . , N , which annihilates T , then we will get a semi-direct product of the Lie algebra of vector fields D N = Der C[t ± 1 , . . . , t ± N ] on N -dimensional torus with a multi-loop algebra: Since 1 c (t r k 0 ) acts on T as multiplication by q r , we can derive from (1.2) the following compatibility relations between the action of g 0 and the operators of multiplication by q r : Eswara Rao [E] classified irreducible D N -modules with a compatible action of the algebra of Laurent polynomials, proving that any such module is a tensor module. We will use a version of this result for the semidirect product of D N with a multi-loop algebra given in [B5], Theorem 4(c): [B5]). Let α ∈ C N , c, d ∈ C, c = 0. Let T be an irreducible g 0module satisfying the conclusion of Theorem 2.2, as well as (2.3), (2.4). Then there exist a finite-dimensional irreducibleġ-module V and a finite-dimensional irreducible gl N -module W , such that and the action of g 0 on T is given by (2.1) and Here in (2.6) E pj denotes a matrix with 1 in position (p, j), and zeros elsewhere. Combining these two theorems, we conclude that an irreducible module in category B χ yields the following data -a finite-dimensional irreducibleġ-module V , a finite-dimensional irreducible gl N -module W , a constant d ∈ C and α ∈ C N . It is easy to see that the choice of α is not canonical and α can be changed to any value in the coset α + Z N by choosing a different weight space for the generators of T as a free C[q ± 1 , . . . , q ± N ]-module. An irreducible gl N -module W is determined by the action of sl N and a scalar h, by which the identity matrix acts on W .
It was shown in [BB] that for any g 0 -module T , corresponding to the data (V, W, h, d, α) as above, there exists an irreducible module in B χ with T as a top. Let us review this construction.
First we let g + act on T trivially, and define the generalized Verma module as the induced module M (T ) = Ind g g 0 ⊕g + (T ).
Note that the module M (T ) does not belong to category B χ since its weight spaces lying below T are infinite-dimensional. Nonetheless, the following result holds: Theorem 2.4 ( [BB]). Summarizing, we get the following Theorem 2.5. (a) Let χ be a non-zero central character χ : (c) Every irreducible module in category B χ is isomorphic to L(T ) where with the action of g 0 given by (2.1) and (2.6)-(2.8).
Proof. Part (a) has been already proved in Lemma 2.1. Let us prove part (c). As we have seen above, an irreducible module L in category B χ has a top T , the structure of which is described by Theorem 2.3. Thus L is a factor-module of M (T ). However M (T ) has a unique irreducible factor, which is isomorphic to L(T ). This proves L ∼ = L(T ). Part (b) follows from (c) and Theorem 2.4.
Our main goal will be to completely determine the structure of the irreducible modules L (T ), and in particular, to find their characters. This will be done using the theory of vertex operator algebras (VOAs). We will show that for a particular choice of the data (V, W, h, d, α), namely, with V and W being trivial 1-dimensional modules forġ and sl N , α = 0, h = N νc and d = 1 2 (µ + ν)c, yielding the top , the module L(T 0 ) is a vertex operator algebra, while all irreducible modules L(T ) are VOAmodules for a slightly bigger VOA V (T 0 ). Once we determine the structure of V (T 0 ) as a VOA, we will immediately get the structure of all the modules L(T ) using the principle of preservation of identities in the VOA theory.
3. Vertex operator algebras and vertex Lie algebras.

Definitions and properties of a VOA.
Let us recall the basic notions of the theory of the vertex operator algebras. Here we are following [K2] and [Li].
Definition. A vertex algebra is a vector space V with a distinguished vector 1 (vacuum vector) in V , an operator D (infinitesimal translation) on the space V , and a linear map Y (state-field correspondence) such that the following axioms hold: and Y (a, z)1| z=0 = a for any a ∈ V (self-replication); (V5) For any a, b ∈ V , the fields Y (a, z) and Y (b, z) are mutually local, that is, A vertex algebra V is called a vertex operator algebra (VOA) if, in addition, V contains a vector ω (Virasoro element) such that satisfy the Virasoro algebra relations: This completes the definition of a VOA. As a consequence of the axioms of the vertex algebra we have the following important commutator formula: As usual, the delta function is By (V1), the sum in the right hand side of the commutator formula is actually finite. All the vertex operator algebras that appear in this paper have the gradings by non-negative integers (degree): V = ∞ ⊕ n=0 V n . In this case the sum in the right hand side of the commutator formula (3.2) runs from n = 0 to n = deg (a) and the elements of negative degree vanish. It follows from (V7) and (V8) that Another consequence of the axioms of a vertex algebra is the Borcherds' identity: (3.5) We will particularly need its special case when m = 0: (3.6) The last formula that we quote here is the skew-symmetry identity: (3.7) 3.2. Tensor products of VOAs.
Let us review here the definition of the tensor product of two VOAs (V ′ , Y ′ , ω ′ , 1) and (V ′′ , Y ′′ , ω ′′ , 1) (the case of an arbitrary number of factors is a trivial generalization). The and 1 = 1 ⊗ 1 being the identity element. It follows from (3.9) that the rank of V (see V6) is the sum of the ranks of the tensor factors.

Vertex Lie algebras.
An important source of the vertex algebras is provided by the vertex Lie algebras. In presenting this construction we will be following [DLM] (see also [P], [R], [K2], [FKRW]).
Let L be a Lie algebra with the basis {u(n), c(−1) u ∈ U, c ∈ C, n ∈ Z} (U, C are some index sets). Define the corresponding fields in L[[z, z −1 ]]: ] spanned by all the fields u(z), c(z) and their derivatives of all orders.
Definition. A Lie algebra L with the basis as above is called a vertex Lie algebra if the following two conditions hold: (VL1) for all u 1 , u 2 ∈ U, where f j (z) ∈ F , n ≥ 0 and depend on u 1 , u 2 , (VL2) for all c ∈ C, the elements c(−1) are central in L.
The universal enveloping vertex algebra V L of a vertex Lie algebra L is defined as an induced module Theorem 3.1. ( [DLM], Theorem 4.8) Let L be a vertex Lie algebra. Then (a) V L has a structure of a vertex algebra with the vacuum vector 1, infinitesimal translation D being a natural extension of the derivation of L given by D(u(n)) = −nu(n − 1), D(c(−1)) = 0, u ∈ U, c ∈ C, and the state-field correspondence map Y defined by the formula: (c) For an arbitrary character γ : C → C, the factor module is a quotient vertex algebra.
(d) Any bounded L-module in which c(−1) act as γ(c)Id, for all c ∈ C, is a vertex algebra module for V L (γ).
In the formula (3.11) above, the normal ordering of two fields : a(z)b(z) : is defined as Note the following relation that we will implicitly use throughout the paper: (a(−1)1) (n) = a(n) for a ∈ U, n ∈ Z.
Proof. Let us prove the first part of the Theorem. We need to show that for any u ∈ U, a ∈ V L , n ∈ Z, we have a (n) u ∈ U and u (n) a ∈ U . By (3.7), it is enough to prove that a (n) u ∈ U . It is sufficient to consider a of the form a = a 1 (−1 − n 1 ) . . . a k (−1 − n k )1, where a j ∈ U ∪ C, n j ≥ 0. We use induction on k. For k = 0 we get that a = 1 and 1 (n) u = δ n,−1 u. The inductive step follows from the Borcherds' formula (3.6) and L-invariance of U . The second part of the Theorem follows immediately from the definition of V L .
Remark 3.4. In case when the set U contains an element ω generating the Virasoro field ω(z) in L, satisfying [ω(0), a(n)] = −na(n − 1) for all a ∈ U, the vertex algebra V L becomes a VOA, and in the statement of Theorem 3.2 the condition of D-invariance of U will automatically follow from its L-invariance.
3.4. VOA associated with the twisted Virasoro-affine algebra. The toroidal VOA that will be constructed in Section 4, decomposes into a tensor product of two VOAs. One of these factors is a VOA associated with a twisted Virasoro-affine Lie algebra, which we introduce here.
Letḟ be a finite-dimensional reductive Lie algebra. Consider a semi-direct product of the Lie algebra of vector fields on a circle with a loop algebra: A twisted Virasoro-affine algebra f is the universal central extension of the Lie algebraf. Using the results on the central extensions of the loop algebras and the Lie algebra of vector fields on a circle, one can show that the second cohomology off has the following description: where the last 1-dimensional component corresponds to the Virasoro cocycle on Der C[t 0 , t −1 0 ], and its generator will be denoted by C Vir . Sinceḟ is reductive, we have the following canonical projections ofḟ-modules: ϕ :ḟ ⊗ḟ → S 2 (ḟ) inv and ψ :ḟ → Z(ḟ) =ḟ inv .
We will use this maps to write down the Lie bracket in the twisted Virasoro-affine algebra (3.14) Here and below we are using the notations L(n) = −t n+1 0 d dt 0 and f (n) = t n 0 ⊗ f for f ∈ḟ. Consider the following fields in f: Proposition 3.5. Twisted Virasoro-affine Lie algebra f is a vertex Lie algebra. Proof. Take for a set U the element ω together with a basis ofḟ, and for a set C a basis of S 2 (ḟ) inv ⊕ḟ inv ⊕ C. Then the defining relations (3.12)-(3.14) may be rewritten as follows: This shows that f is indeed a vertex Lie algebra, and the claim of the Proposition is established. From now on we fixḟ to beḟ =ġ ⊕ gl N . A linear map S 2 (ḟ) inv → C defines a symmetric invariant bilinear form onḟ. Thus S 2 (ḟ) inv is the dual space to the space of symmetric invariant forms onḟ and has dimension 3. Let us fix an invariant form onġ normalized by the condition that (α|α) = 2 for the long roots ofġ, an invariant form on sl N with the same normalization, and a form on the space of scalar matrices normalized by its value on the identity matrix: (I|I) = 1. Denote by {Cġ, C sl N , C Hei } the dual basis in S 2 (ḟ) inv .

The spaceḟ
inv ∼ = Z(ḟ) is one-dimensional, and we will denote its generator ψ(I) by C VH .
Hence the space H 2 (f) is 5-dimensional with the basis {Cġ, C sl N , C Hei , C VH , C Vir }.
Lemma 3.6. The following relations hold in V f (γ): Let us now discuss bounded weight modules for f. This Lie algebra is Z-graded by degree in t 0 . We associate with this grading a decomposition Let V be a finite-dimensional irreducibleġ-module, and W be a finitedimensional irreducible module for sl N . Fix a central character γ : H 2 (f) → C and two constants h Vir , h Hei ∈ C. We define on V ⊗ W the structure of an irreducible f 0 -module on which L(0) = −d 0 acts as multiplication by h Vir , I acts as multiplication by h Hei , and the action of H 2 (f) is determined by γ. Let f + act on V ⊗ W trivially and consider the induced module This module has a unique maximal submodule, and the factor-module by the maximal submodule is an irreducible f-module, which we denote as L f (V, W, h Hei , h Vir , γ). Remark 3.7. Similar constructions may be applied to Virasoro, affine, and Heisenberg algebras, yielding the corresponding vertex algebras V Vir (c Vir ), V ġ (cġ), V sl N (c sl N ), V Hei (c Hei ) and irreducible highest weight modules L Vir (h Vir , c Vir ) for the Virasoro algebra, L ġ (V, cġ) for the affine algebra ġ, L sl N (W, c sl N ) for the affine algebra sl N and L Hei (h Hei , c Hei ) for the infinitedimensional Heisenberg algebra.
Note that for the trivial 1-dimensional modules V = C, W = C and h Vir = h Hei = 0, the irreducible module L f (C, C, 0, 0, γ) is precisely the simple VOA L f (γ).
For a generic γ (γ not at a critical level), we may apply the Sugawara construction to decompose the irreducible module L f (V, W, h Hei , h Vir , γ) into a tensor product of irreducible Virasoro, affine and Heisenberg modules.
Proposition 3.8. Let cġ = −h ∨ , c sl N = −N, c Hei = 0, where h ∨ is the dual Coxeter number for ġ. Then the VOA V f (γ) decomposes into a tensor product of four VOAs: so that its rank is 1 − 12 c 2 VH c Hei . Proof. This result is obtained by applying the Sugawara construction three times -to the affine ġ-subalgebra, affine sl N -subalgebra, and the twisted Virasoro-Heisenberg subalgebra (see e.g. [FLM] and [ACKP] for details). Since this construction is well-known, we only sketch the proof.
Let {u i }, {u i } be dual bases ofġ, and {v j }, {v j } be dual bases of sl N with respect to the chosen invariant bilinear forms. Consider a new Virasoro field (3.20) It is possible to verify that the moments of ω ′ (z) satisfy the Virasoro algebra relations, with the action of the central element given by (3.18). Moreover, this new Virasoro field ω ′ (z) commutes with the fields of the affine ġ and sl N subalgebras, as well the Heisenberg subalgebra field. The formula (3.20) defines a homomorphism of vertex algebras which is in fact an isomorphism. Moreover, if we choose the Virasoro element in V Hei (c Hei ) to be given by (3.19), the above map becomes the isomorphism of the VOAs.
Corollary 3.9. Under the same restriction on the central charges as in Proposition 3.8, the irreducible highest weight f-module L f (V, W, h Hei , h Vir , γ) decomposes into a tensor product of irreducible highest weight modules for the affine ġ, sl N , infinite-dimensional Heisenberg and the Virasoro modules: where c ′ Vir is given by (3.18) and (3.21) Here Ω V and Ω W are the eigenvalues of the Casimir operators ofġ and sl N on V and W respectively. These are given by Ω V = (λ V |λ V + 2ρ), Ω W = (λ W |λ W + 2ρ), where λ V is the highest weight of the irreducibleġ-module V , and λ W is the highest weight of the sl N -module W [K1].
Remark 3.10. If one of the inequalities in the statement of the above proposition fails, we still can apply a partial Sugawara construction to the remaining components. For example, if cġ = −h ∨ , c sl N = −N , but c Hei = 0, the irreducible highest weight f-module is isomorphic to the tensor product of the affine ġ and sl N -modules and an irreducible highest weight module for the twisted Heisenberg-Virasoro algebra at level zero. The characters of such modules for the twisted Heisenberg-Virasoro algebra were computed in [B3].
As we mentioned earlier, the toroidal VOA decomposes in a tensor product, where one factor is a twisted Virasoro-affine VOA. The other factor in this decomposition is a sub-VOA of a lattice VOA, which we will describe next.

Hyperbolic lattice VOA.
Here we present the construction of a hyperbolic lattice VOA. The general construction of a VOA corresponding to an arbitrary even lattice may be found in [FLM] or [K2].
Consider a hyperbolic lattice Hyp, which is a free abelian group on 2N generators {u i , v i |i = 1, . . . , N } with the symmetric bilinear form Note that the form (·|·) is non-degenerate and Hyp is an even lattice, i.e., (x|x) ∈ 2Z. The construction of the VOA associated to Hyp proceeds as follows. Here and in what follows, we are using the notation x(n) = t n ⊗ x. The algebra H has a triangular decomposition H = H − ⊕ H 0 ⊕ H + , where H 0 = 1 ⊗ H, K and H ± = t ±1 C[t ±1 ]⊗H. We also need a twisted group algebra of Hyp, denoted by C[Hyp], which we now describe. The basis of C[Hyp] is {e x |x ∈ Hyp}, and the multiplication is twisted with the 2-cocycle ǫ: e x e y = ǫ(x, y)e x+y , x, y ∈ Hyp, (3.23) where ǫ is a multiplicatively bilinear map We define the structure of H 0 ⊕ H + -module on C[Hyp], letting H + act on C[Hyp] trivially and H 0 act by x(0)e y = (x|y)e y , Ke y = e y . (3.24) Finally let V Hyp be the induced H module: This is the VOA attached to the lattice Hyp. As a space V Hyp is isomorphic to the tensor product of the symmetric algebra S( H − ) with the twisted group algebra C[Hyp]: The Y -map is defined on the basis elements of C[Hyp] by where e x acts by twisted multiplication (3.23) and z x e y = z (x|y) e y . For a general basis element a = x 1 (−1 − n 1 ) . . . x k (−1 − n k ) ⊗ e y , with x i , y ∈ Hyp, n i ≥ 0, one defines (cf. (3.11)) Y (a, z) =: In the construction of the toroidal VOAs we would need not V Hyp itself, but its sub-VOA V + Hyp : where Hyp + (resp. Hyp − ) is the isotropic sublattice of Hyp generated by {u i |i = 1, . . . , N } (resp. {v i |i = 1, . . . , N }). One can verify immediately by inspecting (3.25) and (3.26) that V + Hyp is indeed a sub-VOA of V Hyp . Also note that the cocycle ǫ trivializes on C[Hyp + ], making C[Hyp + ] the usual (untwisted) group algebra. The Virasoro element of V + Hyp is the same as in V Hyp , and so the rank of V + Hyp is also 2N .

Toroidal vertex operator algebras.
In this section we will construct several VOAs associated with the toroidal Lie algebras. We will construct a universal enveloping VOA V g , its "level c" quotient V g (c) and the simple quotient L(T 0 ). As g-modules, V g (c) does not belong to category B χ , but L(T 0 ) does. We will establish several important relations that hold in L(T 0 ), which will allow us to show that L(T 0 ) factors into the tensor product of two VOAs discussed in the previous section, V + Hyp and the twisted Virasoro-affine VOA L f (γ 0 ).
The key fact which makes it possible to construct these VOAs, is the observation that toroidal Lie algebras g(µ, ν) are in fact vertex Lie algebras for all values of µ, ν.
This observation is not quite trivial, since it requires a rather delicate choice of a basis in g(µ, ν), in order to exhibit the vertex Lie algebra structure.
where for p = 1, . . . , n, t j 0 t rd p = t j 0 t r d p − νr p t j 0 t r k 0 , (4.4) and Although the moments of the above series are not linearly independent, all linear dependencies may be encoded as relations between the fields: Using these relations we can eliminate from the above list for each non-zero r the field k p (r, z) with the smallest p such that r p = 0. Non-zero moments of the remaining fields will form a basis of g(µ, ν). Verification of the axioms of a vertex Lie algebra is now quite straightforward. The set C consists of a single element that corresponds to the central field k 0 (0, z) = k 0 z 0 , so (VL2) holds.
Before we check the property (VL1), let us record the commutator relations between the newly introduced elements t j 0 t rd p , t j 0 t rd 0 . Note that their brackets with the elements of R ⊗ġ and K are essentially given by (1.1) and (1.2) (with an obvious change of sign for t j 0 t rd 0 ), while the rest of the commutator relations are given by the following formulas with a, b = 1, . . . , N : (4.7) (4.8) Using these formulas together with (1.1) and (1.2), we can derive the commutator relations for the fields in g: [k a (r, z 1 ), k b (m, z 2 )] = 0, (4.9) [g(r, z 1 ), k a (m, z 2 )] = 0, (4.10) [g 1 (r, z 1 ), g 2 (m, z 2 )] = [g 1 , g 2 ](z 2 ) z −1 1 δ z 2 z 1 (4.14) (4.16) where g, g 1 , g 2 ∈ġ, a, b = 0, 1, . . . , N, i, j = 1, . . . , N . Now, the right-hand sides of the above commutators are precisely in the format required by (VL1). Thus both (VL1) and (VL2) hold, we conclude that g(µ, ν) is a vertex Lie algebra, which allows us to consider its universal enveloping vertex algebra V g . Moreover,d 0 (0, z) is the Virasoro field with the central element C Vir = 12(µ + ν)k 0 and D = t −1 0d 0 . The subalgebra g (−) of the vertex Lie algebra g (not to be confused with its subalgebra g − with respect to Z-grading) is generated by the following elements: t j 0 t r k 0 with j ≤ 0, t j 0 t r k p , t j 0 t r g, t j 0 t rd p with j ≤ −1, p = 1, . . . , N, and t j 0 t rd 0 with j ≤ −2. The subalgebra g (+) is spanned by the complementary moments of the fields (4.1)-(4.3). We recall that g (+) 1 = 0 in V g .
We are going to show that for a particular irreducible g 0 -module T 0 , the irreducible gmodule L(T 0 ) is a factor-VOA of V g . This will be done in two steps. First we will construct a factor-VOA of V g that has an irreducible g 0 -module as its top. After that we will show that the irreducible quotient of this g-module is a VOA, and determine the structure of this vertex algebra.
Proposition 4.2. Fix a non-zero c ∈ C and consider a g-submodule R(S) in V g generated (a) The quotient V g (c) = V g /R(S) is a factor-module of the generalized Verma module M (T 0 ) with the top . . , q ± N ] defined as in (2.5) with α = 0, d = 1 2 (µ + ν)c, V being the trivial 1-dimensionalġ-module, W being a 1-dimensional gl N -module on which sl N acts trivially and I acts a multiplication by h = N νc.
(b) V g (c) inherits a vertex algebra structure from V g . (c) V g (c) is a VOA of rank 12(µ + ν)c with the Virasoro field ω(z) =d 0 (z). (d) The projection from M (T 0 ) to L(T 0 ) factors through V g (c): This defines a VOA structure on L(T 0 ) as a factor-VOA of V g (c).
Proof. Let us prove part (a). Consider a Z-grading on V g . We claim that the zero component R(S) 0 coincides with (4.18) First of all it is easy to see by repeated multiplication of the elements in S by t r j k 0 , that the elements (4.18) are indeed in R(S). Next, we write R(S) = U (g)S. We have a triangular decomposition U (g) = U (g − ) ⊗ U (g 0 ) ⊗ U (g + ), and g + acts on S trivially because the elements of S are of degree zero. This implies that R(S) 0 = U (g 0 )S. Let us show that (4.18) is invariant under the action of g 0 . The subalgebra g 0 is spanned by the elements t m k 0 , t m k p , t m g, t md p , t md 0 , m ∈ Z N , g ∈ġ, p = 1, . . . , N . We have already verified the invariance of (4.18) under the action of t m k 0 . We note that the remaining generators of g 0 belong to g (+) and thus annihilate 1. In addition to this, the elements t m k p and t m g commute with t r k 0 , which implies that they also annihilate (4.18). It follows from (1.2) that t md 0 annihilate (4.18) as well.
Using the commutator relation t md p , t r k 0 = r p t r+m k 0 , we get that (t md p ) (t r 1 k 0 ) . . . (t r s k 0 )1 − c s−1 (t r 1 +...+r s k 0 )1 = s j=1 r j (t r 1 k 0 ) . . . (t r j +m k 0 ) . . . (t r s k 0 )1 − c s−1 (t r 1 +...+r s +m k 0 )1 , and the right hand side is in (4.18). This proves our claim that R(S) 0 is given by (4.18). It follows from this that the top of the module V g (c) = V g /R(S) may be identified with the space of Laurent polynomials T 0 = C[q ± 1 , . . . , q ± N ], under the isomorphism (t r k 0 )1 → cq r .
Let us describe the action of the subalgebra g 0 on the top T 0 . It follows from the relations (4.18) that (t m k 0 )q r = cq r+m . (4.19) Next, we have seen that t m k p , t m g and t md 0 annihilate T 0 : (t m k p )q r = 0, (t m g)q r = 0, (t md 0 )q r = 0. (4.20) Since t md 0 = −t m d 0 + 1 2 (µ + ν)t m k 0 , we get that (t m d 0 )q r = 1 2 (µ + ν)cq r+m . (4.21) Finally, Taking into account that t md p = t m d p − m p νt m k 0 , we obtain (t m d p )q r = (r p + νcm p )q r+m , (4.23) which corresponds to the tensor module action (2.6) with the trivial action of sl N and I acting as multiplication by N νc. This completes the proof of part (a). Part (b) follows from Theorem 3.2. The claim of part (c) has been already established and finally, for part (d) we note that L(T 0 ) is a unique irreducible factor of M (T 0 ), thus the projection M (T 0 ) → L(T 0 ) factors through V g (c) as in (4.17). Let us point out that the kernel of the homomorphism M (T 0 ) → V g (c) is the submodule generated by (t −1 0 t md 0 )1|m ∈ Z N . Applying Theorem 3.2 again, we conclude that L(T 0 ) inherits the vertex operator algebra structure from V g (c) given by formula (3.11). This completes the proof of the Proposition.
Next we are going to study the structure of the VOA L(T 0 ). Theorem 4.3.
(a) The VOA L(T 0 ) is generated by the following elements: with ǫ a being a standard basis vector in Z N with 1 in a-th position.
(b) The module L(T 0 ) has a structure of a C[q ± 1 , . . . , q ± N ]-module, which is compatible with the action of the algebra of Laurent polynomials on T 0 . The action of the field k 0 (m, z) is given by the following vertex operator: (4.29) (d) The vertex operator algebra L (T 0 ) is isomorphic to the tensor product of two VOAs: where V + Hyp is a sub-VOA of the lattice VOA described in section 3.5, and L f (γ 0 ) is the simple VOA corresponding to the twisted Virasoro-affine Lie algebra constructed from the reductive Lie algebraḟ =ġ ⊕ gl N , and the central character γ 0 given by the following values: The fields k 0 (m, z), k p (z),d p (z), p = 1, . . . , N , act on V + Hyp by while the fields g(z) and Y (E ab , z) act on L f (γ 0 ). The fieldd 0 (z) is the Virasoro field of the tensor product V + Hyp ⊗ L f (γ 0 ).
Proof. We are going to determine the structure of the VOA L(T 0 ) using the following strategy. The technique developed in [BB] provides a method to calculate any given homogeneous component of the kernel of the epimorphism π : V g (c) → L(T 0 ), though of course such a computation is feasible only for the components of low degrees. Any v ∈ Ker π yields a relation between the fields in L (T 0 It turns out that it is sufficient to know the elements of Ker (π) of degrees 1 and 2 in order to completely determine the structure of L(T 0 ) as a VOA. Let us illustrate the technique of [BB] with the following example. Fix m ∈ Z N and g ∈ġ.
. This subspace belongs to the homogeneous component of weight (−1, m) in V g (c). We are going to find the intersection of P 1 with Ker π. We note that a vector v in component (−1, m) of V g (c) belongs to Ker π if and only if U 1 (g + )v = 0.
Lemma 4.4. Let g, g ′ ∈ġ, b = 1, . . . , N . Then (t 0 t s g ′ )(t −1 0 t r g)q m−r = (g ′ |g)cq m+s , (4.32) Proof. Let us prove (4.32): The second term vanishes because g + acts trivially on the top of V g (c). For the first term we use the relations in g, (4.19) and (4.20): All other equalities in the statement of this Lemma are obtained in a similar way. Let us analyze the results of this Lemma. We see that the right hand sides in (4.31)-(4.33) are independent of r.
Applying the state-field correspondence, we get that the following relation holds in L(T 0 ): Since these vertex operators commute, we may drop the normal ordering symbol. In particular, for m = r, we get that This factorization property means that the fields Y (t −1 0 t m g, z) = g(m, z) reduce to more elementary fields Y (t −1 0 g, z) = g(z) and Y (q m , z). The fields g(z) correspond to the affine subalgebra C[t 0 , t −1 0 ] ⊗ġ ⊕ Ck 0 ⊂ g. Below we establish analogous factorization formulas for other fields. We shall also see that the affine fields Y (t −1 0 g, z) commute with other elementary fields, except for Y (t −2 0d 0 , z). This will imply that the affine VOA generated by the affine fields splits off as a tensor factor in L(T 0 ) when c is not the critical level for this affine subalgebra. In this way we will obtain a tensor product decomposition of L(T 0 ). Now let us get the formula for the vertex operators Y (t −1 0 t r k a , z) and Y (t r k 0 , z). For a fixed m ∈ Z N and 1 ≤ a ≤ N , consider the subspace P 2 = Span (t −1 0 t r k a )q m−r |r ∈ Z N ⊂ V g (c). Again we are going to find the intersection of P 2 with Ker π.
Lemma 4.5. Let 1 ≤ a, b ≤ N . Then (4.38) The proof of this Lemma is the same as for Lemma 4.4, and we omit these calculations.
We see again that the right hand sides in (4.36)-(4.38) are independent of r. Thus (t −1 0 t r k a )q m−r − (t −1 0 k a )q m ∈ Ker π, or equivalently, Taking r = m and applying the state-field correspondence, we get that the following relation holds in L(T 0 ): Since these vertex operators commute, we dropped the normal ordering symbol in the right hand side. Also, taking into account that t −1 (4.41) Next we will use the results of Section 3 of [BB]. It is proved there that L(T 0 ) is a module over a commutative associative algebra C[q ± 1 , . . . , q ± N ] and the vertex operator Y (q m , z) is given by the expression (4.25). We can see that this formula is compatible with (4.41), and in fact it is not too difficult to derive (4.25) from (4.41).
We will later need another relation in L(T 0 ) which can be derived either from (4.39) or (4.25): Our next goal is to derive a formula for the vertex operator Y (t −1 0 t md a , z). We will use the same strategy as above.
Lemma 4.6. Let 1 ≤ a, b ≤ N . Then Proof. Let us show the calculations for (4.46) and leave rest as an exercise to the reader. We are going to use (4.7), (4.19) and (4.22): r p (t r+s k p )q m−r = (m a − r a − 2µcs a + 2νcr a )q m+s .
Unlike the previous cases, the right hand sides in Lemma 4.6 do depend on r. Note, however, that this dependence is polynomial, and we may separate constant, linear and quadratic components. Clearly, the constant term is obtained by setting r = 0, and is produced by the element (t −1 0d a )q m . Next, comparing (4.43)-(4.47) with (4.36)-(4.38) we notice that the quadratic term is given while the other raising operators annihilate this vector.
Finally, the linear in r component is given by the vector (4.48) Using Lemmas 4.6 and 4.5, we can easily see that r p E m pa = 0, (4.49) r p E m pa = r a (−1 + 2νc)q m+s , (4.50) (4.51) It follows from the above computations that the following vector is annihilated by U 1 (g + ) and thus vanishes in L(T 0 ): Let us now establish a relation between E m ab and Lemma 4.7. (a) The fields Y (q m , z), g(z), k p (z),d p (z) commute with Y (E ab , z), p, a, b = 1, . . . , N .
(b) The following relation holds: (4.55) Proof. Let us show that (q m ) (n) E ab = 0 for all n ≥ 0. (4.56) Since deg ((q m ) (n) E ab ) = −n, we only need to consider the case of n = 0. But (q m ) (0) = 1 c (t 0 t m k 0 ), and we get the desired claim from (4.49). Now applying the commutator formula (3.2) we get that the fields Y (q m , z) and Y (E ab , z) commute. Using a similar argument we can derive from (4.49)-(4.51) that g(z), k p (z),d p (z) also commute with Y (E ab , z).
Taking into account the skew symmetry identity (3.7) we obtain as a consequence of (4.56) the equality (E ab If we substitute (4.54) in the right hand side of this equality, we will get To get the last equality we used (4.48) and (4.42). This completes the proof of the Lemma. Combining (4.53) with (4.55), we obtain (4.28). We also get from (4.52) and (4.55) that (4.57) Next we are going to determine the commutator relations between Y (E ab , z), 1 ≤ a, b ≤ N .
Proof. Since deg (E ab ) = 1, we have that deg (E ab ) (n) E sp = 1 − n, from which part (c) immediately follows. Let us carry out the computations for part (b) of the Lemma. We have (E ab (4.58) The last two terms vanish by (4.49) and (4.51). To evaluate the first term in the right hand side of (4.58), we use the Borcherds' identity (3.6). Noting that by (4.56), (q −ǫ a ) (n) E sp = 0 for all n ≥ 0, we get The first term is equal to zero since and we may apply (4.49) to the right hand side. Finally, using (4.51) and (4.19), we get This completes the proof of part (b) of the Lemma, and we leave part (a) as an exercise for the reader.
Comparing Lemmas 4.8 and 3.6 (a), we conclude that the operators (E ab ) (n) produce a representation of affine gl N .
Lemma 4.9. The following relations hold in L(T 0 ): Proof.
This proves the claim (a). Part (b) follows from Lemma 4.7(b), (4.50) and (4.37). Finally let us study the properties of the fieldd 0 (r, z). This will require carrying out calculations with certain elements of degree 2. Let v ∈ L(T 0 ), deg (v) = 2. Since L(T 0 ) is an irreducible g-module, it is generated by any non-zero vector. If v = 0 then U 2 (g + )v = T 0 . However it is easy to see that g + is generated by g 1 . Thus g 1 v = 0 implies that v = 0 . This observation will help us find a relation in L(T 0 ) involving (t −2 0 t md 0 )1, which in turn will yield an expression for the fieldd 0 (m, z).
Lemma 4.10. The following relation holds in L(T 0 ): Proof. We shall prove this Lemma by showing that the vector The cases of other elements spanning g 1 are treated similarly, and are left as an exercise.
Applying the state-field correspondence Y to both sides of the equality in Lemma 4.10, we will get the formula (4.29).
Let us complete the proof of Theorem 4.3. We have now established all the relations between the fields stated in part (c) of the Theorem. The universal enveloping vertex algebra V g is generated by the fields (4.1)-(4.3). The same is true for L(T 0 ), since L(T 0 ) is a factor vertex algebra of V g . Taking into account the relations of part (c), the claim of part (a) of the Theorem follows. As we mentioned above, the claim of part (b) follows from the results of [BB].
Let us establish the claim of part (d) of the Theorem. First we construct a homomorphism of vertex algebras ϕ : V + Hyp → L(T 0 ), defined by ϕ(e mu ) = q m , ϕ(u p (−1)1) = 1 c (t −1 0 k p )1, ϕ(v p (−1)1) = (t −1 0d p )1. Using (1.2), (4.20), (4.23) and (4.25), we can see that the images of the generators of V + Hyp satisfy the required relations (3.22)-(3.25), thus ϕ is indeed a homomorphism of vertex algebras. Since V + Hyp is a simple vertex algebra, the map ϕ is injective. The image of the Virasoro field of V + Hyp is ϕ(ω Hyp (z)) = 1 c N p=1 : d p (z)k p (z) :, and the central charge of this Virasoro field is equal to rank (V + Hyp ) = 2N . We know that the fields g(z) generate an affine subalgebra ġ in the toroidal algebra g, which commutes with the fields generated by the image of ϕ. This affine subalgebra has the central charge cġ = c on L(T 0 ). Next, comparing Lemmas 4.8 and 3.6(a), we conclude that the fields Y (E ab , z) yield a representation of the affine gl N on L(T 0 ) with central charges c sl N = 1 − µc and c Hei = N (1 − µc) − N 2 νc. It follows from Lemma 4.7 (a) that the fields Y (E ab , z) also commute with the image of ϕ.
The f-module V f (γ 0 ) has a unique maximal submodule and a unique irreducible quotient L f (γ 0 ). By Theorem 3.2, L f (γ 0 ) is a unique quotient vertex algebra of V f (γ 0 ). Since V + Hyp is a simple vertex algebra, we conclude that V + Hyp ⊗ L f (γ 0 ) is a unique simple quotient vertex algebra of V + Hyp ⊗ V f (γ 0 ). However L(T 0 ) is also a simple quotient of V + Hyp ⊗ V f (γ 0 ). Thus This completes the proof of Theorem 4.3.

5.
Realizations for the irreducible modules in category B χ .
In this section we are going to use the theory of VOA modules to give realizations for all irreducible g(µ, ν)-modules in category B χ . By the principle of preservation of identities [Li], every VOA module for V + Hyp ⊗ L f (γ 0 ) is also a module for the Lie algebra g(µ, ν). However in order to get all irreducible modules in B χ , we need to use a larger VOA which has more irreducible modules than V + Hyp ⊗ L f (γ 0 ). In order to carry out this plan, we should first prove that V + Hyp ⊗ V f (γ 0 ) also admits a structure of a g(µ, ν)-module. First, we need to establish the following technical lemma: Lemma 5.1. For a Zariski dense set of triples (c, µ, ν), the modules V f (γ 0 ) and L f (γ 0 ) coincide.
Proof. It follows from Proposition 3.8 and (4.30) that whenever c = 0, c = −h ∨ , c sl N = 1 − µc = −N , c Hei = N (1 − µc) − N 2 νc = 0, the VOA V f (γ 0 ) factors into a tensor product of four VOAs: V ġ (cġ), V sl N (c sl N ), V Hei (c Hei ) and V Vir (c ′ Vir ). It is clear that V f (γ 0 ) is a simple VOA if and only if each of these four VOAs is simple. First of all, under the assumption that c Hei = 0, the Heisenberg VOA is simple. We are going to show that the remaining affine and Virasoro VOAs are simple for (c, µ, ν) in a dense subset of C 3 .
We note that affine and Virasoro VOAs are the generalized Verma modules for the respective Lie algebras, and a generalized Verma module admits a Shapovalov form [J]. Using the Shapovalov determinant argument, it is not difficult to see that the VOA V ġ (cġ) (resp. V sl N (c sl N ), V Vir (c ′ Vir )) is simple outside a countable set of values of the central charge cġ (resp. c sl N , c ′ Vir ). In fact, an explicit formula for the Shapovalov determinant for the generalized Verma modules for the affine algebras may be found in [KK], while for the Virasoro VOA, it follows from the description of the irreducible modules for the Virasoro algebra [FF] that V Vir (c ′ Vir ) is simple if and only if c ′ Vir = 1 − 6 (r−s) 2 rs , where r and s are relatively prime integers, r, s > 1.
Each inequality on the values of the central charges defines a dense Zariski open subset of values of (c, µ, ν). Since a countable intersection of dense Zariski open subsets in C 3 is Zariski dense, we establish the claim of the Lemma.