馬麗麗,韓 旸
(齊齊哈爾大學(xué)理學(xué)院,黑龍江 齊齊哈爾 161006)
Okubo和Kamiya研究了δ-Jordan李超代數(shù),其是李超代數(shù)的推廣.當(dāng)δ=1時(shí),δ-Jordan李超代數(shù)即為李超代數(shù)[1-2].陳良云等[3]研究了Hom-δ-Jordan李超代數(shù)的表示和形變;Scheunert[4]從純數(shù)學(xué)角度研究了李色代數(shù),并得到了李色代數(shù)的PBW定理和Ado定理.隨后,學(xué)者們討論了李色代數(shù)的表示理論[5],證明了李色代數(shù)的Engel定理[6],研究了李色代數(shù)的廣義導(dǎo)子和T*-擴(kuò)張[7-8].目前,人們開(kāi)始研究Hom李色代數(shù)和Hom-δ-Jordan李色代數(shù)[9-12].本文構(gòu)造了Hom-δ-Jordan李色代數(shù),并研究了Hom-δ-Jordan李色代數(shù)的交換擴(kuò)張.
定義1[4]設(shè)G是交換群,F(xiàn)是任意域.若?a,b,c∈G,G上的一個(gè)映射ε:G×G→F*滿足
ε(a,b)ε(b,a)=1,
ε(a,b+c)=ε(a,b)ε(a,c),
ε(a+c,b)=ε(a,b)ε(c,b),
則稱(chēng)ε為G的斜對(duì)稱(chēng)雙特征標(biāo).易知
ε(a,0)=ε(0,a)=1,ε(a,a)=±1,?a∈G.
設(shè)a,b,c為G-階化向量空間中的齊次元,用|a|,|b|,|c|分別表示其次數(shù).為簡(jiǎn)便,可用ε(a,b)表示ε(|a|,|b|).
定義2[10]Hom-δ-Jordan李色代數(shù)(L,[·,·]L,α,δ)由階化空間L、雙線性運(yùn)算[·,·]L:L×L→L和偶的線性變換α:L→L構(gòu)成,且滿足:
[x,y]=-δε(x,y)[y,x],δ=±1;
(1)
ε(z,x)[α(x),[y,z]]+ε(x,y)[α(y),[z,x]]+ε(y,z)[α(z),[x,y]]=0,?x,y,z∈L.
(2)
定義3 設(shè)(L,[·,·]L,α,δ)是Hom-δ-Jordan李色代數(shù).
(1) Hom-δ-Jordan李色代數(shù)被稱(chēng)為保積的,若α為同態(tài),即任取x,y∈L,均有α([x,y]L)=[α(x),α(y)]L;被稱(chēng)為正則的,若α為自同構(gòu).
(2) 階化子空間η?L稱(chēng)為(L,[·,·]L,α,δ)的Hom子代數(shù),若α(η)?η且[x,y]L∈η,?x,y∈η.
(3) 階化子空間η?L稱(chēng)為(L,[·,·]L,α,δ)的Hom理想,若α(η)?η且[x,y]L∈η,?x∈η,?y∈L.特別地,理想η稱(chēng)為交換理想,若滿足[L,η]=0.
定義4Hom-δ-Jordan李色代數(shù)(L,[·,·]L,α,δ)的表示,意指階化向量空間V上關(guān)于A∈pl(V)的線性映射
ρA:L→pl(V),
使得任意的u,v∈L滿足
ρA([u,v]L)°A=ρA(α(u))°ρA(v)-δε(u,v)ρA(α(v))°ρA(u).
(3)
定義5 Hom-δ結(jié)合色代數(shù)(L,α,δ)由階化空間L、雙線性變換α:L→L構(gòu)成,且其滿足:
(λx)y=x(λy)=λ(xy);
α(x)(yz)=δ(xy)α(z),?x,y,z∈L.
定理1 設(shè)(L,α,δ)是Hom-δ結(jié)合色代數(shù),定義雙線性映射[·,·]L:L×L→L滿足[x,y]=xy-δε(x,y)yx,則(L,[·,·]L,α,δ)是Hom-δ-Jordan李色代數(shù).
證明由于
ε(x,z)α(x)(yz)=δε(x,z)(xy)α(z),
ε(x,y)ε(y,z)(zy)α(x)=δε(z,y)ε(x,y)α(z)(yx),
ε(y,x)α(y)(zx)=δε(x,y)(yz)α(x),
ε(y,z)ε(z,x)(xz)α(y)=δε(x,z)ε(y,z)α(x)(zy),
ε(z,y)α(z)(xy)=δε(y,z)(zx)α(y),
ε(z,x)ε(x,y)(yx)α(z)=δε(y,x)ε(z,x)α(y)(xz),
可得
ε(x,z)[α(x),[y,z]]+ε(y,x)[α(y),[z,x]]+ε(z,y)[α(z),[x,y]]=ε(x,z)[α(x),yz-δε(y,z)zy]+ε(y,x)[α(y),zx-δε(z,x)xz]+ε(z,y)[α(z),xy-δε(x,y)yx]=ε(x,z)α(x)(yz)-δε(x,z)ε(x,y+z)(yz)α(x)-δε(x+y,z)α(x)(zy)+ε(x+z,y)(zy)α(x)+ε(y,x)α(y)(zx)-δε(y,z)(zx)α(y)-δε(y+z,x)α(y)(xz)+ε(y+x,z)(xz)α(y)+ε(z,y)α(z)(xy)-δε(z,x)(xy)α(z)-δε(z+x,y)α(z)(yx)+ε(z+y,x)(yx)α(z)=0.
定義6 設(shè)(T,[·,·],α,δ)是Hom-δ-Jordan李色代數(shù),(V,ρA,δ)為T(mén)-模,則線性映射ω:?2→V被稱(chēng)為2-上圈,若其滿足下面等式:
ω(u0,u1)=-δε(u0,u1)ω(u1,u0),
ε(f,μ0)ρA(α(u0))f(u1,u2)-δε(f+u0,u1)ρA(α(u1))f(u0,u2)+ε(f+u0+u1,u2)ρA(α(u2))f(u0,u1)-f([u0,u1]L,α(u2))+δε(u0+u1,u2)ε(u0,u2)f([u0,u2]L,α(u1))-ε(u0,u1)ε(u0+u1,u2)ε(u1,u2)f([u1,u2]L,α(u0))=0.
定理2 設(shè)ρA是保積Hom-δ-Jordan李色代數(shù)(T,[·,·],α,δ)在V上的表示,這里V是由(T,[·,·],α,δ)的全體線性變換構(gòu)成的空間,線性映射ω:T×T→gl(V)滿足ω([x,y],α(z))=-ε(z,x+y)ω(α(z),[x,y]),且ω(x,y)°α=-ε(x,y)α°ω(x,y).定義雙線性運(yùn)算:
[x+f,y+g]T?V=[x,y]+ω(x,y)-ε(x,y)g°ρA(x)+δf°ρA(y),
α′(x+f)=α(x)+f°α,?x,y∈T,f,g∈gl(V).
則T?V關(guān)于定義的運(yùn)算構(gòu)成保積Hom-δ-Jordan李色代數(shù),當(dāng)且僅當(dāng)ω為2-上圈.
證明首先驗(yàn)證(1)式成立.
-δε(x,y)[y+g,x+f]T?V= -δε(x,y)([y,x]+ω(y,x)-ε(x,y)f°ρA(y)+δg°ρA(x))= [x,y]+ω(x,y)-ε(x,y)g°ρA(x)+δf°ρA(y)=[x+f,y+g]T?V.
下面證明關(guān)于定義的運(yùn)算滿足(2)式,當(dāng)且僅當(dāng)ω為2-上圈.
事實(shí)上,
ε(x,z)[α′(x+f),[y+g,z+h]]+ε(y,x)[α′(y+g),[z+h,x+f]]+ε(z,y)[α′(z+h),[x+f,y+g]]=0?
ε(x,z)ω(α(x),[y,z])-ε(x,y)ω(y,z)°ρA(α(x))+ε(y,x)ω(α(y),[z,x])-ε(y,z)ω(z,x)°ρA(α(y))+ε(z,y)ω(α(z),[x,y])-ε(z,x)ω(x,y)°ρA(α(z))+ε(y,x+z)h°ρA(y)°ρA(α(x))-δε(y,z)h°ρA(x)°ρA(α(y))+δε(z,y)h°α°ρA[x,y]+δε(x,z)f°α°ρA[y,z]+ε(z,x+y)f°ρA(z)°ρA(α(y))-δε(x,z)f°ρA(y)°ρA(α(z))-δε(x,y)g°ρA(z)°ρA(α(x))+δε(x,y)g°α°ρA[z,x]+ε(x,y+z)g°ρA(x)°ρA(α(z))=0?
-ε(x,y)ω([y,z],α(x))+δε(z,x+y)ω([x,z],α(y))-ε(x,z)ω([x,y],α(z))+ε(x,z)ρA(α(x))°ω(y,z)-δε(x,y+z)ρA(α(y))°ω(x,z)+ε(y,z)ρA(α(z))°ω(x,y)=0.
定理3 如上記號(hào),則有(V,αV,θ,δ)是(T,α,δ)的表示,且不依賴(lài)于σ的選取.進(jìn)而,等價(jià)交換擴(kuò)張給出相同的表示.
p(σ(xi)-σ′(xi))=xi-xi=0?σ(xi)-σ′(xi)∈Vσ′(xi)=σ(xi)+ui,
其中ui∈V.
這表明θ不依賴(lài)σ的選取.
其次,證明(V,αV,θ,δ)是(T,α,δ)的表示.
通過(guò)計(jì)算可知,
αV(θ(x))(v)=δαV[σ(x),v]=δ[αV(σ(x)),αV(v)]=δ[σ(α(x)),αV(v)]=θ(α(x))αV(v).
θ([x,y])°αV(v)=δ[σ[x,y],αV(v)]=δ[[σ(x),σ(y)],αV(v)],
且
進(jìn)而,得到(3)式成立.于是,可知(V,αV,θ,δ)是(T,α,δ)的表示.
最后,證明等價(jià)交換擴(kuò)張具有相同的表示θ.