APP下载

一个特殊的四维幂零左对称代数上的Rota-Baxter算子*

2020-09-29李黎明丁梦菲侯冬平

关键词:代数算子乘法

李黎明, 丁梦菲, 侯冬平

(云南师范大学 数学学院,云南 昆明 650500)

1 引 言

Rota-Baxter算子是由Baxter 在解决一个分析问题的过程中提出[1],此后很快被应用到其他数学领域[2-4].最初,人们主要研究结合代数上的Rota-Baxter算子;随着研究的深入,Rota-Baxter算子很快被推广到其他代数体系上[5].

左对称代数(也称为预李代数)是一类非常重要的非结合代数,与很多数学学科和数学物理的许多领域都有密切的关系[6-11].文献[12]给出了所有2维复的左对称代数及大部分3维复数域上的左对称代数上权为0的Rota-Baxter算子;然而,对于更高维数的左对称代数上的Rota-Baxter算子,还知之甚少.

在文献[7]中,Kim利用左对称代数公式对所有4维幂零左对称代数进行了分类,给出了仅有的两个4维非对称无平移的幂零左对称代数结构

其中e1,e2,e3,e4为一组基,矩阵中的(i,j)元为ei与ej的乘积.

本文将给出四维复左对称代数A0上所有的权为零的Rota-Baxter算子,并以这些Rota-Baxter算子为基础,构造出一系列左对称代数结构.

2 基本概念

定义1设g是数域上的一个线性空间,在g中定义双线性乘法:(x,y)→[x,y],满足等式

[x,y]=-[y,x]

(1)

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

(2)

则称g是一个李代数,其中x,y,z∈g.

定义2设A是数域上的一个线性空间,在A中定义双线性乘法:(x,y)→x·y,满足等式

(x,y,z)=(y,x,z),∀x,y,z∈A

(3)

其中 (x,y,z)=(x·y)z-x·(y·z),则称A是一个左对称代数或预李代数.此时,定义李括号

[x,y]=xy-yx,∀x,y∈A

(4)

则(A,[,]) 是一个李代数,称为左对称代数A的邻接李代数,记为G(A).

定义3设A是复数域上的一个左对称代数,称线性变换R:A→A为A上的一个权为零的Rota-Baxter算子,如果R满足:

R(x)R(y)=R(R(x)y+xR(y)),x,y∈A

(5)

(6)

则R是A上的一个权为零的Rota-Baxter算子当且仅当{rij,1≤i,j≤n}满足以下方程:

(7)

证明:经过计算得到,对任意1≤i,j≤n,有

结合定义3,结论成立.

(8)

3 四维左对称代数 A0上的Rota-Baxter算子

命题1四维复左对称代数A0上的线性变换R,其中

(9)

则R是A0上的一个权为零的Rota-Baxter算子当且仅当{rij,1≤i,j≤n}满足以下方程

r13=r14=r34=r21=r23=r24=0

(10)

r12(r11-r33)=0

(11)

(12)

r12(r31+r43)=0

(13)

r11r44+r12r32-(r11+r44)r22=0

(14)

r12(r44-r33)=0

(15)

r11(r22+r33)-r22r33=0

(16)

r12(r22+r33)=0

(17)

r31(r22+r44)-r43(r11-r22)=0

(18)

r12r43-(r22+r44)r32=0

(19)

r22r44-(r22+r44)r33=0

(20)

r32(r11-r33)=0

(21)

(22)

r32(r43+r31)=0

(23)

(24)

r32(r33-r44)=0

(25)

r11r44-(r11+r44)r22=0

(26)

r42(r11-r33)=0

(27)

r42(r44-r33)=0

(28)

r43r33+r44r31-r42r12-r22(r31+r43)=0

(29)

(30)

(31)

证明:由性质1及

(1)由

可得

r14=0,r13r42-r21(r11+r44)=0,r11r44+r13r43-r22(r11+r44)=0

(2)由

联立r14=0,可得

r13=0

(3)由R(e2)R(e3)-R(R(e2)e3+e2R(e3))=0,结合r13=r14=0,可得

r23=r34=0,r11(r22+r33)-r22r33=0,r12(r22+r33)=0

(4)由R(e4)R(e2)-R(R(e4)e2+e4R(e2))=0,可得

r21=0

(5)由R(e1)R(e2)-R(R(e1)e2+e1R(e2))=0,可得

r24=0

如此,证明了方程(10)、(16)和(17)成立.同理也可以证明其余方程成立.

定理1四维复左对称代数A0上权为零的Rota-Baxter算子

记为R=(rij),有如下几类:

(32)

证明:(1)先证明r12=0.若r12≠0,则联立方程(11)、(15)和(17)可得

r11=r33=r44=-r22

联立方程(20), 得r22=0,而由(12)有r22=-r12≠0,矛盾,所以r12=0. 同理可证r32=0.

