Complete and cocomplete Lie algebras with injective- and projective-type properties

技術要約：完全および余完全リー代数の性質（単射型および射影型特性）

問題提起
本論文は、標数ゼロの体上の有限次元リー代数の構造的性質を調査しており、特に加群の圏で見られる単射対象および射影対象の概念に対応するものを探求している。加群論において、単射対象および射影対象は短完全列の分裂によって特徴付けられる。著者らは、リー代数の圏において同様の特性付けが存在するかどうかという問題に取り組んでいる。リー代数の圏はアーベル圏ではないため、拡張には二つの異なる分裂の概念が存在するという根本的な困難が生じる。

1. 半自明な分裂（Semi-trivial splitting）: 拡張 $0 \to A \to B \to C \to 0$ が、ある作用 $\rho$ を持つ半直積 $B \cong A \rtimes_\rho C$ として分裂する場合。
2. 自明な分裂（Trivial splitting）: 拡張が直和 $B \cong A \oplus_{\text{Lie}} C$ として分裂する場合。

中心的な問いは以下の通りである。どのような条件の下で $A$ によるあらゆる拡張が自明に分裂するのか？ また、どのような条件の下で $C$ のあらゆる拡張が自明に分裂するのか？

手法
著者らは、構造的リー代数論、ホモロジー代数、およびアルゴリズム計算を組み合わせて用いている。

• 構造的解析: 著者らは、拡張の性質を分析するためにレヴィの定理とアードの定理を利用している。また、一般的な拡張と中心拡張（核が全代数の中心に含まれる場合）を区別している。
• ホモロジー的特性付け: 論文は、リー代数のコホモロジー、具体的には第2コホモロジー群 $H^2(C, K)$ を利用して、分裂の性質を特徴付けている。著者らは、コホモロジー群の消滅と分裂準同型の存在との関係を明らかにしている。
• 持ち上げ特性（Lifting Properties）: 著者らは、分裂条件を準同型の持ち上げ特性として再定式化しており、これは加群における単射および射影の定義を、リー代数のイデアルや導来（derivation）の特定の制約に適応させたものである。
• アルゴリズムの実装: 著者らは、完全性と余完全性を検証するための、構造定数に基づく明示的なアルゴリズムを開発した。これらのアルゴリズムは、中心、導来、および2次形式のコバウンドリ演算子の定義から導かれる線形系を解くものである。
• 分類: これらの手法を用いて、実数体および複素数体上の次元4までの完全および余完全リー代数を分類している。

主要な貢献と結果

1. 単射型特性と完全リー代数（定理1）:
   本論文は、ヤコブソンの古典的な定理の逆を確立している。リー代数 $A$ が完全（complete）（中心が自明であり、かつ導来がすべて内部導来である）であることと、任意のリー代数 $C$ による $A$ のあらゆる拡張が自明に分裂することの必要十分条件を証明している。

• これにより、完全性が「単射型」の性質であることが特定された。
• 著者らは、準同型の持ち上げ特性を含む4つの同値な特性付けを提供している。決定的な点として、この持ち上げ特性は、ソース写像の像がターゲットの直リー和部分である必要があることを示しているが、これは完全な圏論的単射よりも厳密に弱い条件である（例3.5による）。
• 完全性を検証するためのアルゴリズム（アルゴリズム1）が提供されており、これは中心が自明であること、および導来代数の次元がリー代数の次元と等しいことを確認することで行われる。

2. 大域的な射影対象の非存在（定理2）:
   本論文は、非自明なリー代数が大域的な「射影型」の性質を持つことはないことを証明している。具体的には、任意の非自明なリー代数 $C$ に対して、自明に分裂しない $A$ による $C$ の拡張が存在する。これは、リー代数の圏における単射的側面と射影的側面の間の構造的な非対称性を明らかにしている。

3. 余完全リー代数と中心拡張（定理3および4）:
   射影的な類似性を取り戻すために、著者らは対象を中心拡張に限定している。

• 著者らは、リー代数 $C$ を、すべての中心拡張が自明に分裂する場合に**余完全（cocomplete）**であると定義している。
• 定理3は、コホモロジー的な基準を含む、余完全性の同値な特性付けを提供している。これには、ターゲットの核が中心であるような $C$ からの準同型の持ち上げが含まれる。
• 命題4.6は、コホモロジー的判定基準を確立している。すなわち、$C$ が余完全であるための必要十分条件は $H^2(C, K) = 0$ である。これは、すべての半単純リー代数が余完全であることを意味する。
• 命題4.8は、直和における余完全性の安定性を分析しており、直和が余完全であるための必要十分条件は、すべての成分が余完全であり、かつ少なくとも $m-1$ 個の成分が完全（perfect）であることであると示している。

4. ほとんどアーベルリー代数の場合（定理4）:
   本論文は、ほとんどアーベルリー代数（アーベルイデアルに対する導来 $D$ による1次元の拡張）が余完全であるための必要十分なスペクトル条件を提供している。そのリー代数が余完全であるための必要十分条件は、$D$ が自己同型であり、かつ $D$ の固有値のペア $\lambda, \mu$ について $\lambda + \mu = 0$ を満たすものが存在しないことである。

5. 計算結果:
   開発されたアルゴリズムを用いて、著者らは実数体および複素数体上の次元 $\le 4$ のすべての完全および余完全リー代数を表にまとめている。彼らは、半単純代数は完全かつ余完全である一方で、余完全な代数のクラスはそれよりも厳密に大きいこと（例えば、アフィンリー代数を含む）に注意を向けている。逆に、非可換な冪零リー代数は、決して余完全にはならない。

意義
本論文は、一般の文脈と制限された（中心的な）文脈を区別することにより、リー代数の圏における単射および射影の類似問題の解決を試みている。

• 完全性が、一般的な拡張の自明な分裂に関する「単射型」の振る舞いの正確な構造的条件であることを明確にしている（ただし、これは圏論的な単射よりも厳密に弱い）。
• 大域的な「射影型」の対象は存在しないことを示し、それゆえに、中心拡張に限定された双対概念としての余完全性の導入を正当化している。
• 本研究は、構造的リー理論とホモロジー代数を結びつけ、明示的なコホモロジー的判定基準（$H^2(C, K)=0$）と、これらのクラスを特定するための実用的なアルゴリズムを提供している。
• 低次元の例の分類は、半単純性、冪零性、および拡張の分裂の相互作用を浮き彫りにする基礎的なデータセットとして機能している。