[論文レビュー] More on Lie Derivations of Generalized Matrix Algebras

Amir Hosein Mokhtari, Hamid Reza Ebrahimi Vishki|arXiv (Cornell University)|May 10, 2015

Advanced Topics in Algebra参考文献 7被引用数 5

ひとこと要約

この論文は、一般化された行列代数におけるリー微分の性質を調査し、チエンの三角代数に関する結果を拡張する。リー微分が正規である—つまり、微分と中心値線形写像の和として表現可能である—ための十分条件を提示する。主な貢献は、モジュールの忠実性と中心条件を含む条件下で、一般化された行列代数におけるリー微分性の特徴付けであり、全行列代数とバナッハ空間上の有界作用素代数への応用を含む。

ABSTRACT

Motivated by the Cheung's elaborate work [Linear Multilinear Algebra, 51 (2003), 299-310], we investigate the construction of a Lie derivation on a generalized matrix algebra and apply it to give a characterization for such a Lie derivation to be proper. Our approach not only provides a direct proof for some known results in the theory, but also it presents several sufficient conditions assuring the properness of Lie derivations on certain generalized matrix algebras.

研究の動機と目的

• 三角代数におけるリー微分に関するチエンの結果を、より広いクラスの一般化された行列代数へと拡張すること。
• 一般化された行列代数上のリー微分が正規である—つまり、微分と中心値写像の和に分解可能である—ための十分条件を同定すること。
• 非自明なイデムポテンの存在を有する単位的代数のリー微分性を、ペアス分解を用いて一般化された行列代数に還元することで調査すること。
• 次元 >2 のバナッハ空間 X 上の全行列代数 M_n(A) および有界作用素代数 B(X) に対して、リー微分性を確立すること。
• モジュールの忠実性と中心条件が、一般化された行列代数におけるリー微分の正規性を保証する役割を明確にすること。

提案手法

• モラータ・コンテキストから導かれる一般化された行列代数の構造を用いる。G = [[A, M], [N, B]] と定義され、可換図式を満たすモジュール準同型が関与する。
• 非自明なイデムポテン p を持つ単位的代数のペアス分解を適用し、pAp, pAq, qAp, qAq のブロックを持つ一般化された行列代数として表現する。
• A および B 上でのモジュール M および N の忠実性の概念を用いる。これは、アニュレーターが自明であること（中心同型および微分の正規性に不可欠）を保証する。
• コーナー代数の中心に対する条件を課す：π_A(Z(G)) = Z(A) および π_B(Z(G)) = Z(B)。これにより、全代数の中心と整合性が保証される。
• 定理 3.4 を適用して、非自明なイデムポテンを持つ代数へのリー微分の正規性の一般化を達成し、3 つの主要条件を満たす場合のリー微分性に関する系 4.3 を得る。
• B(X) が要求される条件（中心の整合性、非零中心イデアルの不在、忠実なモジュール）を満たすことを用いて、系 4.4 を適用し、B(X) がリー微分性を有することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 一般化された行列代数上でのすべてのリー微分が正規であるための条件は何か？
• RQ2 一般化された行列代数におけるモジュール M および N の忠実性が、リー微分の正規性に与える影響は何か？
• RQ3 コーナー代数 A および B にどのような条件を課すと、一般化された行列代数がリー微分性を有するようになるか？
• RQ4 次元 >2 のバナッハ空間 X 上の有界作用素代数 B(X) は、リー微分性を満たすか？
• RQ5 n ≥ 3 の場合の全行列代数 M_n(A) について、一般化された行列代数フレームワークと同一の条件下でリー微分性を確立できるか？

主な発見

• モジュール M および N が忠実で、π_A(Z(G)) = Z(A) および π_B(Z(G)) = Z(B) を満たし、かつコーナー代数 A または B に非零中心イデアルが存在しない場合、一般化された行列代数 G はリー微分性を有する。
• 次元 dim(X) > 2 のバナッハ空間 X 上の有界作用素代数 B(X) は、系 4.3 のすべての条件を満たすため、リー微分性を有する。
• n ≥ 3 で、A が 2- torsion free な単位的代数である全行列代数 M_n(A) については、コーナー代数 qAq = M_{n-1}(A) に非零中心イデアルが存在しないことから、リー微分性が成立する。
• 本研究は、トウとワン[5]の先行研究を拡張し、[13, 定理 2.1] および [1, 定理 5.3] の n=2 の場合の結果を改善する。
• 非線形写像やゼロにおける微分可能写像を用いずに、一般化された行列代数におけるリー微分の正規性を直接証明する。
• 標準的条件 (I) および (II) が成り立たない例を構成し、条件が十分であるが必要ではないことを示している。