Module-Valued 2-Local Derivations on Reductive Lie Algebras

技术摘要：还原李代数上的模值 2-局部导子

问题陈述
本文研究了从有限维还原李代数 $\mathfrak{g}$ 到任意有限维 $\mathfrak{g}$-模 $V$ 的 2-局部导子的分类。一个映射 $\Delta: \mathfrak{g} \to V$ 被定义为 2-局部导子，如果对于每一对元素 $x, y \in \mathfrak{g}$，都存在一个真正的导子 $D_{x,y}: \mathfrak{g} \to V$，使得 $\Delta(x) = D_{x,y}(x)$ 且 $\Delta(y) = D_{x,y}(y)$。核心问题在于，每一个这样的 2-局部导子是否必然是一个线性导子，或者是否存在非线性的“例外”映射。

作者基于前人的工作：Šemrl 对 2-局部导子的引入 [3]；关于有限维半单李代数上的 2-局部导子均为导子的证明 [1]；以及针对简单 $\mathfrak{sl}_2(\mathbb{C})$-模的模值形式化研究 [4]。

方法论
证明策略通过对还原李代数 $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$ 进行分解来进行，其中 $\mathfrak{s} = [\mathfrak{g}, \mathfrak{g}]$ 是半单部分，$\mathfrak{z} = Z(\mathfrak{g})$ 是中心。分析分为两个主要部分：

1. 半单情形 ($\mathfrak{g} = \mathfrak{s}$):

   • 归约： 利用完全可约性以及导子在模的零化子上消失的事实，将问题归约为 $V$ 为不可约、非平凡且忠实的 $\mathfrak{s}$-模的情形。
   • 仿射实现器 (Affine Realizers)： 作者利用了对于 2-局部导子 $\Delta$，集合 $R_x(\Delta) = \{v \in V : xv = \Delta(x)\}$ 是一个非空仿射空间这一事实。这些空间的交集决定了是否存在一个全局向量 $v$ 使得 $\Delta = D_v$。
   • 代数几何与群作用： 证明采用了由 $\mathfrak{s}$ 相关的单连通代数群 $G$ 的表示。通过利用 Cartan 子代数中的 $V$-正则元素，以及 $\exp_G(E)$ 和 $\exp_G(F)$ 的作用（其中 $E, F$ 是根向量之和），作者确立了某些子空间的和是直和。
   • 半单元素： 命题 3.2 表明，任何 2-局部导子在所有半单元素 $\mathfrak{g}$ 上都与内导子 $D_v$ 一致。
   • 幂零元素： 对于非半单元素 $x = s + e$，作者利用 Jacobson–Morozov 定理将幂零部分 $e$ 嵌入到一个 $\mathfrak{sl}_2$-三元组中。通过涉及半单算子和 $\mathfrak{sl}_2$-模的技术引理（引理 4.1），作者证明了只要导子在半单元素上消失，2-局部条件就会迫使它在幂零部分上也消失。

2. 还原情形 ($\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$):

   • 模的分解： 将模 $V$ 分解为 $sV \oplus V^s$。
   • 阿贝尔分量： 使用引理 5.1 对中心 $\mathfrak{z}$ 上的行为进行分析，该引理对交换李代数上的 2-局部导子进行了分类。它确立了此类映射是线性导子与进入固定点集 $M^{\mathfrak{a}}$ 的齐次映射之和。
   • 综合： 将 $\mathfrak{g}$ 上半单部分的结论（即内导子）与阿贝尔部分的结论结合起来，以刻画完整的 2-局部导子集合。

关键贡献与结果

• 定理 1.1 (半单情形)： 从有限维半单李代数 $\mathfrak{s}$ 到有限维 $\mathfrak{s}$-模 $V$ 的每个 2-局部导子都是导子。这将其从简单代数推广到了带有任意模的半单情形。
• 定理 1.2 (还原分类)： 对于还原李代数 $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$，2-局部导子的集合由下式给出：
  $$2\text{LocDer}(\mathfrak{g}, V) = \text{Der}(\mathfrak{g}, V) + \{H \circ \text{pr}_{\mathfrak{z}} : H \in \text{Homog}(\mathfrak{z}, V^{\mathfrak{g}})\}$$
  其中 $\text{Homog}$ 表示齐次映射。这意味着每个 2-局部导子 $\Delta$ 都可以表示为：
  $$\Delta(s + z) = (s + z)u + f(z) + H(z)$$
  其中 $u \in V^{\mathfrak{s}}$，$f$ 是从 $\mathfrak{z}$ 到 $V^{\mathfrak{s}}$ 的线性导子，$H$ 是从 $\mathfrak{z}$ 到 $V^{\mathfrak{g}}$ 的齐次映射。
• 推论 1.3 (线性化条件)： 一个 2-局部导子是导子的充要条件是 $\dim \mathfrak{z} \le 1$ 或 $V^{\mathfrak{g}} = 0$。
  • 如果 $\dim \mathfrak{z} \ge 2$ 且 $V^{\mathfrak{g}} \neq 0$，则存在非线性的齐次映射作为例外 2-局部导子。
  • 如果 $V$ 是完全可约的，形式简化为 $\Delta(s+z) = (s+z)v + H(z)$。

意义
论文声称其结论提供了一个“李-模类比的非线性 Gleason–Kahane–Żelazko 原理”。从概念上讲，它证明了在还原李代数的背景下，“两点实现性”（作为 2-局部导子）足以强制存在一个“全局实现器”（单个导子），除非在涉及代数中心和模不变性的特定情况中。这项工作扩展了对李代数上同调和模论中局部到全局性质的理解，特别是在确定导致非线性 2-局部导子出现的精确结构条件（中心维度和不变元的存在性）方面。