周 檬，潘學(xué)功，白喜梅

(1.河北軟件職業(yè)技術(shù)學(xué)院軟件技術(shù)系，河北 保定 071000；2.河北大學(xué)數(shù)學(xué)系，河北 保定 071002)

1 預(yù)備知識

3-李代數(shù)[1-3]在理論物理及微分幾何中發(fā)揮著重要作用.文獻(xiàn)[4-5]利用交換的結(jié)合代數(shù)構(gòu)造出了無限維的3-李代數(shù)，研究了無限維單3-李代數(shù)與Harish-Chandra模的關(guān)系，以及實數(shù)域上可微函數(shù)空間上的單3-李代數(shù)的可列結(jié)構(gòu).

3-李代數(shù)L是域F上具有線性運算[，，]：L∧L∧L→L的線性空間，且滿足?x1，x2，x3，y2，y3∈L，

[[x1，x2，x3]，y2，y3]=[[x1，y2，y3]，x2，x3]+[x1，[x2，y2，y3]，x3]+[x1，x2，[x3，y2，y3]].

設(shè)B是3-李代數(shù)L的子空間，如果?x1，x2，x3∈B有[x1，x2，x3]∈B，則稱B是L的子代數(shù).

設(shè)H是3-李代數(shù)L的子代數(shù)，如果H是滿足下列條件的極大子代數(shù)：

(1) [H，H，H]=0；

Lγ={x=L|[h1，h2，x]=γ(h1，h2)x，?h1，h2∈H}.

(1)

則稱H是3-李代數(shù)L的可列Cartan子代數(shù).如果3-李代數(shù)L具有可列Cartan子代數(shù)，則稱L為可列3-李代數(shù)，等式(1)為L關(guān)于可列Cartan子代數(shù)H的根空間分解.如果Lγ≠0，則稱γ是關(guān)于H的一個根，稱L為根子空間，根的全體Λ={γ∈(H∧H)*-{0}|Lγ≠0}稱為L關(guān)于H的根系.

例1 設(shè)L是域F上的4維3-李代數(shù)，{e1，e2，e3，e4}是L的一組基，L的乘法為

[e1，e2，e3]=e4，[e1，e2，e4]=e3.

直接計算可知H=Fe1+Fe2是L的可列Cartan子代數(shù)，L關(guān)于H的根空間分解為

L=H+Lγ1+Lγ2，Lγ1=F(e3+e4)，Lγ2=F(e3-e4).

其中Λ={γ1，γ2}?(H∧H)*，γ1(e1，e2)=1，γ2(e1，e2)=-1.

設(shè)A是以{Lr，Mr|r∈Z}為基的交換結(jié)合代數(shù)，其乘法為

LrLs=Lr+s，MrMs=Mr+s，LrMs=0，?r，s∈Z.

定義線性變換δ，ω：L→L，

δ(Lr)=rLr，δ(Mr)=rMr；ω(Lr)=M-r，ω(Mr)=L-r.

(2)

2 主要結(jié)論

設(shè)R是實數(shù)域，W={fr=yerx，gr=zerx|r∈Z，x，y，z∈R}是三元實函數(shù)的集合.顯然，W是所有三元實函數(shù)構(gòu)成的線性空間中的線性無關(guān)組，記W在實數(shù)域上張成的線性空間為L，則L是以W為基的實數(shù)域上的無限維線性空間.

為方便起見，記fr=zerx，gr=yerx，?r∈Z.

定理1 設(shè)L是以{fr=yerx，gr=zerx|r∈Z，x，y，z∈R}為基的實數(shù)域R上的無限維線性空間，則L按下列運算構(gòu)成無限維的單3-李代數(shù)，記為L?：

(3)

且在基{fr=yerx，gr=zerx|r∈Z，x，y，z∈R}下的乘法表如下：

(4)

證明由文獻(xiàn)[1]可知，L按照運算(3)構(gòu)成3-李代數(shù)，且直接計算可知：

[yelx，yemx，yenx]=[zelx，zemx，zenx]=0，

從而可得乘法表(4).由文獻(xiàn)[4]，在3-李代數(shù)L?同構(gòu)映射

