[论文解读] Simple Virasoro modules which are locally finite over a positive part

Volodymyr Mazorchuk, Kaiming Zhao|arXiv (Cornell University)|May 27, 2012

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

一句话总结

本文提出了一类在正子代数上局部有限的简单Virasoro模的一般构造，统一了最高权模与Whittaker型模。通过从有限维可解代数 $\tau_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$ 的简单模诱导，该文分类了所有在某个 $\mathfrak{V}_+^{(k)}$ 上局部有限的简单Virasoro模，恢复了已知模并构造了新族。

ABSTRACT

We propose a very general construction of simple Virasoro modules generalizing and including both highest weight and Whittaker modules. This reduces the problem of classification of simple Virasoro modules which are locally finite over a positive part to classification of simple modules over a family of finite dimensional solvable Lie algebras. For one of these algebras all simple modules are classified by R. Block and we extend this classification to the next member of the family. As a result we recover many known but also construct a lot of new simple Virasoro modules. We also propose a revision of the setup for study of Whittaker modules.

研究动机与目标

• 分类所有在某个 $\mathfrak{V}_+^{(k)}$ 上局部有限的简单Virasoro模，推广了如最高权模和Whittaker模等已知类。
• 通过引入一个涵盖最高权模与Whittaker型模的统一框架，统一简单Virasoro模的构造，实现单一诱导机制。
• 将此类模的分类简化为有限维可解李代数 $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$ 的简单模的分类。
• 将Block对 $\mathfrak{a}_1$-模的分类推广至 $\mathfrak{a}_2$，从而得到新的简单Virasoro模族。
• 修订Virasoro代数的广义Whittaker模设置，证明对某些子代数 $\mathfrak{n}$ 有 $\mathfrak{F}_\mathfrak{n} = \mathfrak{W}_\mathfrak{n}$，从而确保所有此类模均被主分类涵盖。

提出的方法

• 定义 $\mathfrak{V}_+^{(k)}$ 为 $\mathfrak{V}$ 中由 $\mathtt{l}_i$（$i > k$）生成的李子代数，并研究在 $\mathfrak{V}_+^{(k)}$ 上局部有限的模。
• 使用诱导模构造 $\mathrm{Ind}_\theta(N) = U(\mathfrak{V}) \otimes_{U(\mathfrak{V}_+)} N / (\mathtt{c} - \theta)\mathrm{Ind}(N)$，其中 $N$ 是满足特定有限性与单射性条件的简单 $\mathfrak{V}_+$-模。
• 证明：若 $\mathtt{l}_k$ 在 $N$ 上单射，且对所有 $i > k$ 有 $\mathtt{l}_i N = 0$，则对任意 $\theta \in \mathbb{C}$，$\mathrm{Ind}_\theta(N)$ 是简单 $\mathfrak{V}$-模，构成核心构造。
• 将 $\mathfrak{V}$-模在 $\mathfrak{V}_+^{(k)}$ 上局部有限的分类，简化为对有限维可解李代数 $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$ 的简单模的分类。
• 利用Block对 $\mathfrak{a}_1$-模的分类，恢复并扩展了已知的Whittaker模，并构造了新模。
• 证明对某些子代数 $\mathfrak{n} \subset \mathfrak{V}_+^{(0)}$ 有 $\mathfrak{F}_\mathfrak{n} = \mathfrak{W}_\mathfrak{n}$，验证Whittaker设置的完备性并确保分类的完整性。

实验结果

研究问题

• RQ1 哪些简单Virasoro模在某个 $\mathfrak{V}_+^{(k)}$ 上局部有限？
• RQ2 能否通过统一构造在单一框架内生成最高权模与Whittaker型模？
• RQ3 此类模的分类在多大程度上可简化为有限维李代数 $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$？
• RQ4 $\mathfrak{a}_2$ 上的简单模具有何种结构？它们与已知Whittaker模有何关系？
• RQ5 在何种条件下，Virasoro代数的Whittaker模设置能涵盖所有局部有限模？

主要发现

• 定理1表明：若 $N$ 是满足 $\mathtt{l}_k$ 单射且对所有 $i > k$ 有 $\mathtt{l}_i N = 0$ 的简单 $\mathfrak{V}_+$-模，则对任意 $\theta \in \mathbb{C}$，$\mathrm{Ind}_\theta(N)$ 是简单 $\mathfrak{V}$-模，提供了一般构造方法。
• 定理2证明：每个在某个 $\mathfrak{V}_+^{(k)}$ 上局部有限的简单 $\mathfrak{V}$-模，要么是最高权模，要么同构于此类 $N$ 的 $\mathrm{Ind}_\theta(N)$，从而完全分类了所有此类模。
• 在 $\mathfrak{V}_+^{(k)}$ 上局部有限的简单 $\mathfrak{V}$-模的分类，完全简化为对有限维可解李代数 $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$ 的简单模的分类。
• 当 $n=1$ 时，Block对 $\mathfrak{a}_1$-模的分类被推广至 $\mathfrak{a}_2$，从而得到 $\mathfrak{a}_2$-模的完整分类，并构造出新的简单Virasoro模族。
• 本文证明：对所有满足 $\mathfrak{V}_+^{(k)} \subset \mathfrak{n} \subset \mathfrak{V}_+^{(0)}$ 的子代数 $\mathfrak{n}$，有 $\mathfrak{F}_\mathfrak{n} = \mathfrak{W}_\mathfrak{n}$，验证了Whittaker框架的正确性，并确保所有此类模均被包含在分类中。
• 该构造恢复了 [OW1, LGZ, FJK] 中的所有已知Whittaker模，并产生了大量此前未分类的新简单Virasoro模。