$δ$-Leibniz algebras and related $δ$-type algebras

这是一份关于论文《δ-Leibniz 代数及相关δ型代数》（δ-Leibniz algebras and related δ-type algebras）的详细技术总结。

1. 研究背景与问题 (Problem)

背景：

• Leibniz 代数：作为李代数的非交换推广，由 Loday 在 20 世纪 90 年代普及，其核心性质是右乘法算子是导子。
• Anti-Leibniz 代数：近期由 Braiek 等人引入，通过将“导子”概念替换为“反导子”（即 $(-1)$-导子）而得到，是 Jacobi-Jordan（或称 mock-Lie）代数的非交换推广。
• $\delta$-导子：Filippov 引入了$\delta$-导子的概念，即满足 $\phi(xy) = \delta(\phi(x)y + x\phi(y))$ 的线性映射。当 $\delta=1$ 时为导子，$\delta=-1$ 时为反导子。

核心问题：
现有的研究分别处理了 Leibniz 代数（$\delta=1$）和 Anti-Leibniz 代数（$\delta=-1$），以及相关的 Zinbiel、Poisson 等结构。然而，缺乏一个统一的框架来同时涵盖这些结构及其连续变形。
本文旨在引入并系统研究 $\delta$-Leibniz 代数，即通过$\delta$-导子概念对 Leibniz 和 Anti-Leibniz 代数进行参数化统一推广，并探讨由此衍生出的$\delta$-Lie 代数、$\delta$-Lie 双代数、$\delta$-Zinbiel 代数以及对称$\delta$-Leibniz 可容许代数的结构性质。

2. 方法论 (Methodology)

本文采用了以下主要数学工具和方法：

• 参数化定义：引入复数参数 $\delta$，定义满足特定恒等式的代数结构（如 $\delta$-Leibniz 恒等式 $(xy)z = \delta((xz)y + x(yz))$）。
• Kolesnikov-Pozhidaev (KP) 算法：用于从单一乘法结构构造双代数（dialgebra）的恒等式，从而定义 $\delta$-Lie 双代数。
• Koszul 对偶理论：通过计算自由代数的对偶算子（operad），建立 $\delta$-Leibniz 代数与 $\delta$-Zinbiel 代数之间的对偶关系。
• 分类与构造：对低维（2 维和 3 维）代数进行显式分类，利用基向量乘法表展示具体结构。
• 恒等式推导与归纳：通过代数恒等式的变换，证明幂结合性（power-associativity）、幂零性（nilpotency）以及可解性（solvability）。
• 算子理论：利用左/右乘法算子的特征值性质分析代数的结构（如 annihilator 子代数）。

3. 主要贡献与关键结果 (Key Contributions & Results)

3.1 $\delta$-Lie 代数与 $\delta$-Lie 双代数

• 定义：定义了满足 $(xy)z = \delta((xz)y + x(yz))$ 的反交换代数。
• 结构性质：
  • 当 $\delta \neq 1$ 时，$\delta$-Lie 代数是反结合的（antiassociative）。
  • 当 $\delta \neq -1/2$ 且 $\delta \neq 1$ 时，$\delta$-Lie 代数是 2-步幂零 的。
  • 当 $\delta = -1/2$ 时，$\delta$-Lie 代数等价于 反结合且反右交换 的代数。
• $\delta$-Lie 双代数：证明了当 $\delta \neq -1/2$ 时，$\delta$-Lie 双代数同构于 2-步幂零代数；当 $\delta = -1/2$ 时，同构于反结合反右交换代数。
• 自由代数基：构造了由集合 $X$ 生成的自由反结合反右交换代数的基，并确定了其 Koszul 对偶算子满足“反右交替”（anti-right-alternative）恒等式。

3.2 $\delta$-Leibniz 代数

• 定义：满足 $(xy)z = \delta((xz)y + x(yz))$ 的代数。
• Anti-Leibniz 代数 ($\delta=-1$)：
  • 证明了 不存在单 Anti-Leibniz 代数。
  • 证明了对称 Anti-Leibniz 代数是 Jacobi-Jordan 代数的中心扩张。
