[论文解读] Classification of simple bounded weight modules of the Lie algebra of vector fields on $\C^n$

Yaohui Xue, Rencai Lü|arXiv (Cornell University)|Jan 13, 2020

Algebraic structures and combinatorial models参考文献 22被引用 11

一句话总结

本文对 $c^n$ 上向量场的李代数 $W_n^+$ 的所有单有界权模进行了分类。通过 $A_n^+$-覆盖理论以及 Weyl 代数 $K_n^+$ 和 $c\mathfrak{gl}_n(\mathbb{C})$ 的表示理论，证明了每个此类模都同构于张量模 $F(P,M) = P \otimes M$ 的单商模，其中 $P$ 是 $K_n^+$ 上的单权模，$M$ 是 $c\mathfrak{gl}_n$-模的有限维单模，或同构于特定子模 $L_n(P,l)$（$1 \leq l \leq n$）。该结果解决了高秩 Witt 代数表示理论中长期悬而未决的关键问题。

ABSTRACT

Let $W_n^+$ be the Lie algebra of the Lie algebra of vector fields on $\C^n$. In this paper, we classify all simple bounded weight $W_n^+$ modules. Any such module is isomorphic to the simple quotient of a tensor module $F(P,M)=P\otimes M$ for a simple weight module $P$ over the Weyl algebra $K_n^+$ and a finite dimensional simple $\gl_n$ module $M$.

研究动机与目标

• 解决关于 $c^n$ 上向量场的李代数 $W_n^+$ 的所有单有界权模分类这一长期悬而未决的开放问题。
• 将此前对 $W_1^+$ 和 $W_2^+$ 的分类结果推广至任意 $n \geq 2$。
• 通过张量积与子模，提供此类模结构的完整且显式描述。
• 基于 $A_n^+$-覆盖理论与 Weyl 代数表示理论，建立分析有界权模的框架。

提出的方法

• 为 $W_n^+$ 模构建 $A_n^+$-覆盖理论，以提升表示并分析其结构。
• 利用对单有界权 $AW_n^+$ 模的分类（通过定理 3.9）：其形式为张量模 $F(P,M) = P \otimes M$，其中 $P$ 是 $K_n^+$ 上的单权模，$M$ 是 $c\mathfrak{gl}_n$-模的有限维单模。
• 应用合成列与有界性理论，证明任意单有界 $W_n^+$-模必为这类张量模的商模。
• 运用归纳法与李括号恒等式，证明某些元素属于模同态的核或像，从而确保在 $W_n^+$ 作用下保持封闭。
• 引入并分析子模 $L_n(P,l) = \mathrm{span}\left\{\sum_{i=1}^n (\partial_i v) \otimes (e_i^T \wedge u) \mid v \in P, u \in V(\delta_{k-1},k-1)\right\}$（$1 \leq l \leq n$），作为一类关键模。
• 利用 $K_n^+$-模具有形如 $\lambda' + X$ 的全支撑（其中 $X = X_1 \times \cdots \times X_n$，$X_i \in \{\mathbb{Z}_+, -\mathbb{Z}_+\}$）的性质，以控制权空间支撑。

实验结果

研究问题

• RQ1 当 $n \geq 2$ 时，$W_n^+$ 的所有单有界权模的完整分类是什么？
• RQ2 此类模的结构能否通过 Weyl 代数 $K_n^+$ 与 $c\mathfrak{gl}_n(\mathbb{C})$ 上模的张量积进行统一描述？
• RQ3 是否存在超出标准张量模 $F(P,M)$ 的例外单有界模？若存在，其如何表征？
• RQ4 $A_n^+$-覆盖构造如何帮助将分类问题简化为 $K_n^+$ 与 $c\mathfrak{gl}_n$ 的已知表示？
• RQ5 子模 $L_n(P,l)$ 在完整分类中起什么作用？为何其不可或缺？

主要发现

• 所有单有界权 $W_n^+$-模同构于张量模 $F(P,M) = P \otimes M$ 的单商模，其中 $P$ 是 Weyl 代数 $K_n^+$ 上的单权模，$M$ 是 $c\mathfrak{gl}_n(\mathbb{C})$-模的有限维单模。
• 该分类包含三种不同类型：一维平凡模、张量模 $F(P,M)$（其中 $M$ 不同构于任何 $V(\delta_l,l)$，$l=0,1,\dots,n$），以及子模 $L_n(P,l)$（$1 \leq l \leq n$）。
• $W_n^+$-模的任意有界权模的 $A_n^+$-覆盖是有界的，且作为 $AW_n^+$-模具有有限长度，这意味着存在有限合成列。
• 任意单有界 $W_n^+$-模的支撑包含于某个陪集 $\lambda + \mathbb{Z}^n$ 中，且权空间的维数均匀有界。
• 子模 $L_n(P,l)$ 自然地作为涉及导数与楔积的某些收缩的张量生成，当 $M = V(\delta_l,l)$ 时，其为不可约模，且与标准张量模不构同。
• 该分类是完整且显式的：每个单有界权 $W_n^+$-模要么是平凡模，要么是 $F(P,M)$ 的商模（其中 $M \not\cong V(\delta_l,l)$），要么同构于某个 $l \in \{1,\dots,n\}$ 的 $L_n(P,l)$。