高壽蘭, 吳祺偉,2, 鄭姝敏

(1. 湖州師范學(xué)院 理學(xué)院, 浙江 湖州 313000; 2. 上海大學(xué) 數(shù)學(xué)系, 上海 200444)

微分算子代數(shù)G(也是W(a,b)代數(shù)當(dāng)a=b=0的情形[3])的結(jié)構(gòu)和表示在近三十年來得到了廣泛的研究[3-6].G的泛中心擴(kuò)張[4]即為扭Heisenberg-Virasoro 代數(shù),與曲線的模空間有密切聯(lián)系,其結(jié)構(gòu)和表示得到了深入的研究[3,7-11].

Fuchs[5]、Roger等[6]給出了G的一個(gè)2-上循環(huán)φ:G×G→G,定義如下:

由此誘導(dǎo)了形變李代數(shù)L=⊕m∈ZCLm⊕m∈ZCIm,滿足如下關(guān)系式:

Gao等[12]對L的結(jié)構(gòu)性質(zhì)和Verma模的不可約性進(jìn)行了刻畫,其結(jié)構(gòu)性質(zhì)與G的結(jié)構(gòu)性質(zhì)有很大的不同[3,12].

全文中,Z表示整數(shù)集,C表示復(fù)數(shù)域,所有的線性空間都定義在C上.

定義1[17]在域F中,Poisson代數(shù)(A,*,[-,-])是一個(gè)線性空間A,同時(shí)具有代數(shù)乘法*和李代數(shù)乘法[-,-],且滿足如下Leibniz法則:

[z,x*y]=[z,x]*y+x*[z,y]

?x,y,z∈A

如果乘法*滿足結(jié)合律,則稱Poisson代數(shù)是結(jié)合的; 如果乘法*滿足交換律,則稱Poisson代數(shù)是交換的.

證明1) 設(shè)L0*L0=∑aiLi+∑bjIj+μ0C.由[L0,L0*L0]=[L0,L0]*L0+L0*[L0,L0],可得[L0,L0*L0]=0. 于是,有

從而iai=0,jbj=0,則當(dāng)i≠0,j≠0時(shí),ai=0,bj=0.故

L0*L0=a0L0+b0I0+μ0C

(1)

2) 設(shè)L0*I0=∑ciLi+∑djIj+ν0C.利用等式[L0,L0*I0]=[L0,L0]*I0+L0*[L0,I0],即[L0,L0*I0]=0,可得

類似于1)的討論,可得

L0*I0=c0L0+d0I0+ν0C

(2)

3) 設(shè)L0*In=∑cniLni+∑dnjInj+νnC,n≠0.由[L0,L0*In]=[L0,L0]*In+L0*[L0,In],即[L0,L0*In]=-nL0*In,可得

即

顯然

由式(3)知,當(dāng)ni≠n時(shí),cni=0.式(4)變?yōu)?/p>

ncnIn+∑(nj-n)dnjInj=0

(5)

在式(5)中取ni=n,得ncn=0.由于n≠0,所以

cn=0

于是,式(5)變?yōu)椤?nj-n)dnjInj=0. 從而(nj-n)dnj=0. 則當(dāng)nj≠n時(shí),dnj=0.因此

L0*In=dnInn≠0

(6)

4) 設(shè)L0*Ln=∑aniLni+∑bnjInj+μnC,n≠0.由[L0,L0*Ln]=[L0,L0]*Ln+L0*[L0,Ln],即[L0,L0*Ln]=-nL0*Ln-nL0*In,可得

從而

由式(7)知,當(dāng)ni≠n時(shí),ani=0.于是,式(8)變?yōu)?/p>

nanIn+∑(nj-n)bnjInj-ndnIn=0

(9)

在式(9)中,取nj=n,得nan-ndn=0. 由于n≠0,所以

dn=ann≠0

于是,式(6)變?yōu)?/p>

L0*In=anInn≠0

(10)

同時(shí),式(9)變?yōu)椤?nj-n)bnjInj=0. 從而(nj-n)bnj=0,則當(dāng)nj≠n時(shí),bnj=0.因此,

L0*Ln=anLn+bnIn,n≠0

(11)

5) 設(shè)I0*I0=∑eiLi+∑fjIj+ω0C. 由[L0,I0*I0]=[L0,I0]*I0+I0*[L0,I0],即[L0,I0*I0]=0,可得

顯然,iei=0,jfj=0.故當(dāng)i≠0,j≠0時(shí),ei=fi=0.因此,有

I0*I0=e0L0+f0I0+ω0C

再由[L1,I0*I0]=[L1,I0]*I0+I0*[L1,I0],即[L1,I0*I0]=0,得e0(L1+I1)=0,則e0=0. 故

I0*I0=f0I0+ω0C

(12)

6) 設(shè)I0*In=∑eniLni+∑fnjInj+ωnC,n≠0.由[L0,I0*In]=[L0,I0]*In+I0*[L0,In],即[L0,I0*In]=I0*[L0,In]=-nI0*In,可得

顯然,ωn=0,n≠0.

類似于3)的討論,可推出

I0*In=fnIn,n≠0

