Rota-Baxter operators of nonzero weight on the split Cayley-Dickson algebra

技术摘要：分裂八元数上非零权重的 Rota-Baxter 算子

问题陈述
本文研究了组合代数上非零权重 Rota-Baxter 算子的分类问题。虽然零权重以及非分裂组合代数（除环）和低维分裂代数（域的直和及矩阵代数 $M_2(F)$）上的非零权重 Rota-Baxter 算子此前已有描述，但分裂八元数（维数为 8 的分裂凯莱-迪克森代数）的情形仍是一个开放问题。具体而言，作者旨在描述在特征 $\neq 2$ 的域 $F$ 上，分裂八元数上所有 Rota-Baxter 算子的情形，并区分“分裂”（splitting）算子（即由代数到两个子代数的直和分解产生的算子）与“非分裂”（non-splitting）算子。

方法论
作者采用了一种基于 Rota-Baxter 算子 $R$ 的核（kernel）与像（image）性质的结构化方法。

1. 定义与预备知识： 本文利用了权重为 $\lambda$ 的 Rota-Baxter 算子的定义：$R(x)R(y) = R(R(x)y + xR(y) + \lambda xy)$。文中对分裂算子（满足 $R^2 = -\lambda R$）与非分裂算子做了关键区分。研究重点是分裂凯莱-迪克森代数 $O$，其定义为 $M_2(F) + vM_2(F)$，并涉及特定的辛内含（symplectic involution）乘法规则。
2. 核维数分析： 作者证明了对于非分裂算子，其核的维数必须为 3 或 4。这基于核与像均为子代数这一事实，以及八元数中不存在 7 维子代数的结论（引用 Knarr 和 Stroppel [7]）。
3. 基于核维数的分类讨论：
   • 四维核： 作者证明，任何具有 4 维核的非分裂算子在经过自同构、反自同构及标量乘法的作用下，都等价于一个特定的已知算子 $R_1$。
   • 三维核： 本文研究了 3 维核的情形。首先，作者排除了包含幂等元的核（证明此类算子为分裂算子）；随后，作者构造了一个特定的非分裂算子 $R_2$，其核由 $\{e_{12}, ve_{12}, ve_{22}\}$ 张成，并证明任何具有此类核的非分裂算子都等价于 $R_2$。
4. 变换等价性： 作者引入了变换 $\phi(R) = -R - \lambda \text{id}$，并证明 $\phi(R_2)$ 与 $R_1$ 等价。这统一了非分裂算子的分类。
5. 子代数分解： 为了对分裂算子进行分类，本文枚举了分裂八元数分解为两个子代数之和（$O = A_1 \oplus A_2$）的所有可能情况。这一过程是在二次闭域且特征 $\neq 2$ 的条件下进行的。分析涵盖了子代数是有单位元或无单位元，以及各种维数（4, 5, 6）的情况。

主要贡献与结果

1. 非分裂算子的分类： 本文确定了，在经过自同构/反自同构共轭、标量乘法及 $\phi$ 作用后，在任何域上，分裂八元数上仅存在唯一一个非分裂权重非零的 Rota-Baxter 算子。该算子由 $R_1$ 表示，其在特定的 4 维子代数 $B_1$ 上作用为 $-\text{id}$，在补 4 维子空间 $B_2$ 上作用为 $0$，且满足特定的映射关系$R_1(e_{22}) = e_{11}$。
2. 分裂算子的分类： 作者提供了在二次闭域上将分裂八元数分解为两个子代数之和的完整列表。文中恰好存在七个非同构的分解（定理 2），涵盖了各种维数组合（例如 $6+2, 5+3, 4+4$）。这些分解对应于分裂 Rota-Baxter 算子。
3. 分类的完备性： 通过结合非分裂算子的结果与分裂算子的枚举（分解），本文声称完成了对所有组合代数上非零权重 Rota-Baxter 算子的分类。

意义
本文得出结论，组合代数上 Rota-Baxter 算子的分类问题现已得到圆满解决。它将先前在简单代数和超代数（如 $M_2(F)$ 和 $M_3(\mathbb{C})$）上的研究成果，扩展到了最复杂的组合代数情形：分裂八元数。研究结果高度依赖于八元数内子代数的结构性质，特别是利用了 Knarr 和 Stroppel 所建立的在自同构意义下的子代数分类。这项工作为这些算子的结构提供了明确的答案，证实了非分裂算子在指定的变换下是唯一的，而分裂算子与识别出的七种代数分解之间存在一一对应关系。