[論文レビュー] Lie structure of associative algebras containing matrix subalgebras

Alexander Baranov|arXiv (Cornell University)|May 24, 2018

Advanced Topics in Algebra参考文献 2被引用数 3

ひとこと要約

この論文は、半単純な行列部分代数 $S$ を含む結合代数 $A$ の交換子部分代数 $A^{(1)}$ が、$S$ の構造および体の特徴に関する弱い条件の下で完全であることを確立する。$A^{(1)}$ が完全であること、$A = A^{(1)}A^{(1)} + A^{(1)}$ を通じて $A$ を生成すること、および $S^{(1)}$ から導かれる特定の重み系に関する根付き順序付けを持つことを証明する。主な貢献は、行列部分代数を含む結合代数から生じるリー代数における完全性および根付き順序付けに関する先行研究の一般化である。

ABSTRACT

We prove that the Lie commutator subalgebra of the associative algebra containing a matrix subalgebra is perfect.

研究の動機と目的

• 結合代数 $A$ が半単純な行列部分代数 $S$ を含むとき、その交換子部分代数 $A^{(1)}$ が完全であるための条件を特定すること。
• $S$ に関する適切な $k$-完全性条件の下で、$A^{(1)}$ が $A = A^{(1)}A^{(1)} + A^{(1)}$ を満たすように $A$ を生成することを確立すること。
• $S^{(1)}$ の根および自然／余自然モジュールから導かれる特定の重み系に関して、$A^{(1)}$ が根付き順序付け可能であることを示すこと。
• 結合代数に行列代数を含むリー代数における完全性および根付き順序付けに関する先行結果を一般化すること。

提案手法

• $A$ の単位的包 $\hat{A}$ を用いて、$\hat{S}$ としての単位的半単純代数上で $A$ を双加群として分析し、$V_{ij} \otimes \Lambda_A(i,j)$ を通じて $A$ を $\hat{S}$-双加群成分に分解する。
• $V_{ij}$ の部分空間 $V'_{ij}$ を、$i$ 番目および $j$ 番目の対角ブロックにゼロトレースを持つ行列が張る空間として定義し、リー括弧演算と整合性を持つようにする。
• $(i,j) \neq (0,0)$ のすべての $V'_{ij} \otimes \Lambda_A(i,j)$ によって生成されるリー部分代数 $L$ を構成し、$L$ が完全であり、かつ $Q = [S,S]$ を含むことを証明する。
• トレースがゼロである行列の恒等式および双加群構造を用いて、分解内のすべての $X \otimes \lambda, Y \otimes \mu$ に対して $[X \otimes \lambda, Y \otimes \mu] \in L$ であることを証明する。
• $A = (SA + AS) \oplus A_0$ の分解と $V_{00} \otimes \Lambda_A(0,0)$ の構造を用い、$V'_{0i} \otimes \Lambda_A(0,i)$ および $V'_{i0} \otimes \Lambda_A(i,0)$ の積を通じて $A = LL + L$ を示す。
• $S^{(1)}$ の根および自然／余自然 $Q_i$-モジュールの重み $\lambda_i$ から導かれる重み $\lambda_i + \lambda_j$ によって、$A^{(1)}$ が根付き順序付け可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 半単純部分代数 $S$ および体の特徴に関するどのような条件下で、交換子部分代数 $A^{(1)}$ は完全であるか？
• RQ2 $A^{(1)}$ が $A = A^{(1)}A^{(1)} + A^{(1)}$ を満たすのはいつか？
• RQ3 リー代数 $A^{(1)}$ は、$S^{(1)}$ の表現論から導かれる根付き順序付け構造を備えられるか？
• RQ4 $S$ の $k$-完全性（$k=1$ または $k=4$）は、$A^{(1)}$ のリー理論的性質にどのように影響するか？
• RQ5 単位的包 $\hat{A}$ および $\hat{S}$-双加群分解は、$A^{(1)}$ のリー構造を分析する上で果たす役割は何か？

主な発見

• $A$ が $S$ を単位的イデアルとして生成するとき、$S$ が $1$-完全で $p \neq 2$ または $4$-完全で $p = 2$ であれば、交換子部分代数 $A^{(1)}$ は完全である。
• $A$ は $A = A^{(1)}A^{(1)} + A^{(1)}$ を満たし、これは $A^{(1)}$ がリー代数の意味で $A$ を両側イデアルとして生成することを意味する。
• リー代数 $A^{(1)}$ は $S^{(1)}$ によってイデアルとして生成され、その構造は $S^{(1)}$ の表現論によって完全に決定される。
• リー代数 $A^{(1)}$ は $\Gamma$-graded であり、ここで $\Gamma$ は $S^{(1)}$ の根およびすべての重み $\lambda_i + \lambda_j$（$i < j$）からなる。$\lambda_i$ は自然または余自然 $Q_i$-モジュールの重みである。
• $A$ が有限次元で、$4$-完全または $1$-完全かつ $p \neq 2$ であれば、$A^{(1)}$ は完全であり、$A = A^{(1)}A^{(1)} + A^{(1)}$ を満たす。
• 証明は、$A$ を $\hat{S}$-双加群成分 $V_{ij} \otimes \Lambda_A(i,j)$ に分解し、すべてのリー括弧 $[X \otimes \lambda, Y \otimes \mu]$ がトレースがゼロの成分 $V'_{ij} \otimes \Lambda_A(i,j)$ によって生成されるリー部分代数 $L$ に属することを示すことに依存する。