[论文解读] Generalized Derivations of Lie triple systems

Jia Zhou, Liangyun Chen+1 more|arXiv (Cornell University)|Dec 25, 2014

Advanced Topics in Algebra被引用 3

一句话总结

本文将李代数中的导子、拟导子和广义导子理论推广至李三元系统。它建立了导子代数的层级结构，刻画了拟导子代数等于全自同态代数的李三元系统，构造了一个更大的李三元系统，使得拟导子可嵌入为导子，并在中心平凡时实现半直和分解。

ABSTRACT

In this paper, we present some basic properties concerning the derivation algebra ${ m Der}(T)$, the quasiderivation algebra ${ m QDer}(T)$ and the generalized derivation algebra ${ m GDer}(T)$ of a Lie triple system $T$, with the relationship ${ m Der}(T)\subseteq { m QDer}(T)\subseteq { m GDer}(T)\subseteq { m End}(T)$. Furthermore, we completely determine those Lie triple systems $T$ with condition ${ m QDer}(T)={ m End}(T)$. We also show that the quasiderivations of $T$ can be embedded as derivations in a larger Lie triple system.

研究动机与目标

• 将广义导子理论从李代数推广至李三元系统。
• 刻画拟导子代数等于全自同态代数的李三元系统。
• 将李三元系统的拟导子嵌入为更大代数结构中的导子。
• 分析扩展系统导子代数的结构，特别是当中心平凡时的情形。

提出的方法

• 在李三元系统的语境下定义导子、拟导子、广义导子、中心化子与拟中心化子。
• 建立包含链：中心导子 ⊆ 导子 ⊆ 拟导子 ⊆ 广义导子 ⊆ 自同态。
• 利用多项式环的分次张量积构造新的李三元系统 $\breve{T} = Tt \oplus Ut^3 \oplus [T,T,T]t^3$。
• 定义映射 $\varphi: \mathrm{QDer}(T) \to \mathrm{End}(\breve{T})$，将拟导子提升为 $\breve{T}$ 上的线性映射。
• 证明 $\varphi$ 是单射，且对所有 $D \in \mathrm{QDer}(T)$ 有 $\varphi(D) \in \mathrm{Der}(\breve{T})$。
• 证明当 $\mathrm{Z}(T) = \{0\}$ 时，$\breve{T}$ 的导子代数可分解为半直和：$\mathrm{Der}(\breve{T}) = \varphi(\mathrm{QDer}(T)) \dotplus \mathrm{ZDer}(\breve{T})$。

实验结果

研究问题

• RQ1 哪些李三元系统满足 $\mathrm{QDer}(T) = \mathrm{End}(T)$？
• RQ2 李三元系统的拟导子能否被嵌入为更大代数结构中的导子？
• RQ3 扩展的李三元系统 $\breve{T}$ 的导子代数具有何种结构？
• RQ4 $T$ 的中心如何影响 $\mathrm{Der}(\breve{T})$ 的分解？
• RQ5 李三元系统中广义导子、拟导子与中心化子之间的关系为何？

主要发现

• 本文完全刻画了满足 $\mathrm{QDer}(T) = \mathrm{End}(T)$ 的李三元系统，包括所有二维单李三元系统以及所有交换李三元系统。
• 映射 $\varphi: \mathrm{QDer}(T) \to \mathrm{End}(\breve{T})$ 是单射，且将拟导子映射至 $\mathrm{Der}(\breve{T})$，从而确立了拟导子在 $\breve{T}$ 中作为导子的嵌入。
• 对任意李三元系统 $T$，其拟导子可被嵌入为扩展李三元系统 $\breve{T} = Tt \oplus Ut^3 \oplus [T,T,T]t^3$ 中的导子，其中 $U$ 是 $[T,T,T]$ 的补空间。
• 当 $\mathrm{Z}(T) = \{0\}$ 时，$\breve{T}$ 的导子代数具有半直和分解：$\mathrm{Der}(\breve{T}) = \varphi(\mathrm{QDer}(T)) \dotplus \mathrm{ZDer}(\breve{T})$。
• 该构造确保 $\varphi(D)$ 不依赖于拟导子条件中 $D'$ 的选择，从而使嵌入定义良好。
• 扩展系统 $\breve{T}$ 关于三元积是封闭的，并满足李三元系统的公理，从而确认了构造的有效性。