[论文解读] The primitive spectrum for gl(m|n)

Kevin Coulembier, Ian M. Musson|arXiv (Cornell University)|Sep 8, 2014

Algebraic structures and combinatorial models参考文献 15被引用 7

一句话总结

本文引入了在 $ℂ(m|n)$ 上的最高权的新拟序 $⟛$，将左 Kazhdan-Lusztig 顺序推广至李超代数。证明了 $⟛$ 蕴含素理想包含关系，并表明 $⟛$ 在素理想上诱导出一个偏序。作者通过基于范畴 $ℚ$ 中晶体结构的新平移原理，验证了 $⟛$ 在单参性及典型块中给出完整包含序的猜想，以及在 $ℂ(2|2)$ 中的情形。$ℂ(m|1)$ 的余理想中素理想的偏序集被显式描述。

ABSTRACT

We study inclusions between primitive ideals in the universal enveloping algebra of general linear superalgebras. For classical Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras, this quasi-order is essentially the left Kazhdan-Lusztig quasi-order. For Lie superalgebras, the classification is unknown in general, safe from some low dimensional specific cases. We derive an alternative definition of the left Kazhdan-Lusztig quasi-order which extends to classical Lie superalgebras. We show that a relation in this preorder implies an inclusion between primitive ideals. For gl(m|n) the new quasi-order is defined explicitly in terms of Brundan's Kazhdan-Lusztig theory. We prove that the quasi-order induces an actual partial order on the set of primitive ideals. We conjecture that this is the inclusion order. By the above paragraph one direction of this conjecture is true. We prove several consistency results concerning the conjecture and prove it for singly atypical and typical blocks of gl(m|n) and in general for gl(2|2). An important tool is a new translation principle for primitive ideals, based on the crystal structure for category O. Finally we focus on an interesting explicit example; the poset of primitive ideals contained in the augmentation ideal for gl(m|1).

研究动机与目标

• 将左 Kazhdan-Lusztig 拟序推广至经典李超代数，特别是 $ℂ(m|n)$，其中由于缺乏合适的 Weyl 群结构，标准的 Weyl 群方法失效。
• 定义一个新的拟序 $⟛$，以控制 $ℂ(m|n)$ 的普遍包络代数中素理想之间的包含关系，推广已知的约化李代数中的顺序。
• 证明 $⟛$ 在素理想集合上诱导出一个偏序，并验证其在关键情形（包括典型和单参性块）中与实际包含序一致。
• 基于范畴 $ℚ$ 中的晶体结构，开发一种新的素理想平移原理，以研究不同块之间的包含关系。
• 显式描述 $ℂ(m|1)$ 的余理想中素理想的偏序集，包括其分层结构及通过生成函数表示的基数。

提出的方法

• 利用 Brundan 的 $ℂ(m|n)$ 的 Kazhdan-Lusztig 理论，在最高权上引入新的拟序 $⟛$，以取代经典 KL 顺序中对 Weyl 群的依赖。
• 证明若 $\alpha \unlhd \beta$，则 $J(\alpha) \supseteq J(\beta)$，表明 $⟛$ 可预测素理想的包含关系。
• 利用基于范畴 $ℚ$ 中晶体结构的新平移原理，关联不同块中的素理想，特别是在非典型和奇异区域。
• 应用 Brundan 理论及标准表的理论，通过 $S_m$ 中对合数 $s_m$ 计算 $ℂ(m|1)$ 的余理想中素理想的数量。
• 推导出素理想偏序集基数 $t_m = |X^{(m)}|$ 的指数生成函数，表明 $G(x) = \frac{1}{2}(1+x+2x^2)F(x)$，其中 $F(x) = \exp(x+x^2)$。
• 通过显式偏序集分析及 $m<6$ 时无例外覆盖的事实，证明了 $⟛$ 给出完整包含序的猜想，适用于典型和单参性块，以及 $ℂ(2|2)$。

实验结果

研究问题

• RQ1 新拟序 $⟛$ 是否正确描述了 $ℂ(m|n)$ 中素理想的包含序，特别是在经典方法失效的非典型和奇异块中？
• RQ2 基于范畴 $ℚ$ 中晶体结构的新平移原理是否可用于关联不同块中的素理想，并证明 $⟛$ 顺序的一致性？
• RQ3 $ℂ(m|1)$ 的余理想中素理想的偏序集结构如何？其基数随 $m$ 如何增长？
• RQ4 拟序 $⟛$ 是否在素理想集合上构成一个偏序？其是否与典型和单参性块等关键情形下的实际包含序一致？
• RQ5 $ℂ(m|1)$ 的素理想偏序集中是否存在 $m<6$ 时的例外覆盖？这对 $⟛$ 顺序的有效性有何含义？

主要发现

• 新拟序 $⟛$ 通过 Brundan 的 Kazhdan-Lusztig 理论在 $ℂ(m|n)$ 上显式定义，并满足 $\alpha \unlhd \beta \Rightarrow J(\alpha) \supseteq J(\beta)$。
• 拟序 $⟛$ 在 $ℂ(m|n)$ 的素理想集合上诱导出一个偏序，为完整的包含序提供候选。
• 已证明 $⟛$ 给出正确包含序的猜想，适用于所有典型和单参性块的 $ℂ(m|n)$。
• 该猜想也在特定情形 $ℂ(2|2)$ 中得到验证，其中素理想的偏序集被完整描述，并与 $⟛$ 一致。
• 对于 $ℂ(m|1)$，余理想中素理想的偏序集被显式描述，且 $|X^{(m)}| = t_m = \frac{m+1}{2} s_m$，其中 $s_m$ 为 $S_m$ 中的对合数。
• 生成函数 $t_m$ 的指数生成函数为 $G(x) = \frac{1}{2}(1+x+2x^2)\exp(x+x^2)$，由 $s_m$ 的生成函数 $F(x) = \exp(x+x^2)$ 推导得出。