論文要約：4 次元三項リープ代数の分類と（準）中心化子

1. 研究の背景と問題設定

リー代数の非反対称な一般化として J.-L. Loday によって導入されたリープ代数（Leibniz algebra）は、ホモロジー代数や幾何学、理論物理学と密接に関連し、重要な研究対象となっています。近年、数学的物理学（特に Nambu 力学や高次対称性の研究）の動機から、古典的な代数構造の $n$ 項一般化への関心が高まっています。

本論文は、その中でも**三項リープ代数（Ternary Leibniz algebra）**に焦点を当てています。三項リープ代数は、三項リー代数（3-Lie 代数）の非斜対称な対応物であり、対称性の仮定を緩和することでより多様な代数挙動を許容する枠組みです。

研究の目的：

1. 標数 0 の代数閉体（複素数体）上の4 次元三項リープ代数の同型類による完全な分類を行うこと。
2. 分類された各非可換代数について、その**中心化子（Centroid）と準中心化子（Quasi-centroid）**を明示的に決定し、その次元を計算すること。

2. 手法と定義

2.1 三項リープ代数の定義

体 $K$ 上のベクトル空間 $L$ に、三重線形写像 $\llbracket -, -, - \rrbracket: L^{\otimes 3} \to L$ が定義され、以下のリープ型恒等式（一般化された導分性）を満たす場合、これを三項リープ代数と呼びます。
$$\llbracket \llbracket x, y, z \rrbracket, t, u \rrbracket = \llbracket x, y, \llbracket z, t, u \rrbracket \rrbracket + \llbracket x, \llbracket y, t, u \rrbracket, z \rrbracket + \llbracket \llbracket x, t, u \rrbracket, y, z \rrbracket$$

2.2 分類手法

• 基底と構造定数: $L$ の基底 $\{e_i\}$ に対して、構造定数 $\chi^p_{ijk}$ を定義し、上記の恒等式を連立一次方程式の系として定式化しました。
• 計算ツール: 分類計算には数値計算ソフトウェア Mathematica を使用し、すべての可能な構造定数の組み合わせを探索・検証しました。
• 同型判定: 得られた代数の同型類を特定し、代表元をリストアップしました。

2.3 中心化子と準中心化子

• 中心化子 (Centroid, $\Gamma(L)$): 代数の乗法と可換な線形写像 $\Phi$ の集合。
  $$\Phi(\llbracket x, y, z \rrbracket) = \llbracket \Phi(x), y, z \rrbracket = \llbracket x, \Phi(y), z \rrbracket = \llbracket x, y, \Phi(z) \rrbracket$$
• **準中心化子 (Quasi-centroid, $QCent(L)$):** 中心化子の条件を緩和し、各変数への作用が互いに等しい（ただし、$\Phi$ を作用させた結果が元の積と一致するとは限らない）写像の集合。
  $$\llbracket \Phi(x), y, z \rrbracket = \llbracket x, \Phi(y), z \rrbracket = \llbracket x, y, \Phi(z) \rrbracket$$
  本論文では、これらの集合を行列形式で具体的に記述し、その次元を算出しています。

3. 主要な結果

3.1 4 次元三項リープ代数の分類

標数 0 の代数閉体上の 4 次元非可換三項リープ代数は、同型を除いて以下の18 個の代表元（$L_1$ から $L_{18}$ の一部はパラメータ $\alpha$ に依存）に分類されます。

• 代表的な例として、$L_1$ は $\llbracket e_1, e_1, e_1 \rrbracket = e_2 + e_4$ などの非自明な積を持つ構造です。
• $L_7^\alpha$ や $L_{18}^\alpha$ のように、パラメータ $\alpha$ に依存する連続族も存在します。
• これらの分類は、3 次元以下の既知の結果を拡張するものであり、4 次元という低次元における構造の多様性を示しています。

3.2 中心化子と準中心化子の計算

分類されたすべての非可換代数について、中心化子と準中心化子の行列表示と次元を計算しました。

• 次元の範囲:
  • 中心化子 (Cent): 次元は 1 から 5 の範囲に収まります。多くの代数で次元は 1（自明なスカラー倍のみ）でした。
  • 準中心化子 (QCent): 次元は 1 から 9 の範囲に収まります。
• 重要な関係性: 常に $\dim(\text{Cent}(L)) \leq \dim(QCent(L))$ が成り立ちます。
• 具体的な結果:
  • 例：$L_1$ の場合、中心化子の次元は 1、準中心化子の次元は 9 です。
  • 例：$L_2$ の場合、中心化子の次元は 3、準中心化子の次元は 9 です。
  • 表 1（Table 1）に、各代数 $L_1 \sim L_{18}$ に対する具体的な行列形式と次元がまとめられています。

3.3 理論的性質

• 準中心化子はベクトル空間をなすが、積が結合的でない限り環をなさないことなどを示しました。
• 中心化子と導分（Derivation）の間の関係（例：$C(L) = \Gamma(L) \cap \text{Der}(L)$）についても議論し、これらの構造が代数の内部対称性をどのように反映しているかを明らかにしました。

4. 意義と貢献

1. 完全な分類の提供: 4 次元三項リープ代数の同型類の完全なリストを提供し、低次元の代数構造理解の基礎を築きました。
2. 対称性の詳細な記述: 各代数の内部対称性を定量化するために、中心化子と準中心化子を明示的に計算しました。これは、変形理論（deformation theory）やコホモロジー研究において重要な手がかりとなります。
3. 二元から三項への拡張: 二元リープ代数（Binary Leibniz algebras）で得られた古典的な結果を、三項（およびより高次の $n$ 項）設定へ拡張する成功例となりました。
4. 将来の研究への基盤: 高次元や高次数の $n$ 項リープ代数における導分、変形、コホモロジーの研究に対する基礎データを提供しました。

結論

本論文は、4 次元三項リープ代数の分類と、その対称性を記述する中心化子・準中心化子の詳細な解析を通じて、低次元の非可換代数構造の豊かさを明らかにしました。得られた結果は、数学的物理学における高次対称性の研究や、より一般的な $n$ 項代数の理論発展に寄与する重要なステップです。