1. 引言
作为超流形的数学模型,李超代数在理论物理和其它数学领域都有着重要的意义 [1] [2] [3] [4]。型心和拟型心作为重要的李超代数上的映射,其在双导子的研究中起到关键的作用 [5]。文献 [6] 证明了李超代数的拟型心保持诣零根不变。在文献 [7] 中具体研究了一般线性李超代数一类子代数的型心与拟型心。在文献 [8] 中作者给出并研究了一类Jordan-李代数的型心。文献 [9] 证明了复单李超代数的型心是常数阵或其平方是常数阵,且型心与拟型心相同,但未研究具体给定单李超代数的型心与拟型心。本文将主要研究不超过3阶(即)复特殊线性李超代数的型心与拟型心的矩阵表示。由李超代数的Schur引理 [2] [10] 可知,
,
的型心和拟型心矩阵均为常数阵,因此本文只需研究m和n非零的情况。
本文结构如下:第一部分是预备知识,介绍了本文用到的一些基本概念及符号。第二部分得到了
的型心与拟型心的矩阵表示。第三部分得到了
的型心与拟型心的矩阵表示。第四部分类比
的求解方法推导出
的型心与拟型心。
2. 基础知识
定义2.1设
为模2剩余类环,则复数域上的
-阶化线性空间
称为李超代数,若对其上定义的双线性二元运算[,]满足:
1) 超反对称性:
2) 超莱布尼茨公式:
,
其中
是李超代数中的
-齐次元素,
分解为
的
-阶化次数。
注:超莱布尼茨公式移项整理后就是超雅各比恒等式,李超代数也称为
-阶化李代数。
由特殊线性李超代数
的定义 [2] [3] 可验证
是
的一组基,
是
的一组基,
是
的一组基,
其中
表示第i行第j列的元素为1,其余位置为0的方阵。为简便本文称这三组基为对应代数的标准基。
定义2.2设L是复李超代数,则称
为L上的
-阶化型心;称
为L上的
-阶化拟型心,其中
表示所有L中
-阶化线性变换的集合。
注:对任意
,若
,则称f为偶变换,即
;若
,则称f为奇变换,即
。
命题2.3 设f是李超代数上的线性变换,则f在一组基上的矩阵表示式为:
注:当f表示型心时,由元素
组成的矩阵即是型心矩阵表示法;当f表示拟型心时,由元素
组成的矩阵即是拟型心矩阵表示法。
3.
型心与拟型心的矩阵表示
引理2.1 设f是
线性变换,则f在
的标准基上的线性变换为:
定理3.2若
的拟型心偶变换,则其在标准基上的矩阵为:
其中
为任意的复数。
证明:设偶变换为f是
的拟型心,根据拟型心的定义分别用
,
,
代替定义中的
进行运算。当
时,
与
的情况为:
又因为
,所以通过比较系数可得:
。
其他情况同理可得
。
类似的,可得f是奇变换即
的情况。
定理3.3若
的拟型心是奇变换,则其在标准基上的阵为:
其中
为任意的复数。
定理3.4若
的型心是偶变换,则其在标准基上的矩阵为:
其中
为任意的复数。
证明:设
的型心f是偶变换,根据定义当
时,有:
所以
,其他情况同理可得
。
同理,根据f为奇变换定义运算可得型心矩阵。
定理3.5若
的型心是奇变换,则其在标准基上的矩阵为:
其中
为任意的复数。
4.
型心与拟型心的矩阵表示
令f是
上的一个线性变换,基为
,则可设f在
的标准基上的线性表示系数为:
定理4.2设
的拟型心是偶变换,则其在标准基上的矩阵为
。
证明:根据型心与拟型心的定义分别用标准基中的
代替定义中的
进行运算。当
时,
与
的情况为:
因为
。
因此有
。
其他情况同理可得:
其它
。
定理4.3若
的拟型心是奇变换,则其在标准基上的矩阵为:
其中,
,
,
为任意的复数。
定理4.4
的型心在其标准基上的矩阵为
。
证明:一方面,若
型心f是偶变换,则由f在基上的线性表示和任意两个基的方括号运算可以求得型心矩阵表示的各元素
。根据型心的定义,当
时:
比较系数可得:
。
其他情况同理可得:
,
其它
。
另一方面,若
型心f是奇变换,则
的型心在其标准基上的矩阵为零矩阵。
5.
型心与拟型心的矩阵表示
由于
与
同构,则可得
的型心与拟型心矩阵如下:
定理5.1 若
的型心与拟型心是偶变换,则其在标准基上的矩阵都为
。
定理5.2 若
的型心与拟型心是奇变换,则其型心在标准基上的矩阵为零矩阵,拟型心在标准基上的矩阵为:
其中,
,
,
为任意的复数。
致谢
衷心感谢审稿人提出的细致建议。
基金项目
东北林业大学大学生创新训练项目(202110225250);中央高校基本科研业务费专项资金资助(2572021BC02)。
NOTES
*通讯作者。