Hom-LPNG代數(shù)的相關(guān)性質(zhì)

張永平, 魏 竹, 張慶成

(1. 沈陽(yáng)化工大學(xué) 理學(xué)院, 沈陽(yáng) 110142； 2. 東北師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 長(zhǎng)春 130024)

Hom-型代數(shù)是在Hom-Lie代數(shù)[1]的基礎(chǔ)上, 增加一個(gè)線(xiàn)性映射后得到的一類(lèi)新代數(shù), 是Hom-Lie代數(shù)的一種推廣. 目前, 關(guān)于Hom-型代數(shù)的研究已有很多成果. 例如： 在一個(gè)代數(shù)體系中有Hom-Novikov代數(shù)[2-3]、 Hom-Leibniz代數(shù)[4-5]和Hom-結(jié)合代數(shù)[6-7]等； 在兩個(gè)代數(shù)體系中有Hom-Novikov-Poisson代數(shù)[3]、 Hom-Novikov-Poisson超代數(shù)[8]和Hom-Gel’fand-Dorfmand代數(shù)[9-10]等. WANG等[11]在交換結(jié)合代數(shù)、 李代數(shù)、 Novikov代數(shù)的基礎(chǔ)上定義了LPNG代數(shù). 受上述Hom-型代數(shù)和LPNG代數(shù)的啟發(fā), 本文給出三個(gè)代數(shù)體系中Hom-LPNG代數(shù)的概念, 并給出Hom-LPNG代數(shù)的相關(guān)性質(zhì).

1 預(yù)備知識(shí)

定義1[9]設(shè)L是一個(gè)線(xiàn)性空間, ·:L×L→L是一個(gè)雙線(xiàn)性映射,σ:L→L是一個(gè)線(xiàn)性映射, 如果下列條件成立：

x·y=y·x, ?x,y∈L,

(1)

(x·y)·σ(z)=σ(x)·(y·z), ?x,y,z∈L,

(2)

則稱(chēng)(L,·,σ)為Hom-交換結(jié)合代數(shù).

定義2[3]設(shè)L是一個(gè)線(xiàn)性空間, °:L×L→L是一個(gè)雙線(xiàn)性映射,σ:L→L是一個(gè)線(xiàn)性映射, 如果下列條件成立:

(x°y)°σ(z)=(x°z)°σ(y), ?x,y∈L,

(3)

(x°y)°σ(z)-σ(x)°(y°z)=(y°x)°σ(z)-σ(y)°(x°z), ?x,y,z∈L,

(4)

則稱(chēng)(L,°,σ)為Hom-Novikov代數(shù).

定義3[3]設(shè)L是一個(gè)線(xiàn)性空間, ·,°:L×L→L是兩個(gè)雙線(xiàn)性映射,σ:L→L是一個(gè)線(xiàn)性映射, (L,·,σ)是一個(gè)Hom-交換結(jié)合代數(shù), (L,°,σ)為Hom-Novikov代數(shù), 如果下列條件成立：

(x·y)°σ(z)=σ(x)·(y°z), ?x,y,z∈L,

(5)

(x°y)·σ(z)-σ(x)°(y·z)=(y°x)·σ(z)-σ(y)°(x·z), ?x,y,z∈L,

(6)

則稱(chēng)(L,·,°,σ)為Hom-Novikov-Poisson代數(shù).

定義4[9]設(shè)L是一個(gè)線(xiàn)性空間, [,]:L×L→L是一個(gè)雙線(xiàn)性映射,σ:L→L是一個(gè)線(xiàn)性映射, 如果下列條件成立：

[x,y]=-[y,x], ?x,y∈L,

(7)

[σ(x),[y,z]]+[σ(y),[z,x]]+[σ(z),[x,y]]=0, ?x,y,z∈L,

(8)

則稱(chēng)(L,[,],σ)為Hom-Lie代數(shù).

定義5[9]設(shè)L是一個(gè)線(xiàn)性空間, [,]和°:L×L→L是兩個(gè)雙線(xiàn)性映射,σ:L→L是一個(gè)線(xiàn)性映射, (L,[,],σ)是一個(gè)Hom-Lie代數(shù), (L,°,σ)為Hom-Novikov代數(shù), 如果下列條件成立：

則稱(chēng)(L,°,[,],σ)為Hom-Gel’fand-Dorfman代數(shù).

定義6設(shè)L是一個(gè)線(xiàn)性空間, [,],·,°:L×L→L是三個(gè)雙線(xiàn)性映射,σ:L→L是一個(gè)線(xiàn)性映射, 且(L,·,σ)為Hom-交換結(jié)合代數(shù), (L,°,σ)為Hom-Novikov代數(shù), (L,[,],σ)為Hom-Lie代數(shù), 如果式(5),(6),(9)及下列條件成立:

[x,y]·σ(z)=[x,z]·σ(y)+σ(x)·[z,y], ?x,y,z∈L,

