[论文解读] On representations of Cartan map Lie superalgebras

Irfan Bagci|arXiv (Cornell University)|Aug 4, 2015

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

一句话总结

本文对Cartan型李超代数的Cartan映射李超代数 $χ\otimes A$ 及其扭曲版本 $(χ\otimes A)^T$ 的有限维不可约表示进行分类，其中 $χ$ 是单个Cartan型李超代数，$A$ 是复数域上的有限生成交换代数。文章引入广义Kac模作为从偶部 $\mathfrak{g}_0\otimes A$ 诱导的模，证明所有不可约表示均可作为其不可约商模出现，并证明在有限交换群 $T$ 作用自由的条件下，扭曲代数的所有不可约表示均为未扭曲代数不可约表示的限制。

ABSTRACT

This paper describes finite dimensionall irreducible representations of both twisted and untwisted Cartan map Lie superalgebras.

研究动机与目标

• 对形式为 $\mathfrak{g}\otimes A$ 的李超代数的有限维不可约表示进行分类，其中 $\mathfrak{g}$ 是单个Cartan型李超代数，$A$ 是复数域上的有限生成交换代数。
• 将此分类结果推广至扭曲的Cartan映射李超代数 $(\mathfrak{g}\otimes A)^T$，其中有限交换群 $T$ 通过自同态作用于 $\mathfrak{g}$ 和 $A$。
• 在 $T$ 在 $\operatorname{MaxSpec}(A)$ 上自由作用的假设下，证明 $(\mathfrak{g}\otimes A)^T$ 的所有有限维不可约表示均为 $\mathfrak{g}\otimes A$ 的不可约表示的限制。
• 通过广义Kac模提供一个统一框架，用于在Cartan型情形下构造和分析不可约表示。

提出的方法

• 将广义Kac模定义为从偶部 $\mathfrak{g}_0\otimes A$ 诱导的模，推广Kac对 $\mathfrak{g}$ 的原始构造。
• 利用 $\mathfrak{g}$ 的 ${\mathbb{Z}}$-分次结构，将 $\mathfrak{g}_0$ 定义为零度分量，其为单个李代数。
• 通过在 $A$ 的极大理想 $\mathfrak{m}_i$ 处的取值映射 $\varphi_{\mathfrak{m}_i^{n_i}}(\pi_i)$ 构造表示，其中 $\pi_i$ 是 $\mathfrak{g}$ 的不可约表示。
• 应用群作用技术：在有限交换群 $T$ 作用下，将 $\mathfrak{g}$ 和 $A$ 分解为同态分量。
• 利用同构 $\operatorname{MaxSpec}(A)^T \cong \operatorname{MaxSpec}(A)/T$ 在自由作用下对极大理想的轨道进行分类。
• 通过等变性与特征群分析，证明 $(\mathfrak{g}\otimes A)^T$ 的不可约表示为 $\mathfrak{g}\otimes A$ 的不可约表示的限制。

实验结果

研究问题

• RQ1 当 $\mathfrak{g}$ 为单个Cartan型李超代数时，如何对 $\mathfrak{g}\otimes A$ 的有限维不可约表示进行分类？
• RQ2 偶代数部分 $\mathfrak{g}_0\otimes A$ 在构造 $\mathfrak{g}\otimes A$ 的不可约表示中起什么作用？
• RQ3 在何种条件下，扭曲代数 $(\mathfrak{g}\otimes A)^T$ 的所有不可约表示均为 $\mathfrak{g}\otimes A$ 的表示的限制？
• RQ4 有限交换群 $T$ 对 $\operatorname{MaxSpec}(A)$ 的作用如何影响 $(\mathfrak{g}\otimes A)^T$ 的不可约表示的分类？

主要发现

• 所有 $\mathfrak{g}\otimes A$ 的有限维不可约表示均为从 $\mathfrak{g}_0\otimes A$ 诱导的广义Kac模的不可约商模。
• 当 $\mathfrak{g} = S(n), \tilde{S}(n), H(n)$ 时，所有 $\mathfrak{g}\otimes A$ 的有限维不可约表示均为取值表示的张量积。
• 当 $\mathfrak{g} = W(n)$ 时，$\mathfrak{g}\otimes A$ 的有限维不可约表示由具有有限支集的 $\mathfrak{g}_0\otimes A$ 的不可约有限维表示参数化。
• 每个扭曲的Cartan映射李超代数 $(\mathfrak{g}\otimes A)^T$ 的有限维不可约表示都同构于 $\mathfrak{g}\otimes A$ 的某个不可约表示的限制。
• 当 $T$ 在 $\operatorname{MaxSpec}(A)$ 上自由作用时，$(\mathfrak{g}\otimes A)^T$ 的不可约表示由不可约表示 $\pi_i$ 和位于不同 $T$-轨道中的不同极大理想 $\mathfrak{m}_i$ 的元组参数化。
• 表示 $\varphi_{\mathfrak{m}_i^{n_i}}^T(\pi_i)$ 的同构类在 $T$-作用下保持不变，从而可简化为来自不同轨道的代表。