[论文解读] Simple bounded weight modules of $\displaystyle{\mathfrak{sl}(\infty)}$, $\displaystyle{\mathfrak{o}(\infty)}$, $\displaystyle{\mathfrak{sp}(\infty)}$

Dimitar Grantcharov, Ivan Penkov|arXiv (Cornell University)|Jul 5, 2018

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

一句话总结

本文对无限维李代数 $σλ(\infty)$、$ϴ(\infty)$ 和 $σπ(\infty)$ 的简单有界权模进行了分类，证明了非可积模是重数自由的，并通过直接极限构造和局部化技术显式计算了其在普遍包络代数中的零化子。关键结果是对这些模及其本原理想的完整分类，且零化子通过直接极限构造和局部化技术被明确确定。

ABSTRACT

We classify the simple bounded weight modules of ${\mathfrak{sl}(\infty})$, ${\mathfrak{o}(\infty)}$ and ${\mathfrak{sp}(\infty)}$, and compute their annihilators in $U({\mathfrak{sl}(\infty}))$, $U({\mathfrak{o}(\infty))}$, $U({\mathfrak{sp}(\infty))}$, respectively.

研究动机与目标

• 对直极限李代数 $σλ(\infty)$、$ϴ(\infty)$ 和 $σπ(\infty)$ 的所有简单有界权模进行分类。
• 计算这些模在普遍包络代数 $U(σλ(\infty))$、$U(ϴ(\infty))$ 和 $U(σπ(\infty))$ 中的零化子。
• 将有限维李代数的有界模分类结果推广至无限维情形，特别是针对 $σλ(\infty)$、$ϴ(\infty)$ 和 $σπ(\infty)$。
• 通过提供简单有界权模的完整且显式分类，解决李代数表示论中长期悬而未决的公开问题。

提出的方法

• 以有限维李代数上的权模理论为基础，借鉴 Fernando、Mathieu 等人的结果。
• 应用局部化技术和扭曲局部化，分析 $σλ(\infty)$、$ϴ(\infty)$ 和 $σπ(\infty)$ 上有界权模的结构。
• 通过直接极限构造，将有限维情形下 $σλ(n+1)$、$ϴ(2n+1)$、$σπ(2n)$ 的结果提升至无限维情形。
• 利用 Shale-Weil 表示及其性质，识别关键本原理想，特别是针对 $σπ(\infty)$。
• 应用重数自由性的概念对非可积模进行分类，表明所有非可积简单有界模均为重数自由。
• 通过与有限维普遍包络代数 $U_n$ 的交集计算零化子，表明 $(\operatorname{Ann}M)\cap U_n$ 稳定并定义了 $U(\mathfrak{g})$ 中的完整零化子。

实验结果

研究问题

• RQ1 如何对 $σλ(\infty)$、$ϴ(\infty)$ 和 $σπ(\infty)$ 的简单有界权模进行完整分类？
• RQ2 这些模在普遍包络代数 $U(\mathfrak{g})$ 中的零化子是什么？
• RQ3 非可积简单有界权模是否为重数自由？这一性质如何简化分类？
• RQ4 从有限维代数出发，通过直接极限构造，有界模的零化子如何行为？
• RQ5 在 $U(\mathfrak{g})$ 中，由有界权模产生的本原理想具有何种结构？

主要发现

• 所有非可积简单有界权模 $σλ(\infty)$ 和 $σπ(\infty)$ 均为重数自由，证实了 Dimitrov 早期工作的关键洞察。
• 简单有界非可积 $σπ(\infty)$-模 $L(\frac{1}{2}, \frac{1}{2}, \dots)$ 的零化子为本原理想 $I_{\rm sw} = \underrightarrow{\lim}\, J_n$，其中 $J_n$ 是 $U(\mathfrak{sp}(2n))$ 中 Shale-Weil 模的零化子。
• 对于 $σλ(\infty)$，模 $\Lambda_A^{\infty/2}V$ 的零化子同构于 $I(0,1,\emptyset,\emptyset)$，而模 $S_A^\infty V$ 或 $S_A^\infty V_*$ 的零化子同构于 $I(1,0,\emptyset,\emptyset)$。
• 对于 $σλ(\infty)$，模 $S^\lambda V$ 的零化子同构于 $I(0,0,\lambda,\emptyset)$，而模 $S^\mu V_*$ 的零化子同构于 $I(0,0,\emptyset,\mu)$。
• 对于 $ϴ(\infty)$，任意非平凡简单有界可积模 $M \not\simeq V$ 的零化子非零且与 $M$ 无关，且不同于平凡模 $V$ 的零化子。
• 标准模 $V$ 对于 $σπ(\infty)$ 的零化子不等于 $I_{\rm sw}$，表明 $I_{\rm sw}$ 并非平凡表示的零化子。