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

技術要約：スプリット八元数上の非ゼロ重みのロタ＝バクスター作用素

問題提起
本論文は、組成代数における非ゼロ重みのロタ＝バクスター作用素の分類を取り扱っている。ゼロ重みのロタ＝バクスター作用素、および非スプリット組成代数（除法代数）や低次元のスプリット代数（体の直和および行列代数 $M_2(F)$）における非ゼロ重みの作用素については既に記述されているが、スプリット八元数（8次元のスプリット・ケイリー・ディクソン代数）の場合については未解決のままであった。具体的には、著者は、ある体 $F$ 上のスプリット八元数におけるすべてのロタ＝バクスター作用素を記述することを目指しており、それらを「スプリッティング（分割型）」作用素（代数の2つの部分代数への直和分解に由来するもの）と「ノンスプリッティング（非分割型）」作用素に区別している。

手法
著者は、ロタ＝バクスター作用素 $R$ の核（kernel）と像（image）の性質に基づいた構造的なアプローチを採用している。

1. 定義と準備： 本論文は、重み $\lambda$ のロタ＝バクスター作用素の定義 $R(x)R(y) = R(R(x)y + xR(y) + \lambda xy)$ を利用する。ここで、スプリッティング作用素（$R^2 = -\lambda R$ を満たすもの）とノンスプリッティング作用素との間に重要な区別がなされる。研究の対象は、シンプレクティックな対合を含む特定の乗法規則を持つ $M_2(F) + vM_2(F)$ として定義されるスプリット・ケイリー・ディクソン代数 $O$ である。
2. 核の次元解析： 著者は、ノンスプリッティング作用素の場合、核の次元は3または4でなければならないことを証明している。これは、核と像が部分代数であること、および八元数の中に7次元の部分代数が存在しないこと（KnarrおよびStroppel [7] を引用）に基づいている。
3. 核の次元によるケース分け：
   • 4次元の核： ノンスプリッティング作用素で4次元の核を持つものは、自己同型、反自己同型、およびスカラー倍を除いて、既知の特定の作用素 $R_1$ と同値であることを著者は示している。
   • 3次元の核： 本論文は3次元の核について調査している。まず、冪等元を含む核を排除し（そのような作用素はスプリッティングであることを証明）、次に $\{e_{12}, ve_{12}, ve_{22}\}$ によって生成される核を持つ特定のノンスプリッティング作用素 $R_2$ を構成し、そのような核を持つあらゆるノンスプリッティング作用素が $R_2$ と同値であることを証明している。
4. 変換同値性： 著者は、変換 $\phi(R) = -R - \lambda \text{id}$ を導入し、$\phi(R_2)$ が $R_1$ と同値であることを示している。これにより、ノンスプリッティング作用素の分類が統一される。
5. 部分代数への分解： スプリッティング作用素を分類するために、本論文はスプリット八元数の2つの部分代数へのすべての可能な分解（$O = A_1 \oplus A_2$）を列挙している。これは、標数 $\neq 2$ の二次閉体上で実行される。解析は、部分代数が単位元を持つか否か、および様々な次元（4, 5, 6）を網羅している。

主要な貢献と結果

1. ノンスプリッティング作用素の分類： 本論文は、自己同型/反自己同型による共役、スカラー倍、および $\phi$ の作用を除いて、任意の体上のスプリット八元数における非ゼロ重みのノンスプリッティング・ロタ＝バクスター作用素がただ一つ存在することを確立している。この作用素は $R_1$ によって表され、$R_1$ は特定の4次元部分代数 $B_1$ 上で $-\text{id}$ として作用し、補空間である4次元部分空間 $B_2$ 上で $0$として作用する（具体的には$R_1(e_{22}) = e_{11}$）。
2. スプリッティング作用素の分類： 著者は、二次閉体上でスプリット八元数を2つの部分代数の和へと分解する完全なリストを提供している。これには、正確に7つの非同型な分解（定理2）があり、様々な次元の組み合わせ（例：$6+2, 5+3, 4+4$）をカバーしている。これらの分解は、スプリッティング・ロタ＝バクスター作用素に対応している。
3. 分類の完全性： ノンスプリッティング作用素の結果と、分解（スプリッティング作用素）の列挙を組み合わせることで、本論文はすべての組成代数におけるロタ＝バクスター作用素の分類を完了したと主張している。

意義
本論文は、組成代数におけるロタ＝バクスター作用素の分類という問題が完全に解決されたと結論付けている。これは、単純代数や超代数（$M_2(F)$ や $M_3(\mathbb{C})$ など）に関する先行研究を、最も複雑な組成代数であるスプリット八元数へと拡張するものである。結果は、八元数内における部分代数の構造的性質に強く依存しており、特にKnarrおよびStroppelによって確立された自己同型による部分代数の分類を利用している。本研究は、これらの作用素の構造に関する決定的な回答を提供しており、ノンスプリッティング作用素は指定された変換の下で一意的である一方で、スプリッティング作用素は特定された7つの代数的分解と一対一の対応関係にあることを確認している。