Arxiv:1610.08255V3 [Math.RA] 6 Nov 2016 6 9 5 8 9 0.I 2,Bre˘ [2], in 30]

Home , Virasoro algebra

arXiv:1610.08255v3 [math.RA] 6 Nov 2016 6 9 5 8 9 0.I 2,Bre˘ [2], In 30]. much 29, so 28, put 25, 19, authors 16, many years, recent In generalizations. their iesoa ope ipeLeagbai ne.I diin 2]ad[10] and [28] addition, In Schr¨ the inner. on is biderivations sk algebra the Lie that shown simple is complex result part dimensional his [29], in introduced was ring algebras semiprime Lie of biderivations the determine and biderivations, inner n hscss e 1,1,1]ads n nte nifiiedimens infinite an Another g paid on. so been and has 18] 17, it [14, context, see several physicists, and in appeared has the of which extension algebra central Lie universal L the important as some algebra of Virasoro biderivations hand, the computing for interesting non-skews exist and there that find we gener skewsymmetric, and of algebra restriction Lie simple complex dimensional [10], finite in attentio of out biderivations receive pointed should as condition use, into (super-)skewsymmetric put without be should hypothesis this n but did esis, [29] and [28] in authors the (although (super-)skewsymmetric inner. is Algebras a Super-Virasoro the the [30] on in super-biderivations super-biderivation, to generated also is biderivation on hrceitc0 epciey ti hw httyaeinr n[ In inner. are thy that of shown biderivations is skewsymmetric It respectively. 0, characteristic ieiain fW-algebra of Biderivations eiain n eeaie eiain r eyipratsubjec important very are derivations generalized and Derivations oeta lotalteaoeatce nLe(ue-agbaaea are (super-)algebra Lie on articles above the all almost that Note ∗ orsodn author: Corresponding M ujc classifications: subject AMS Keywords: ecaatrz h om flna omtn asadteco the and maps commuting linear W-algebra of on forms the characterize we Abstract. ir V 1 eateto ahmtc,Hiogin nvriy abn 1500 Harbin, University, Heilongjiang Mathematics, of Department ihu kwymti odto.W e w lse fnon- of classes two get We condition. skewsymmetric without kwymti odto n hi applications their and condition skewsymmetric ieiain iaooagba -ler,lna commut linear W-algebra, algebra, Virasoro biderivation, nti ae,w hrceietebdrvtoso W-algeb of biderivations the characterize we paper, this In W (2 .Tn.Email: Tang. X. , )adVrsr algebra Virasoro and 2) o igrVrsr ler n ipegnrlzdWt ler vrafie a over algebra Witt generalized simple and algebra dinger-Virasoro 1. nrdcinadpeiiayresults preliminary and Introduction W s 70,1B0 17B65. 17B40, 17B05, re.a.soe htalbdrvtoso omttv rm ig ar rings prime commutative on biderivations all that showed al. et. ar ( ,b a, [email protected] n n htteeeitnninrbdrvtos h problem The biderivations. non-inner exist there that find and ) ioi Tang Xiaomin W ir V (2 . , 1 2) n iaooagbawithout algebra Virasoro and ∗ mttv otLeagbastructures algebra post-Lie mmutative mercbdrvtos tmyb useful be may It biderivations. ymmetric itagba sa nnt dimensional infinite an is algebra, Witt ne ieiain.A applications, As biderivations. inner trfrt h kwymti hypoth- skewsymmetric the to refer ot .Bsdo hs e[5 td the study [25] we this, on Based n. ffr noti rbes[,5 0 11, 10, 5, [2, problems this into effort n a,ps-i algebra post-Lie map, ing tosso htteskewsymmetric the that show uthors oa i algebra Lie ional si h td fbt lersand algebras both of study the in ts ra 9,teatosdtriealthe all determine authors the 19], .Tentto fbdrvtosof biderivations of notation The s. e(ue-agba.O h other the On (super-)algebras. ie wymti ieiaino finite of biderivation ewsymmetric etatnino mathematicians of attention reat W llna i ler ihu the without algebra Lie linear al smdta h ieiainis biderivation the that ssumed 2].S,ti ls fproblems of class this So, [25]). (2 , )adVrsr algebra Virasoro and 2) td h skewsymmetric the study 0 .R China R. P. 80, W (2 , )i ls of class a is 2) dof ld e 2

W-algebra, which is a non-central extension of the Virasoro algebra and first introduced by [32] in their recent work on the classification of some simple vertex operator algebras, and then some scholars studied the theory on structures and representations of W (2, 2), see [8, 15, 20, 24] and so forth. In this paper, we dedicate themselves to study the biderivations of Virasoro algebra and W-algebra W (2, 2) without skewsymmetric condition. And then, we also give two applications of biderivations of them. That is, the fist application is to characterize the linear commuting map on a Lie algebra by using a well known method, which also works for skewsymmetric biderivation. The second application is to characterize the commutative post-Lie algebra structures on Lie algebra, note that the precondition of the method is that the biderivation should be assumed to be non-skewsymmetric. Although paper we work under complex number field C, but it also works with algebraically closed field of characteristic zero. For an arbitrary Lie algebra L, we recall a bilinear map f : L × L → L is a biderivation of L if it is a derivation with respect to both components, or to be more precise, one has

Deﬁnition 1.1. Suppose that L is a Lie algebra. A bilinear map f : L × L → L is called a biderivation if it satisfying

f([x, y],z) = [x, f(y,z)] + [f(x, z),y], (1)

f(x, [y,z]) = [f(x, y),z] + [y,f(x, z)] (2) for all x,y,z ∈ L.

For a complex number λ, we deﬁne a bilinear map f : L × L → L given by f(x, y) = λ[x, y], then it is easy to verify that f is a biderivation of L. We call such biderivation to be inner. f is called skew-symmetric if f(x, y)= −f(y, x) for all x, y ∈ L. Now let us recall the deﬁnition of derivation of Lie algebra as follows.

Deﬁnition 1.2. Suppose that L is a Lie algebra. A linear map φ : L → L is called a derivation if it satisfying

φ([x, y]) = [φ(x),y] + [x, φ(y)] (3) for all x, y ∈ L.

For x ∈ L, it is easy to see that φx : L → L,y 7→ adx(y) = [x, y], for all y ∈ L is a derivation of L, which is called an inner derivation. Below let us recall the deﬁnition of Virasoro algebra and W-algebra W (2, 2). 3

Deﬁnition 1.3. The inﬁnite dimensional Lie algebra V ir is called Virasoro algebra if it with the basis

{Lm,c|m ∈ Z} and Lie brackets m3 − m [L ,L ] = (m − n)L + δ c, [V ir,c]=0. m n m+n 12 m+n,0

Deﬁnition 1.4. The W-algebra W (2, 2) is a Lie algebra with the basis {Lm,Hm,c|m ∈ Z} and Lie brackets

3 m −m [Lm,Ln] = (m − n)Lm+n + 12 δm+n,0c,

3 m −m [Lm,Hn] = (m − n)Hm+n + 12 δm+n,0c,

[Hm,Hn]=0, [W (2, 2),c]=0.

We have the following lemmas about the derivation of Virasoro algebra and W (2, 2).

Lemma 1.5. [33] Every derivation of Virasoro algebra is inner.

Lemma 1.6. [15] Every derivation δ of W (2, 2) is of the following form

δ = adx + aD

for some x ∈ W (2, 2) and a ∈ C, where D is a out derivation of W (2, 2), which is deﬁned by D(Lm)=0,

D(Im)= Im for all m ∈ Z and D(c)= dc for some d ∈ C.

2. Biderivation of W-algebra

In this section, we always assume that f is a biderivation of W-algebra W (2, 2).

Lemma 2.1. There are two linear maps φ and ψ from W (2, 2) into itself such that

f(x, y)= lxD(y) + [φ(x),y]= ryD(x) + [x, ψ(y)], ∀x, y ∈ L, (4)

where lx, rx are complex numbers depend on x, and D is given by Lemma 1.6.

Proof. For the biderivation f of L and a ﬁxed element x ∈ L, we deﬁne a map φx : W (2, 2) → W (2, 2)

is given by φx(y)= f(x, y). Then we know by (2) that φx is a derivation of W (2, 2). So there is a map

φ : L → L such that φx = kxD + adφ(x), i.e., f(x, y)= lxD(y) + [φ(x),y]. Due to f is bilinear, one has

φ is linear. Similarly, as we deﬁne a map ψz from W (2, 2) into itself is given by ψz(y) = f(y,z) for all

y ∈ L, we can get a linear map ψ from W (2, 2) into itself such that f(x, y)= ryD(x) + ad(−ψ(y))(x)=

ryD(x) + [x, ψ(y)]. The proof is completed.

By Lemmas 2.1 and 1.6, we have 4

Lemma 2.2. For any i, j ∈ Z, one has the following equations:

f(Li,Lj ) = [φ(Li),Lj] = [Li, ψ(Lj )], (5)

f(Li,Hj )= lLi Hj + [φ(Li),Hj ] = [Li, ψ(Hj )], (6)

f(Hi,Lj) = [φ(Hi),Lj ]= rLj Hi + [Hi, ψ(Lj )], (7)

f(Hi,Hj )= lHi Hj + [φ(Hi),Hj ]= rHj Hi + [Hi, ψ(Hj )], (8)

f(x, c)= dlxc,f(c,y)= dryc, x,y ∈{Lm,Hm}, (9)

where φ,ψ,lx, rx are given by Lemma 2.1.

Lemma 2.3. Let φ and ψ be deﬁned by Lemma 2.1. For any m ∈ Z, there are λ, µ, αmβm ∈ C such that

φ(Lm)= λLm + µHm + αmc,

ψ(Lm)= λLm + µHm + βmc.

Proof. For any but ﬁxed n ∈ Z, let

(n) (n) φ(Ln)= X ki Li + X ti Hi + αnc, (10) i∈Z i∈Z (n) (n) ψ(Ln)= X hi Li + X gi Hi + βnc, (11) i∈Z i∈Z (n) (n) (n) (n) C Z where ki ,ti ,hi ,gi , αn,βn ∈ ,i ∈ . Therefore, we have n − n3 [φ(L ),L ]= (i − n)k(m)L + (i − n)t(m)H + (k(m) + t(m))c, (12) m n X i n+i X i n+i 12 −n −n i∈Z i∈Z

m3 − m [L , ψ(L )] = (m − i)h(n)L + (m − i)g(n)H + (h(n) + g(n) )c m n X i m+i X i m+i 12 −m −m i∈Z i∈Z m3 − m = (2m − n − i)h(n) L + (2m − n − i)g(n) H + (h(n) + g(n) )c. (13) X n−m+i n+i X n−m+i n+i 12 −m −m i∈Z i∈Z

By (5), we have f(Lm,Ln) = [φ(Lm),Ln] = [Lm, ψ(Ln)]. This, together whith Equations (12) and (13), implies that

(m) (n) (i − n)ki = (2m − n − i)hn−m+i, (14)

(m) (n) (i − n)ti = (2m − n − i)gn−m+i. (15) for all m,n,i ∈ Z. For any m,n with m 6= n, by taking i =2m − n,n,m in (14) respectively, we have

(m) (n) (m) (n) Z k2m−n = h2n−m =0, km = hn , ∀m,n ∈ with m 6= n. (16)

Let m,n run all integers with m 6= n, we conclude by (16) that

(m) (n) ki =0,hj =0, ∀i 6= m, j 6= n, (17) 5

and (n) (n) (0) Z kn = hn = h0 , ∀n ∈ . (18) (m) (n) (m) (n) Z Similarly, we have by (15) that t2m−n = g2n−m = 0, tm = gn for all m,n ∈ with m 6= n. And then, we deduce

(m) (n) ti =0,gj =0, ∀i 6= m, j 6= n, (19)

and (n) (n) (0) Z tn = gn = t0 , ∀n ∈ . (20) (0) (0) By letting h0 = λ and t0 = µ, the proof follows from Equations (10), (11), (17), (18),(19) and (20).

Lemma 2.4. Let φ and ψ be deﬁned by Lemma 2.1. For any m ∈ Z, we have

φ(Hm)= λHm + γmc,

ψ(Hm)= λHm + ηmc,

lLm = rLm = lHm = rHm =0,

C where λ is given by Lemma 2.3, lLm , rLm ,lHm , rHm are give by Lemma 2.3 and γm, ηm ∈ .

Proof. For any n ∈ Z, let

(n) (n) φ(Hn)= X pi Li + X qi Hi + γnc, (21) i∈Z i∈Z (n) (n) ψ(Hn)= X si Li + X ri Hi + ηnc, (22) i∈Z i∈Z (n) (n) (n) (n) C Z where pi , qi ,si , ri ,γn, ηn ∈ ,i ∈ . By the direct computations, we deduce by Lemma 2.3 that m3 − m [φ(L ),H ] = (m − n)λH + λδ c, (23) m n m+n 12 m+n,0 n3 − n [H , ψ(L )] = (m − n)λH − λδ c (24) m n m+n 12 m+n,0 and by Equations (22), (11) that m3 − m [L , ψ(H )] = (m − i)s(n)L + (m − i)r(n)H + (s(n) + r(n) )c, (25) m n X i m+i X i m+i 12 −m −m i∈Z i∈Z n − n3 [φ(H ),L ]= (i − n)p(m)L + (i − n)q(m)H + (p(m) + q(m))c. (26) m n X i n+i X i n+i 12 −n −n i∈Z i∈Z Now applying (6) one has

f(Lm,Hn)= lLm Hn + [φ(Lm),Hn] = [Lm, ψ(Hn)]. (27)

(n) Z This, together with (23), (25), yields (m − i)si = 0 for all m,n,i ∈ . It follows that

(n) Z si =0, ∀i ∈ . (28) 6

(n) Equations (23), (25) and (27) also tell us that (m − n)rn = (m − n)λ while m 6= n, which gives that (n) rn = λ. Now we again review Equations (23), (25), (27) and (28), one has m3 − m m3 − m l H + λδ c = (m − i)r(n)H + (s(n) + r(n) )c. Lm n 12 m+n,0 X i m+i 12 −m −m i∈Z\{n} (n) Z Compare the two hands of the above equation, we have (m − i)ri = 0 for any i ∈ with i 6= m − n and i 6= n. Above all, we get

(n) (n) rn = λ, ri =0, ∀i 6= n. Z We also have lLm = 0 for all m ∈ . This, together with (28) and (22), implies ψ(Hm) = λHm + ηmc.

Similarly, we have by Equations (7), (21), (24) and (26) that rLm = 0 and φ(Hm)= λHm + γmc for all m ∈ Z. From this, applying (8), we deduce

f(Hm,Hn) = lHm Hn + [φ(Hm),Hn]= lHm Hn

= rHn Hm + [Hm, ψ(Hn)] = rHn Hm.

Z The above equation implies lHm = rHn = 0 for all m,n ∈ with m 6= n. This completes the proof.

Lemma 2.5. For any m ∈ Z, we have f(c, x)= f(x, c)=0, ∀x ∈{Lm, Im} and f(c,c)=0.

Z Proof. Lemma 2.4 tells us that lLm = rLm = lHm = rHm = 0 for all m ∈ . This, together with (9), gives

f(c, x)= f(x, c)=0, ∀x ∈{Lm, Im}. On the other hand, note that c = 2[L2,L−2] − 8L0, we have

f(c,c)= f(2[L2,L−2] − 8L0,c) = 2[f(L2,c),L−2] + 2[L2,f(L−2,c)] − 8f(L0,c)=0.

The proof is completed.

For convenience, we deﬁne a linear map ω : W (2, 2) → W (2, 2) is given by ω(Lm) = Hm,ω(Hm) = ω(c) = 0 for all m ∈ Z, that is,

ω(X kiLi + X tiHi + rc)= X kiHi. i∈Z i∈Z i∈Z

For all m,n ∈ Z, it is obvious that [ω(Lm),Hn] = [Lm,ω(Hn)] = 0, [ω(Hm),Ln] = [Hm,ω(Ln)] = 0.

3 n−n Note that [ω(Lm),Ln] = [Hm,Ln] = (m − n)Hm+n + 12 δm+n,0c and [Lm,ω(Ln)] = [Lm,Hn] = 3 3 3 m −m n+m−(n +m ) (m − n)Hm+n + 12 δm+n,0c. We deduce [ω(Lm),Ln] − [Lm,ω(Ln)] = 12 δm+n,0c = 0, and

then [ω(Lm),Ln] = [Lm,ω(Ln)]. The above conclusions along with [ω(x),c] = [x, ω(c)] = [ω(c),y] = [c,ω(y)] = 0 for all x, y ∈ W (2, 2), yield that

[ω(x),y] = [x, ω(y)], ∀x, y ∈ W (2, 2). (29)

We now state our main result as follows. 7

Theorem 2.6. f is a biderivation of W (2, 2) if and only if there are two complex number λ, µ such that

f(x, y)= λ[x, y]+ µ[ω(x),y], ∀x, y ∈ W (2, 2), (30)

where ω is a linear map from W (2, 2) into it self deﬁned by ω(Lm) = Hm,ω(Hm) = ω(c)=0 for all m ∈ Z.

Proof. Suppose that f has the form (30). By Jacobin identity and (29), we have

[ω([x, y]),z] = [[x, y],ω(z)] = [x, [y,ω(z)]] + [[x, ω(z)],y] = [x, [ω(y),z]] + [[ω(x),z],y],

[ω(x), [y,z]] = [[ω(x),y],z] + [y, [ω(x),z]],

for all x, y ∈ W (2, 2). From this, it is easy to verify that f is a biderivation. Conversely, suppose that f is a biderivation of W (2, 2). It follows by Lemmas 2.2, 2.4 and 2.5 that

f(x, y) = [φ(x),y], ∀x, y ∈ W (2, 2), (31)

where φ is given by Lemma 2.1 after promising φ(c) = λc. Now by the conclusions of Lemmas 2.3, 2.4 and 2.5, we have

φ(Lm) = (λεW (2,2) + µω)(Lm)+ αmc,

φ(Im) = (λεW (2,2) + µω)(Hm)+ γmc,

φ(c) = (λεW (2,2) + µω)(c),

where εW (2,2) denote the identity map of W (2, 2). Hence, we can assume that

φ(x) = (λεW (2,2) + µω)(x)+ σxc, ∀x ∈ W (2, 2),

for some σx ∈ C. So it follows from (31) that f(x, y) = [(λεW (2,2) + µω)(x)+ σxc,y]= λ[x, y]+ µ[ω(x),y]. The proof is completed.

3. Biderivation of Virasoro algebra

In this section, let f be a biderivation of V ir. We give the following theorem.

Theorem 3.1. f is a derivation of V ir if and only if f is inner, i.e., there exist a complex number λ such that

f(x, y)= λ[x, y], ∀x, y ∈ V ir, (32)

Proof. The “if part” is easy to verify. We now prove the “only if” part. 8

Firstly, by Lemma 1.5 we know that every derivation of V ir is inner. If we let φx(y)= f(x, y)= ψy(x) for all x, y ∈ gln(C), then φx and ψy are both derivations of V ir. Similar to the proof of Lemma 2.1, there are linear maps φ, ψ from V ir into itself such that

f(x, y) = [φ(x),y] = [x, ψ(y)], ∀x, y ∈ V ir.

We mark Hi = 0 for all i ∈ Z in the proof of Lemma 2.3, and using the same way of the proof of Lemma 2.3, it is not diﬃcult to see that

φ(Lm)= λLm + αmc, ψ(Lm)= λLm + βmc, ∀m ∈ Z, (33) for some λ, αm,βm ∈ C. Nextly, we claim that ρ(c) ∈ Cc for any derivation ρ of V ir. In fact, note that [x, c] = 0, one has 0= ρ([x, c]) = [ρ(x),c] + [x, ρ(c)] = [x, ρ(c)] for all x ∈ V ir, the claim follows since Z(V ir)= Cc. Thus, note that φx = f(x, ·) and ψy = f(·,y) are both derivations of V ir, applying the above claim we have

f(x, c),f(c,y) ∈ Cc, ∀x, y ∈ V ir. (34)

3 2 −2 Note that [L2,L−2]=4L0 + 12 c and [L1,L−1]=2L0, it follows that c = 2[L2,L−2] − 4[L1,L−1]. We 1 Z also have Lm = m [Lm,L0] for all m ∈ \{0}. Thus, we have by Equations (34) and (1) that 1 1 f(L ,c)= f( [L ,L ],c)= ([L ,f(L ,c)] + [f(L ,c),L ]) = 0, m 6=0, m m m 0 m m 0 m 0 1 1 f(L ,c)= f( [L ,L ],c)= ([L ,f(L ,c)] + [f(L ,c),L ]) = 0, 0 2 1 −1 2 1 −1 1 −1

f(c,c)= f(2[L2,L−2] − 4[L1,L−1],c)

= 2([L2,f(L−2,c)] + [f(L2,c),L−2]) − 4([L1,f(L−1,c)] + [f(L1,c),L−1]) = 0.

Similarly, we have by Equations (34) and (2) that f(c,Lm) = f(c,L0) = 0 for all m 6= 0. The above discussion tells us that f(x, c)= f(c, x) = 0 for all x ∈ V ir. This allows us to assume that φ(c)= ψ(c)= λc and so that f(c, x) = [φ(c), x] and f(x, c) = [x, ψ(c)] just establish. Again according to (33), we are able to assume that φ(x)= λx + kxc, ∀x ∈ V ir, where kx ∈ C. Finally, we conclude that

f(x, y) = [φ(x),y] = [λx + kxc,y]= λ[x, y], for all x, y ∈ V ir. The proof is completed.

4. Applications

In this section, we give two applications of biderivation. 9

4.1. Linear commuting maps on Lie algebras. Recall that a linear commuting map φ on a Lie algebra L subject to [φ(x), x] = 0 for any x ∈ L. The first important result on linear (or additive ) commuting maps is Posners theorem [23] from 1957. Then many scholars study commuting maps on all kinds of algebra structures, Bre˘sar [4] briefly discuss various extensions of the notion of a commuting map. Recent articles about commuting maps can reference [1, 3, 4, 9, 10, 13, 19, 28, 30, 31]. Obviously, if φ on L is such a map, then [φ(x),y] = [x, φ(y)] for any x, y ∈ L. Define f(x, y) = [φ(x),y] = [x, φ(y)], then it is easy to check f is a biderivation of L. Using Theorem 2.6, we get the following result.

Theorem 4.1. Any linear map φ on W (2, 2) is commuting if and only if there are complex numbers λ, µ and a linear function σ : W (2, 2) → C such that

φ(x)= λx + µω(x)+ σ(x)c, ∀x ∈ W (2, 2), where ω is a linear map from W (2, 2) into it self deﬁned by ω(Lm) = Hm,ω(Hm) = ω(c)=0 for all m ∈ Z.

Proof. Note that [ω(x), x] = 0 for all x ∈ W (2, 2), the “if part” is easy to verify. We now prove the “only if” part. By the above discuss we see that f(x, y) = [φ(x),y], x, y ∈ W (2, 2) is a biderivation of W (2, 2). It is follows by Theorem that [φ(x),y] = [λx + µω(x),y] for some λ, µ ∈ C. Further, we have [φ(x) − λx − µω(x),y] = 0 and then φ(x) − λx − µω(x) ∈ Z(W (2, 2)) = Cc. This means that there is a map σ from W (2, 2) in to C such that

φ(x) − λx − µω(x)= σ(x)c.

It is easy to check that σ is linear. The proof is completed.

Similar to the proof of Theorem 3.5 of [25], we get by Theorem 3.1 the following result.

Theorem 4.2. Any linear map φ on V ir is commuting if and only if there is a complex number λ and a linear function σ : V ir → C such that

φ(x)= σ(x)c + λx, ∀x ∈ V ir.

Remark 4.3. If we let c =0 in Virasoro algebra or in W-algebra W (2, 2), then using the same method we are able to give the forms of biderivation of Witt algebra or centerless W-algebra W (2, 2). The linear commuting maps on them are also described. 10

4.2. Post-Lie algebra. Post-Lie algebras have been introduced by Valette in connection with the homology of partition posets and the study of Koszul operads [27]. As [7] point out, post-Lie algebras are natural common generalization of pre-Lie algebras and LR-algebras in the geometric context of nil-affine actions of Lie groups. Recently, many authors study some post-Lie algebras and post-Lie algebra structures [6, 7, 21, 22, 26]. In particular, the authors [7] study the commutative post-Lie algebra structure on Lie algebra, they by using the Levi decompositions proved that any commutative post-Lie algebra structure on a (finite) perfect Lie algebra is trivial. Note that the Virasoro algebra V ir and W-algebra W (2, 2) are both infinite dimensional perfect Lie algebras, we naturally want to know that is also trivial for commutative post-Lie algebra structure on them? By using our Theorems 3.1 and 2.6, we answer yes to this question. Let us recall the definition of commutative post-Lie algebra as follows.

Deﬁnition 4.4. Let (L, [, ]) be a complex Lie algebra. A commutative post-Lie algebra structure on L is a C-bilinear product x · y on L satisfying the following identities:

x · y = y · x (35)

[x, y] · z = x · (y · z) − y · (x · z) (36)

x · [y,z] = [x · y,z] + [y, x · z] (37) for all x,y,z ∈ V . We also call (L, [, ], ·) to be a commutative post-Lie algebra.

The following lemma shows the connection of commutative post-Lie algebra and biderivation of Lie algebra, which ﬁrst was pointed out.

Lemma 4.5. Suppose that (L, [, ], ·) is a commutative post-Lie algebra. If we deﬁne a bilinear map f : L × L → L by f(x, y)= x · y for all x, y ∈ L, then f is a biderivation of L.

Proof. For any x,y,z ∈ L, by (35) and (37), we deduce that

f([x, y],z) = [x, y] · z = z · [x, y] = [z · x, y] + [x, z · y]

= [x · z,y] + [x, y · z] = [f(x, z),y] + [x, f(y,z)],

f(x, [y,z]) = x · [y,z] = [x · y,z] + [y, x · z] = [f(x, y),z] + [y,f(x, z)],

which inosculates with (1) and (2), as desired.

We now give the main result of this section as follows.

Theorem 4.6. Suppose that L is the Virasoro algebra V ir or W-algebra W (2, 2). Then any commutative post-Lie algebra structure on L is trivial. Namely, x · y =0 for all x, y ∈ L. 11

Proof. (a) For Virasoro algebra V ir. Suppose that (V ir, [, ], ·) is a commutative post-Lie algebra. By Lemma 4.5 and Theorem 3.1, we know that there is a complex number λ such that x · y = λ[x, y] for all x, y ∈ V ir. Note that the product · is commutative, we have λ[x, y] = λ[y, x], which deduces λ =0. In other words, it is trivial. (b) For W-algebra W (2, 2). Suppose that (W (2, 2), [, ], ·) is a commutative post-Lie algebra. By Lemma 4.5 and Theorem 2.6, we know that there are complex number λ, µ such that x · y = λ[x, y]+ µ[ω(x),y] for all x, y ∈ W (2, 2), where ω is deﬁned by Theorem 2.6. Since the product · is commutative, we have λ[x, y]+ µ[ω(x),y]= λ[y, x]+ µ[ω(y), x]. Note that (29) tells us that [ω(x),y] = [x, ω(y)]. It follows that 2(λ[x, y]+ µ[ω(x),y]) = 0 and so that λ = µ = 0. That is, x · y = 0 for all x, y ∈ W (2, 2).

Remark 4.7. The proof of Theorem 4.6 means that we are able to characterize the commutative post-Lie

algebra structure on a Lie algebra L while we know the forms of biderivation of L. But the precondition

is that the biderivation should be assumed to be non-skewsymmetric. Thus, using a result of [25] on

biderivations of general linear lie algebras gln(C), we ﬁnd there is a non-trivial commutative post-Lie

algebra structure, i.e., the product is given by x · y = µtr(x)tr(y)In for all x, y ∈ gln(C), where In and tr(x) denote the identity matrix and trace of x respectively.

5. ACKNOWLEDGMENTS

This work is supported in part by National Natural Science Foundation of China(Grant No. 11171294), Natural Science Foundation of Heilongjiang Province of China (Grant No. A2015007), the fund of Heilongjiang Education Committee (Grant No. 12531483).

References

[1] Bounds J. Commuting maps over the ring of strictly upper triangular matrices[J]. Linear Algebra and its Applications, 2016, 507: 132-136. [2] Bre˘sar M. On generalized biderivations and related maps[J]. Journal of Algebra, 1995, 172(3): 764-786. [3] Bre˘sar M, Miers C R. Commuting maps on Lie ideals[J]. Communications in Algebra, 1995, 23(14): 5539-5553. [4] Bre˘sar M. Commuting maps: a survey[J]. Taiwanese Journal of Mathematics, 2004, 8(3): pp. 361-397. [5] Benkoviˇc D. Biderivations of triangular algebras[J]. Linear Algebra and its Applications, 2009, 431(9): 1587-1602. [6] Burde D, Dekimpe K, Vercammen K. Aﬃne actions on Lie groups and post-Lie algebra structures[J]. Linear Algebra and its Applications, 2012, 437(5): 1250-1263. [7] Burde D, Moens W A. Commutative post-Lie algebra structures on Lie algebras[J]. Journal of algebra, in press. [8] Chen H, Li J. Left-symmetric algebra structures on the W-algebra W (2, 2)[J]. Linear Algebra and its Applications, 2012, 437(7): 1821-1834. [9] Cheung W S. Commuting maps of triangular algebras[J]. Journal of the London Mathematical Society, 2001, 63(1): 117-127. [10] Chen Z. Biderivations and linear commuting maps on simple generalized Witt algebras over a ﬁeld[J]. Electronic Journal of Linear Algebra, 2016, 31(1): 1-12. [11] Du Y, Wang Y. Biderivations of generalized matrix algebras[J]. Linear Algebra and its Applications, 2013, 438(11): 4483-4499. [12] Fan G, Dai X. Super-biderivations of Lie superalgebras[J]. Linear and Multilinear Algebra, 2016: 1-9. [13] Franca W. Commuting maps on some subsets of matrices that are not closed under addition[J]. Linear Algebra and its Applications, 2012, 437(1): 388-391. 12

[14] Frenkel I B, Zhu Y. Vertex operator algebras associated to representations of affine and Virasoro algebras[J]. Duke Math. J, 1992, 66(1): 123-168. [15] Gao S, Jiang C, Pei Y. Derivations, central extensions and automorphisms of a Lie algebra[J]. Acta Mathematica Sinica, Chinese Series, 2009, 52(2): 281-288. [16] Ghosseiri N M. On biderivations of upper triangular matrix rings[J]. Linear Algebra and its Applications, 2013, 438(1): 250-260. [17] Goodard P, Kent A, Olive D. Virasoro algebras and coset space models[J]. Physics Letters B, 1985, 152(1-2): 88-92. [18] Goddard P, Kent A, Olive D. Unitary representations of the Virasoro and super-Virasoro algebras[J]. Communications in Mathematical Physics, 1986, 103(1): 105-119. [19] Han X, Wang D, Xia C. Linear commuting maps and biderivations on the Lie algebras W (a, b)[J]. Journal of Lie theory, 2016, 26(3): 777-786. [20] Jiang W, Zhang W. Verma modules over the W (2, 2) algebras[J]. Journal of Geometry and Physics, 2015, 98: 118-127. [21] Munthe-Kaas H Z, Lundervold A. On post-Lie algebras, LieCButcher series and moving frames[J]. Foundations of Computational Mathematics, 2013, 13(4): 583-613. [22] Pan Y, Liu Q, Bai C, et al. PostLie algebra structures on the lie algebra sl(2, C)[J]. Electronic Journal of Linear Algebra, 2012, 23(1): 23,180-197. [23] Posner E C. Derivations in prime rings[J]. Proceedings of the American Mathematical Society, 1957, 8(6): 1093-1100. [24] Radobolja G. Subsingular vectors in Verma modules, and tensor product of weight modules over the twisted Heisenberg- Virasoro algebra and W (2, 2) algebra[J]. Journal of Mathematical Physics, 2013, 54(7): 071701. [25] Tang X. Biderivations of finite dimensional complex simple Lie algebras[J]. arXiv preprint arXiv:1610.03765, 2016. [26] Tang X, Zhang Y. Post-Lie algebra structures on solvable Lie algebra t(2, C)[J]. Linear Algebra and its Applications, 2014, 462: 59-87. [27] Vallette B. Homology of generalized partition posets[J]. Journal of Pure and Applied Algebra, 2007, 208(2): 699-725. [28] Wang D, Yu X. Biderivations and linear commuting maps on the Schrödinger-Virasoro Lie algebra[J]. Communications in Algebra, 2013, 41(6): 2166-2173. [29] Wang D, Yu X, Chen Z. Biderivations of the parabolic subalgebras of simple Lie algebras[J]. Communications in Algebra, 2011, 39(11): 4097-4104. [30] Xia C, Wang D, Han X. Linear super-commuting maps and super-biderivations on the super-Virasoro algebras[J]. Communications in Algebra, 2016, 44(12): 5342-5350. [31] Xu X W, Yi X. Commuting maps on rank-k matrices[J]. Electronic Journal of Linear Algebra, 2014, 27(1): 264. 1 1 [32] Zhang W, Dong C. W-algebra W (2, 2) and the vertex operator algebra L( 2 , 0) ⊗ L( 2 , 0))[J]. Communications in Mathematical Physics, 2009, 285(3): 991-1004. [33] Zhu L, Meng D. Some of the infinite dimensional complete Lie algebra[J], Chinese Annals of Mathematics, Series A, 2000, 21(3): 311-316.