A classification of nilpotent compatible Lie algebras

技術要約：べき零適合リー代数の分類

問題提起
本論文は、標数2を除く任意の体におけるべき零適合リー代数の分類問題に取り組んでいる。適合リー代数は、ベクトル空間 $\mathfrak{g}$ に2つのリー括弧 $[-,-]$ と $\{-,-\}$ が備わっており、任意の線形結合 $\lambda[-,-] + \mu\{-,-\}$ が依然としてリー括弧であるようなものとして定義される。この条件は「混合ヤコビ恒等式」を満たすことと同値である。適合リー代数は、古典的ヤン・バクスター方程式、可積分系、変形理論を含む様々な文脈で現れるが、べき零の場合における完全な構造的分類、特に次元4までの分類は確立されていなかった。著者らは、既存の分類手法をこの特定の代数的多様性に拡張することで、この空白を埋めることを目的としている。

手法
著者らは、べき零リー代数の分類のために開発されたスキェルブレド＝サンド（Skjelbred-Sund）法を、2つの積を持つ代数の設定へと一般化している。彼らのアプローチの核心は、以下の理論的枠組みに基づいている：

1. コホモロジー論： [15]で導入された適合リー代数のためのコホモロジー論を利用し、著者らは2-コサイクルを通じて中心拡大を定義する。彼らは、任意の有限次元べき零適合リー代数が、零次元の代数からの中心拡大の列として構成できることを確立している。
2. 中心拡大と許容性： 適合リー代数 $\mathfrak{g}$ のベクトル空間 $V$ による中心拡大 $\mathfrak{g}_\omega$ は、コサイクル $\omega \in Z^2(\mathfrak{g}, V)$ を用いて構成される。著者らは、拡大の中心が正確に $V$ である「フル（full）」な中心拡大に焦点を当てている。また、「許容される（admissible）」コサイクルの概念を導入しており、これは拡大がフルであり、かつ「中心的成分」（直和の形 $\mathfrak{i} \oplus Kx$ で、$x$ が中心的であるもの）を持たないことを保証するものである。
3. 同型判定基準： 2つのフルな中心拡大 $\mathfrak{g}_\omega$ と $\mathfrak{g}_\theta$ が同型であるための必要十分条件は、対応するコサイクルが $\text{Aut}(\mathfrak{g})$ および一般線形群 $\text{GL}(V)$ の作用の下で同じ軌道に属することである。具体的には、彼らは分類問題を、第2コホモロジー群 $H^2(\mathfrak{g}, K)$ における部分空間の $\text{Aut}(\mathfrak{g})$ の作用による軌道の決定へと還元している。
4. アルゴリズム的分類： 次の帰納的アルゴリズムが提案されている：
   • 次元 $n-1$ までのべき零適合リー代数の分類から開始する。
   • 各代数 $\mathfrak{g}$ について、その中心、自己同型群、および第2コホモロジー群を計算する。
   • 許容されるコサイクル（中心との交わりが自明な消滅子を持つもの）を特定する。
   • $H^2(\mathfrak{g}, K)$ の関連する部分空間に対する $\text{Aut}(\mathfrak{g})$ の作用の軌道を計算する。
   • 各軌道に対して拡大を構成し、中心的成分（1次元の中心との直和）を持つ代数を追加する。

主要な貢献

• スキェルブレド＝サンド法の拡張： 本論文は、スキェルブレド＝サンド法を適合リー代数の多様体へと成功的に適応させ、2つの積を持つ代数に関する中心拡大および同型判定基準に関する必要な定理を証明している。
• 歪同型（Skew-Isomorphism）の扱い： 著者らは、同型（$\cong$）と、2つのリー括弧を入れ替える歪同型（$\cong$）を明確に定義し、区別している。彼らは、分類された代数間の歪同型関係の完全なリストを提供しており、いくつかの代数が自己歪同型である一方で、他の代数はペアを形成していることを指摘している。
• 明示的な分類： 著者らは、次元4までのすべてのべき零適合リー代数の完全かつ明示的な分類を提供している。

結果
分類は、標数 $\neq 2$ の基礎体 $K$ に対して提示されている。結果は以下のようにまとめられる：

• 次元1および2： 各次元において同型類は1つのみであり、いずれもアーベル型である。
• 次元3：
  • 3つの同型類と1つの1パラメータ族が存在する。
  • これらのクラスには、アーベル代数、一方の括弧のみが非自明である代数（一方の括弧ではハイゼンベルク代数であり、他方ではアーベル型）、および両方の括弧が非自明かつ比例関係にある族が含まれる。
• 次元4：
  • 12の同型類、6つの1パラメータ族、および1つの2パラメータ族が存在する。
  • 分類には、中心的成分（低次元の代数の直和）を持つ代数と、非自明な拡大が含まれる。
  • 同型類は体の性質に依存する。具体的には、パラメータ $\beta$ を含む族において、代数 $NCL_{4,9}^\beta$ と $NCL_{4,14}^\beta$ が同型であるための必要十分条件は、それらのパラメータの比が $K$ 内に3乗根を持つことである。
  • 基礎体が**3次閉（cubically closed）**である場合（すべての要素が3乗根を持つ場合）、同型類の数は減少する。すなわち、1パラメータ族は単一のクラスへと収束し、2パラメータ族は1パラメータ族へと減少する。

本論文は、すべての代数の定義関係、およびその中心の次元をリストした包括的な表（セクション4.5）を提供している。セクション4.6では、歪同型関係の詳細を述べ、多くの代数がリスト内の他の代数と歪同型であること（例：$NCL_{3,2} \cong NCL_{3,3}$）を示し、一部の代数が自己歪同型であることを示している。

意義
本論文は、低次元におけるべき零適合リー代数の最初の完全な分類を提供していることで、その意義を主張している。この研究は、数学物理学（例：バイ・ハミルトン構造や可積分系）において重要なこれらの代数のさらなる構造解析のための基礎的なステップとなる。コホモロジー的な仕組みと分類アルゴリズムを確立することで、著者らは高次元や他の種類の適合代数への将来的な拡張を可能にしている。また、結果は2つのリー括弧の関係を明らかにしており、適合条件がこれらの代数を単純なリー代数のペアから区別する特定の構造的制約を課していることを示している。