[论文解读] Primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$

Ivan Penkov, Alexey Petukhov|arXiv (Cornell University)|Aug 31, 2016

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

一句话总结

本文在特征为0的不可数代数闭域上，对无限维李代数 $\frak{sl}(\infty)$ 的普遍包络代数 $\operatorname{U}(\frak{sl}(\infty))$ 中的本原理想给出了完整的分类。证明了每个本生理想都是可积的，从而表明此前基于 A. Zhilinskii 工作的可积本生理想的分类实际上已涵盖所有本生理想，通过杨图和权参数给出了有限且显式的描述。

ABSTRACT

We provide an explicit description of the primitive ideals of the enveloping algebra $\operatorname{U}(\frak{sl}(\infty))$ of the infinite-dimensional finitary Lie algebra $\frak{sl}(\infty)$ over an uncountable algebraically closed field of characteristic 0. Our main new result is that any primitive ideal of $\operatorname{U}(\frak{sl}(\infty))$ is integrable. A classification of integrable primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$ has been known previously, and relies on the pioneering work of A. Zhilinskii.

研究动机与目标

• 提供 $\operatorname{U}(\frak{sl}(\infty))$ 中所有本生理想的显式分类。
• 解决长期存在的问题：$\operatorname{U}(\frak{sl}(\infty))$ 的每个本生理想是否都是可积的。
• 证明已知的可积本生理想分类——基于 Zhilinskii 的工作——实际上完全穷尽了 $\operatorname{U}(\frak{sl}(\infty))$ 中的所有本生理想。
• 通过权参数和杨图，建立本生理想之间包含关系的组合准则。

提出的方法

• 作者通过参数 $x,y$ 和对应于有限维 $\mathfrak{sl}(n)$-模最高权的序列 $l_i, r_j$ 定义本生理想 $I(x,y,l_1,\dots,l_s,r_1,\dots,r_t)$。
• 引入序列 $p_i^c$ 和 $q_j^d$，以编码 $\mathfrak{sl}(n)$-模的权数据，通过其关联的 c.l.s.（闭极限集）参数化理想。
• 利用 c.l.s. 理论以及 Zhilinskii 工作中关于可积本生理想的分类，证明每个本生理想均可表示为可积零化子。
• 通过关于平移权序列的不等式建立本生理想包含关系的准则：$l_i - a \geq l'_{i+c}$ 与 $r_j - b \geq r'_{j+d}$，其中 $a+b = y - y'$，$c+d = x - x'$。
• 证明依赖于 c.l.s. 的不可约性以及 $\mathfrak{sl}(n)$-模的直极限结构，特别是自然模 $V = \varinjlim V(n)$ 及其对偶 $V_*$。
• 他们利用了 $\operatorname{U}(\frak{sl}(\infty))$ 仅有可数个本生理想这一事实，与有限维情形下的不可数情况形成对比。

实验结果

研究问题

• RQ1 所有 $\operatorname{U}(\frak{sl}(\infty))$ 的本生理想是否都是可积的？
• RQ2 可积本生理想的分类能否推广至所有本生理想？
• RQ3 $\operatorname{U}(\frak{sl}(\infty))$ 中本生理想的包含结构是什么？
• RQ4 参数 $x,y,l_i,r_j$ 如何编码本生理想的结构？
• RQ5 是否存在 $\operatorname{U}(\frak{sl}(\infty))$ 中本生理想包含关系的有限组合准则？

主要发现

• 所有 $\operatorname{U}(\frak{sl}(\infty))$ 的本生理想都是可积的，解决了无限维李代数表示论中的一个关键问题。
• Zhilinskii 工作中关于可积本生理想的分类完全描述了 $\operatorname{U}(\frak{sl}(\infty))$ 中的所有本生理想。
• $\operatorname{U}(\frak{sl}(\infty))$ 中仅有可数个本生理想，与有限维情形下的不可数情况形成鲜明对比。
• 建立了本生理想包含关系的准则：$I \subset I'$ 当且仅当 $x \geq x'$，$y \geq y'$，且平移后的权序列满足 $l_i - a \geq l'_{i+c}$，$r_j - b \geq r'_{j+d}$，其中 $a+b = y - y'$，$c+d = x - x'$。
• $\operatorname{U}(\frak{sl}(\infty))$ 的双边理想格满足升链条件。
• 增广理想 $I(0,0,0,0)$ 是 $\operatorname{U}(\frak{sl}(\infty))$ 中唯一的极大双边理想。