[论文解读] Representations of Graded Multi-Loop Lie Algebras

Tanusree Pal, Punita Batra|ArXiv.org|Jun 4, 2007

Advanced Topics in Algebra参考文献 11被引用 3

一句话总结

本文对带有限维权空间的分次多圈李代数及其扭版本的不可约可积模进行了分类，证明其要么是最高权模，要么是其对偶。该分类依赖于对已有最高权模结果的推广，并利用泛包络代数与代数同态来刻画同构类。

ABSTRACT

Let g_A (respectively, g_A(μ)) be the graded multi-loop Lie algebra (respectively graded twisted multi-loop Lie algebra)" associated with the simple finite dimensional Lie algebra g over the complex field C. In this paper, we prove that irreducible integrable g_A(μ)-modules with finite dimensional weight spaces are either highest weight modules or their duals and classify the isomorphism classes of irreducible integrable g_A-modules and g_A(μ)-modules with finite dimensional weight spaces.

研究动机与目标

• 对分次多圈李代数 $\tilde{\mathfrak{g}}_A$ 和 $\tilde{\mathfrak{g}}_A(\mu)$ 的不可约可积模在有限维权空间下的同构类进行分类。
• 将未扭多圈代数的最高权模已知结果推广至扭的情形。
• 在多圈李代数的背景下，建立分次与非分次最高权模之间的一一对应关系。
• 分析从 $U(\mathfrak{h}_A)$ 到 $A$ 的代数同态 $\psi(\lambda, a)$ 的结构及其在模构造中的作用。
• 在特定条件下，证明某些 $\tilde{\mathfrak{g}}_A$-模作为 $\tilde{\mathfrak{g}}_A(\mu)$-模是完全可约的。

提出的方法

• 利用多圈李代数 $\mathfrak{g}_A = \mathfrak{g} \otimes A$ 及其分次扩张 $\tilde{\mathfrak{g}}_A = \mathfrak{g}_A \oplus D$ 的框架，其中 $D$ 为导子代数。
• 通过 $\mathfrak{g}$ 上的有限阶图自同构 $\mu$ 应用扭多圈代数 $\mathfrak{g}_A(\mu)$ 的概念，并将 $\mu$ 延拓至 $\tilde{\mathfrak{g}}_A$。
• 使用泛包络代数 $U(\mathfrak{h}_A)$，并构造从 $U(\mathfrak{h}_A)$ 到 $A$ 的代数同态 $\psi(\lambda, a): U(\mathfrak{h}_A) \to A$，以定义最高权模 $V(\psi(\lambda, a))$。
• 利用限制映射将 $\tilde{\mathfrak{g}}_A(\mu)$ 的最高权模与 $\tilde{\mathfrak{g}}_A$ 的最高权模联系起来，建立一一对应关系。
• 应用有限维表示的张量积的唯一分解定理（Rajan, 2004）以简化同构类的分类。
• 分析权空间的有限性与可积性条件，证明 $I_{fin}$ 和 $I_{fin}^\mu$ 中的不可约模要么是最高权模，要么是其对偶。

实验结果

研究问题

• RQ1 所有带有限维权空间的 $\tilde{\mathfrak{g}}_A(\mu)$ 不可约可积模是否都是最高权模或其对偶？
• RQ2 $\tilde{\mathfrak{g}}_A(\mu)$ 的不可约可积最高权模的一般形式是什么？
• RQ3 在何种条件下，一个不可约 $\tilde{\mathfrak{g}}_A$-模作为 $\tilde{\mathfrak{g}}_A(\mu)$-模是完全可约的？
• RQ4 $\tilde{\mathfrak{g}}_A$ 与 $\tilde{\mathfrak{g}}_A(\mu)$ 的不可约可积模的同构类之间有何关系？
• RQ5 代数同态 $\psi(\lambda, a)$ 在这些模的分类中起什么作用？

主要发现

• 带有限维权空间的不可约可积 $\tilde{\mathfrak{g}}_A(\mu)$-模要么是最高权模，要么是其对偶。
• $\tilde{\mathfrak{g}}_A$-模中带有限维权空间的不可约可积模的同构类通过形如 $V(\psi(\lambda, a))$ 的模得以分类。
• $I_{fin}^\mu$ 中的每个不可约最高权 $\tilde{\mathfrak{g}}_A(\mu)$-模都是 $I_{fin}$ 中某个不可约最高权 $\tilde{\mathfrak{g}}_A$-模的子模。
• 若对应的有限维 $\mathfrak{g}_A$-模作为 $\mathfrak{g}_A(\mu)$-模是不可约的，则不可约 $\tilde{\mathfrak{g}}_A$-模 $V(\psi(\lambda, a))$ 作为 $\tilde{\mathfrak{g}}_A(\mu)$-模是完全可约的。
• 若 $\text{Image}(\psi(\lambda, a)) = A$，则不可约 $\tilde{\mathfrak{g}}_A$-模 $V(\psi(\lambda, a))$ 作为 $\tilde{\mathfrak{g}}_A(\mu)$-模是完全可约的。
• $I_{fin}$ 与 $I_{fin}^\mu$ 中不可约可积模的同构类分类，是通过 $\psi(\lambda, a)$ 的结构以及 $\mathfrak{g}$ 的有限维表示的张量积的唯一分解实现的。