[论文解读] Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

Chih-Whi Chen, Kevin Coulembier+1 more|arXiv (Cornell University)|Jul 10, 2018

Algebraic structures and combinatorial models被引用 3

一句话总结

本文证明了 $ \mathfrak{sl}_n $ 上的单模与有限维模的张量积具有有限型根基，从而将 $ \mathfrak{q}(n) $-超模的分类问题约化为 $ \mathfrak{sl}_n $-模的分类问题。此外，本文还表明 Kac 向上诱导函子在 I 型李超代数上保持有限型根基与根模，为通过范畴 $ \mathcal{O} $ 的组合结构对超模进行分类提供了框架。

ABSTRACT

We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category $\mathcal{O}$.

研究动机与目标

• 确定单模与有限维 $ \mathfrak{sl}_n $-模的张量积是否具有有限型根基。
• 将 $ \mathfrak{q}(n) $-超模的单模分类约化为 $ \mathfrak{sl}_n $-模的单模分类。
• 利用范畴 $ \mathcal{O} $ 的组合结构，描述单 $ \mathfrak{q}(n) $-超模作为 $ \mathfrak{sl}_n $-模的粗略结构。
• 证明 Kac 向上诱导函子在 I 型李超代数上保持有限型根基与根模。
• 建立李超代数表示理论与 A 型 Kazhdan-Lusztig 理论组合结构之间的联系。

提出的方法

• 证明当 $ S $ 为单模且 $ E $ 为有限维 $ \mathfrak{sl}_n $-模时，$ S \otimes E $ 的根基具有有限长度。
• 利用 A 型中的投影函子与 Kazhdan-Lusztig 组合结构，证明在复数域上约化李超代数的情形下，$ S \otimes E $ 的根基是本质的。
• 应用有限型根基的结果，证明当 $ \mathfrak{g}_{\bar{0}} $ 为 A 型时，任意 $ \mathfrak{g} $-超模均为某个 $ \mathfrak{g}_{\bar{0}} $-模的诱导模的商模。
• 使用 Kac 向上诱导函子 $ \mathrm{Ind}^{\widetilde{{\mathfrak{g}}}}_{{\mathfrak{p}}} $ 将 $ \mathfrak{g} $-超模与 $ \mathfrak{g}_{\bar{0}} $-模联系起来。
• 利用同构关系 $ \mathrm{Hom}_{\widetilde{{\mathfrak{g}}}}(K(M), L) \cong \mathrm{Hom}_{{\mathfrak{g}}}(M, S_L) $ 关联单模，并保持根基/根模结构。
• 利用 $ \mathrm{soc}(K(V)) $ 由 $ \Lambda^d \widetilde{{\mathfrak{g}}}_{-1} \otimes \mathrm{soc}(V) $ 生成的事实，证明根基有限性与本质性的保持。

实验结果

研究问题

• RQ1 单模与有限维 $ \mathfrak{sl}_n $-模的张量积是否具有有限长度的根基？
• RQ2 此类张量积的根基是否为本质子模？
• RQ3 能否将 $ \mathfrak{q}(n) $-超模的单模分类约化为 $ \mathfrak{sl}_n $-模的单模分类？
• RQ4 Kac 向上诱导函子是否在 I 型李超代数上保持有限型根基与根模？
• RQ5 当将单 $ \mathfrak{q}(n) $-超模视为 $ \mathfrak{sl}_n $-模时，其粗略结构为何？

主要发现

• 单模与有限维 $ \mathfrak{sl}_n $-模的张量积具有有限长度的根基。
• 此类张量积的根基是本质子模，意味着在复数域上 A 型约化李超代数中，根基为有限型。
• 通过根基有限性性质，$ \mathfrak{q}(n) $-超模的单模分类可约化为 $ \mathfrak{sl}_n $-模的单模分类。
• Kac 向上诱导函子在 I 型李超代数上保持有限型根基与根模，并保持根基与根模的长度。
• 关于 I 型李超代数的特殊 Borel 子代数的 Verma 超模具有单根基。
• $ K(V) $ 的根基，其中 $ V $ 为具有有限型根基的 $ \mathfrak{g} $-模，同构于 $ \Lambda^d \widetilde{{\mathfrak{g}}}_{-1} \otimes \mathrm{soc}(V) $，且其长度与 $ \mathrm{soc}(V) $ 相同。