• 分类：给出了 2 维 $\delta$-Leibniz 代数 的完整分类（修正了前人关于 Anti-Leibniz 代数的错误分类）。
• 幂零性：
  • 若 $\delta \notin \{0, 1\}$，则 $n$ 维 $\delta$-Leibniz 代数的幂零指数不超过 $n$。
  • 证明了 $\delta$-结合代数（$\delta$-associative algebras）是 3-步幂零 的。
• 可容许性：
  • 刻画了 Lie-可容许（Lie-admissible）$\delta$-Leibniz 代数的恒等式（首次由 Malcev 在 1950 年发现）。
  • 证明了每个 $\delta$-Leibniz 代数都是 保守代数（conservative algebra，Kantor 1972 定义）。
• 对称 $\delta$-Leibniz 代数：
  • 若 $\delta \neq 1/2$，则是对称幂零的（幂零指数为 3）。
  • 若 $\delta = 1/2$，则是幂结合的。

3.3 $\delta$-Zinbiel 代数

• 对偶性：将 $\delta$-Zinbiel 代数定义为 $\delta$-Leibniz 代数的 Koszul 对偶，满足 $x(yz) = \delta((xy)z - x(zy))$。
• 分类与性质：
  • 给出了 2 维 $\delta$-Zinbiel 代数的分类。
  • 证明了 $n$ 维 $\delta$-Zinbiel 代数的幂零指数不超过 $n+1$（当 $\delta = -1$ 且代数由一个元素生成时取等号）。
• Anti-Zinbiel 代数 ($\delta=-1$)：
  • 证明了每个有限维 Anti-Zinbiel 代数是 可解 的。
  • 进一步证明了每个有限维 Anti-Zinbiel 代数是 幂零 的（这是 Zinbiel 代数理论中著名结果的类比）。

3.4 对称 $\delta$-Leibniz 可容许代数与 $\delta$-双导子型代数

• 定义：若 $(A, [\cdot, \cdot]_\delta)$ 是对称 $\delta$-Leibniz 代数，则 $A$ 称为对称 $\delta$-Leibniz 可容许代数。
• $\delta$-双导子型代数 ($\delta$BD)：定义为左、右乘法算子均为 $\delta$-导子的代数。
• 主要定理：
  • 若 $\delta \notin \{\pm 1, 1/2\}$，则对称 $\delta$-Leibniz 可容许代数是 幂零指数为 3 的幂零代数。
  • 若 $\delta = 1/2$，则是幂结合代数。
  • 每个 $\delta$BD 代数（$\delta \neq 1$）都是幂零指数为 3 的幂零代数。
• 低维分类：给出了 2 维和 3 维对称 $\delta$-Leibniz 可容许代数及 $\delta$BD 代数的具体分类表。

4. 意义与影响 (Significance)

1. 统一框架：本文成功构建了一个基于参数 $\delta$ 的统一框架，将经典的 Leibniz 代数、Anti-Leibniz 代数、Zinbiel 代数以及它们的变体纳入同一理论体系。这使得研究者可以通过调整 $\delta$ 值来观察代数性质的连续变形。
2. 结构理论深化：
   • 解决了 Anti-Leibniz 代数分类中的错误。
   • 证明了 Anti-Zinbiel 代数的幂零性，填补了该领域的理论空白。
   • 揭示了 $\delta$-Leibniz 代数与保守代数、Jacobi-Jordan 代数之间的深刻联系。
3. 应用潜力：
   • 这些代数结构在数学物理（如共形代数、双代数）和非交换几何中具有重要应用。
   • 对 $\delta$-双导子型代数的研究连接了传统的“双导子型”和“反双导子型”代数，为相关领域的分类提供了新视角。
4. 计算与分类：提供了详尽的低维分类结果，为后续研究具体实例和构造反例提供了基础数据。

总结

该论文通过引入 $\delta$-参数，系统地推广了 Leibniz 及其相关代数的理论。它不仅证明了在特定 $\delta$ 值下代数的幂零性和结构限制（如 2-步或 3-步幂零），还建立了不同代数类之间的对偶关系（如 $\delta$-Leibniz 与 $\delta$-Zinbiel）。这项工作为非结合代数领域的分类和结构理论提供了重要的统一视角和新的技术工具。