素特征域上gl(0，2)在廣義Witt李超代數中的中心化子

鄭克禮，張永正

(1.東北林業大學理學院數學系，黑龍江 哈爾濱 150040；2.東北師范大學數學與統計學院，吉林 長春 130024)

素特征域上gl(0，2)在廣義Witt李超代數中的中心化子

鄭克禮1，張永正2

(1.東北林業大學理學院數學系，黑龍江 哈爾濱 150040；2.東北師范大學數學與統計學院，吉林 長春 130024)

主要研究素特征域上gl(0，2)在廣義Witt李超代數中的中心化子，其中gl(0，2)是一般線性李超代數的子代數.首先，考慮了廣義Witt模李超代數作為gl(0，2)模的分解；接下來，計算了從gl(0，2)到廣義Witt李超代數的每個子模的內導子；最后，用解線性方程組的方法完全確定了gl(0，2)在廣義Witt李超代數中的中心化子.

中心化子；李超代數；模；上同調群

0 引言

中心化子的概念起源于群結構的研究.[1]作為李(超)群的線性化對象，李(超)代數自然也存在著中心化子[2-3]，即：若S為李(超)代數L的子集，則稱

CL(S)={x∈L|[x，s]=0，?s∈S}

為S在L中的中心化子.

顯然中心化子不僅僅是一個子集，還是一個子代數.因為對于伴隨表示一個李(超)代數可以作為其子代數的自然模，則上面中心化子的概念等價于系數在L上的S的零維上同調群.又由于代數的零維上同調群可歸結為內導子的研究，所以了解李(超)代數導子的結構就顯得尤為重要.早在1970年，俄國數學家Celousov就對Cartan型模李代數的導子代數進行了的研究.[4]Skryabin在文獻[5]中給出了模李代數導子的更一般結論.近年來Cartan型模李超代數內外導子也被大量的研究，[6-8]進而推動了Cartan型模李超模代數的零維上同調群發展.文獻[9]對系數在Witt和特殊超代數上的單模李超代數A(1；0)的低維上同調進行了深入研究，給出了解決此類問題的同調方法.本文的原始思想來源于文獻[10-11].雖然在文獻[11-12]中分別決定了系數在廣義Witt李超代數的兩類特殊子模上gl(0，2)的零維和一維上同調群，但對于廣義Witt李超代數的一般情況是未知的.本文將給出一些結論，并且為研究一般線性李超代數在更復雜模中的中心化子結構提供理論基礎.

1 預備知識

令L是素特征域上的李代數且V是任意的L-模.

線性映射ψa：L→V，如果存在a∈V使得對于x∈L有ψa(x)=x·a，則稱ψa為由L到V的內導子.記Ider(L，V)為所有由L到V的內導子的集合，由上同調群的定義可得零維上同調群H0(L，V)={a∈V|x·a=0，x∈L}[13].綜合內導子和零維上同調群的定義，

Ider(L，V)=H0(L，V).

本文將素特征域上的廣義Witt李超代數[14]的寫法做如下調整：

依然記Y0∶={1，2，…，m}，但記Y1∶={1，2，…，n}，于是