(10)

則稱(chēng)(L,·,°,[,],σ)為Hom-LPNG代數(shù).即(L,·,°,σ)為Hom-Novikov-Poisson代數(shù), (L,°,[,],σ)為Hom-Gel’fand-Dorfman代數(shù), 且運(yùn)算·和[,]均滿(mǎn)足式(10).

f°g=f·?(g), [f,g]=f·?(g)-g·?(f),σ(xα)=(x+c)α,

其中c∈是一個(gè)定值,α是任意正整數(shù), 則(L,·,°,[,],σ)為一個(gè)Hom-LPNG代數(shù).

2 主要結(jié)果

證明： 證明分如下4步.

1) 由于

x·σy=σ(x)·σ(y)=σ(x·y)=σ(y·x)=σ(y)·σ(x)=y·σx,

(x·σy)·σσ(z)=σ(σ(x)·σ(y))·σ2(z)=σ2((x·y)·z),

σ(x)·σ(y·σz)=σ2(x·(y·z))=σ2((x·y)·z),

即(x·σy)·σσ(z)=σ(x)·σ(y·σz), 因此式(2)成立.于是(L,·σ,σ)是一個(gè)Hom-交換結(jié)合代數(shù).

3) 由于

(x·σy)°σσ(z)=σ(σ(x)·σ(y))°σ2(z)=σ2((x·y)°z),

σ(x)·σ(y°σz)=σ2(x·(y°z)),

因此式(5)成立.又由于

(x°σy)·σσ(z)-σ(x)°σ(y·σz)=σ2((x°y)·z)-(x°(y·z)),

(y°σx)·σσ(z)-σ(y)°σ(x·σz)=σ2((y°x)·z)-(y°(x·z)),

因此式(6)成立.于是(L,·σ,°σ,σ)是一個(gè)Hom-Novikov-Poisson代數(shù).

4) 由于

故式(10)成立.

命題2設(shè)(L,·,°,[,])是一個(gè)LPNG代數(shù),σ為(L,·,°,[,])的一個(gè)自同態(tài).如果定義運(yùn)算·σ,°σ,[,]σ如下:

x·σy=σ(x)·σ(y),x°σy=σ(x)°σ(y), [x,y]σ=[σ(x),σ(y)],

則(L,·σ,°σ,[,]σ,σ)為一個(gè)Hom-LPNG代數(shù).

證明: 由命題1知(L,·σ,σ)是一個(gè)Hom-交換結(jié)合代數(shù), (L,°σ,σ)是一個(gè)Hom-Novikov代數(shù), (L,·σ,°σ,σ)是一個(gè)Hom-Novikov-Poisson代數(shù).由文獻(xiàn)[9]中定理3.5知, (L,°σ,[,]σ,σ)是一個(gè)Hom-Gel’fand-Dorfman代數(shù), 因此只需證明式(10)成立即可.由于

[x,y]σ·σσ(z)=σ2([x,y]·z),

[x,z]σ·σσ(y)+σ(x)·σ[z,y]σ=σ2([x,z]·y+x·[z,y]),

故式(10)成立.

綜上, (L,·σ,°σ,[,]σ,σ)為一個(gè)Hom-LPNG代數(shù).

命題3設(shè)(L,·,σ)為一個(gè)交換Hom-交換結(jié)合代數(shù),F是特征數(shù)為0的域.?λ∈F, ?是L的一個(gè)導(dǎo)子, 且?σ=σ?.如果定義運(yùn)算°和[,]如下:

x°y=x·?(y)+λx·y, [x,y]=x·?(y)-y·?(x),

則(L,·,°,[,],σ)為一個(gè)Hom-LPNG代數(shù).

證明: 證明分如下4步.

1) 由文獻(xiàn)[9]中推論3.9知, (L,°,σ)是Hom-Novikov代數(shù).

2) 由于

(x·y)°σ(z)=(x·y)·?(σ(z))+λ(x·y)·σ(z)=σ(x)·(y·?(z))+λσ(x)·(y·z),

σ(x)·(y°z)=σ(x)·(y·?(z)+λy·z)=σ(x)·(y·?(z))+λσ(x)·(y·z),

因此式(5)成立.又由于

(y°x)·σ(z)-σ(y)°(x·z)=-σ(y)·(x·?(z))=-(y·x)·σ(?(z))=-σ(x)·(y·?(z)),

因此式(6)成立.于是(L,·,°,σ)是Hom-Novikov-Poisson代數(shù).

3) 由文獻(xiàn)[9]中定理3.9知, (L,°,[,],σ)是Hom-Gel’fand-Dorfman代數(shù).

4) 由于

故式(10)成立.

綜上, (L,·,°,[,],σ)是一個(gè)Hom-LPNG代數(shù).

例2若將例1中°定義為f°g=f·?(g)+λx·y(λ是一個(gè)固定數(shù)), ·和[,]定義不變, 則由命題3知, 新代數(shù)(L,·,°,[,],σ)為一個(gè)Hom-LPNG代數(shù).

