本文为研究复数域上不超过三阶的正交李超代数osp(1,2)的拟型心与型心,应用解线性方程组的方法,分别在奇变换和偶变换两种情况下确定了这些李超代数拟型心和型心的矩阵表示。最终得到其在奇变换下的拟型心在标准基上的矩阵为0 5×5,型心在标准基上的矩阵为0 5×5;其在偶变换下的拟型心在标准基上的矩阵为cI 5×5,型心在标准基上的矩阵为cI 5×5。 In this paper, in order to study the centroids and quasi-centroids of the orthogonal Lie superalgebras osp(1,2) over complex fields, the matrix representations of centroid and quasi centroid of osp(1,2) are determined by applying the method of solving the system of linear equa-tions in the cases of odd and even transformations, respectively. The final matrix of its qua-si-centroids on the standard basis under odd transformation is 0 5×5 and the matrix of the cen-troids on the standard basis is 0 5×5; the matrix of its quasi-centroids on the standard basis under even transformation is cI 5×5 and the matrix of the centroids on the standard basis is cI 5×5.
本文为研究复数域上不超过三阶的正交李超代数 o s p ( 1 , 2 ) 的拟型心与型心,应用解线性方程组的方法,分别在奇变换和偶变换两种情况下确定了这些李超代数拟型心和型心的矩阵表示。最终得到其在奇变换下的拟型心在标准基上的矩阵为 0 5 × 5 ,型心在标准基上的矩阵为 0 5 × 5 ;其在偶变换下的拟型心在标准基上的矩阵为 c I 5 × 5 ,型心在标准基上的矩阵为 c I 5 × 5 。
李超代数,拟型心,型心,矩阵表示
Ruilin Dong, Xiaoru Zhang, Keli Zheng*
Department of Mathematics, Northeast Forestry University, Harbin Heilongjiang
Received: Aug. 13th, 2022; accepted: Sep. 13th, 2022; published: Sep. 20th, 2022
In this paper, in order to study the centroids and quasi-centroids of the orthogonal Lie superalgebras o s p ( 1 , 2 ) over complex fields, the matrix representations of centroid and quasi centroid of o s p ( 1 , 2 ) are determined by applying the method of solving the system of linear equations in the cases of odd and even transformations, respectively. The final matrix of its quasi-centroids on the standard basis under odd transformation is 0 5 × 5 and the matrix of the centroids on the standard basis is 0 5 × 5 ; the matrix of its quasi-centroids on the standard basis under even transformation is c I 5 × 5 and the matrix of the centroids on the standard basis is c I 5 × 5 .
Keywords:Lie Super Algebra, Centroid, Quasi-Centroid, Matrix Representation
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/
作为Z2-阶化流形的数学模型,复李超代数在理论物理、工程学以及其他数学领域中都有着重要的意义 [
文本结构如下:第二部分是预备知识,介绍了本文用到的一些基本概念和符号。第三部分得到了 o s p ( 1 , 2 ) 的拟型心的矩阵表示。第四部分得到了 o s p ( 1 , 2 ) 的型心的矩阵表示。
定义2.1 设 ℤ 2 = { 0 ¯ , 1 ¯ } 为模2剩余类环,则复数域C上的 ℤ 2 -阶化线性空间 L = L 0 ¯ ⊕ L 1 ¯ 称为李超代数,若对其上定义的双线性二元运算 [ , ] 满足:
1) 超反对称性:
[ x , y ] = − ( − 1 ) d ( x ) d ( y ) [ y , x ]
2) 超莱布尼兹公式:
[ x , [ y , z ] ] = [ [ x , y ] , z ] + ( − 1 ) d ( x ) d ( y ) [ y , [ x , z ] ]
其中: x , y , z 是李超代数中的 ℤ 2 -齐次元素, d ( x ) , d ( y ) , d ( z ) 分解为 x , y , z 的 ℤ 2 -阶化次数。
注:超莱布尼茨公式移项整理后就是雅可比恒等式,李超代数也称为 Z 2 -阶化李代数。
定义2.2 在 l ( m , n ) 中定义超代数 o s p ( m , n ) = o s p ( m , n ) 0 − ⊕ o s p ( m , n ) 1 − ,令
o s p ( m , n ) s = { a ∈ l ( m , n ) s | F ( a ( x ) , y ) = − ( − 1 ) δ ( deg x ) F ( x , a ( y ) ) } , s ∈ ℤ 2
其中: n = 2 r 是偶数,我们将 o s p ( m , n ) 称为正交对称的超代数,当 n = 0 或 m = 0 时即转换为正交的或对称的李代数。
定义 ( 2 m + 2 n + 1 ) × ( 2 m + 2 n + 1 ) 阶矩阵,
ς 2 m + 1 | 2 n = ( 0 I m 0 0 0 I m 0 0 0 0 0 0 1 0 0 0 0 0 0 I n 0 0 0 − I n 0 )
其中: I m 是 m × m 阶单位矩阵, I m 是 n × n 阶单位矩阵,令 ς 2 m | 2 n 表示从中删除第 2 m + 1 行与第 2 m + 1 列所得到的 ( 2 m + 2 n ) × ( 2 m + 2 n ) 阶矩阵,那么有
o s p ( l , 2 n ) = { G ∈ g l ( l , 2 n ) | G s t ς l | 2 n + ς l | 2 n G = 0 }
其中: G s t 表示G的超转置。则 o s p ( l , 2 n ) 可表示为
G = ( A B − V t X X 1 C − A t − U t Y Y 1 U V 0 Z Z 1 − Y 1 t − X 1 t − Z 1 t D E Y t X t Z t F − D t )
其中:B,C是斜对称矩阵,E,F是对称矩阵,易得
o s p ( 1 , 2 ) = { g ∈ g l ( 1 , 2 ) | g s t ς 1 | 2 + ς 1 | 2 g = 0 }
则 o s p ( 1 , 2 ) 可由如下矩阵表示
g = ( 0 z z 1 − z 1 d e z f − d )
由此可以验证 e 23 , e 32 , e 22 − e 33 , e 12 − e 31 , e 13 + e 21 是 o s p ( 1 , 2 ) 的一组基。
其中 e i j 表示第i行第j列的元素为1,其余位置为0的方阵。为简便本文称以上这组基为对应代数的标准基。
定义2.3 设L是复李超代数,则称
Γ θ ( L ) = { f ∈ E n d θ ( L ) | f [ x , y ] = [ f ( x ) , y ] = ( − 1 ) d ( x ) d ( f ) [ x , f ( y ) ] , x , y ∈ L , θ ∈ ℤ 2 }
为L上的 ℤ 2 -阶化型心;称
Q Γ θ ( L ) = { f ∈ E n d θ ( L ) | [ f ( x ) , y ] = ( − 1 ) d ( x ) d ( f ) [ x , f ( y ) ] , x , y ∈ L , θ ∈ ℤ 2 }
为L上的 ℤ 2 -阶化拟型心,其中 E n d θ ( L ) 表示所有L中 ℤ 2 -阶化线性变换的集合。
注:对任意 f ∈ E n d θ ( L ) ,若 θ = 0 ¯ ,则称f为偶变换,即 d ( f ) = 0 ¯ ;若 θ = 1 ¯ ,则称f为奇变换,即 d ( f ) = 1 ¯ 。
命题2.4 设f是李超代数上的线性变换,则f在一组基上的矩阵表示为:
f ( e 11 e 12 , ⋯ , e n n ) = ( e 11 , e 12 , ⋯ , e n n ) ( k 11 k 12 ⋯ k 1 , n k 21 k 22 ⋯ k 2 , n ⋮ ⋮ ⋱ ⋮ k n , 1 k n , 2 ⋯ k n , n )
注:当f表示型心时,由元素 k i j 组成的矩阵即是型心矩阵表示法;当f表示拟型心时,由元素 k i j 组成的矩阵即是拟型心矩阵表示法。
引理3.1 设f是 o s p ( 1 , 2 ) 线性变换,则f在 o s p ( 1 , 2 ) 的标准基上的线性变换为:
f ( e 23 ) = k 11 e 23 + k 21 e 32 + k 31 ( e 22 − e 33 ) + k 41 ( e 12 − e 31 ) + k 51 ( e 13 + e 21 )
f ( e 32 ) = k 12 e 23 + k 22 e 32 + k 32 ( e 22 − e 33 ) + k 42 ( e 12 − e 31 ) + k 52 ( e 13 + e 21 )
f ( e 22 − e 33 ) = k 13 e 23 + k 23 e 32 + k 33 ( e 22 − e 33 ) + k 43 ( e 12 − e 31 ) + k 53 ( e 13 + e 21 )
f ( e 12 − e 31 ) = k 14 e 23 + k 24 e 32 + k 34 ( e 22 − e 33 ) + k 44 ( e 12 − e 31 ) + k 54 ( e 13 + e 21 )
f ( e 13 + e 21 ) = k 15 e 23 + k 25 e 32 + k 35 ( e 22 − e 33 ) + k 45 ( e 12 − e 31 ) + k 55 ( e 13 + e 21 )
定理3.2 若 o s p ( 1 , 2 ) 的拟型心偶变换,则其在标准基上的矩阵为 c I 5 × 5 ,其中c为任意的复数。
证明:设偶变换为f是 o s p ( 1 , 2 ) 的拟型心,根据拟型心的定义分别用 e 23 , e 32 , e 22 − e 33 , e 12 − e 31 , e 13 + e 21 代替定义中的 x , y 进行运算。当 x = e 23 , y = e 32 时, f ( e 23 ) 与 e 32 的情况为:
[ f ( e 23 ) , e 32 ] = f ( e 23 ) e 32 − ( − 1 ) d ( f ( e 23 ) ) d ( e 32 ) e 32 f ( e 23 ) = f ( e 23 ) e 32 − e 32 f ( e 23 ) = k 11 ( e 22 − e 33 ) − 2 k 31 e 32 + k 51 ( e 12 − e 31 )
[ e 23 , f ( e 32 ) ] = e 23 f ( e 32 ) − ( − 1 ) d ( e 23 ) d ( f ( e 32 ) ) f ( e 32 ) e 23 = e 23 f ( e 32 ) − f ( e 32 ) e 23 = k 22 ( e 22 − e 33 ) − 2 k 32 e 23 − k 42 ( e 21 − e 13 )
又由拟型心的定义可得 [ f ( e 23 ) , e 32 ] = [ e 23 , f ( e 32 ) ] ,所以通过比较系数可得:
k 11 = k 22 , k 31 = k 32 = k 51 = k 42 = 0
其他情况同理可得 k 11 = k 22 = k 33 = k 44 = k 55 , k 12 = k 13 = k 14 = k 15 = k 21 = k 23 = k 24 = k 25 = k 31 = k 32 = k 34 = k 35 = k 41 = k 42 = k 43 = k 45 = k 51 = k 52 = k 53 = k 43 = 0 。
类似的,可得f是奇变换即 d ( f ) = 1 ¯ 的情况。
定理3.3 若 o s p ( 1 , 2 ) 的拟型心是奇变换,则其在标准基上的矩阵为 0 5 × 5 。
证明:设奇变换为f是 o s p ( 1 , 2 ) 的拟型心,根据拟型心的定义分别用 e 23 , e 32 , e 22 − e 33 , e 12 − e 31 , e 13 + e 21 代替定义中的 x , y 进行运算。当 x = e 23 , y = e 32 时, f ( e 23 ) 与 e 32 的情况为:
[ f ( e 23 ) , e 32 ] = f ( e 23 ) e 32 − ( − 1 ) d ( f ( e 23 ) ) d ( e 32 ) e 32 f ( e 23 ) = f ( e 23 ) e 32 − e 32 f ( e 23 ) = k 11 ( e 22 − e 33 ) − 2 k 31 e 32 + k 51 ( e 12 − e 31 )
[ e 23 , f ( e 32 ) ] = e 23 f ( e 32 ) − ( − 1 ) d ( e 23 ) d ( f ( e 32 ) ) f ( e 32 ) e 23 = e 23 f ( e 32 ) − f ( e 32 ) e 23 = k 22 ( e 22 − e 33 ) − 2 k 32 e 23 − k 42 ( e 21 − e 13 )
又由拟型心的定义可得 [ f ( e 23 ) , e 32 ] = [ e 23 , f ( e 32 ) ] ,所以通过比较系数可得:
k 11 = k 22 , k 31 = k 32 = k 51 = k 42 = 0
其他情况同理可得 k 11 = k 22 = k 33 = k 44 = k 55 = 0 , k 12 = k 13 = k 14 = k 15 = k 21 = k 23 = k 24 = k 25 = k 31 = k 32 = k 34 = k 35 = k 41 = k 42 = k 43 = k 45 = k 51 = k 52 = k 53 = k 43 = 0 。
定理4.1 若 o s p ( 1 , 2 ) 的型心是偶变换,则其在标准基上的矩阵为 c I 5 × 5 其中c为任意的复数。
证明:设 o s p ( 1 , 2 ) 的型心f是偶变换,则此时可同样用 o s p ( 1 , 2 ) 的基元素代替型心定义中的 x , y 。当 x = e 23 , y = e 32 时,由 [ x , y ] = x y − y x ,有:
f [ e 23 , e 32 ] = f [ e 23 × e 32 − e 32 × e 23 ] = f ( e 22 − e 33 ) = c ( e 22 − e 33 )
[ f ( e 23 ) , e 32 ] = k 11 ( e 22 − e 33 ) − 2 k 31 e 32 + k 51 ( e 12 − e 31 )
又由型心定义
f [ e 23 , e 32 ] = [ f ( e 23 ) , e 32 ]
所以 k 11 = c , k 31 = k 51 = 0 ,其他情况同理可得 k 22 = k 33 = k 44 = k 55 = c , k 12 = k 13 = k 14 = k 15 = k 21 = k 23 = k 24 = k 25 = k 32 = k 34 = k 35 = k 41 = k 42 = k 43 = k 45 = k 52 = k 53 = k 43 = 0 。
同理,根据f为奇变换定义运算可得型心矩阵。
定理4.2 若 o s p ( 1 , 2 ) 的型心是奇变换,则其在标准基上的矩阵为 0 5 × 5 矩阵。
衷心感谢审稿人提出的细致建议。
东北林业大学大学生创新训练项目(S202210225006);中央高校基本科研业务费专项资金资助(2572021BC02)。
董瑞林,张晓茹,郑克礼. 复正交李超代数osp(1,2)的拟型心与型心的矩阵表示Matrix Representation of Centroids and Quasi Centroids of the Complex Orthogonal Lie Superalgebras[J]. 理论数学, 2022, 12(09): 1487-1492. https://doi.org/10.12677/PM.2022.129162