(2)由r12=r32=0,方程 (10-31)化简为以下方程

r12=r13=r14=r21=r23=r24=r32=r34=0

(33)

r11r44-(r11+r44)r22=0

(34)

r11(r22+r33)-r22r33=0

(35)

r31(r22+r44)-r43(r11-r22)=0

(36)

r22r44-(r22+r44)r33=0

(37)

(38)

r31r44-r22(r31+r43)=0

(39)

r11r44-(r11+r44)r22=0

(40)

r42(r11-r33)=0

(41)

r42(r44-r33)=0

(42)

r43r33+r44r31-r22(r31+r43)=0

(43)

(44)

(45)

(3) 当r42≠0时,联立 (41-42)得r11=r33=r44,代入(37)得

r11=r33=r44=0

此时方程(33-45)同解于以下方程

故解得

(4)当r22=r42=0时,由(38)得r33=0,由(34)得r11r44=0,代入(44)得r44=0, 代入(45)得到r43=0.此时,方程(33-45)都成立, 从而

(5)当r22≠0,r33=0,r42=0时,由(35)得r11r22=0,则r11=0,联立(44) 得r44=0, 此时方程 (33-45)同解于以下方程:

定理得证.

推论1:A0上不存在可逆的权为零的Rota-Baxter算子.

推论2:A0上不存在可逆的导子.

证明:由文献[12]知道,左对称代数上可逆的导子的逆映射是一个权为零的 Rota-Baxter算子,结合推论1知结论成立.

4 由四维左对称代数上的Rota-Baxter算子构造的左对称代数链

性质2[12]设(A,·)是一个左对称代数,R是(A,·) 上的一个Rota-Baxter算子,在线性空间A 上定义乘法

x*y=[R(x),y]=R(x)·y-y·R(y),∀x,y∈A

(46)

则(A,*) 也是一个左对称代数,且R也是(A,*) 上的一个Rota-Baxter算子.

称左对称代数(A,*) 为左对称代数(A,·) 与Rota-Baxter算子R相关的第一重代数.由性质2可知,从左对称代数(A,·) 和(A,·) 的一个Rota-Baxter算子R出发,可以在线性空间A上定义一个左对称代数的系列 (A,R,*k)(k≥1),其中

x*1y=x*y=[R(x),y]=R(x)·y-y·R(y),∀x,y∈A

(47)

x*k+1y=[R(x),y]k=R(x)*ky-y*kR(y),∀x,y∈A

(48)

称(A,R,*k) 为 (A,·) 的第k重代数.

性质3[12]设(A,·)是一个左对称代数,R是(A,·) 上的一个Rota-Baxter算子,(A,R,*k) 为 (A,·) 的第k重代数,则

(49)

(50)

定理2由四维复左对称代数A0和它上面的 Rota-Baxter算子出发,得到的左对称代数系列有

(2) (A0,R2,*k)k≥1为零代数(任意两元素的乘积为零).

证明:以第(1)种情形为例证明.

R(e2)=r22e2;R(e3)=±a0e1;R(e4)=r41e1+r42e2∓a0e3;R(e1)=0

由性质3可以得到

e2*1e3=R(e2)e3-e3R(e2)=r22e1;e2*1e4=R(e2)e4-e4R(e2)=-r22e3

e4*1e2=R(e4)e2-e2R(e4)=±a0e1;e4*1e3=R(e4)e3-e3R(e4)=r42e1

e4*1e4=R(e4)e4-e4R(e4) =-r42e3

其余,ei*1ej=0,从而可得

假设

结合性质3可得

e2*k+1e3=R(e2)*ke3-e3*kR(e2)==r22k+1e1

e4*k+1e3=R(e4)*ke3-e3*kR(e4)=r42r22ke1

其余,ei*k+1ej=0,从而得到

由数学归纳法可得

特别,r41+r42=0,r42≠0时,a0=0,此时

建立A0上的可逆线性变换

易知

同理,可以证明其他情形的结论.

5 结 语

给出了一个特殊的四维左对称代数上所有的权为0的Rota-Baxter算子,并且以此为基础进一步构造出一系列左对称代数.这对于非结合代数上的Rota-Baxter算子的研究有一定的意义.

猜你喜欢

代数算子乘法
算乘法
与由分数阶Laplace算子生成的热半群相关的微分变换算子的有界性
我们一起来学习“乘法的初步认识”
拟微分算子在Hp(ω)上的有界性
两个有趣的无穷长代数不等式链
Heisenberg群上与Schrödinger算子相关的Riesz变换在Hardy空间上的有界性
Hopf代数的二重Ore扩张
《整式的乘法与因式分解》巩固练习
什么是代数几何
各向异性次Laplace算子和拟p-次Laplace算子的Picone恒等式及其应用