對任意非零整數(shù)l0，記Hl0=Rgl0+Rf-l0，即Hl0是以gl0和f-l0為基的L的2維交換子代數(shù)，即[Hl0，Hl0，Hl0]=0，且有下列結(jié)論：

定理2 3-李代數(shù)L?是具有可列Cartan子代數(shù)Hl0的可列3-李代數(shù)，且關(guān)于Hl0的根空間分解為

(5)

γk：Hl0∧Hl0→R，γk(gl0，f-l0)=-(l0+k).

其中根空間Lγk=Rfk+Rg2l0+k，即Lγk是以g2l0+k，fk為基的2維子空間，L?關(guān)于Hl0的根系為Λ.

證明因為dimHl0=2，所以[Hl0，Hl0，Hl0]=0.對任意整數(shù)k≠l0，由乘法表(4)可知

[gl0，f-l0，gk]=(l0-k)gk，[gl0，f-l0，fk]=(-k-l0)fk.

所以[gl0，f-l0，gk]=0，當(dāng)且僅當(dāng)k=l0；[gl0，f-l0，fk]=0，當(dāng)且僅當(dāng)k=-l0.因此，對任意a，b∈R，k，l∈Z，k≠l0，l≠-l0，[gl0，f-l0，agk+bfl]=a(l0-k)gk+b(-l-l0)fl=0，當(dāng)且僅當(dāng)a=b=0.故H0是L?的可列的Cartan子代數(shù).

定義γk：Hl0∧Hl0→R，γk(gl0，f-l0)=-(l0+k)，k∈Z，k≠l0.則

[gl0，f-l0，fk]=-(l0+k)fk=γk(gl0，f-l0)fk，

[gl0，f-l0，g2l0+k]=(l0-2l0-k)g2l0+k=γk(gl0，f-l0)g2l0+k.

因此，對任意k≠l0，γk是L?關(guān)于Hl0的一個根，對應(yīng)的根空間為Lγk=Rfk+Rg2l0+k，且L?關(guān)于Hl0的根系為Λ={γk|k∈Z，γk(gl0，f-l0)=-(l0+k)，k≠l0}，從而等式(5)得證.

定理3 設(shè)3-李代數(shù)L?關(guān)于可列Cartan子代數(shù)Hl0的根空間分解為等式(5).則對任意非零r，s，t∈Z≠l0滿足(r-s)2+(r-t)2+(t-s)2≠0，有下列等式成立：

[Lγr，Lγs，Lγt]=Lγr+s+t，γr+γs+γt=γr+s+t∈Λ.

證明由定理2可知，對任意γr，γs，γt∈Λ，有r，s，t∈Z≠l0且

Lγr=Rfr+Rg2l0+r，Lγs=Rfs+Rg2l0+s，Lγt=Rft+Rg2l0+t.

由等式(4)可知

[fr，fs，g2l0+t]=(r-s)f2l0+r+s+t，[fr，g2l0+s，g2l0+t]=(t-s)g4l0+r+s+t，

[fr，g2l0+s，ft]=(t-r)f2l0+r+s+t，[fr，g2l0+s，g2l0+t]=(t-s)g4l0+r+s+t.

因為(r-s)2+(r-t)2+(t-s)2≠0，不妨假設(shè)t≠s，r≠s.由上述計算可知

g4l0+r+s+t，f2l0+r+s+t∈[Lγr，Lγs，Lγt].

所以，[Lγr，Lγs，Lγt]=Lγr+γs+γt=Lγr+s+t.證畢.

定理4 3-李代數(shù)L?的任意一個可列Cartan子代數(shù)都具有形式Hl=Rgl+Rf-l，?l∈Z.因此，3-李代數(shù)L?的任意兩個可列Cartan子代數(shù)同構(gòu).

證明由定理2可知，對任意整數(shù)，Hl=Rgl+Rf-l是3-李代數(shù)L?的Cartan子代數(shù).再由定理3可得3-李代數(shù)L?的任意一個可列Cartan子代數(shù)都具有形式H(l).

對任意l，m∈Z，定義線性映射σlm：H(l)→H(m)，

σ(agl)=agm，σ(bg-l)=bg-m，?a，b∈R.

顯然，σ是線性同構(gòu)，再由H(l)與H(m)都是Abel子代數(shù)，所以σ是代數(shù)同構(gòu).結(jié)論得證.