[论文解读] $\W_n^+$- and $W_n$-module structures on $U(h)$

Haijun Tan, Kaiming Zhao|arXiv (Cornell University)|Jan 6, 2014

Algebraic structures and combinatorial models参考文献 16被引用 4

一句话总结

本文对 Witt 代数 $\mathcal{W}_n^+$ 和 $\mathcal{W}_n$ 上所有作为 $U(\mathfrak{h}_n)$-模且秩为 1 的自由模 $\Omega(\Lambda_n, a, S)$ 和 $\Omega(\Lambda_n, a)$ 进行了分类。结果表明，这些模恰好由参数 $\Lambda_n \in (\mathbb{C}^*)^n$、$a \in \mathbb{C}$ 以及子集 $S \subset \{1, \dots, n\}$（对于 $\mathcal{W}_n^+$）或仅由 $\Lambda_n$ 和 $a$（对于 $\mathcal{W}_n$）所参数化，其简化性条件由 $a \neq -1$ 或 $S \neq \varnothing$ 给出。该分类通过 $\mathcal{W}_\infty^+$ 和 $\mathcal{W}_\infty$ 扩展至无限秩情形。主要贡献在于对具有此自由性质的非权模实现了完整分类。

ABSTRACT

Let $\h_n$ be the Cartan subalgebra of the Witt algebras $\W_n^+= ext{Der}\C[t_1, t_2, ..., t_n]$ and $\W_n= ext{Der}\C[t_1^{\pm 1},t_2^{\pm 1},\cdots,t_n^{\pm1}]$ where $1\le n\le \infty$. In this paper, we classify the modules over $\W_n^+$ and over $\W_n$ which are free $U(\h_n)$-modules of rank $1$. These are the $\W_n^+$-modules $Ω(Λ_{n},a, S) $ for some $Λ_n=(λ_1,\cdots,λ_n) \in (\C^*)^n, a\in \C$, and $S\subset \{1,2,..., n\}$; and $\W_n$-modules $Ω(Λ_n,a)$ for some $Λ_n\in (\C^*)^n$ and some $a\in \C.$

研究动机与目标

• 对 Witt 代数 $\mathcal{W}_n^+$ 和 $\mathcal{W}_n$ 上所有作为 $U(\mathfrak{h}_n)$-模且秩为 1 的非权模进行分类。
• 确定此类模为单模的精确条件。
• 将分类结果推广至无限秩情形，包括 $\mathcal{W}_\infty^+$ 和 $\mathcal{W}_\infty$。
• 通过参数 $\Lambda_n$、$a$ 和 $S$ 提供这些模的完整结构描述，并建立其简化性准则。

提出的方法

• 分类基于分析 $\mathcal{W}_n^+$ 和 $\mathcal{W}_n$ 在生成一个自由 $U(\mathfrak{h}_n)$-模（秩为 1）的循环向量上的作用。
• 模 $\Omega(\Lambda_n, a, S)$ 和 $\Omega(\Lambda_n, a)$ 被构造为 $U(\mathfrak{h}_n)$-模，其作用由参数 $\Lambda_n$、$a$ 和 $S$ 明确定义。
• 证明利用了 $\mathcal{W}_n^+$ 和 $\mathcal{W}_n$ 包含两个同构于 $\mathcal{W}_n^+$ 的子代数的事实：一个具有非负次数，另一个具有非正次数，从而实现一致的参数化。
• 生成元 $t^r \partial_i$ 的作用通过莱布尼茨法则定义，并由 $\lambda_i$ 和 $a$ 参数化，确保与李代数结构的相容性。
• 分类依赖于证明：任何此类模都必须通过分析其在循环向量上的作用并匹配所得关系，从而源自同一参数化族。
• 无限秩情形通过将相同逻辑扩展至 $\mathcal{W}_\infty^+$ 和 $\mathcal{W}_\infty$ 处理，使用 $(\mathbb{C}^*)^\infty$ 中的序列。

实验结果

研究问题

• RQ1 一个作为 $U(\mathfrak{h}_n)$-模且秩为 1 的 $\mathcal{W}_n^+$-模为单模的必要且充分条件是什么？
• RQ2 参数 $\Lambda_n$、$a$ 和 $S$ 如何决定此类模在 $\mathcal{W}_n^+$ 上的结构？
• RQ3 对作为 $U(\mathfrak{h}_n)$-模且秩为 1 的 $\mathcal{W}_n$-模的完整分类是什么？
• RQ4 该分类如何推广至无限秩的 Witt 代数 $\mathcal{W}_\infty^+$ 和 $\mathcal{W}_\infty$？
• RQ5 参数 $a = -1$ 在决定这些模的简化性中起什么作用？

主要发现

• 所有作为 $U(\mathfrak{h}_n)$-模且秩为 1 的 $\mathcal{W}_n^+$-模都同构于某个 $\Lambda_n \in (\mathbb{C}^*)^n$、$a \in \mathbb{C}$ 和 $S \subset \{1, \dots, n\}$ 的 $\Omega(\Lambda_n, a, S)$。
• 所有作为 $U(\mathfrak{h}_n)$-模且秩为 1 的 $\mathcal{W}_n$-模都同构于某个 $\Lambda_n \in (\mathbb{C}^*)^n$ 和 $a \in \mathbb{C}$ 的 $\Omega(\Lambda_n, a)$。
• $\mathcal{W}_n^+$-模 $\Omega(\Lambda_n, a, S)$ 是单模当且仅当 $S \neq \varnothing$ 或 $a \neq -1$，当 $a = -1$ 且 $S = \varnothing$ 时得到非单模。
• $\mathcal{W}_n$-模 $\Omega(\Lambda_n, a)$ 是单模当且仅当 $a \neq -1$，当 $a = -1$ 时结果为非单模。
• 该分类可扩展至无限秩情形：$\mathcal{W}_\infty^+$-模同构于 $\Omega(\Lambda_\infty, a, S)$，其中 $\Lambda_\infty \in (\mathbb{C}^*)^\infty$，$\mathcal{W}_\infty$-模同构于 $\Omega(\Lambda_\infty, a)$，且具有相同的简化性条件。
• 证明依赖于分析 $\mathcal{W}_n^+$ 和 $\mathcal{W}_n$ 在循环向量上的作用，并表明所得关系强制模同构于某一参数化族。