命題4設(shè)(L,·,σ)為一個(gè)交換Hom-交換結(jié)合代數(shù), 且σ2=σ, ?是L的一個(gè)導(dǎo)子, ?σ=σ?.如果定義運(yùn)算°和[,]如下:

x°y=σ(x·?(y)), [x,y]=σ(x·?(y))-σ(y·?(x)),

則(L,·,°,[,],σ)為一個(gè)Hom-LPNG代數(shù).

證明: 證明分如下3步.

1) 由文獻(xiàn)[9]中推論3.10知, (L,°,σ)是Hom-Novikov代數(shù), (L,°,[,],σ)是一個(gè)Hom-Gel’fand-Dorfman代數(shù).

2) 由于

(x·y)°σ(z)=σ((x·y)·?(σ(z)))=(σ(x)·σ(y))·σ2(?(z))=σ2(x)·(σ(y)·σ(?(z))),

σ(x)·(y°z)=σ(x)·σ(y·?(z))=σ(x)·(σ(y)·σ(?(z))),

且σ2=σ, 所以式(5)成立.又由于

(y°x)·σ(z)-σ(y)°(x·z)=-σ(x·(y·?(z)))=-σ(y·(x·?(z))),

故式(6)成立.因此(L,·,°,σ)是Hom-Novikov-Poisson代數(shù).

3)由于

[x,y]·σ(z)=(σ(x·?(y))-σ(y·?(x)))·σ(z)=σ((x·?(y))·z-(y·?(x))·z),

故式(10)成立.

綜上, (L,·,°,[,],σ)是一個(gè)Hom-LPNG代數(shù).

例3A是以{e1,e2}為生成元的二維空間, 定義其上的一個(gè)雙線(xiàn)性運(yùn)算*為e1*e1=e1,e1*e2=e2*e1=0, 且A上的同態(tài)映射σ1(e1)=e1-e2,σ1(e2)=0, 則(A,*,σ1)是一個(gè)Hom-結(jié)合代數(shù)[7], 且顯然A是交換的.

令L={f|f=(kie1+kje2)xα,i,j,α∈}是一個(gè)以A為系數(shù)的x冪的代數(shù), 其中x>0, 定義L上的運(yùn)算如下:

則由命題4知(L,·,°,[,],σ)是一個(gè)Hom-LPNG代數(shù).

命題5設(shè)(L,·,°,[,],σ)是一個(gè)Hom-LPNG代數(shù), 如果存在ξ∈L, 使得σ(ξ)=ξ, 定義運(yùn)算*為x*y=ξ·x·y, 則(L,*,°,[,],σ)是一個(gè)Hom-LPNG代數(shù).

證明: 證明分如下3步.

1) 由于x*y=ξ·x·y=ξ·y·x=y*x, 因此式(1)成立.又由于

故式(2)成立.因此(L,*,σ)是一個(gè)Hom-交換結(jié)合代數(shù).

2) 由于

故式(5)成立.又由于

故式(6)成立.因此(L,*,°,σ)為Hom-Novikov-Poisson代數(shù).

3) 由于

故式(10)成立.

綜上, (L,*,°,[,],σ)是一個(gè)Hom-LPNG代數(shù).

命題6設(shè)(L,·,°,[,],σ)是一個(gè)Hom-LPNG代數(shù), 定義一個(gè)新運(yùn)算[,]-為[,]-=x°y-y°x, 則(L,·,°,[,]-,σ)是一個(gè)Hom-LPNG代數(shù).

證明: 由文獻(xiàn)[9]中定理3.2知(L,[,]-,σ)是Hom-Lie代數(shù), (L,°,[,]-,σ)是一個(gè)Hom-Gel’fand-Dorfman代數(shù).下面只需證明式(10)成立.由于

因此式(10)成立.

綜上, (L,·,°,[,]-,σ)是一個(gè)Hom-LPNG代數(shù).

命題7(L,·,°,[,],σ)是一個(gè)Hom-LPNG代數(shù), 如果存在ξ∈L, 使得σ(ξ)=ξ, 定義新運(yùn)算*和[,]為x*y=ξ·x·y, [,]-=x°y-y°x, 則(L,*,°,[,]-,σ)是一個(gè)Hom-LPNG代數(shù).

證明: 由命題5知, (L,*,σ)是一個(gè)Hom-交換結(jié)合代數(shù), (L,*,°,σ)是一個(gè)Hom-Novikov-Poisson代數(shù); 由命題6知, (L,[,]-,σ)是一個(gè)Hom-Lie代數(shù), (L,°,[,]-,σ)是Hom-Gel’fand-Dorfman代數(shù).下面只需證式(10)成立.由于

因此式(10)成立.

綜上, (L,*,°,[,]-,σ)是一個(gè)Hom-LPNG代數(shù).