On Lie-holomorphs of Leibniz algebras

技术摘要：关于 Leibniz 代数的 Lie-Holomorph（Lie-全纯代数）

问题陈述
本文探讨了将经典的 Lie 代数全纯构造推广到更广泛的 Leibniz 代数范畴的问题。虽然 Lie 代数 $L$ 的全纯代数可以很好地定义为半直积 $L \rtimes \text{Der}(L)$，但将此扩展到 Leibniz 代数在结构上存在挑战。以往的尝试（例如 Boyle, Misra 和 Stitzinger 的定义）未能将原始代数 $L$ 作为全纯代数中的理想嵌入，且当 $L$ 为 Lie 代数时，无法恢复经典的 Lie 代数构造。作者采用了由 N. P. Souris 引入的“Lie-holomorph”定义，该定义将导数部分限制在特定的“Lie-导数”子代数 $\text{Der}_{\text{Lie}}(L)$ 中。核心问题在于理解这一构造的结构性质，特别是它与 biderivations（双导数）Leibniz 代数之间的关系，并对低维非 Lie Leibniz 代数进行完整的分类。

研究方法
作者结合了结构代数理论与显式分类技术：

1. 结构分析： 本文建立了 Lie-holomorph $\text{hol}_{\text{Lie}}(L)$ 与 J.-L. Loday 定义的 biderivations Leibniz 代数 $\text{Bider}(L)$ 之间的理论联系。这涉及分析线性自同态在何时能同时作为导数（derivation）和反导数（anti-derivation）起作用。
2. Lie-导数的特征化： 作者证明了一个线性映射 $d$ 是 Lie-导数（即 $d \in \text{Der}_{\text{Lie}}(L)$）当且仅当它是反导数。这种等价性使得可以将 $\text{Der}_{\text{Lie}}(L)$ 识别为 $\text{Der}(L) \cap \text{ADer}(L)$。
3. 通过 Biderivations 进行分类： 利用现有的低维 Leibniz 代数 biderivations 分类结果（特别参考文献 [25]），作者计算了所有 2 维和 3 维非 Lie Leibniz 代数的特定理想 $\text{Der}_{\text{Lie}}(L)$。
4. 显式构造： 对于每个识别出的代数，作者构造其 Lie-holomorph 为半直积 $L \rtimes \text{Der}_{\text{Lie}}(L)$，并确定其得到的括号结构、维度以及同构类。

主要贡献与结果

• 理论联系： 本文证明了 Lie-holomorph 构造与 biderivation 代数有着本质的联系。具体而言，定理 3.7 确立了线性映射 $d \in \text{Der}(L)$ 的以下三个条件是等价的：

  1. $d \in \text{Der}_{\text{Lie}}(L)$（$d$ 的像位于 Lie-center 中）。
  2. $d$ 是一个反导数（$d \in \text{ADer}(L)$）。
  3. 序对 $(d, d)$ 在 $\text{Bider}(L)$ 中构成一个 biderivation。
     因此，$\text{Der}_{\text{Lie}}(L) = \{ d \in \text{Der}(L) \mid (d, d) \in \text{Bider}(L) \}$。

• 对称性质： 作者证明，如果 $\text{Der}_{\text{Lie}}(L) = \text{Der}(L)$，则 Leibniz 代数 $L$ 必须是对称的（同时满足左和右 Leibniz 恒等式）。然而，其逆命题并不成立，作者通过涉及 4 维 Dieudonné 代数的反例证明了这一点。

• 低维分类： 主要结果是完成了对所有维度 $\leq 3$ 且在特征 $\neq 2$ 的域上的非 Lie Leibniz 代数的 Lie-holomorph 的完整分类。

  • 2 维： 幂零对称代数 $L_A$ 的 Lie-holomorph 是一个 3 维幂零 Leibniz 代数，同构于 $L_6(1/4)$。可解代数 $L_B$ 的 Lie-holomorph 与其自身同构（因为 $\text{Der}_{\text{Lie}}(L_B) = 0$）。
  • 3 维： 作者分析了 13 个不同的非 Lie 同构类（$L_1$ 到 $L_{13}$）。
    • 对于若干代数（如 $L_1, L_8, L_{11}$），其 Lie-holomorph 与原代数同构，因为 $\text{Der}_{\text{Lie}}(L) = 0$。
    • 对于其他代数，其 Lie-holomorph 会增加维度，范围从 4 到 6 不等。
    • 识别了特定的同构关系：$\text{hol}_{\text{Lie}}(L_{12})$ 同构于代数 $R_5$（来自 [1]），而 $\text{hol}_{\text{Lie}}(L_{13})$ 同构于 $L_{39}$（来自 [11]）。
    • 文中根据幂零性、导出子代数维度以及 Lie-center 维度等性质区分了同构类。例如，$\text{hol}_{\text{Lie}}(L_2(\alpha))$ 在 5 维情形中是唯一的，因为它具有 3 维的导出子代数。
    • 文中指出了一种条件同构关系：$\text{hol}_{\text{Lie}}(L_4) \cong \text{hol}_{\text{Lie}}(L_7)$ 当且仅当 $-1$在底层域$F$ 中是平方数。

意义
本文声称通过解决 Leibniz 代数中定义全纯代数的歧义来体现其重要性。通过采用 Souris 的定义，作者确保了该构造：

1. 将原始 Leibniz 代数 $L$ 嵌入为全纯代数中的一个理想。
2. 当 $L$ 为 Lie 代数时，能够恢复经典的 Lie 代数全纯代数。
3. 为通过其 biderivations 研究 Leibniz 代数的结构提供了一个具体的框架。

对低维情形的分类是一个基础性的步骤，提供了直到 3 维的非同构 Lie-holomorph 的完整列表。这项工作弥合了抽象的 action representable 范畴理论（其中 Leibniz 代数并非完全是 action representable 的）与具体的代数计算之间的鸿沟，并利用“弱 action representable”范畴的概念来证明使用 biderivations 作为作用对象的合理性。