結(jié)合式(12),有

I0*In=fnIn+δn,0ω0C,n∈Z

(13)

7) 對任意m∈Z,由[Lm,I0*I1]=[Lm,I0]*I1+I0*[Lm,I1],可得

[Lm,I0*I1]=I0*[Lm,I1]=-I0*Im+1

利用式(13),得

f1Im+1=fm+1Im+1+δm+1,0ω0C

(14)

于是,f1Im+1=fm+1Im+1,則fm+1=f1. 顯然,對任意的m∈Z,都有fm=f1. 在式(14)中,取m=-1,得ω0=0.因此

I0*In=f1Inn∈Z

(15)

8) 設(shè)n≠0,由[In,L0*I0]=[In,L0]*I0+L0*[In,I0],可得[In,L0*I0]=[In,L0]*I0,根據(jù)式(2),有nc0In=nIn*I0.故

In*I0=c0Inn≠0

(16)

9) 設(shè)n≠0,根據(jù)[Im,L0*In]=[Im,L0]*In+L0*[Im,In], 利用式(10),得mIm*In=0.故

Im*In=0,m≠0,n≠0

(17)

10) 由[Lm,L0*I0]=[Lm,L0]*I0+L0*[Lm,I0],可得[Lm,L0*I0]=[Lm,L0]*I0.當(dāng)m≠0時(shí),利用式(2)與式(16)可得,mc0(Lm+Im)=mLm*I0+mc0Im. 因此

Lm*I0=c0Lmm≠0

(18)

11) 由[I1,L-1*I0]=[I1,L-1]*I0+L-1*[I1,I0]及式(18),可得I0*I0=c0I0.再由式(15)知:

c0=f1

因此,綜合式(15)與式(16),可得

In*I0=I0*In=c0Inn∈Z

(19)

12) 設(shè)n≠0,由[In,L0*L0]=[In,L0]*L0+L0*[In,L0]及式(1,10)得

In*L0=(a0-an)Inn≠0

(20)

13) 設(shè)n≠0,[Ln,L0*L0]=[Ln,L0]*L0+L0*[Ln,L0]及式(1，10，20),可得

na0Ln+na0In=n(Ln*L0+L0*Ln)+na0In

于是,有Ln*L0+L0*Ln=a0Ln.結(jié)合式(11),得

Ln*L0=(a0-an)Ln-bnInn≠0

(21)

14) 設(shè)n≠0,由[Im,L0*Ln]=[Im,L0]*Ln+L0*[Im,Ln]及式(11),可得

anIm+n=Im*Ln+L0*Im+n,m≠0,n≠0

(22)

若m=-n≠0,則Im*L-m=a-mI0-L0*I0.利用式(2),可得

Im*L-m=-c0L0+(a-m-d0)I0-ν0C,m≠0

(23)

若m+n≠0,將式(10)代入式(22),可得

Im*Ln=(an-am+n)Im+nm,n,m+n≠0

(24)

15) 通過[I1,I-1*L1]=[I1,I-1]*L1+I-1*[I1,L1]及式(17,23),可得-c0I1=I-1*I2=0.因此,

c0=0

(25)

從而式(2,18,19,23)變?yōu)?/p>

(30)

從而

由式(31)知:

gni=0ni≠n

這樣,式(32)變?yōu)?/p>

ngnIn+∑(nj-n)hnjInj=0

(33)

在式(33)中,取nj=n,有ngnIn=0.由于n≠0,所以

gn=0,n≠0

于是,式(33)變?yōu)椤?nj-n)hnjInj=0. 從而(nj-n)hnj=0,則有

hnj=0nj≠n

因此,

I0*Ln=hnInn≠0

(34)

18) 由[Lm,I0*L0]=[Lm,I0]*L0+I0*[Lm,L0],得[Lm,I0*L0]=I0*[Lm,L0].根據(jù)式(28,30,34),有

g0Lm+(g0-hm)Im=0m≠0

于是,

g0=0

進(jìn)而,對任意的m≠0都有hm=g0=0.于是,式(30)與式(34)可合并為

(35)

19) 設(shè)n≠0,由[Ln,In*L-n]=[Ln,In]*L-n+In*[Ln,L-n]及式(20,24,28,29),可得

(36)

特別地,當(dāng)n=1時(shí),有

a-1+a1=2a0

(37)

20) 設(shè)n≠0,m≠0,由[Im,Ln*L0]=[Im,Ln]*L0+Ln*[Im,L0]及式(21),可得

(a0-an)Im+n=Im+n*L0+Ln*Im

m≠0,n≠0

(38)

若m=-n≠0,則Ln*I-n=-I0*L0+(a0-an)I0. 利用式(35),可得

(39)

若m+n≠0,將式(20)帶入式(38),可得

Ln*Im=(am+n-an)Im+nm,n,m+n≠0

(40)

21) 設(shè)n≠0,由[L-n,Ln*I-n]=[L-n,Ln]*I-n+Ln*[L-n,I-n]及式(10，28，39，40),可得

于是

(41)

(42)

23) 由[L1,L-1*I0]=[L1,L-1]*I0+L-1*[L1,I0]及式(26～28),得0=d0I0+ν0C.于是,

