A classification of nilpotent compatible Lie algebras

技术摘要：幂零相容李代数的分类

问题陈述
本文研究了在特征不为 2 的任意域上，幂零相容李代数的分类问题。相容李代数被定义为一个向量空间 $\mathfrak{g}$，配备了两个李括号 $[-,-]$ 和 $\{-,-\}$，使得任何线性组合 $\lambda[-,-] + \mu\{-,-\}$ 仍然是一个李括号。这一条件等价于满足“混合雅可比恒等式”。虽然相容李代数在经典杨-巴克斯特方程、可积系统和变形理论等诸多领域都有应用，但其完整的结构分类（特别是幂零情形）此前尚未建立，直至维度 4 为止。作者旨在通过将现有的分类技术扩展到这一特定的代数簇中，来填补这一空白。

方法论
作者将最初用于分类幂零李代数的 Skjelbred-Sund 方法推广到了具有两个乘积的代数情形。其核心方法依赖于以下理论框架：

1. 上同调理论： 利用文献 [15] 中引入的相容李代数上同调理论，作者通过 2-上圈（2-cocycles）定义了中心扩张。他们确定了任何有限维幂零相容李代数都可以通过从零维代数开始的一系列中心扩张来构造。
2. 中心扩张与容许性： 利用 $\omega \in Z^2(\mathfrak{g}, V)$ 构建由相容李代数 $\mathfrak{g}$ 通过向量空间 $V$ 构成的中心扩张 $\mathfrak{g}_\omega$。作者关注的是“全”中心扩张，即其中心恰好为 $V$。他们引入了“容许”上圈的概念，以确保扩张是全的，并且不包含“中心分量”（即形式为 $\mathfrak{i} \oplus Kx$ 的直和分量，其中 $x$ 是中心的）。
3. 同构判据： 本文证明了两个全中心扩张 $\mathfrak{g}_\omega$ 和 $\mathfrak{g}_\theta$ 同构，当且仅当它们对应的上圈在自同构群 $\text{Aut}(\mathfrak{g})$ 和一般线性群 $\text{GL}(V)$ 的作用下属于同一个轨道。具体而言，他们将分类问题简化为：确定第二上同调群 $H^2(\mathfrak{g}, K)$ 中的子空间在 $\text{Aut}(\mathfrak{g})$ 作用下的轨道。
4. 算法分类： 作者提出了一个归纳算法：
   • 从维度 $n-1$ 的幂零相容李代数的分类开始。
   • 对于列表中的每个代数 $\mathfrak{g}$，计算其中心、自同构群及其第二上同调群。
   • 识别容许上圈（即与中心交集为平凡的上圈）。
   • 计算 $\text{Aut}(\mathfrak{g})$ 在相关子空间 $H^2(\mathfrak{g}, K)$ 上作用的轨道。
   • 为每个轨道构造扩张，并添加带有中心分量（与 1 维中心进行直和）的代数。

主要贡献

• 对 Skjelbred-Sund 方法的扩展： 本文成功地将 Skjelbred-Sund 方法应用于相容李代数，证明了关于具有两个乘积的代数的中心扩张及同构判据的必要定理。
• 处理斜同构（Skew-Isomorphism）： 作者明确定义并区分了同构 ($\cong$) 与斜同构 ($\cong$，即两个括号互换) 的概念。他们提供了已分类代数之间斜同构关系的完整列表，并指出某些代数是自斜同构的，而另一些则成对出现。
• 显式分类： 作者提供了所有维度不超过 4 的幂零相容李代数的完整且显式的分类。

结果
分类针对基域 $K$（特征 $\neq 2$）进行。结果总结如下：

• 维度 1 和 2： 每个维度只有一个同构类，两者均为阿贝尔代数。
• 维度 3：
  • 共有 3 个同构类 和 1 个单参数族。
  • 这些类包括：阿贝尔代数；两个仅有一个括号非平凡的代数（在一个括号下同构于海森堡代数，在另一个括号下为阿贝尔代数）；以及一个两个括号均非平凡且成比例的族。
• 维度 4：
  • 共有 12 个同构类、6 个单参数族 和 1 个双参数族。
  • 分类包括带有中心分量的代数（低维代数的直和）以及非平凡扩张。
  • 同构类取决于域的性质。具体而言，对于涉及参数 $\beta$ 的族，代数 $NCL_{4,9}^\beta$ 与 $NCL_{4,14}^\beta$ 同构当且仅当其参数的比值在 $K$ 中存在立方根。
  • 如果基域是三次闭合的（即每个元素都有立方根），则不同同构类的数量会减少：单参数族会坍缩为单个类，双参数族则会减少为一个单参数族。

论文在第 4.5 节提供了一个综合表格，列出了所有维度不超过 4 的代数、它们的定义关系以及中心的维度。第 4.6 节详细说明了斜同构关系，显示列表中的许多代数与其他代数是斜同构的（例如 $NCL_{3,2} \cong NCL_{3,3}$），同时也有一些是自斜同构的。

意义
本文声称其意义在于提供了低维幂零相容李代数的首次完整分类。这项工作为这些在数学物理学（如双哈密顿结构和可积系统）中具有重要意义的代数的进一步结构分析奠定了基础。通过建立上同调机制和分类算法，作者为未来向更高维度及其他代数簇的扩展提供了可能。研究结果还阐明了两个李括号之间的关系，证明了相容性条件施加了特定的结构约束，从而使这些代数区别于简单的李代数对。