[论文解读] 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

一句话总结

本文研究广义矩阵代数上的李导子，通过提供充分条件，将Cheung在三角代数上的工作扩展至更广的广义矩阵代数类，使得李导子为正规的——即可以表示为导子与取值于中心的线性映射之和。主要贡献在于在模的忠实性与中心条件的前提下，对广义矩阵代数中的李导子性质进行了刻画，并将其应用于全矩阵代数和巴拿赫空间上有界算子代数。

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.

研究动机与目标

• 将Cheung在三角代数中关于李导子的研究结果推广至更广义的广义矩阵代数类。
• 确定广义矩阵代数上李导子为正规的充分条件，即其可分解为导子与取值于中心的映射之和。
• 通过将含非平凡幂等元的单代数进行Peirce分解为广义矩阵代数，研究其李导子性质。
• 在维数大于2的巴拿赫空间上，建立全矩阵代数 M_n(A) 与有界算子代数 B(X) 的李导子性质。
• 阐明模的忠实性与中心条件在确保广义矩阵代数中李导子正规性中的作用。

提出的方法

• 利用由Morita上下文导出的广义矩阵代数结构，其形式为 G = [[A, M], [N, B]]，其中模同态满足交换图。
• 应用含非平凡幂等元 p 的单代数的Peirce分解，将其表示为块为 pAp、pAq、qAp、qAq 的广义矩阵代数。
• 采用 A 和 B 上模 M 和 N 的忠实性概念，确保其零化子为平凡，这对中心同构与导子正规性至关重要。
• 对角代数的中心施加条件：π_A(Z(G)) = Z(A) 与 π_B(Z(G)) = Z(B)，以确保与全代数中心的兼容性。
• 应用定理3.4，将李导子正规性推广至含非平凡幂等元的代数，从而导出在三个关键条件下成立的推论4.3。
• 利用 B(X) 满足所有条件（中心兼容性、无非零中心理想、模忠实）的事实，通过推论4.4得出其具有李导子性质。

实验结果

研究问题

• RQ1 在何种条件下，广义矩阵代数上的每个李导子都是正规的？
• RQ2 广义矩阵代数中模 M 和 N 的忠实性如何影响李导子的正规性？
• RQ3 角代数 A 和 B 需满足何种条件，才能使广义矩阵代数具有李导子性质？
• RQ4 在维数大于2的巴拿赫空间上，有界算子代数 B(X) 是否满足李导子性质？
• RQ5 在与广义矩阵代数框架下相同的条件下，是否可为 n ≥ 3 的全矩阵代数 M_n(A) 建立李导子性质？

主要发现

• 若广义矩阵代数 G 的模 M 和 N 忠实，且满足 π_A(Z(G)) = Z(A) 与 π_B(Z(G)) = Z(B)，且角代数 A 或 B 无非零中心理想，则 G 具有李导子性质。
• 在维数大于2的巴拿赫空间 X 上，有界算子代数 B(X) 具有李导子性质，因其满足推论4.3中的所有条件。
• 对于全矩阵代数 M_n(A)，当 n ≥ 3 且 A 为2-挠自由单代数时，李导子性质成立，原因在于角代数 qAq = M_{n-1}(A) 无非零中心理想。
• 该结果扩展了Du与Wang [5] 的工作，并改进了 [13, 定理2.1] 与 [1, 定理5.3] 在 n=2 时的结果。
• 本文提供了广义矩阵代数中李导子正规性的直接证明，避免使用非线性映射或在零点可导映射。
• 构造了一个例子，表明即使推论4.1的标准条件 (I) 与 (II) 不成立，李导子性质仍可成立，说明这些条件是充分而非必要的。