Maximal subalgebras of the Lie algebra $W_n(\mathbb{K})$

技术摘要：李代数 $W_n(K)$ 的极大子代数

问题陈述
本文研究了 $W_n(K)$ 中极大子代数的结构，其中 $W_n(K)$ 是多项式环 $A = K[x_1, \dots, x_n]$ 的所有 $K$-导子构成的李代数，$K$ 是特征为零的代数闭域。虽然 $W_n(K)$ 作为 $K^n$ 上的多项式向量场李代数以及作为秩为 $n$ 的自由 $A$-模已被充分理解，但其子代数（尤其是极大子代数）的结构仍知之甚少。作者旨在根据其在上环 $A$ 上的秩及其代数性质（例如单性、有限维性）对极大子代数进行分类和刻画。

方法论
作者采用了一系列涉及李代数与多项式环相互作用的代数技术：

1. 秩分析：利用 $W_n(K)$ 是自由 $A$-模这一事实，作者将子代数 $L$ 的秩定义为 $\text{rk}_A L = \dim_R (L \otimes_A R)$，其中 $R$ 是有理函数域。
2. 不变理想：该研究严重依赖于子代数的理想与多项式环 $A$ 中在导子作用下不变的理想之间的关系。一个关键工具是对“单导子”（即无非平凡不变理想的导子）的刻画。
3. 分次结构：对于包含欧拉导子 $E_n = \sum x_i \frac{\partial}{\partial x_i}$ 的子代数，作者利用了 $W_n(K)$ 的标准分次（$W_n = \bigoplus_{i \ge -1} W_n^{[i]}$）。他们将子代数作为子代数 $W_n^{[0]} \cong \mathfrak{gl}_n(K)$ 上的分次模进行分析。
4. 模论：商模 $W_n/L$ 的不可约性被用于证明极大性。作者还应用了 Quillen-Suslin 定理，以确定由导子生成的自由模的基性质。

主要贡献与结果

• 秩 $< n$：
  本文证明了 $W_n(K)$ 的每一个秩 $k < n$ 的非零极大子代数 $M$ 都是一个单李代数。此外，此类子代数不存在多项式环 $A$ 的非零真不变理想。

• 秩 $n$（多项式子代数）：
  如果子代数 $L$ 是 $W_n$ 的 $A$-子模，则称其为“多项式子代数”。作者刻画了秩为 $n$ 的极大多项式子代数：

  • 它们具有形式 $M = \{D \in W_n \mid D(I) \subseteq I\}$，其中 $I$ 是 $A$ 的某个真理想。
  • 与低秩情形不同，这些子代数不是单的；它们包含非零的真理想（具体为 $I^2 W_n$）。

• 二维中的秩 1（$W_2$）：
  对 $W_2(K)$ 中秩为 1 的极大子代数提供了完整的刻画。子代数 $M$ 是秩为 1 的极大子代数，当且仅当 $M = A D$，其中 $D$ 是 $K[x, y]$ 上的一个单导子。反之，对于任意单导子 $D$，子代数 $AD$ 都是极大的。

• 有限维子代数：
  作者建立了有限维极大子代数维数的下界：$\dim M \ge n + 1$。

  • 他们证明了每一个包含标准子代数 $W_n^{[0]}$ 的有限维极大子代数都重合于 $L = W_n^{[-1]} \oplus W_n^{[0]} \oplus N_1$，其中 $N_1$ 由欧拉导子的多项式倍数的导子组成。
  • 该特定子代数 $L$ 被证明同构于单李代数 $\mathfrak{sl}_{n+1}(K)$。

• 无限维子代数：
  本文指出子代数 $\bigoplus_{k \ge 0} W_n^{[k]}$（非负次数的导子）是一个极大子代数。此外，证明了保持由变量子集生成的理想的子代数（例如 $L_k = \{D \in W_n \mid D(I_k) \subseteq I_k\}$）也是极大的。

意义与主张
本文声称填补了对 $W_n(K)$ 子代数结构理解的空白，这是一个具有重要几何意义的李代数。通过区分不同秩的子代数并利用底层多项式环的分次和理想论性质，作者提供了：

1. 证明了低秩极大子代数必然是单的。
2. 对高秩（秩 $n$）极大子代数进行了结构描述，表明它们通常是非单的，并与多项式环的不变理想相关联。
3. 对 $n=2$ 情形下的秩 1 极大子代数进行了完整分类，将其直接联系到单导子。
4. 识别出同构于经典单李代数（$\mathfrak{sl}_{n+1}$）的特定有限维极大子代数，从而将无限维 Witt 代数结构与有限维经典理论联系起来。

该工作依赖于李理论和多项式环上模论的标准结果，将先前的部分描述（例如针对 $W_1$ 的描述）推广到了通用的 $n$ 变量情形。