關(guān)于δ-Jordan李三系的交換擴張

李 強，馬麗麗，田 巍

(齊齊哈爾大學(xué)理學(xué)院，黑龍江 齊齊哈爾 161006)

1 預(yù)備知識

李代數(shù)的二元運算與李三系的三元運算密切相關(guān).若定義李代數(shù)中運算[x，y，z]=[[x，y]，z]，則李代數(shù)即為李三系.作為李三系的推廣，Okubo和Kamiya[1]介紹了δ-Jordan李三系的概念.當(dāng)δ=1時，δ-Jordan李三系即為李三系.2002年，他們又運用δ-Jordan李三系構(gòu)造了一類單Jordan超代數(shù)[2].

Yamaguti[3]提出了李三系的表示和上同調(diào)理論.2004年，Kubo和Taniguchi[4]給出了上同調(diào)在李三系的形變和擴張理論中起到的重要作用.近年來，運用上同調(diào)理論討論了一些代數(shù)的結(jié)構(gòu)和表示.[5-9]文獻[5]中構(gòu)造了δ-Jordan李三系的表示和低階上同調(diào)，本文在此基礎(chǔ)上，利用δ-Jordan李三系的3-上圈構(gòu)造δ-Jordan李三系，并且研究交換擴張的等價.若不特殊聲明，本文基本符號均與文獻[5]中一致.

定義1[1]δ-Jordan李三系(T，[·，·，·]，δ)由域F上向量空間T，一個三元運算[·，·，·]：T×T×T→T構(gòu)成，并滿足?x，y，z，u，v∈T，下列等式成立：

[x，y，z]=-δ[y，x，z]，

(1)

[x，y，z]+[y，z，x]+[z，x，y]=0，

(2)

[x，y，[z，u，v]]=[[x，y，z]，u，v]+[z，[x，y，u]，v]+δ[z，u，[x，y，v]].

(3)

定義2[5]設(shè)(T，[·，·，·]，δ)是δ-Jordan李三系，V是域F上的向量空間.A∈End(V)，(V，θ)稱為關(guān)于A的T-模，若存在雙線性映射θ：T×T→End(V)，(x，y)ax，y)，使得?x，y，z，u∈T，滿足：

θ(z，u)θ(x，y)-δθ(y，u)θ(x，z)-θ(x，[y，z，u])+D(y，z)θ(x，u)=0，

(4)

δθ(z，u)D(x，y)-δD(x，y)θ(z，u)+θ([x，y，z]，u)+δθ(z，[x，y，u])=0，

(5)

δD(z，u)D(x，y)-D(x，y)D(z，u)+δD([x，y，z]，u)+δD(z，[x，y，u])=0，

(6)

其中D(x，y)=θ(y，x)-δθ(x，y).則稱θ為(T，[·，·，·]，δ)關(guān)于A在V上的表示.當(dāng)θ=0時，稱V為關(guān)于A的平凡T-模.

d1f(x1，x2，x3)=(x2，x3)f(x1)-δθ(x1，x3)f(x2)+δD(x1，x2)f(x3)-f([x1，x2，x3])；

d2f(y，x1，x2，x3)=θ(x2，x3)f(y，x1)-δθ(x1，x3)f(y，x2)+
δD(x1，x2)f(y，x3)-f(y，[x1，x2，x3])；

d3f(y1，y2，x1，x2，x3)=θ(x2，x3)f(y1，y2，x1)-δθ(x1，x3)f(y1，y2，x2)-

δD(y1，y2)f(x1，x2，x3)+D(x1，x2)f(y1，y2，x3)+
f([y1，y2，x1]，x2，x3)+f(x1，[y1，y2，x2]，x3)+
δf(x1，x2，[y1，y2，x3])-f(y1，y2，[x1，x2，x3]).

2 主要結(jié)果

為了方便，把3-上圈的概念改寫為：

定義4設(shè)(T，[·，·，·]，δ)是δ-Jordan李三系，(V，θ)為T-模，則線性映射ω：?3→V稱為3-上圈，如果其滿足：

