The algebraic and geometric classification of right alternative superalgebras

技术摘要：右备选超代数的代数与几何分类

问题陈述
本文研究了复数域 $\mathbb{C}$ 上 3 维右备选超代数的分类问题。这项工作将非结合代数（由多项式恒等式定义）的经典代数分类问题（在同构意义下）扩展到了超代数领域。具体而言，作者旨在对类型为 $(1,2)$ 和 $(2,1)$ 的所有非平凡 3 维右备选超代数进行分类，其中偶部维度分别为 1 或 2。此外，本研究试图提供这些簇的几何分类，确定其不可约分量和刚性代数。作为结果，作者推导出了若干子簇的分类，包括 perm、二元 perm、结合、二元结合、$(-1,1)$ 以及二元 $(-1,1)$ 超代数。

方法论
作者采用了结合代数与几何技术的双管齐下的方法：

1. 代数分类：

   • 对称化： 该方法依赖于右备选超代数与 Jordan 超代数之间的关系。对于右备选超代数 $(A, \cdot)$，对称乘积 $x \bullet y = \frac{1}{2}(xy + (-1)^{|x||y|}yx)$ 定义了一个 Jordan 超代数 $A^+$。
   • 上同调方法： 作者利用了超反对称双线性映射的空间 $Z_2(A, A)$，该空间满足由右备选条件导出的特定恒等式。任何固定 Jordan 超代数 $(A, \bullet)$ 上的右备选超代数结构都可以表示为 $x * y = x \bullet y + \theta(x, y)$，其中 $\theta \in Z_2(A, A)$。
   • 轨道分析： 分类过程通过计算每个 3 维 Jordan 超代数（类型为 $(1,2)$ 和 $(2,1)$）的 $Z_2(A, A)$ 来进行。自同构群 $\text{Aut}(A)$ 作用于 $Z_2(A, A)$，而右备选超代数的同构类对应于该作用下的轨道。作者通过显式计算这些轨道来列出所有非同构的结构。

2. 几何分类：

   • 退化： 几何分类分析了作为结构常数仿射空间子集的超代数簇。作者研究了代数之间的退化（轨道的极限）。如果 $B$ 位于 $A$ 的轨道 Zariski 闭包内，则称代数 $A$ 退化到 $B$（$A \to B$）。
   • 不可约分量： 通过识别刚性代数（其轨道是开集的代数）以及它们之间的退化关系，作者确定了簇的不可约分量。
   • 非退化证明： 为了确立不存在退化，作者使用了诸如偶部平方的维度、交换性质以及结构常数之间的特定关系等不变量，通常采用 Borel 子群论证。

主要贡献与结果

• 代数分类（定理 A1 和 A2）：

  • 本文提供了所有非平凡 3 维右备选超代数的完整列表。
  • 类型 (1,2)： 共有 28 个不同的同构类（记作 $R_{01}$ 到 $R_{28}$），包括一个参数族 $R_{\alpha \neq -1}^{01}$ 和 $R_{\alpha}^{04}$（其中 $R_{\alpha}^{04} \cong R_{-\alpha}^{04}$）。
  • 类型 (2,1)： 共有 39 个不同的同构类（记作 $R_{01}$ 到 $R_{39}$）。
  • 该分类是详尽的，涵盖了所有可能的底层 Jordan 超代数结构（类型 $(1,2)$ 为 $J_{01}$ 到 $J_{12}$；类型 $(2,1)$ 为 $J_{01}$ 到 $J_{15}$）。

• 子簇分类：

  • 作者通过基于附加恒等式对主列表进行过滤，推导出了特定的分类。
  • 结合/交换： 推论 6 和 7 列出了结合交换超代数。
  • perm 和 二元 perm： 推论 10–13 分类了 perm 和二元 perm 超代数。值得注意的是，推论 13 指出，每一个 3 维二元 perm 超代数都是一个 perm 超代数。
  • 结合 与 二元结合： 推论 15–18 对这些进行了分类，并指出对于类型 $(2,1)$，二元结合超代数要么是结合的，要么同构于特定情形（$R_{28}, R_{30}$）。
  • $(-1,1)$ 与 二元 $(-1,1)$： 推论 21–26 提供了这些 Lie-admissible 簇的分类。一个重要的发现是推论 24，它指出每一个类型为 $(2,1)$ 的 3 维 $(-1,1)$-超代数都是结合的。

• 几何分类（定理 G1 和 G2）：

  • 类型 (1,2)： 该簇的维度为 5，由 13 个不可约分量组成。存在 11 个刚性超代数。这些分量由特定代表元的轨道定义（例如，$O(R_{\alpha}^{01}), O(R_{\alpha}^{07})$ 等）。
  • 类型 (2,1)： 该簇的维度为 5，由 15 个不可约分量组成。存在 15 个刚性超代数。
  • 本文详细说明了定义这些簇拓扑结构的特定退化（例如 $R_{16} \to R_{15}$）和非退化情况。

• 子簇的几何分类：

  • 定理 28–40 提供了上述子簇的几何分类，指明了它们的维度、不可约分量的数量以及刚性元素。例如，类型 $(1,2)$ 的 perm 超代数簇的维度为 4，具有 8 个不可约分量。

意义与主张

本文声称提供了第一个 3 维右备选超代数的完整代数与几何分类。作者将这项工作定位为理解非结合代数主簇（principal varieties）之超推广（super-generalizations）的必要步骤。

一个特别突出的贡献是对这些代数的“二元”（binary）版本（即每个 2 生成子代数都满足该恒等式的版本）的研究。作者探讨了一个关于在超设置下，是否每个 3 维二元-$\Omega$ 代数都是 $\Omega$-代数这一开放问题。虽然在 Lie 代数中已知该命题为假，但本文对 perm、结合及 $(-1,1)$-超代数给出了细致的回答，表明在许多 3 维情形下，二元条件意味着标准条件，尽管存在例外（例如在二元 perm 和二元结合情形中）。

这项工作为低维非结合超代数的结构理论提供了基础性参考，提供了显式的乘法表以及对这些簇的几何景观（退化与分量）的详细描述。