[论文解读] Strongly nondegenerate Lie algebras

Francesc Perera, Mercedes Siles Molina|ArXiv.org|Feb 12, 2008

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

一句话总结

该论文证明了，对于满足2-和3-挠性自由条件的半素非交换结合代数 $A$，其导子的李代数 $\text{Der}(A)$ 在中心条件较弱时是强非退化的。关键结果表明，$\text{Der}(A)/I_Z$ 是强非退化的，其中 $I_Z$ 衡量将 $A$ 映射到其中心的导子；该结果可推广至 $*$-半素代数及保持对合的导子的李代数 $\text{SDer}(A)$。

ABSTRACT

Let $A$ be a semiprime 2 and 3-torsion free non-commutative associative algebra. We show that the Lie algebra $\der(A)$ of (associative) derivations of $A$ is strongly non-degenerate, which is a strong form of semiprimeness for Lie algebras, under some additional restrictions on the center of $A$. This result follows from a description of the quadratic annihilator of a general Lie algebra inside appropriate Lie overalgebras. Similar results are obtained for an associative algebra $A$ with involution and the Lie algebra $\sder(A)$ of involution preserving derivations of $A$.

研究动机与目标

• 建立半素结合代数 $A$ 的导子李代数 $\text{Der}(A)$ 的强非退化性，其中 $A$ 满足2-和3-挠性自由条件。
• 将结果推广至具有对合的结合代数，重点研究保持对合的导子的李代数 $\text{SDer}(A)$。
• 通过 $I_Z$ 理想刻画强非退化性的障碍，其中 $I_Z$ 是将 $A$ 映射到其中心 $Z(A)$ 的导子集合。
• 证明 $\text{Der}(A)/I_Z$ 是强非退化的，且当 $Z(A)$ 不包含非零结合理想时 $I_Z = 0$。
• 在次数和对合类型条件下，将结果推广至 $*$-半素代数。

提出的方法

• 引入二次消去子 $\text{QAnn}_Q(L) = \{ q \notin Q \mid [q, [q, L]] = 0 \}$ 作为分析李代数退化性的关键工具。
• 利用定理2.1，将子代数 $L$ 在弱商代数 $Q$ 中的二次消去子与 $L$ 本身的消去子联系起来。
• 应用命题2.3(ii)，证明若李代数 $L$ 包含一个本质的强非退化理想，则 $L$ 本身也是强非退化的。
• 识别 $\text{Inn}(A) \backsimeq A/Z(A)$ 作为 $\text{Der}(A)$ 中的一个候选本质理想，在较弱假设下该理想是强非退化的。
• 分析理想 $I_Z = \{ \nabla \notin \text{Der}(A) \mid \nabla(A) \not\to Z(A) \}$，以衡量 $\text{Inn}(A)$ 在 $\text{Der}(A)$ 中本质性的失败。
• 应用 $*$-代数理论中的结果——特别是 [2, 引理5.4] 和 [1, 定理2.13]——在次数和对合类型约束下处理 $*$-半素情形。

实验结果

研究问题

• RQ1 在何种条件下，半素结合代数 $A$ 的导子李代数 $\text{Der}(A)$ 是强非退化的？
• RQ2 中心 $Z(A)$ 如何影响 $\text{Der}(A)$ 的结构，特别是通过将 $A$ 映射到 $Z(A)$ 的导子理想 $I_Z$ 的影响？
• RQ3 在模 $I_Z$ 下，$\text{Der}(A)$ 的强非退化性是否可以保持或恢复？
• RQ4 在 $*$-半素情形下，对合和 $A/I$ 的次数满足何种条件可保证 $\text{SDer}(A)$ 的强非退化性？
• RQ5 当 $Z(K)$ 不包含非零 $\nabla$-理想时，商 $\text{SDer}(A)/I_{K,Z}$ 是否强非退化？

主要发现

• 当 $A$ 是素代数且满足2-和3-挠性自由时，$\text{Der}(A)$ 是强非退化的，因为此时 $I_Z = 0$。
• 对于一般的半素 $A$，商 $\text{Der}(A)/I_Z$ 是强非退化的，其中 $I_Z$ 由将 $A$ 映射到 $Z(A)$ 的导子构成。
• $\text{Inn}(A) \backsimeq A/Z(A)$ 在 $\text{Der}(A)/I_Z$ 中是本质的，且在 $Z(A)$ 的较弱假设下是强非退化的。
• 在 $*$-半素情形下，若对每个 $\nabla$-素理想 $I$ 都有 $\text{deg}(A/I) > 2$，则 $\text{SDer}(A)/I_{K,Z}$ 是强非退化的。
• 若 $A$ 是 $\nabla$-素代数，则 $I_{K,Z} = 0$，因此在相同的次数和对合类型条件下，$\text{SDer}(A)$ 本身是强非退化的。
• 证明依赖于二次消去子技术，避免使用 Kostrikin 原根方法，为 Zelmanov 关于强非退化性的结果提供了一种基于元素的替代证明。