Bk∶={〈i1,i2,…,ik〉|1≤i1

令D1，…，Dm，d1，…，dn是O上的線性變換并且εi∶=(δi1，…，δim)，使得：

Di(x(α)ξu)=x(α-εi)ξu，i∈Y0；

dj(x(α)ξu)=(-1)u(j)x(α)ξu-〈j〉，j∈Y1.

其中δij是Kronecker符號.再令

則稱W為素特征域上的廣義Witt李超代數，且其包含在Der(O)中.顯然W擁有一組基

{x(α)ξuDi，x(α)ξudj|α∈A，u∈B，i∈Y0，j∈Y1}.

由基的結構知

其中

顯然{eij|i，j=1，2}是gl(0，2)的標準基，其中eij是(i,j)位置為1、其他位置為0的矩陣.由于gl(0，2)是李代數，可以證明gl(0，2)同構于W的子代數〈ξidj|i,j=1,2〉，則W可通過伴隨表示看作gl(0，2)-模.又由中心化子的概念，可得在此情況下

CW(gl(0,2))=H0(gl(0,2),W).

即：要得到中心化子CW(gl(0,2))，只需要計算出零維上同調群H0(gl(0,2)，W).

如不另行說明，在本文中u為B中元素，{ξidj|i,j=1,2}為gl(0,2)的標準基.由文獻[13]可知

其中

2 素特征域上的CW(gl(0，2))

為了決定素特征域上的CW(gl(0,2))，只需要對所有的i=0，…，n，分別處理H0(gl(0,2)，Wi)與H0(gl(0,2)，Wi)即可.首先，將考慮零維上同調H0(gl(0,2)，W).

命題2.1H0(gl(0,2)，W0)=〈x(α)Dk|k∈Y0〉.

證明 由定義有W0=〈x(α)Dk|k∈Y0〉.對任意x∈gl(0,2)，有[x,x(α)Dk]=0，則

H0(gl(0,2)，W0)=W0=〈x(α)Dk|k∈Y0〉.

命題2.2H0(gl(0,2)，W1)=〈x(α)ξiDk|i∈Y1{1，2}，k∈Y0〉.

證明 根據Wi的定義，W1=〈x(α)ξiDk|i∈Y1，k∈Y0〉.設存在

其中Cik∈F，滿足[gl(0,2),a]=0.則：

已知D1，D2，…，Dm是線性無關的，則C1k=C2k=0.這意味著對所有的y∈gl(0,2)，i∈Y1{1,2}與k∈Y0有[y,x(α)ξiDk]=0.因此結論成立.

命題2.3H0(gl(0,2)，W2)=〈x(α)ξu-〈1〉-〈2〉Dk||u|=4，k∈Y0〉.

證明 對y∈gl(0,2)，|v|=4與k∈Y0，顯然有[y,x(α)ξv-〈1〉-〈2〉Dk]=0.現在只需考慮〈x(α)ξ1ξiDk〉與〈x(α)ξ2ξjDk〉，其中i∈Y1{1}，j∈Y1{1,2}.設存在W2=〈x(α)ξuDk||u|=2，k∈Y0〉中的元素

使得[gl(0,2),a]=0，其中cik，djk∈F.則：

應用命題2.2的方法，對于i∈Y1{1}，j∈Y1{1,2}，k∈Y0，有cik=djk=0.因此就證明了結論H0(gl(0,2),W2)=〈x(α)ξu-〈1〉-〈2〉Dk||u|=4，k∈Y0〉.

類似于命題2.3的證明，可以給出如下推論和命題：

推論2.1H0(gl(0,2),Wi)=〈x(α)ξu-〈1〉-〈2〉Dk||u|=i+2，k∈Y0，0≤i

命題2.4H0(gl(0,2)，Wn-1)=0.

命題2.5H0(gl(0,2)，Wn)=0.

綜合以上結論有下面結論成立：

其次，對所有i=0，1，…，n，下面考慮零維上同調H0(gl(0,2)，Wi).

命題2.6H0(gl(0,2),W0)=〈x(α)dl|l∈Y1{1,2}〉.

[ξ1d2，a]=-C1x(α)d2=0；[ξ2d1，a]=-C2x(α)d1=0；

[ξ1d1，a]=-C1x(α)d1=0；[ξ2d2，a]=-C2x(α)d2=0.

由x(α)d1≠0與x(α)d2≠0得到C1和C2都為零.

應用類似的方法，可以得到下面命題：

命題2.8

〈x(α)ξu-〈1〉-〈2〉dl||u|=4，l∈Y1{1，2}〉.

推論2.2 對于1≤i

〈x(α)ξu-〈1〉-〈2〉dl||u|=i+2，l∈Y1{1，2}〉.

命題2.9H0(gl(0,2),Wn-1)=〈x(α)(ξE-〈1〉d2+ξE-〈2〉)d1〉.

命題2.10H0(gl(0,2),W2)=0.

由以上結論可得下面定理.

定理2.2

綜合定理2.1與定理2.2易得以下結論.

定理2.3

[1] JACOBSON N.Basic algebra I[M].2nd ed.New York：Dover Publications，2009：41-42.

[2] JACOBSON N.Lie algebras[M].New York：Interscience Publishers，1962：27-28.

[3] SCHEUNERT M.Theory of Lie superalgebras.An introduction[M].New York：Springer-Verlag，1979：6-12.

[4] CELOUSOV M J.Dervation of Lie algebras of Cartan-type[J].Izv Vyssh Uchebn Zaved Mat，1970，98：126-134.

[5] SKRYABIN S M.Isomorphisms and derivations of modular Lie algebras of Cartan type[J].Russ Math Surv，1987，42：245-256.

[6] BAI W，LIU W D.Superderivations for modular graded Lie superalgebras of Cartan type[J].Algebr Represent Theor，2014，17：69-86.

[7] 馬麗麗，張朝鳳，張永正.有限維模李超代數U的導子超代數[J].東北師大學報(自然科學版)，2011，43(2)：1-6.

[8] 李明，徐曉寧.無限維模李超代數Ω的超導子代數[J].東北師大學報(自然科學版)，2014，46(3)：7-11.

[9] LIU W D，SUN L P.Low-dimensional cohomology of Lie superalgebraA(1；0) with coefficients in Witt or special superalgebras[J].Taiwanese J Math，2013，17：83-107.

[10] ZHANG C W.On theL0-module structure for the generalized Witt algebra and the special Lie algebra[J].J Lie theory，2007，17(4)：709-729.

[13] ROTMAN J.An introducation to homological algebra[M].2nd ed.New York：Springer，2009：1-6.

[14] 張永正，劉文德.模李超代數[M].北京：科學出版社，2004：11-17..

(責任編輯：李亞軍)

The centralizer of gl(0,2) in the generalized Witt Lie superalgebra over fields of prime characteristic

ZHENG Ke-li1，ZHANG Yong-zheng2

(1.Department of Mathematics，College of Science，Northeast Forestry University，Harbin 150040，China；2.School of Mathematics and Statistics，Northeast Normal University，Changchun 130024，China)

This paper is primarily concerned with the centralizer of gl(0,2) in the generalized Witt Lie superalgebra over fields of prime characteristic，where gl(0,2) is the subalgebra of the general linear Lie superalgebra.Firstly，the decomposition of the generalized Witt Lie superalgebra as a gl(0,2)-module is considered.Then the inner derivations from gl(0,2) into each submodules of the generalized Witt Lie superalgebra are calculated.Finally，the centralizer of gl(0,2) in the generalized Witt Lie superalgebra is completely determined by solving linear equations.

centralizer；Lie superalgebra；module；cohomology group

1000-1832(2016)04-0001-04

10.16163/j.cnki.22-1123/n.2016.04.001

2015-06-23

國家自然科學基金資助項目(11171055，11471090)；吉林省自然科學基金資助項目(20130101068)；中央高校基本科研業務費專項資金資助項目(2572015BX04).

鄭克禮(1983—)，男，博士，講師，主要從事李理論研究；張永正(1947—)，男，博士，教授，博士研究生導師，主要從事李理論研究.

O 152.5 [學科代碼] 110·2130

A