Weakly Noetherian Lie Algebra and the Sierra-Walton Conjecture

技术摘要：弱诺特李代数与 Sierra-Walton 猜想

问题陈述
本文探讨了特征为零的域 $K$ 上无限维李代数的结构理论，其动机源于Sierra-Walton 猜想（猜想 1）。该猜想断言：若李代数 $\mathfrak{g}$ 是无限维的，则其泛包络代数 $U(\mathfrak{g})$ 不是诺特环。尽管该猜想已在特定情形下得到证实（例如 Sierra 和 Walton 对 Witt 代数的证明，以及 Krichever-Novikov 代数），但针对其泛包络代数可能为诺特环的李代数，尚缺乏一般的结构刻画。作者旨在定义一类李代数，以捕捉诺特性所必需的限制条件，并确定其结构。

方法论与定义
作者为李代数 $G$ 引入了一个诺特性条件的层级：

1. 弱诺特（Weakly Noetherian）： 对于任意子代数 $\mathfrak{m} \subset G$，其阿贝尔化 $\mathfrak{m}/[\mathfrak{m}, \mathfrak{m}]$ 是有限维的。
2. 诺特（Noetherian）： 满足关于特征理想的升链条件（ACC）的弱诺特代数。
3. 严格弱诺特（Strictly Weakly Noetherian）： 对于任意有限域扩张 $L/K$，$G \otimes_K L$ 均为弱诺特代数。
4. 强诺特（Strongly Noetherian）： $G$ 的每个子代数都是有限生成的。

本文利用超限归纳论证，构造了一个李子代数的降滤过 $G = G^{(0)} \supset G^{(1)} \supset \dots \supset G^{(\alpha)} \dots$，该滤过通过根的理想导列定义。证明依赖于李理论与环论中若干深刻结果的综合作用，包括：

• Tits 的仿射李代数理论。
• Formanek 和 Razmyslov 的中心恒等式理论（矩阵代数中的多项式恒等式）。
• Grabowski 关于 Krichever-Novikov 代数的单性与外导子的定理。
• Jacobson 密度定理及中心子（centroids）的性质。

主要贡献与结果

1. 弱诺特李代数的结构（定理 A）
核心结果定理 A确立了弱诺特李代数具有高度受限的结构。对于满足特定简化假设（完美性且无非有限维单商）的弱诺特李代数 $G$，滤过 $G^{(\alpha)}$ 产生如下结论：

• 每个 $G^{(\alpha)}$ 均为完美理想。
• 商 $G^{(\alpha)}/G^{(\alpha+1)}$ 是 $G^{(\alpha)}/\text{rad}(G^{(\alpha)})$ 通过一个有限维中心的中心扩张。
• $G^{(\alpha)}$ 的任何单商都是无限维的。
• 对于 $\alpha \geq 1$，任何 Krichever-Novikov 代数均不作为 $G^{(\alpha)}$ 的商出现。
• 若 $G$ 是诺特的，则对于足够大的 $\alpha$，滤过终止（$G^{(\alpha)} = 0$）。

一个关键的中间结果（定理 41）证明：在弱诺特李代数中，任何余维数大于 1 的极大理想都是特征理想。这依赖于证明此类代数仅包含有限多个给定有限余维数的极大理想（定理 25），该结果源于 Formanek-Razmyslov 的中心恒等式理论。

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)$ 表示定义在这些域上的 Witt 代数和 Virasoro 代数。
• $\widehat{\text{Vir}}$ 表示万有中心扩张。

该分类表明，在此类代数中，唯一允许出现的无限维单分量是 Witt 代数和 Virasoro 代数（及其有限域扩张）。

3. 对 Sierra-Walton 猜想的推论
本文导出了推论 65，该推论指出：对于完美 $\mathbb{Z}^n$-分次李代数 $L$，其泛包络代数 $U(L)$ 是左诺特的仅当 $L$ 是有限维的。这证实了 Sierra-Walton 猜想对于整个完美 $\mathbb{Z}^n$-分次李代数类成立。

此外，推论 45将一般的 Sierra-Walton 猜想归结为三种特定类型的“恰无穷”（just-infinite）李代数：

• A 型： 单的。
• B 型： 剩余幂零的。
• C 型： 完美的、剩余半单的，且不满足任何多项式恒等式。
  作者指出，虽然 A 型（例如 Krichever-Novikov 代数）和 B 型（例如在某点消失的向量场）已被理解，但目前尚无任何 C 型诺特李代数的实例。

意义与主张
本文声称提供了首个满足诺特条件的无限维李代数的一般结构理论。通过定义“弱诺特”代数，作者证明了拥有诺特泛包络代数这一性质对代数的内部结构施加了严厉的限制，有效地排除了大多数“狂野”的无限维行为。

作者谦逊地指出，尽管猜想已被归结为三种情形，但关于 C 型单李代数（或可能的一般单代数）的猜想状态可能是不可判定的，他引用了关于外导子复杂性和非递归序数的直观论证。这项工作改进了著名的 Sierra-Walton 定理，将结果从 Witt 代数推广到所有完美 $\mathbb{Z}^n$-分次李代数，并为它们提供了结构分解。