d0=0ν0=0

(43)

24) 設(shè)n≠0,由[L-n,In*Ln]=[L-n,In]*Ln+In*[L-n,Ln],并利用式(20，24，28，35),可得

從而有

設(shè)n≠0,m≠0,m≠n,m+n≠0,m≠±1,利用式(16，20，24),等式

[L-n,Im*Ln]=[L-n,Im]*Ln+Im*[L-n,Ln]

左邊=[L-n,(an-am+n)Im+n]=

(m+n)(am+n-an)Im

[m(am-an)+2nam-2na0]Im-

于是有

容易驗(yàn)證,此式分別對于n=0,m=0,m=n,m+n=0均成立,因此有

(47)

在式(47)中取n=1,結(jié)合式(37，44，45),得

(m+1)am+1=(m+2)am+a1-2a0n∈Z

(48)

對m≥1用數(shù)學(xué)歸納法,可得am=m(a1-a0)+a0. 再利用式(46),可得

an=n(a1-a0)+a0,n∈Z

(49)

顯然,對任意的n∈Z都有an+a-n=2a0.式(36)變?yōu)?/p>

Ln*C=0n≠±1

(50)

25) 設(shè)L0*C=∑xiLi+∑yjIj+κC.由[L0,L0*C]=[L0,L0]*C+L0*[L0,C],即[L0,L0*C]=0可得

∑ixiLi+∑ixiIi+∑jyjIj=0

顯然,當(dāng)i≠0,j≠0時(shí),xi=0,yj=0. 進(jìn)一步,由[In,L0*C]=[In,L0]*C+L0*[In,C],可得

In*C=x0Inn≠0

綜合式(50),可知x0=0.因此

再由[Ln,L0*C]=[Ln,L0]*C+L0*[Ln,C],可得

Ln*C=0,n≠0

(53)

根據(jù)式(52),由[L1,I-1*C]=[L1,I-1]*C+I-1*[L1,C],得I0*C=[L1,I-1*C]=0. 因此,

In*C=0 ?n∈Z

(54)

設(shè)n≠0,由[Ln,L-n*C]=[Ln,L-n]*C+L-n*[Ln,C],即[Ln,L-n]*C=0可得

分別取n=1,n=2,易得L0*C=C*C=0.

因此,有

Ln*C=In*C=C*C=0 ?n∈Z

(55)

26) 設(shè)n≠0,利用式(11,23，55),等式[L-n,L0*Ln]=[L-n,L0]*Ln+L0*[L-n,Ln]的

左邊=[L-n,anLn+bnIn]=-n(2anL0+2anI0+

右邊=-nL-n*Ln-nI-n*Ln-2nL0*L0-2nL0*I0=-n(L-n*Ln+anI0+

2a0L0+2b0I0+2μ0C)

所以

將式(49)代入,可得

(56)

27) 設(shè)n≠0,利用式(10,11，56),等式[Ln,L-n*Ln]=[Ln,L-n]*Ln+L-n*[Ln,Ln]的

左邊=[Ln,(a1-a0)2nL0]=

2n2(a1-a0)(Ln+In)

右邊=[Ln,L-n]*Ln=2n(anLn+bnIn)

于是有n(a1-a0)(Ln+In)=anLn+bnIn.因此

bn=an=n(a1-a0)n≠0

與式(49)相比較,知a0=0.從而

bn=an=na1?n∈Z

(57)

進(jìn)而,根據(jù)式(1，11，21，41，56)可得

類似于25),并利用式(48),可得

C*Ln=C*In=0 ?n∈Z

28) 設(shè)n≠0,m≠0,m+n≠0,利用式(11，35，59),等式

[Lm,L0*Ln]=[Lm,L0]*Ln+L0*[Lm,Ln]

左邊=[Lm,na1(Ln+In)]=

na1(m-n)(Lm+n+Im+n)-a1n2Im+n=

a1(mn-n2)Lm+n+a1(mn-2n2)Im+n

右邊=mLm*Ln+mIm*Ln+(m-n)L0*

Lm+n+(m-n)L0*Im+n=

mLm*Ln-m2a1Im+n+(m-n)(m+n)×

a1(Lm+n+Im+n)+(m-n)(m+n)a1Im+n=

mLm*Ln+(m-n)(m+n)a1Lm+n+

(m2-2n2)a1Im+n

所以

因此

Lm*Ln=(n-m)a1(Lm+n+Im+n)

n≠0,m≠0,m+n≠0

(62)

29) 由[L2,L2*L-4]=[L2,L2]*L-4+L2*[L2,L-4],得

左邊=[L2,-6a1(L-2+I-2)]=

因此12μ0C=0,即μ0=0.

綜合1)～29)的結(jié)果,有

因此,對任意的m,n∈Z都有

注1由定理1的證明,可以得到形變李代數(shù)L的任何Poisson代數(shù)結(jié)構(gòu)都具有如下形式：

x*y=k[x,y]x,y∈L

這里k是任意常數(shù).故而L也沒有非平凡的結(jié)合Poisson代數(shù)結(jié)構(gòu).