ω(x1，x2，x3)=-δω(x2，x1，x3)，
ω(x1，x2，x3)+ω(x2，x3，x1)+ω(x3，x1，x2)=0，
ω(x1，x2，[y1，y2，y3])+δD(x1，x2)ω(y1，y2，y3)=
ω([x1，x2，y1]，y2，y3)+ω(y1，[x1，x2，y2]，y3)+δω(y1，y2，[x1，x2，y3])+
θ(y2，y3)ω(x1，x2，y1)-δθ(y1，y3)ω(x1，x2，y2)+D(y1，y2)ω(x1，x2，y3).

δ-Jordan李三系T的理想是子空間I，使得[I，T，T]?I.理想I稱為交換理想，若滿足[T，I，I]=0.由于[T，I，I]=0，易知[I，T，I]=0和[I，I，T]=0成立.

定理1設(shè)θ是δ-Jordan李三系(T，[·，·，·]，δ)關(guān)于A在V上的表示，ω為3-上圈，定義運算如下：

[x1+u1，x2+u2，x3+u3]ω=
[x1，x2，x3]+ω(x1，x2，x3)+δD(x1，x2)(u3)-δθ(x1，x3)(u2)+θ(x2，x3)(u1)，

這里x1，x2，x3∈T，u1，u2，u3∈V.則T?V關(guān)于定義的運算構(gòu)成δ-Jordan李三系.

證明首先證明(1)式成立.

[x1+u1，x2+u2，x3+u3]ω=
[x1，x2，x3]+ω(x1，x2，x3)+δD(x1，x2)(u3)-δθ(x1，x3)(u2)+θ(x2，x3)(u1)=
-δ([x2，x1，x3]+ω(x2，x1，x3)+δD(x2，x1)(u3)+θ(x1，x3)(u2)-δθ(x2，x3)(u1))=
-δ[x2+u2，x1+u1，x3+u3]ω.

其次，由于ω是3-上圈，且D(x，y)=θ(y，x)-δθ(x，y)，可得

[x1+u1，x2+u2，x3+u3]ω+[x2+u2，x3+u3，x1+u1]ω+[x3+u3，x1+u1，x2+u2]ω=
[x1，x2，x3]+ω(x1，x2，x3)+δD(x1，x2)(u3)-δθ(x1，x3)(u2)+θ(x2，x3)(u1)+
[x2，x3，x1]+ω(x2，x3，x1)+δD(x2，x3)(u1)-δθ(x2，x1)(u3)+θ(x3，x1)(u2)+
[x3，x1，x2]+ω(x3，x1，x2)+δD(x3，x1)(u2)-δθ(x3，x2)(u1)+θ(x1，x2)(u3)=0.

表明(2)式成立.

下面只需證明(3)式成立即可.

[x1+u1，x2+u2，[y1+v1，y2+v2，y3+v3]ω]ω=
[x1+u1，x2+u2，[y1，y2，y3]+ω(y1，y2，y3)+δD(y1，y2)(v3)-
δθ(y1，y3)(v2)+θ(y2，y3)(v1)]=
[x1，x2，[y1，y2，y3]]+ω(x1，x2，[y1，y2，y3])-δθ(x1，[y1，y2，y3])(u2)+
θ(x2，[y1，y2，y3])(u1)+δD(x1，x2)(ω(y1，y2，y3)+δD(y1，y2)(v3)-
δθ(y1，y3)(v2)+θ(y2，y3)(v1))，

[[x1+u1，x2+u2，y1+v1]ω，y2+v2，y3+v3]ω=
[[x1，x2，y1]+ω(x1，x2，y1)+δD(x1，x2)(v1)-
δθ(x1，y1)(u2)+θ(x2，y1)(u1)，y2+v2，y3+v3]ω=
[[x1，x2，y1]，y2，y3]+ω([x1，x2，y1]，y2，y3)+
δD([x1，x2，y1]，y2)(v3)-δθ([x1，x2，y1]，y3)(v2)+
θ(y2，y3)(ω(x1，x2，y1)+δD(x1，x2)(v1)-
δθ(x1，y1)(u2)+θ(x2，y1)(u1))，

[y1+v1，[x1+u1，x2+u2，y2+v2]ω，y3+v3]ω=
[y1+v1，[x1，x2，y2]+ω(x1，x2，y2)+δD(x1，x2)(v2)-
δθ(x1，y2)(u2)+θ(x2，y2)(u1)，y3+v3]ω=[y1，[x1，x2，y2]，y3]+
ω(y1，[x1，x2，y2]，y3)+δD(y1，[x1，x2，y2])(v3)+
θ([x1，x2，y2]，y3)(v1)-δθ(y1，y3)(ω(x1，x2，y2)+δD(x1，x2)(v2)-
δθ(x1，y2)(u2)+θ(x2，y2)(u1))，

