Arxiv:1512.07701V1 [Math.RT] 24 Dec 2015 Ubr,Respectively

Home , Virasoro algebra

arXiv:1512.07701v1 [math.RT] 24 Dec 2015 ubr,respectively. numbers, paper, egtsae vrtean-iaooLeagbao type of algebra Lie affine-Virasoro the over spaces classified weight yet not are algebras all now, these over to up modules However, module bounded [2]. Harish-Chandra uniform in irreducible centra classified nonzero were All algebras with affine-Virasoro spaces) etc.). weight paper 28], finite-dimensional several with 27, in modules 19, studied 17, been 12, have 16, algebras affine-Virasoro the of ler ftype of algebra h vnpr fthe theory of field a part conformal Affine-Virasoro the even to center. the connected common algeb more affine- Virasoro a much the so-called are with of sometimes the algebra product of Lie semidirect definition Kac-Moody the the one affine is which to as 16], led i.e., [13, has simultaneously, algebra it considered Actually be relatio structure. should close they a Their that plays algebras. Lie suggests subalgebra branches, affine outer-derivative the mathematical of an and theory as representation areas served physics algebra many Virasoro in used widely been nti ae,w lsiyalirdcbewih oue ihfinite-dime with modules weight irreducible all classify we paper, this In ⋆ phrases. and words Key 1991 ti elkonta h ffieLeagba n h isr ler ha algebra Viasoro the and algebras Lie affine the that known well is It .Lu orsodn author. Corresponding Liu, D. ahmtc ujc Classification. Subject Mathematics nt-iesoa egtsae vrtean-iaooLealgebr Lie affine-Virasoro the A over spaces weight finite-dimensional Abstract. Z ERSNAIN FTEAFFINE-VIRASORO THE OF REPRESENTATIONS 1 , . Z ∗ and A 1 ihs egtrpeettosaditgal representations integrable and representations weight Highest . nti ae,w lsiyalirdcbewih oue with modules weight irreducible all classify we paper, this In C U A,NIOGH,ADDN LIU DONG AND HU, NAIHONG GAO, YUN eoetest fitgr,nnzr neesadcomplex and integers non-zero integers, of sets the denote N iaooagba ffieVrsr lers egtmodule. weight algebras, affine-Virasoro algebra, Virasoro U uecnomlagbai utteaffine-Virasoro the just is algebra superconformal 3 = LER FTYPE OF ALGEBRA ( L eoeteuieslevlpn ler faLie a of algebra enveloping universal the denote ) 1. Introduction rmr 76;Scnay17B67. Secondary 17B68; Primary 1 A 1 A ⋆ 1 hogotthis Throughout . ftype of a o example, For . si strongly nship . se[3 8, [13, (see s cin the actions l e oein role key irreducible aadan and ra (weight s algebraic Virasoro n the and nsional lgebras ve 2 Y.GAO,N.HU,ANDD.LIU algebra L. All modules considered in this paper are nontrivial. For any Z-graded space G, we also use notations G+,G−,G0 and G[p,q) to denote the subspaces spanned by elements in G of degree k with k > 0, k < 0, k = 0 and p ≤ k < q, respectively.

2. Basics In this section, we shall introduce some notations of the Virasoro algebra and aﬃne-Virasoro algebras.

2.1. Virasoro algebra and twisted Heisenberg-Virasoro algebra. By definition, the Virasoro algebra Vir:=C{dm,C | m ∈ Z} with bracket: m3 − m [d ,d ]=(n − m)d + δ C, [d ,C]=0, (2.1) m n m+n m+n,0 12 m for all m, n ∈ Z. Let C[t, t−1] be the Laurent polynomials ring over C, then Der C[t, t−1] = C m+1 d Z 1 {t dt | m ∈ } (also denote by Vect(S ), the Lie algebra of all vector fields on the circle). \ Vir = Der C[t, t−1]. The twisted Heisenberg-Virasoro algebra H was first studied by Arbarello et al in [1], where a connection is established between the second cohomology of certain moduli spaces of curves and the second cohomology of the Lie algebra of differential operators of order at most one. By definition, H is the universal central extension of the following Lie algebra D, which is the Lie algebra of differential operators order at most one.

Deﬁnition 2.1. As a vector space over C, the Lie algebra D has a basis {dn,Yn | n ∈ Z} with the following relations

[dm,dn]=(n − m)dm+n, (2.2)

[dm,Yn]= nYm+n, (2.3)

[Ym,Yn]=0, (2.4) for all m, n ∈ Z.

Clearly, the subalgebra H = C{Ym | m ∈ Z} of D is centerless Heisenberg algebra and W = C{dm | m ∈ Z} is the Witt algebra (or centerless Virasoro algebra). THE AFFINE-VIRASORO ALGEBRA 3

2.2. Aﬃne-Virasoro algebra.

Definition 2.2. Let L be a finite-dimensional Lie algebra with a non-degenerated invariant normalized symmetric bilinear form ( , ), then the affine-Virasoro Lie algebra is the vector space

C −1 C C Lav = L ⊗ [t, t ] ⊕ C ⊕ M di, i∈Z with Lie bracket:

m n m+n [ x ⊗ t ,y ⊗ t ] = [ x, y ] ⊗ t + m(x, y)δm+n,0C, 1 [d ,d ]=(j − i)d + (j3 − j)δ C, i j i+j 12 i+j,0 m m+i [di, x ⊗ t ]= mx ⊗ t , [C, Lav]=0, where x, y ∈ L, m, n, i, j ∈ Z (if L has no such form, we set (x, y)=0 for all x, y ∈ L).

Remark: If L = Ce is one dimensional, then Lav is just the twisted Heisenberg- Virasoro algebra (one center element).

Now we only consider specially L as the simple Lie algebra sl2 = C{e, f, h}.

Then by Deﬁntion 2.2, the corresponding aﬃne-Virasoro algebra L := Lav =

C{ei, fi, hi,di,C | i ∈ Z}, with Lie bracket:

[ ei, fj ]= hi+j + iδi+j,0C,

[ hi, ej ]=2ei+j, [ hi, fj ]= −2fi+j, 1 [d ,d ]=(j − i)d + (j3 − j)δ C, i j i+j 12 i+j,0 [di, hj]= jhi+j, [hi, hj]=2iδi+j,0C,

[di, ej]= jei+j, [di, fj]= jfi+j, [C, L]=0, where i, j ∈ Z. Remark. In fact, L is the even part of the N = 3 superconformal algebra ([5]).

The Lie algebra L = ⊕i∈ZLi is a Z-graded Lie algebra, where Li = C{di, ei, fi, hi, δ0,iC}.

The subalgebra HX := C{Xi,di,C | i ∈ Z} for X = e, f, h of L is isomorphic to the twisted Heisenberg-Virasoro algebra H (the only diﬀerence is the center element). Clearly h := Ch0 + CC + Cd0 the Cartan subalgebra of L. 4 Y.GAO,N.HU,ANDD.LIU

2.3. Harish-Chandra modules. For any L-module V and λ,µ ∈ C, set Vλ,µ := v ∈ V d0v = λv,h0v = µv , which is generally called the weight space of V corresponding to the weight λ,µ. An L-module V is called a weight module if V is the sum of all its weight spaces. A nontrivial irreducible weight L-module V is called of intermediate series if all its weight spaces are one-dimensional. A weight L-module V is called a highest (resp. lowest) weight module with highest weight (resp. lowest weight) λ,µ ∈ C, if there exists a nonzero weight vector v ∈ Vλ,µ such that 1) V is generated by v as L-module; + − + − 2) L v = 0 (resp. L v = 0), where L = L+ + Ce0 and L = L− + Cf0 (the notations L+ = Pi≥1 Li, L− = Pi≤−1 Li are introduced in Section 1). If, in addition, all weight spaces Vλ,µ of a weight L-module V are ﬁnite- dimensional, the module V is called a Harish-Chandra module. Clearly, a highest (lowest) weight module is a Harish-Chandra module. For a weight module V , we deﬁne C Supp(V ) := λ ∈ Vλ = ⊕µ∈CVλ,µ =06 . (2.5)

Obviously, if V is an irreducible weight L-module, then there exists λ ∈ C such Z Z that Supp(V ) ⊂ λ + . So V = Pi∈Z Vi is a -graded module, where Vi = Vλ+i. Kaplansky-Santharoubane [15] in 1983 gave a classiﬁcation of Vir-modules of the intermediate series. There are three families of indecomposable modules with each weight space is one-dimensional: C (1) Aa, b = Pi∈Z vi: dmvi =(a + i + bm)vm+i; C (2) A(a)= Pi∈Z vi: dmvi =(i + m)vm+i if i =6 0, dmv0 = m(m + a)vm; C (3) B(a) = Pi∈Z vi: dmvi = ivm+i if i =6 −m, dmv−m = −m(m + a)v0, for some a, b ∈ C, where C acts trivially on the above modules. ∼ It is well-known that Aa, b = Aa+1, b, ∀a, b ∈ C, then we can always suppose that a 6∈ Z or a = 0 in Aa, b. Moreover, the module Aa, b is simple if a∈ / Z or b =06 , 1. In the opposite case the module contains two simple subquotients namely the −1 trivial module and C[t, t ]/C. It is also clear that A0,0 and B(a) both have

Cv0 as a submodule, and their corresponding quotients are isomorphic, which ′ C we denote by A0,0. Dually, A0,1 and A(a) both have v0 as a quotient module, ′ and their corresponding submodules are isomorphic to A0,0. For convenience, we ′ simply write Aa,b = Aa,b when Aa,b is irreducible. THE AFFINE-VIRASORO ALGEBRA 5

All Harish-Chandra modules over the Virasoro algebra were classified in [22] in 1992. Since then such works were done on the high rank Virasoro algebra in [20] and [26], the Weyl algebra in [25]. Theorem 2.3. [22] Let V be an irreducible weight Vir-module with finite-dimensional weight spaces. Then V is a highest weight module, lowest weight module, or Harish-Chandra module of intermediate series. Theorem 2.4. [21] If V is an irreducible weight module with finite-dimensional weight spaces over D, then V is a highest or lowest weight module or the Harish- Chandra module of uniformly bounded. Moreover, any uniformly bounded module is a Harish-Chandra module of intermediate series. Remarks. (1) The Harish-Chandra module of the intermediate series over D C C is induced by Aa, b = Pi∈Z vi with Ynvi = cvn+i for some c ∈ . Denote this ∼ module by Aa, b, c. It is well-known that Aa, b, c = Aa+1,b, c, ∀a, b, c ∈ C. Moreover, Z ′ the module Aa, b, c is simple if a∈ / or b =6 0, 1 or c =6 0. We also use Aa, b, c to denote by the simple subquotient of Aa, b, c as in the Virasoro algebra case. (2) All indecomposable Harish-Chandra modules of the intermediate series over D were classified in [18]. Lemma 2.5. Let V be a uniformly bounded weight D-module. Then V has an ′ ∼ ′ C irreducible submodules V = Aa,b,c for some a, b, c ∈ . Proof. Consider V as a Vir-module. From representation theory of Vir ([15]), we have dim Vλ+n = p for all λ + n =6 0. We have a Vir-submodule filtration 0= W (0) ⊂ W (1) ⊂ W (2) ⊂···⊂ W (p) = V, where W (1), ··· , W (p) are Vir-submodules of V , and the quotient modules (i) (i−1) ∼ ′ C W /W = Aai,bi for some ai, bi ∈ . Now any D-submodule filtration is also a Vir-submodule filtration and then its length is finite. So V has an irreducible D-submodule V ′, which is also a ′ ∼ ′ C uniformly bounded. So by Theorem 2.3, V = Aa,b,c for some a, b, c ∈ .

3. The case of dim L =2 Let T be a 2-dimensional nontrivial Lie algebra. Then we can suppose that T = C{h, e} with [h, e]=2e. Clearly, there exists an invariant symmetric bilinear form ( , ) on T given by (h, h)=2, (h, e)=(e, e)=0. 6 Y.GAO,N.HU,ANDD.LIU

In this case, the Lie algebra T2 := Tav is generated by {dn, en, hn,C | n ∈ Z} 1 [d ,d ]=(n − m)d + (n3 − n)δ C, [d , e ]= ne , m n m+n 12 m+n,0 m n m+n [dm, hn]= nhm+n, [hm, en]=2em+n,

[em, en]=0, [hm, hn]=2mδm+n,0C, for all m, n ∈ Z.

Clearly, T2 is a subalgebra of L.

Proposition 3.1. Let V be a uniformly bounded irreducible T2-module. Then C ∼ V = P vi = Aa,b,c is the Harish-Chandra module of intermediate series with hnvi = cvn+i and envi =0. Proof. From representation theory of Vir ([15]), we have C = 0.

Clearly, C{h0, e0} is a 2-dimensional solvable Lie subalgebra of T2. So we can choose an irreducible C{h0, e0}-submodule C{v} of V such that h0v = c1v and e0v = 0 for some c1 ∈ C.

Now the Lie subalgebra He := C{dn, en | n ∈ Z} is isomorphic to the Lie algebra D deﬁned in Section 2 (see Deﬁnition 2.1). Set U = U(He)v, which is

He-module generated by v. By Lemma 2.5, we can choose an irreducible He- ′ C Z submodule V = P ui of U with enui = dui+n for some d ∈ and for all n, i ∈ . C Z Moreover, V = P U(H)ui, where H = {hi | i ∈ }. Clearly e0 is nilpotent ′ ′ on some element ui ∈ V , so d = 0. It is enV = 0, and then enV = 0 since enhiuj = hienuj − 2ei+jui = 0 for all n ∈ Z. Now the irreducibility of V as T2- module is equivalent to that of V as Hh-module, where Hh = C{dn, hn | n ∈ Z} is also isomorphic to the Lie algebra D. By Theorem 2.4, V = P vi is the Harish- Chandra module of intermediate series with hnvi = cvn+i for some c ∈ C and for all n, i ∈ Z.

4. Harish-Chandra modules over the affine-Virasoro algebra L Theorem 4.1. Let V be an irreducible weight L-module with ﬁnite-dimensional weight spaces. If V is not a highest and lowest module, then V is uniformly bounded.

Proof. From Section 2, we can suppose that V = ⊕i∈ZVi is an irreducible Harish- Chandra L-module without highest and lowest weights. We shall prove that for any i ∈ Z∗, k ∈ Z,

In fact, suppose there exists some v0 ∈ Vk such that

div0 = di+1v0 = eiv0 = fiv0 = hiv0 =0. (4.2) Without loss of generality, we can suppose i> 0. Note that when ℓ ≫ 0, we have

ℓ = n1i + n2(i + 1) for some n1, n2 ∈ N, from this and the relations in the deﬁnition, one can easily deduce that dℓ, eℓ, fℓ, hℓ can be generated by di,di+1, ei, fi, hi. Therefore there exists some N > 0 such that

dℓv0 = eℓv0 = fℓv0 = hℓv0 = 0 for all ℓ ≥ N. This means

L[N,+∞)v0 =0, (4.3) where L[N,+∞) = ⊕i≥N Li.

Since L = L[1,N) + L0 + L− + L[N,∞), using the PBW theorem and the irreducibility of V , we have

V = U(L)v0 = U(L[1,N))U(L0 + L−)U(L[N,∞))v0 (4.4)

= U(L[1,N))U(L0 + L−)v0. (4.5)

′ Note that V+ is a L+-module. Let V+ be the L+-submodule of V+ generated by V[0,N). Now prove that ′ V+ = V+. (4.6) ′ In fact, let x ∈ V+ be of degree k. If0 ≤ k < N, then by definition x ∈ V+. Suppose that k ≥ N. By (4.5), x is a linear combination of the form uixi with ui ∈ L[1,N) and xi ∈ V , where i is in a finite subset of Z+. For any i ∈ I, the degree deg ui of ui satisfies 1 ≤ deg ui < N, so 0 < deg xi = k − deg ui < k. By ′ ′ inductive hypothesis, xi ∈ V+, and thus x ∈ V+. So (4.6) holds. Eq. (4.6) means that V+ is finite generated as L-module. Choose a basis B of

V[0,N), then for any x ∈ B, we have x = uxv0 for some ux ∈ U(L). Regarding ux as a polynomial with respect to a basis of L, by induction on the polynomial degree and using [u,w1w2] = [u,w1]w2 + w1[u,w2] for u ∈ L, w1,w2 ∈ U(L), we see that there exists a positive integer kx large enough such that kx > N and

[L[kx,+∞),ux] ⊂ U(L)L[N,∞). 8 Y.GAO,N.HU,ANDD.LIU

Then by (4.3), L[kx,+∞)x = [L[kx,+∞),ux]v0 + uxL[kx,+∞)v0 = 0. Take k = max{kx, x ∈ B}, then

L[k,+∞)V+ = L[k,+∞)U(L+)V[0,N) = U(L+)L[k,+∞)V[0,N) =0.

′ Since L+ ⊂ L[k,+∞) + [L[−k′,0), L[k,+∞)] for some k > k, we get L+V[k′,+∞) = 0.

Now if x ∈ V[k′+N,+∞), by (4.5), it is a sum of elements of the form ujxj such that uj ∈ L[1,+∞) and then xj ∈ V[k′,+∞), and thus ujxj = 0. This prove that V has no degree ≥ k′ + N.

Now let p be the maximal integer such that Vp =6 0, since the four-dimensional subalgebra C{d0, h0, e0,C} has a two-dimensional solvable subalgebra C{h0, e0} and two central elements {d0,C}, so there exists a common eigenvector w of + h = C{d0, h0,C} in Vp with e0w = 0. It is L w = 0. Then w is a highest weight vector of L, this contradicts the assumption of the Theorem.

5. Representations of the Lie algebra L Now we shall consider uniformly bounded irreducible weight modules over L.

Let M(λ) be the ﬁnite-dimensional irreducible highest weight sl2-module with highest weight λ, then L(M(λ)) := M(λ) ⊗ C[t, t−1] becomes an irreducible L- module by the actions as follows:

i m+i dm(u ⊗ t )=(a + bm + i)u ⊗ t , i m+i xm(u ⊗ t )=(x · u) ⊗ t , for any u ∈ M(λ) and for some a, b ∈ C.

Remark. L(M(λ)) irreducible iﬀ M(λ) is a nontrivial sl2-module or a 6∈ Z or b =6 0, 1. We also use L(M(λ))′ to denote the irreducible submodule or subquotient of L(M(λ)).

Proposition 5.1. Let V be a uniformly bounded irreducible weight L-module. Then V is isomorphic to L(M(λ))′ for some ﬁnite-dimensional irreducible L- module M(λ).

Proof. Similarly to Proposition 3.1, one has C = 0. Clearly, T2 = C{dn, hn, en,C | n ∈ Z} is a subalgebra of L.

Consider V as a T2-module, similarly to Lemma 2.5, V has an irreducible ′ ′ C uniformly bounded submodule V . By Proposition 3.1, V = P vi of V with ′ hnvi = cvn+i and envi = 0 for some c ∈ C. Moreover, V = U(F )V , where

F = C{fi | i ∈ Z} is the Lie subalgebra of L generated by fi for all i ∈ Z. THE AFFINE-VIRASORO ALGEBRA 9

If c = 0, then eifjvk = [ei, fj]vk + fjeivk = 0 for all u,j,k ∈ Z. So EV = 0, where E = C{ei | i ∈ Z} is the Lie subalgebra of L generated by ei for all i ∈ Z. ′ Then the irreducibility of V as L-module is equivalent to that of V as T2 - ′ C Z module, where the subalgebra T2 := {dn, hn, fn,C | n ∈ } is also isomorphic to the Lie algebra T2. By Proposition 3.1, V is the Harish-Chandra module of intermediate series with fnvi = 0 for all n, i ∈ Z. The theorem is proved. So we can suppose that c =6 0. Z Z 1 Fix k ∈ , for any i ∈ , vi = c hi−kvk, so U(F )vi ⊂ U(H, F )vk, where U(H, F ) is the universal enveloping algebra of the Lie subalgebra generated by hi, fi for all i ∈ Z of L. So

V = U(H, F )vk, (5.1) Z Z n for any k ∈ . Then for any v ∈ V there exists n ∈ + such that ei v = 0 since eivk = 0. It is that each ei is locally nilpotent on V . C Z ′ C Replacing T2 = {dn, hn, en,C | n ∈ } by the subalgebra T2 := {dn, hn, fn,C | n ∈ Z}, we see that each fi is locally nilpotent on V . So V is an integrable weight L-module. By (5.1) we know that V becomes an irreducible module over the loop algebra

L¯(L) = C{ei, fi, hi,d0 | i ∈ Z}. Moreover, V is an integrable weight L¯(L)- ∼ ¯ k ¯ module. So by [3] (or see [4], [6]), V = M(λ, a¯) = L(⊗i=1M(λi)) as L(L)- modules, where λ¯ = (λ1, ··· ,λk) anda ¯ = (a1, ··· , ak). However, by [di, hj] = ∼ ′ jhi+j, we have k = 1and¯a = 1. So as an irreducible L¯(L)-module, V = L(M(λ)) for some highest weight λ of sl2. C i Now we only need consider the actions of dn on V . Suppose that Pi∈Z v ⊗ t is a Vir-module of intermediate series, then

i i n+i dnf0v ⊗ t = f0dnv ⊗ t =(a + bn + i)f0v ⊗ t . C i So Pi∈Z f0v ⊗ t is a Vir-module of intermediate series. Combining with Theorem 4.1, we get the following result.

Theorem 5.2. Let V be an irreducible weight L-module with ﬁnite-dimensional weight spaces. Then V is a highest weight module or a lowest weight module or isomorphic to L(M(λ))′ for some ﬁnite-dimensional irreducible L-module M(λ).

Remark. The unitary highest weight modules over the aﬃne-Virasoro algebra L were considered in [13, 12]. 10 Y.GAO,N.HU,ANDD.LIU

ACKNOWLEDGMENTS

Project is supported by the NNSF (Grants: 11271131, 11371134) and ZJNSF (LZ14A010001).

References

[1] E. Arbarello; C. De Concini; V.G. Kac; C. Procesi, Moduli spaces of curves and representation theory, Comm. Math. Phys., 117 (1988), 1–36. [2] Y. Billig, A category of modules for the full toroidal Lie algebra, International Mathematics Research Notices, 2006, 46 pp [3] V. Chari, Integrable representations of affine Lie-algebras, Invent. Math. 85 (2) (1986), 317–335. [4] V. Chari; A. Pressley, New unitary representations of loop groups, Math. Ann. 275 (1986), 87–104. [5] S. Cheng; N. Lam, Finite conformal modules over the N =2, 3, 4 superconformal algebras. J. Math. Phys. 42 (2) (2001), 906–933. [6] S. Eswara Rao, On the representations of loop algebras, Comm. Algebra 21 (1993), 2131– 2153. [7] S. Eswara Rao, Classification of irreducible integrable modules for multi-loop algebras with finite-dimensional weight spaces, J. Algebra 246 (2001), 215–225. [8] S. Eswara Rao; C. Jiang, Classification of irreducible integrable representations for the full toroidal Lie algebras, J. Pure Appl. Algebra 200 (1-2) (2005), 71–85. [9] I.B. Frenkel; V.G. Kac, Basic representations of affine Lie algebras and dual resonance models, Invent. Math. 62 (1980), 23–66. [10] X. Guo; R. Lv; K. Zhao, Simple Harish-Chandra modules, intermediate series modules, and Verma modules over the loop-Virasoro algebra, Forum Math. 23 (2011), 1029–1052. [11] C. Jiang; D. Meng, Integrable representations for generalized Virasoro-toroidal Lie algebras, J. Algebra 270 (1) (2003), 307–334. [12] C. Jiang; H. You, Irreducible representations for the affine-Virasoro Lie algebra of type Bl, Chinese Ann. Math. Ser. B 25 (3) (2004), 359–368. [13] V. G. Kac, Highest weight representations of conformal current algebras, Symposium on Topological and Geometric Methods in Field Theory, Espoo, Finland, World Scientific, p. 3–16, 1986. [14] V. G. Kac, Infinite-dimensional Lie Algebras, 3rd ed., Cambridge Univ. Press, Cambridge, U.K., 1990. [15] I. Kaplansky; L. J. Santharoubane, Harish-Chandra modules over the Virasoro algebra, Infinite-dimensional groups with applications (Berkeley, Calif. 1984), 217–231, Math. Sci. Res. Inst. Publ., 4, Springer, New York, 1985. [16] G. Kuroki, Fock space representations of affine Lie algebras and integral representations in the Wess-Zumino-Witten models, Comm. Math. Phys. 142 (3) (1991), 511–542. THE AFFINE-VIRASORO ALGEBRA 11

[17] D. Liu; N. Hu, Vertex representations for toroidal Lie algebra of type G2, J. Pure Appl. Algebra 198 (1-3) (2005), 257–279. [18] D. Liu; C. Jiang, Harish-Chandra modules over the twisted Heisenberg-Virasoro algebra, J. Math. Phys., 49 (1) (2008), 012901, 13 pp. [19] X. Liu; M. Qian, Bosonic Fock representations of the affine-Virasoro algebra, J. Phys. A, 27 (5) (1994), 131–136. [20] R. Lv; K. Zhao, Classification of irreducible weight modules over higher rank Virasoro algebras, Adv. Math. 201 (2) (2006), 630–656. [21] R. Lv; K. Zhao, Classification of irreducible weight modules over the twisted Heisenberg- Virasoro algebra, Comm. Contemp. Math. 12 (2) (2010), 183–205. [22] O. Mathieu, Classification of Harish-Chandra modules over the Virasoro Lie algebra, In- vent. Math. 107 (1992), 225–234. [23] R. V. Moody; S. Eswara Rao; T. Yomonuma, Toroidal Lie algebras and vertex representations, Geom. Ded. 35 (1990), 287–307. [24] S. Eswara Rao; R. V. Moody, Vertex represenations for n-affine-Virasoro Lie algebras and a generalization of the Virasoro algebra, Comm. Math. Phys. 159 (1994), 239–264. [25] Y. Su, Classification of quasifinite modules over the Lie algebras of Weyl type, Adv. Math. 174 (2003), 57–68. [26] Y. Su, Classification of Harish-Chandra modules over the higher rank Virasoro algebras, Comm. Math. Phys. 240 (2003), 539–551. [27] M. Wakimoto, Lectures on infinite-dimensional Lie Algebra, World Scientific Publishing Co., Inc. 2001. [28] L. Xia; N. Hu, Irreducible representations for Virasoro-toroidal Lie algebras. J. Pure Appl. Algebra 194 (1-2) (2004), 213–237.

Department of Mathematics and Statistics, York University, Toronto, Canada M3J 1P3 E-mail address: [email protected]

Department of Mathematics, Shanghai Key Laboratory of Pure Mathematics and Mathematical Practice, East China Normal University, Shanghai, 200241, China E-mail address: [email protected]

Department of Mathematics, Huzhou University, Zhejiang Huzhou, 313000, China E-mail address: [email protected]