廣義S-型模李超代數(shù)的生成元

董艷芹，金明浩，王 頌，張永正

(1.長春師范大學(xué)數(shù)學(xué)學(xué)院，吉林 長春 130032；2.吉林省實驗中學(xué)，吉林 長春 130022；3.東北師范大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院，吉林 長春 130024)

1 廣義S-型模李超代數(shù)的構(gòu)造

令q∈N，r=n+q.Λ(q)表示域F上具有q個未定元xn+1，xn+2，…，xr的外代數(shù).定義

B(q)∶={〈i1，i2，…，ik〉|n+1≤i1

若{u}={i1，i2，…，ik}∈B(q)，則令|u|=k，xu=xi1，xi2，…，xik.約定|?|=0，x?=1.則{xu|u∈B(q)}構(gòu)成了Λ(q)的一個F-基底.

設(shè)D1，D2，…，Ds是A上的線性變換，且滿足

則D1，D2，…，Ds是A的超導(dǎo)子.容易看出對任意i∈I2，Di(x(α)xuyλ)=λix(α)xuyλ.令

[fDi，ɡDj]=fDi(ɡ)Dj-(-1)P(fDi)P(ɡDj)ɡDj(f)Di，

(1)

其中f，ɡ∈A，i，j∈J.令

其中

令

2 廣義S-型模李超代數(shù)的生成元

因此引理成立.

引理2.2Dij(xπ)∈X，i，j∈I0.

證明為了證明這個結(jié)果，對t用歸納法來證明Dt-1t(x(π1ε1+…+πtεt))∈X，其中t∈I0.先考察t=2的情況.設(shè)k，l∈I1，k≠l，則有

D12(x(2ε1)xk)=[D12(x(3ε1))，Dl1(xkxl)]∈X，

D1k(x((π1-1)ε1)xk)=-[D1k(x(π1ε1))，D1l(xlxk)]∈X，

D12(x(π1ε1)xk)=[D12(x(2ε1)xk)，D1k(x((π1-1)ε1)xk)]∈X，

D2k(x((π1-1)ε1+(π2-1)ε2)xk)=-[D12(x(π1ε1)xk)，Dk2(x(π2ε2))]∈X，

D2k(x(2ε2)xk)=-[D2k(x(3ε2))，D2l(xlxk)]∈X，

D2k(x((π1-1)ε1+π2ε2)xk)=-1/2[D2k(x((π1-1)ε1+(π2-1)ε2)xk)，D2k(x(2ε2)xk)]∈X.

(2)

同理有

D1k(x(π1ε1+(π2-1)ε2)xk)∈X.

(3)

此外，

D12(x(2ε2+ε1))=-[D12(x(3ε2))，D12(x(2ε1))]∈X，

D12(x(π1ε1+ε2))=-[D12(x(π1ε1))，D12(x(2ε2+ε1))]∈X，

Dk2(x(ε2)xk)=[Dk2(x(2ε2))，D2l(xlxk)]∈X，

Dk1(x((π2-1)ε2)xk)=-[D12(x(π2ε2))，Dk2(x(ε2)xk)]+D12(x(π2ε2))∈X，

D12(x((π1-1)ε1+π2ε2))=[D12(x(π1ε1+ε2))，Dk1(x((π2-1)ε2)xk)]∈X，

(4)

D1k(x(2ε1)xk)=[D1k(x(3ε1))，D1l(xlxk)]∈X.

(5)

由(2)—(5)式可得

D12(x(π1ε1+π2ε2))=-D21(x(π1ε1+π2ε2))=
-[D12(x((π1-1)ε1+π2ε2))，D1k(x(2ε1))xk]+D1k(x(π1ε1+(π2-1)ε2)xk)-2D2k(x((π1-1)ε1+π2ε2)xk)∈X.

故t=2時結(jié)論成立.

假設(shè)t時結(jié)論成立，即Dt-1t(x(π1ε1+…+πtεt))∈X.令t+1∈I0.因為

Dt-1 t(x(πt+1εt+1+εt))=-[Dt-1 t+1(x(πt+1εt+1))，Dt t+1(x(2εt+1+εt))]∈X，

故

Dt-1 t(x(δ-εt-1+πt+1εt+1))=[Dt-1 t(x(δ))，Dt-1 t(x(πt+1εt+1+εt))]∈X.

于是

Dt t+1(x(δ+πt+1εt+1))=[Di-1 i(x(xδ-εi-1+πi+1εi+1))，Di-1 i+1(x(3εi-1))]∈X.

即t+1時結(jié)論成立，歸納法完成.故Dn-1 n(x(π))∈X.設(shè)σ是{1，2，…，n}的任一個置換，同理知

Dσ(n-1)σ(n)(x(πσ(1)εσ(1)+…+πσ(n)εσ(n)))∈X.

顯然πσ(1)εσ(1)+…+πσ(n)εσ(n)=π，從而Dij(x(π))∈X，?i，j∈I0.

引理2.3Dij(x(π)xω)∈X，i，j∈J.

證明先來證明i∈I1，j∈I0時，Dij(x(π)xω)∈X.

首先用歸納法證明i∈I1，j∈I0，t∈I1時，Dij(x(π)xn+1xn+2…xt)∈X.

任取k∈I1{i}，j′∈I0{j}，則有

Dij′(x(2εj′)xk)=[Dij′(x(3εj′))，Dj′j(xkxj)]∈X.

由引理2.2知

Dij(x(π)xk)=-[Dj′j(x(π))，Dij′(x(2εj′)xk)]∈X.

從而

Dik(x(π)xk)=[Dij(x(π)xk)，Dkj(x(2εj))]∈X，

Dij(x(π)xn+1)=[Dik(x(π)xk)，Djk(xn+1xk)]∈X.

假設(shè)t時結(jié)論成立，往證t+1∈I1時結(jié)論成立.

取l∈I1{t+1}，則

Dj′j(x(2εj)xt+1)=[Djj′(x(3εj))，Dlj(xlxt+1)]∈X，

Djj′(xjxj′xt+1)=-[Dlj(xj′xl)，Dj′j(x(2εj)xt+1)]∈X.

由歸納假設(shè)知

Dij(x(π)xn+1xn+2…xtxt+1)=-[Dij(x(π)xn+1xn+2…xt)，Djj′(xjxj′xt+1)]∈X.

由此可得i∈I1，j∈I0時，Dij(x(π)xω)∈X.類似可驗證其他情況成立.

引理2.4Dij(x(π)xωyλ)∈X，?i，j∈J.

證明為了證明Dij(x(π)xωyλ)∈X，?i，j∈J.分下面幾種情況討論：

Djl(xlxr′yλ)=[Dr′l(xlxr′yλ)，Djl(xlxr′)]∈X.

進(jìn)而由引理2.3，

Dij(x(π)xωyλ)=(-1)p(xω)[Dr′i(x(π)xω)，Djl(xlxr′yλ)]∈X.

(2) 設(shè)i∈I1，j∈I2.任取l∈I0，r′∈I1{i}，則有Dij(x(π)xωyλ)=[Dr′i(x(π)xω)，Djl(xlxr′yλ)]∈X.

(3) 設(shè)i∈I2，j∈I2.任取l∈I0，r′∈I1，則有Dij(x(π)xωyλ)=-[Dr′i(x(π)xω)，Djl(xlxr′yλ)]∈X.

同理可證當(dāng)i∈I0，j∈I0，i∈I0，j∈I1，i∈I1，j∈I1時，Dij(x(π)xωyλ)∈X.綜上所述，對任意i，j∈J，有Dij(x(π)xωyλ)∈X.

令

M1∶={Dij(x(kεj))|i∈I，j∈I0，0≤k≤πj}，

M2∶={Dij(xkxl)|i∈I，j∈I2，k，l∈I}，

則有下面結(jié)論成立：

Dij(x(α)xuyλ)=[Dk，Dij(x(α+εk)xuyλ)]∈X.