[论文解读] Annihilators of simple tensor modules

Alexandru-Gabriel Sava|arXiv (Cornell University)|Jan 18, 2012

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

本文研究了有限型局部有限维无限维李代数的普遍包络代数中的本原理想，例如 $\mathfrak{sl}(\infty,\mathbb{C})$、$\mathfrak{o}(\infty,\mathbb{C})$ 和 $\mathfrak{sp}(\infty,\mathbb{C})$。证明了两个简单张量模同构当且仅当它们具有相同的零化子，从而在这一无限维设定下通过零化子完全分类了简单模。

ABSTRACT

We study primitive ideals in the enveloping algebra of finitary locally finite infinite-dimensional complex Lie algebras. In particular we investigate the annihilators of the simple objects in the category of tensor modules. This category has been studied in \cite{PStyr} and \cite{PS}. Moreover we prove that a simple tensor module is completely determined by its annihilator and we introduce a partial order on pairs of Young diagrams that we use to describe the inclusions between the annihilators of the simple tensor modules.

研究动机与目标

• 通过普遍包络代数中的零化子对如 $\mathfrak{sl}(\infty,\mathbb{C})$、$\mathfrak{o}(\infty,\mathbb{C})$ 和 $\mathfrak{sp}(\infty,\mathbb{C})$ 这类有限型局部有限维无限维李代数的简单模进行分类。
• 解决在普遍包络代数的中心为平凡时，经典 Duflo 理论不适用的无限维李代数中简单模分类的挑战。
• 确定尽管中心为平凡，$\mathcal{U}(\mathfrak{g})$ 中是否存在非平凡的本原理想。
• 建立简单张量模的同构类与它们的零化子之间的双射，解决零化子映射的纤维问题。

提出的方法

• 利用局部有限李代数上张量模的结构，这些模是嵌套有限维子代数的有限维表示的归纳极限。
• 应用 Gelfand-Tsetlin 图式和最高权模的理论，分析模在递增子代数 $\mathfrak{g}_j$ 上的限制。
• 对最高权向量采用归纳程序，追踪权分拆 $ (\lambda^k, \mu^k) \prec (\lambda^{k+1}, \mu^{k+1}) $ 的严格主导关系，以构造权的链。
• 利用张量模范畴在限制下封闭，且简单模在极限下由其最高权唯一确定的事实。
• 应用可积模和局部单李代数的结果，以确保归纳极限中存在最高权向量。
• 利用由稳定最高权向量生成的极限模 $ V_{\lambda^s\mu^s} $ 的唯一性，得出其同构于原始简单模的结论。

实验结果

研究问题

• RQ1 对于 $\mathfrak{g} = \mathfrak{sl}(\infty,\mathbb{C})$、$\mathfrak{o}(\infty,\mathbb{C})$ 或 $\mathfrak{sp}(\infty,\mathbb{C})$，尽管 $\mathcal{U}(\mathfrak{g})$ 的中心为平凡，其 $\mathcal{U}(\mathfrak{g})$ 中是否存在非平凡的本原理想？
• RQ2 一个简单张量模的同构类是否能被其在 $\mathcal{U}(\mathfrak{g})$ 中的零化子唯一确定？
• RQ3 是否存在一个有限的权分拆链 $ (\lambda^k, \mu^k) $，使得模在归纳极限中稳定为一个最高权模？
• RQ4 一个简单模在限制到递增子代数 $\mathfrak{g}_j$ 时，是否最终稳定为一个与最高权模 $V_{\lambda^s\mu^s}$ 同构的模？
• RQ5 能否利用简单张量模的零化子重建该模（模同构）？

主要发现

• 一个简单张量模的零化子唯一确定其同构类：两个简单张量模同构当且仅当它们在 $\mathcal{U}(\mathfrak{g})$ 中具有相同的零化子。
• 尽管对于 $\mathfrak{g} = \mathfrak{sl}(\infty,\mathbb{C})$、$\mathfrak{o}(\infty,\mathbb{C})$ 或 $\mathfrak{sp}(\infty,\mathbb{C})$，$\mathcal{U}(\mathfrak{g})$ 的中心为平凡，但非平凡的本原理想依然存在。
• 最高权模的归纳极限 $F_{n+p+q}^{(\lambda^k,\mu^k)_{n}}$ 稳定为一个简单模 $V_{\lambda^s\mu^s}$，该模同构于原始模 $M$。
• 存在一个严格递增的权分拆链 $ (\lambda^1, \mu^1) \prec (\lambda^2, \mu^2) \prec \cdots \prec (\lambda^s, \mu^s) \preceq (\lambda, \mu) $，其长度受 $ (\lambda_1 + \mu_1)^{p+q} $ 限制，从而保证终止。
• 通过连续限制提升最高权向量的程序在情况1中最终稳定，意味着最高权向量生成的模同构于 $V_{\lambda^s\mu^s}$。
• 结论源于 $M$ 的简单性以及 $M$ 在极限下由单个最高权向量生成，因此 $M \simeq V_{\lambda^s\mu^s}$。