δ[y1+v1，y2+v2，[x1+u1，x2+u2，y3+y3]ω]ω=
δ([y1+v1，y2+v2，[x1，x2，y3]+ω(x1，x2，y3)+δD(x1，x2)(v3)-
δθ(x1，y3)(u2)+θ(x2，y3)(u1)]ω)=δ([y1，y2，[x1，x2，y3]]+
ω([y1，y2，[x1，x2，y3]])-δθ(y1，[x1，x2，y3])(v2)+
θ(y2，[x1，x2，y3])(v1)+δD(y1，y2)(ω(x1，x2，y3)+δD(x1，x2)(v3)-
δθ(x1，y3)(u2)+θ(x2，y3)(u1))).

由(4)—(6)式與ω為3-上圈可得

[x1+u1，x2+u2，[y1+v1，y2+v2，y3+v3]ω]ω=[[x1+u1，x2+u2，y1+v1]ω，y2+v2，y3+v3]ω+
[y1+v1，[x1+u1，x2+u2，y2+v2]ω，y3+v3]ω+δ[y1+v1，y2+v2，[x1+u1，x2+u2，y3+v3]ω]ω.

于是T?V關(guān)于定理定義的運算是δ-Jordan李三系.

證明必要性.令F：T?ωV→T?ω′V為同態(tài)，則有

F[x1，x2，x3]ω=[F(x1)，F(xiàn)(x2)，F(xiàn)(x3)]ω′.

(7)

由已知兩個交換擴張等價，則存在ρ：T→V使得

F(xi+ui)=xi+ρ(xi)+ui，i=1，2，3.

(8)

(7)式左端為

F([x1，x2，x3]+ω(x1，x2，x3))=[x1，x2，x3]+ω(x1，x2，x3)+ρ([x1，x2，x3])，

(7)式右端為

[x1+ρ(x1)，x2+ρ(x2)，x3+ρ(x3)]ω′=
[x1，x2，x3]+ω′(x1，x2，x3)+δD(x1，x2)ρ(x3)-δθ(x1，x3)ρ(x2)+θ(x2，x3)ρ(x1).

比較等式(7)的兩端，可知

(ω-ω′)(x1，x2，x3)=
δD(x1，x2)ρ(x3)-δθ(x1，x3)ρ(x2)+θ(x2，x3)ρ(x1)-ρ([x1，x2，x3]).

于是ω-ω′=d1ρ，即ω與ω′屬于相同的同調(diào)類.

充分性.若ω與ω′屬于相同的同調(diào)類，則可設(shè)ω-ω′=d1ρ，再如(8)式定義F，類似必要性的證明可得結(jié)論.

[參 考 文 獻]

[1] OKUBO S，KAMIYA N.Jordan-Lie superalgebra and Jordan-Lie triple system[J].J Algebra，1997，198(2)：388-411.

[2] KAMIYA N，OKUBO S.A construction of simple Jordan superalgebra ofFtype from a Jordan-Lie triple system[J].Ann Mat Pura Appl，2002，181(3)：339-348.

[3] YAMAGUTI K.On the cohomology space of Lie triple system[J].Kumamoto J Sci Ser A，1960，5：44-52.

[4] KUBO F，TANIGUCHI Y.A controlling cohomology of the deformation theory of Lie triple systems[J].J Algebra，2004，278(1)：242-250.

[5] MA L L，CHEN L Y.Onδ-Jordan Lie triple systems[J].Linear Multilinear Algebra，2017，65(4)：731-751.

[6] LIN J，CHEN L Y，MA Y.On the deformation of Lie-Yamaguti algebras[J].Acta Math Sin，2015，31(6)：938-946.

[7] LIN J，WANG Y，DENG S Q.T*-extension of Lie triple systems[J].Linear Algebra Appl，2009，431(11)：2071-2083.

[8] ZHAO J，CHEN L Y，MA L L.Representations andT*-extensions of hom-Jordan-Lie algebras[J].Comm Algebra，2016，44(7)：2786-2812.

[9] ZHANG T.Notes on cohomologies of Lie triple systems[J].J Lie Theory，2014，24(4)：909-929.