Advances in Applied Mathematics
Vol.
11
No.
06
(
2022
), Article ID:
52815
,
8
pages
10.12677/AAM.2022.116405
相容BiHom-李代数的表示及BiHom-李代数 的形变
孙尧
辽宁师范大学数学学院,辽宁 大连
收稿日期:2022年5月23日;录用日期:2022年6月15日;发布日期:2022年6月24日
摘要
本文主要研究相容BiHom-李代数的表示与BiHom-李代数的形变。首先给出了相容BiHom-李代数的定义,找到判断两个BiHom-李代数是相容的方法。其次定义了相容BiHom-李代数的表示,得到了相容BiHom-李代数与其表示空间的直和上存在相容BiHom-李代数结构的条件,并给出了相容BiHom-李代数表示的例子。然后讨论了相容BiHom-李代数表示的对偶映射同样是该相容BiHom-李代数表示所满足的条件,并构造出了对偶表示。最后构造了BiHom-李代数的形变。
关键词
BiHom-李代数,相容BiHom-李代数,表示,形变
Representation of Compatible BiHom-Lie Algebra and Deformation of BiHom-Lie Algebra
Yao Sun
School of Mathematics, Liaoning Normal University, Dalian Liaoning
Received: May 23rd, 2022; accepted: Jun. 15th, 2022; published: Jun. 24th, 2022
ABSTRACT
In this paper, we mainly discuss the representation of BiHom-Lie algebra and the deformation of BiHom-Lie algebra. Firstly, we give the definition of compatible BiHom-Lie algebra and the method of judging the compatibility of two BiHom-Lie algebras. Secondly, we define the representation of compatible BiHom-Lie algebra, and get the conditions for the existence of compatible BiHom-Lie algebra structure on the direct sum of the compatible BiHom-Lie algebra and its representation space. We also give an example of the representation of compatible BiHom-Lie algebra. Then we give the conditions when the dual mapping of the representation of compatible BiHom-Lie algebra is also the representation of compatible BiHom-Lie algebra and constructs the dual representation of the representation of compatible BiHom-Lie algebra. Finally, we introduce the deformation of BiHom-Lie algebra.
Keywords:BiHom-Lie Algebra, Compatible BiHom-Lie Algebra, Representation, Deformation
Copyright © 2022 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
BiHom-李代数是一类非常重要的代数,与李代数、Hom-李代数有非常密切的联系。当BiHom-李代数的两个扭曲映射为恒等映射时,BiHom-李代数即为李代数;当BiHom-李代数的两个扭曲映射相等时即为Hom-李代数。BiHom-李代数是2015年Graziani G,Makhlouf A,Menini C在文献 [1] 中提出的,之后一些学者对BiHom-李代数作了进一步研究。例如,文献 [2] 中作者研究了BiHom-李代数的分裂扩张和相应的上同调,并且建立了一个由交换BiHom-李代数V扩张的BiHom-李代数L的等价类与它的第二上同调群之间的对应关系。文献 [3] 中作者研究了BiHom-李代数关于表示、平凡表示、伴随表示的上同调。对于李代数和Hom-李代数,文献 [4] [5] 研究了相容李代数和相容Hom-李代数的上同调。本文主要研究相容BiHom-李代数的表示和BiHom-李代数的形变。
2. 预备知识
定义2.1 ( [1])若g是域K上的线性空间,
, 是双线性映射,
是线性映射,如果
,恒有
, (2.1)
, (2.2)
, (2.3)
,, (2.4)
则称
是BiHom-李代数。
注记2.1 ( [3]) 设
是BiHom-李代数,若
是双射,则称
为正则BiHom-李代数。
定义2.2 ( [1])设
是BiHom-李代数,V是线性空间,
且
, 是线性映射,如果对于
恒有
,, (2.5)
,(2.6)
则称
是BiHom-李代数
的表示。
命题2.1 ( [1])设
是BiHom-李代数,
是
的表示,
可逆,在
上定义
,,
,
其中
,则
是BiHom-李代数。
注记2.2 通过直接计算可知,当
是BiHom-李代数时,
是
的表示。
命题2.2 ( [1])设
是正则BiHom-李代数,定义
,其中
,则
是
的表示,称为伴随表示。
命题2.3 ( [6])设
是BiHom-李代数,
是它的表示,定义
,其中
,则
是
的表示当且仅当对于
满足
,,(2.7)
。(2.8)
命题2.4 ( [6])设
是BiHom-李代数,
是
的表示,
可逆,定义
,其中
, (2.9)
则
是
的表示,称为
的对偶表示。
3. 相容BiHom-李代数的表示
定义3.1 设
, 是BiHom-李代数,如果对于
, 恒为BiHom-李代数,则称
与
是相容的,用
表示。
定理3.1 两个BiHom-李代数
和
是相容的当且仅当
, (3.1)
其中
。
证明由定义2.1,
和
是相容的当且仅当
满足等式(2.1)~(2.4)。由已知
是可交换的。由于
关于
满足等式(2.2),因此有
,所以
满足等式(2.2)。由于
满足等式(2.3),所以
,
因此
满足等式(2.3)当且仅当
满足等式(3.1)。由于
关于
满足等式(2.4),所以显然有
关于
满足等式(2.4)。证毕。
定义3.2 设
是相容的BiHom-李代数,如果
是
的表示,
是
的表示,并且对于
恒有
, (3.2)
则称
是相容BiHom-李代数
的表示。
定理3.2 设
是相容的BiHom-李代数,V是线性空间,
为线性映射,
, 是双射,在
上定义
,,
,
其中
,,,则
是
的表示当且仅当
是相容的BiHom-李代数。
证明 由命题2.1可知,
是
的表示当且仅当
是BiHom-李代数,因此只需证明
满足等式(3.2)当且仅当
满足等式(3.1)。由于
,
令
,因为
,所以上式等于
由
的任意性,
满足等式(3.1)当且仅当
满足等式(3.2)。证毕。
例3.1 设
是相容正则BiHom-李代数,则
是
的表示。
证明 由命题2.2知
是正则BiHom-李代数
的表示。
,
,
令
,由于
是相容正则BiHom-李代数,因此
满足等式(3.1),即上式得0,所以
满足等式(3.2),所以
是
的表示。证毕。
定理3.3 设
是相容的BiHom-李代数,
是
的表示,定义
,其中
,则
是
的表示当且仅当
满足等式(2.7)~(2.8),且
,
。 (3.3)
证明 由定义3.2,
是
的表示当且仅当
是
的表示,并且
满足等式(3.2)。由命题2.3得
是
的表示当且仅当
满足等式(2.7)~(2.8)。由于
,
,
所以
满足等式(3.2)当且仅当
满足等式(3.3)。证毕。
定理3.4 设
是相容的BiHom-李代数,
是它的表示,
可逆,定义
,其中
,
则
是
的表示,称为
的对偶表示。
证明 由定义3.2,
是相容BiHom-李代数
的表示当且仅当
是
的表示,并且
满足等式(3.2)。由命题2.4知
是
的表示。因为
满足等式(2.5),且
可逆,所以
,
,
令
,因为
是
的表示,所以
满足等式(3.2),所以上式等于0,即
满足等式(3.2)。因此
是相容BiHom-李代数
的表示。
推论3.1 设
是相容的正则BiHom-李代数,则
是
的表示。
证明 由例3.1知
是相容正则BiHom-李代数
的表示,所以由定理3.4知
是
的表示。
4. BiHom-李代数的形变
定理4.1
为BiHom-李代数,
为双线性映射,定义
, (4.1)
t为参数,则
是BiHom-李代数当且仅当对于
有
,, (4.2)
, (4.3)
, (4.4)
, (4.5)
此时称
为BiHom-李代数
的形变。
证明 由
的定义知
是双线性的。由定义2.1,
是BiHom-李代数当且仅当
满足等式(2.1)~(2.4)。
显然成立。由于
满足等式(2.4),所以
,
,
,
因此
满足等式(2.4)当且仅当等式(4.2)成立。由于
满足等式(2.2),所以
,
因此
满足等式(2.2)当且仅当等式(4.3)成立。因为
, 满足等式(2.3),因此
,
由t的任意性,
满足等式(2.3)当且仅当等式(4.4)~(4.5)成立。证毕。
定理4.2 设
是BiHom-李代数,
是
的表示,
为双线性映射且满足等式(4.1)~(4.5),
为线性映射,定义
,其中
,
t为参数,则对于(4.1)定义的
, 是
的表示当且仅当对于
恒有
,, (4.6)
, (4.7)
, (4.8)
此时称
是表示
的形变。
证明 由定理4.1知
是BiHom-李代数。
显然是可交换的。由定义2.2,
是
的表示当且仅当
满足等式(2.5)~(2.6)。
,因为
满足等式(2.5),所以
,
,
因此
满足等式(2.5)当且仅当等式(4.6)成立。
,由于
满足等式(2.6),因此
,
由t的任意性知,
满足等式(2.6)当且仅当等式(4.7)~(4.8)成立。证毕。
注记4.1等式(4.2)~(4.4)说明
是BiHom-李代数;等式(4.5)说明
与
是相容的BiHom-李代数;等式(4.6)~(4.7)说明
是
的表示;等式(4.8)说明
是相容BiHom-李代数
的表示。
基金项目
辽宁师范大学教改项目LS202002。
文章引用
孙 尧. 相容BiHom-李代数的表示及BiHom-李代数的形变
Representation of Compatible BiHom-Lie Algebra and Deformation of BiHom-Lie Algebra[J]. 应用数学进展, 2022, 11(06): 3780-3787. https://doi.org/10.12677/AAM.2022.116405
参考文献
- 1. Graziani, G., Makhlouf, A., Menini, C. and Panaite, F. (2015) BiHom-Associative Algebras, BiHom-Lie Algebras and BiHom-Bialgebras. Symmetry Integrability and Geometry: Methods and Applications, 11, 11-34.
https://doi.org/10.3842/SIGMA.2015.086
- 2. Saadaoui, N. (2021) Split Extensions of BiHom-Lie Algebras. arXiv:2112.11995.
- 3. Cheng, Y.S. and Qi, H.G. (2022) Representations of BiHom-Lie algebras. Algebra Colloquium, 29, 125-142.
- 4. Liu, J., Sheng, Y. and Bai, C. (2021) Maurer-Cartan Characterizations and Cohomologies of Com-patible Lie Algebras. arXiv:2102.04742.
- 5. Das, A. (2022) Cohomology and Deformations of Compatible Hom-Lie Algebras. arXiv:2202.03137.
- 6. 李艳朋. BiHom-pre-Lie代数的双模[D]: [硕士学位论文]. 大连: 辽宁师范大学, 2020.