Weakly Noetherian Lie Algebra and the Sierra-Walton Conjecture

技術的概要：弱ノイター環リー代数とシエラ・ウォルトン予想

問題の定義
本論文は、標数 0 の体 $K$ 上の無限次元リー代数の構造理論を扱い、シエラ・ウォルトン予想（予想 1）に動機づけられている。この予想は、リー代数 $\mathfrak{g}$ が無限次元であるならば、その普遍被覆代数 $U(\mathfrak{g})$ はノイター環ではないと主張する。この予想は特定のケース（例えば、シエラとウォルトンによるウィット代数、およびクリチェバー・ノビコフ代数）については確立されたが、その被覆代数がノイター環となりうるリー代数の一般的な構造的特徴は欠けていた。著者は、ノイター性を満たすために必要な制約を捉えるリー代数のクラスを定義し、その構造を決定することを目的としている。

手法と定義
著者は、リー代数 $G$ に対するノイター性の階層を導入する：

1. 弱ノイター性：任意の部分代数 $\mathfrak{m} \subset G$ に対して、その可換化 $\mathfrak{m}/[\mathfrak{m}, \mathfrak{m}]$ が有限次元であること。
2. ノイター性：特性イデアルに関する昇鎖条件（ACC）を満たす弱ノイター代数。
3. 厳密な弱ノイター性：任意の有限体拡大 $L/K$ に対して $G \otimes_K L$ が弱ノイターであること。
4. 強ノイター性：$G$ の任意の部分代数が有限生成であること。

本論文は、根の導来系列を通じて定義されるリー部分代数の降下濾過 $G = G^{(0)} \supset G^{(1)} \supset \dots \supset G^{(\alpha)} \dots$ を構成するために、超限帰納法の議論を用いる。証明は、リー理論および環理論からのいくつかの深遠な結果の統合に依存しており、具体的には以下のものを含む：

• ティッツのアフィンリー代数の理論。
• フォルマネクとラズミスロフの中心恒等式（行列代数における多項式恒等式）の理論。
• クリチェバー・ノビコフ代数の単純性と外微分に関するグラボフスキーの定理。
• ヤコブソンの密度定理および中心の性質。

主要な貢献と結果

1. 弱ノイターリー代数の構造（定理 A）
中心的な結果である定理 Aは、弱ノイターリー代数が高度に制約された構造を持つことを確立する。特定の単純化仮定（完全性と有限次元単純商を持たないこと）を満たす弱ノイターリー代数 $G$ について、濾過 $G^{(\alpha)}$ は以下をもたらす：

• 各 $G^{(\alpha)}$ は完全イデアルである。
• 商 $G^{(\alpha)}/G^{(\alpha+1)}$ は、有限次元中心による $G^{(\alpha)}/\text{rad}(G^{(\alpha)})$ の中心拡大である。
• $G^{(\alpha)}$ の任意の単純商は無限次元である。
• $\alpha \geq 1$ に対して、クリチェバー・ノビコフ代数は $G^{(\alpha)}$ の商として現れない。
• もし $G$ がノイター環であれば、濾過は十分大きな $\alpha$ で終了する（$G^{(\alpha)} = 0$）。

重要な中間結果（定理 41）は、弱ノイターリー代数において、余次元が 1 より大きい任意の極大イデアルは特性イデアルであることを証明する。これは、そのような代数が与えられた有限余次元の極大イデアルを有限個しか含まないことを示す（定理 25）ことに依存しており、この結果はフォルマネク・ラズミスロフの中心恒等式の理論から導かれる。

2. 次数付き完全リー代数の分類（定理 B）
有限次元同次成分を持つ $\mathbb{Z}^n$ 次数付きリー代数の特定のケースについて、本論文は明示的な分類（定理 B）を提供する。$L$ が完全かつ厳密な弱ノイターな $\mathbb{Z}^n$ 次数付きリー代数であるならば、その普遍中心拡大 $\hat{L}$ は以下と同型である：
$$\hat{L} \cong \mathfrak{g} \oplus \left( \bigoplus_{i=1}^n \text{Witt}(E_i) \right) \oplus \left( \bigoplus_{j=1}^m \widehat{\text{Vir}}(F_j) \right)$$
ここで、

• $\mathfrak{g}$ は有限次元の完全リー代数である。
• $E_i$ および $F_j$ は $K$ の有限拡大である。
• $\text{Witt}(E)$ および $\text{Vir}(E)$ はこれらの体上のウィット代数およびヴィラソロ代数を表す。
• $\widehat{\text{Vir}}$ は普遍中心拡大を表す。

この分類は、そのような代数において許される無限次元単純成分が、ウィット代数およびヴィラソロ代数（およびそれらの有限体拡大）のみであることを意味する。

3. シエラ・ウォルトン予想への含意
本論文は系 65を導き出し、完全な $\mathbb{Z}^n$ 次数付きリー代数 $L$ に対して、その被覆代数 $U(L)$ が左ノイター環であるのは $L$ が有限次元である場合に限られると述べる。これは、完全な $\mathbb{Z}^n$ 次数付きリー代数のクラス全体に対してシエラ・ウォルトン予想を確認するものである。

さらに、系 45は、一般的なシエラ・ウォルトン予想を、3 つの特定のタイプの「直ちに無限（just-infinite）」リー代数に帰着させる：

• タイプ A：単純である。
• タイプ B：残留冪零である。
• タイプ C：完全であり、残留半単純であり、かつ多項式恒等式を満たさない。
  著者は、タイプ A（例えば、クリチェバー・ノビコフ代数）およびタイプ B（例えば、一点で消えるベクトル場）は理解されているが、タイプ C のノイターリー代数の例は現在知られていないと指摘する。

意義と主張
本論文は、ノイター条件を満たす無限次元リー代数に対する最初の一般的な構造理論を提供すると主張する。「弱ノイター」代数を定義することにより、著者は、ノイター被覆代数を持つという性質が代数の内部構造に深刻な制約を課し、実質的にほとんどの「荒々しい」無限次元の振る舞いを排除することを示している。

著者は、予想が 3 つのケースに帰着されたとしても、タイプ C の単純リー代数（あるいは潜在的に一般的な単純代数）に関する予想のステータスは、外微分の複雑さおよび非再帰的順序数に関する直感的な議論を引用して、決定不可能である可能性があると謙虚に示唆している。この研究は、ウィット代数からの結果をすべての完全な $\mathbb{Z}^n$ 次数付きリー代数へ拡張し、それらに対する構造分解を提供することによって、著名なシエラ・ウォルトン定理を改善するものである。