1. 前言
交错代数是一类非常重要的非结合代数 [1] [2] [3]。它和李代数 [1],马尔采夫代数 [3],约当代数 [4] 有着非常密切的联系。交错代数弱化了结合代数的结合性,根据结合代数和交错代数之间的关系,我们很自然地考虑交错代数上的代数结构。文献 [5] 提出了许多形变的细节,形变与代数上的结构有很密切的关系。本文研究了交错代数双模的无穷小变形并且介绍了Nijenhuis结构的定义,本文的研究结果也可以为交错代数双模上其他结构的研究打下一定的基础。
2. 一类特殊的交错代数的构造
定义2.1 [6] 设A是域F上的向量空间,如果A中有双线性代数运算
,满足
,
(2.1)
其中
,则称
为交错代数。
引理2.1 [6]
,当域F的特征不是2时,(2.1)有以下等价形式:
(2.2)
(2.3)
即
(2.4)
. (2.5)
命题2.2 若
是交错代数,
是双线性映射,定义
,
(2.6)
其中t为参数。则
是交错代数当且仅当对任意的
,有下列条件成立:
(2.7)
(2.8)
(2.9)
(2.10)
此时,称
为
的形变。
证明:由引理2.1,
是交错代数当且仅当任意的
满足等式(2.4)和(2.5)。直接计算得
由t的任意性,
满足等式(2.4)当且仅当
满足等式(2.7),(2.8)。同理,
由t的任意性,
满足等式(2.5)当且仅当
满足等式(2.9),(2.10)。综上,结论成立。
3. 交错代数双模的无穷小形变
定义3.1 [2] 设
是交错代数并且V是向量空间,
是两个线性映射。如果对任意的
,有
(3.1)
(3.2)
(3.3)
(3.4)
则称V或
是A的双模,简称A-双模。
命题3.1 设
是交错代数,
是
的形变,
是交错代数
的双模,
和
是线性映射,利用
定义两个线性映射
,其中
,
,
,t为参数,则
是交错代数
的双模当且仅当对
,有下列条件成立:
(3.5)
(3.6)
(3.7)
(3.8)
(3.9)
(3.10)
(3.11)
(3.12)
证明:由定义3.1,
是交错代数
的双模当且仅当
满足等式(3.1)~(3.4)。直接计算得
由t的任意性,
,
满足(3.1)当且仅当(3.5),(3.6)成立。由于
由t的任意性,
,
满足(3.2)当且仅当(3.7),(3.8)成立。由于
由t的任意性,
,
满足(3.3)当且仅当(3.9),(3.10)成立。由于
由t的任意性,
,
满足(3.4)当且仅当(3.11),(3.12)成立。综上,结论成立。
定义3.2 设
是交错代数,
是
的双模。如果
是
的形变并且
是
的双模,则称
生成A-双模V的一个无穷小形变。
由命题2.2和命题3.1知,交错代数
的双模
是A-双模V的无穷小形变当且仅当
满足等式(2.7)~(2.10)和(3.5)~(3.12)。
定义3.3 设
和
分别是交错代数
和
的双模,如果存在交错代数的同态映射
和线性映射
,且它们满足
,
,
则称(
,
)为从双模
到双模
的同态。
定义3.4 设
是交错代数,
是A的双模,交错代数
的双模
和交错代数
的双模
分别是A-双模V的两个无穷小形变。如果存在
和
,使得
是从双模
到双模
的同态,即对任意的
,有下列条件成立:
(3.13)
(3.14)
(3.15)
则称这两个无穷小形变是等价的。如果A-双模V的一个无穷小形变和A-双模V是等价的,则称该形变是平凡的。
命题3.2 设
是交错代数,
是A的双模,
,
,
是
的形变,则
的双模
是平凡的无穷小形变当且仅当对任意的
,有下列条件成立:
(3.16)
(3.17)
(3.18)
(3.19)
(3.20)
(3.21)
证明:由平凡无穷小形变的定义知,交错代数
的双模
是平凡的无穷小形变当且仅当对任意的
,有
(3.22)
(3.23)
(3.24)
考虑等式(3.22),由于
则由t的任意性,(3.22)成立当且仅当(3.16),(3.17)成立。考虑等式(3.23),由于
则由t的任意性,(3.23)成立当且仅当(3.18),(3.19)成立。考虑等式(3.24),由于
则由t的任意性,(3.24)成立当且仅当(3.20),(3.21)成立。
综上,交错代数
的双模
是平凡的无穷小形变当且仅当对任意的
,有(3.16)~(3.21)成立。
定义3.5 如果交错代数
上的线性变换
满足
(3.25)
,则称N是交错代数
的Nijenhuis算子。
命题3.3 设
是交错代数,
是
的双模,
,
,
是线性映射,如果
满足(3.16)~(3.21),则N是交错代数
的Nijenhuis算子,且满足下面两个等式:
,
,
(3.26)
,
,
(3.27)
证明:
,将(3.16)代入(3.17)中,有
即N是Nijenhuis算子。将(3.18)代入(3.19)中,有(3.26)成立。将(3.20)代入(3.21)中,有(3.27)成立。
命题3.4 设
是交错代数
的双模,
,
。如果N是交错代数
的Nijenhuis算子,且S满足(3.26)和(3.27),定义映射
,
且
满足下列条件:
(3.28)
(3.29)
(3.30)
其中
,则
生成A-双模V的一个平凡的无穷小形变。
证明:要证
生成A-双模V的一个无穷小形变,须证
是交错代数并且
是
的双模,即证所设
满足等式(2.7)~(2.10)和(3.5)~(3.12)。
,由于
所以
是双线性映射,又因为
故
满足等式(2.7)。
用同样的方法将
代入等式(2.8)~(2.10)和(3.5)~(3.12),利用已知条件,得以上等式均成立。故
生成A-双模V的一个无穷小形变。由N是交错代数
的Nijenhuis算子及(3.28)知(3.16)和(3.17)成立,由S满足(3.26)且等式(3.29)成立知(3.18)和(3.19)成立,由S满足(3.27)且等式(3.30)成立知(3.20)和(3.21)成立,故此无穷小形变也满足条件(3.16)~(3.21),也就是说,这个形变是平凡的。综上,此命题得证。
4. 交错代数半直积的Nijenhuis算子
由 [7] 知,设
是交错代数,V是向量空间,
是两个线性映射。定义向量空间的直和
上的乘法
,
,
(4.1)
则
是交错代数
的双模当且仅当
是交错代数,此时称
为A和V的半直积,记为
,简记为
。
命题4.1 设
是交错代数
的双模,
,
,则N是交错代数
的Nijenhuis算子且S满足(3.26)和(3.27)当且仅当
是交错代数半直积
的Nijenhuis算子。
证明:必要性。由N是交错代数
的Nijenhuis算子,知
,
。
若要证
是半直积交错代数
的Nijenhuis算子,则由定义3.5知须证
满足等式(3.25)。
,
,直接计算得
故
满足等式(3.25),则
是半直积交错代数
的Nijenhuis算子。
充分性。已知
是半直积交错代数
的Nijenhuis算子,即满足(3.25),则有
故N是交错代数
的Nijenhuis算子且S满足(3.26)和(3.27)。综上,本命题得证。
5. 交错代数双模的Nijenhuis结构
定理5.1 [6] 设
是交错代数
的双模,定义
和
,其中
则
是交错代数
的双模。
定义5.1 设
是交错代数
的双模,
,
。如果
是A-双模V的平凡无穷小形变,
是从双模
到
的同态,则
称为A-双模V的Nijenhuis结构。
命题5.2
是A-双模V的Nijenhuis结构等价于N是交错代数
的Nijenhuis算子且对
,
,有下列条件成立:
(5.2)
(5.3)
证明:由命题3.4知N和
生成交错代数
的双模
的无穷小形变当且仅当N是交错代数
的Nijenhuis算子且对
,
,有
(5.4)
(5.5)
,
,
,由于
由
的任意性,有(5.4)成立当且仅当(5.3)成立。由于
由
的任意性,有(5.5)成立当且仅当(5.2)成立。综上,本命题得证。
6. 结束语
本文给出了一类特殊交错代数的构造方法,并且由此为基础进一步研究交错代数的双模、无穷小形变以及交错代数半直积的Nijenhuis算子,为日后进一步的研究提供了一些思路。