[论文解读] Irreducible Integrable Representations of Toroidal Lie Algebras

Tanusree Khandai|arXiv (Cornell University)|Jul 15, 2016

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

一句话总结

本文通过仿射 Kac-Moody 代数的普遍包络代数的整数形式以及当前代数的作用，为具有有限维权空间的环面李代数的不可约可积表示的分类提供了另一种证明。它通过 $({\mathbf{C}}^*)^{k-1}$ 在到仿射李代数的极大可积权的有限支集函数上的作用，建立了同构类的参数化。

ABSTRACT

The irreducible integrable representations with finite-dimensional weight spaces of toroidal Lie algebras on which the center acts non-trivially were classified by S.Eswara Rao. In this paper we give a compact proof of the results that lead to the classification theorem. Further we establish a necessary and sufficient condition under which two such irreducible modules are isomorphic.

研究动机与目标

• 为环面李代数在范畴 $\mathcal{I}_{\text{fin}}^{\ast}$ 中具有有限维权空间的不可约可积模的分类提供另一种证明。
• 通过 $({\mathbf{C}}^\ast)^{k-1}$ 在到关联仿射 Kac-Moody 代数的极大可积权的有限支集函数集合上的作用，对这类模的同构类进行参数化。
• 阐明在环面李代数表示理论中，无限维 $\mathbf{Z}^k$-分次中心的作用，特别是对非平凡中心作用的限制。
• 通过与仿射李代数表示理论中现有框架一致的方法，简化 $\mathcal{I}_{\text{fin}}^{\ast}$ 中对象的同调研究。
• 通过群作用和模结构，建立 $\mathcal{I}_{\text{fin}}^{\ast}$ 中两个不可约模同构的充分必要条件。

提出的方法

• 利用仿射 Kac-Moody 代数 $\mathfrak{g}_{\text{aff}}$ 的普遍包络代数 $\mathcal{U}(\mathfrak{g}_{\text{aff}})$ 的整数形式来分析模结构。
• 应用当前代数 $\mathfrak{g}_{\text{fin}} \otimes \mathbf{C}[t_1^{\pm 1}]$ 对权向量的作用，推导出中心作用的约束。
• 利用多项式代数 $\mathbf{C}[t_2^{\pm 1}, \dots, t_k^{\pm 1}]$ 的自同构 $s_{\mathbf{b}}$（对应 $\mathbf{b} \in (\mathbf{C}^\ast)^{k-1}$）诱导的模之间的同构。
• 分析权函数 $\pi$ 及其在 $s_{\mathbf{b}}$ 下的像的支集，将模的同构与群作用下的轨道等价性联系起来。
• 依赖于文献 [C1, CFK, CP3] 中对具有有限维权空间的不可约可积 $\mathfrak{g}_{\text{aff}}$-模的分类作为基础输入。
• 利用中心 $\mathcal{Z}$ 的每个分次分量在 $\mathcal{I}_{\text{fin}}^{\ast}$ 中至多有一个非平凡作用这一事实，通过当前代数作用和模分解方法加以证明。

实验结果

研究问题

• RQ1 具有有限维权空间的不可约可积 $\mathcal{T}(\mathfrak{g})$-模的同构类的完整参数化是什么？
• RQ2 如何通过 $\mathbf{Z}^k$-分次中心的作用来约束这类模的结构，且为何每个分次分量至多一个生成元可非平凡作用？
• RQ3 在何种条件下这两个模同构，且如何从代数上刻画这一条件？
• RQ4 能否使用 $\mathcal{U}(\mathfrak{g}_{\text{aff}})$ 的整数形式和当前代数作用，而非 Heisenberg 代数结果，重新推导出这些模的分类？
• RQ5 $({\mathbf{C}}^\ast)^{k-1}$-作用在到 $P_{\text{aff}}^+$ 的有限支集函数集合上，如何对这些模的同构类进行分类？

主要发现

• 在 $\mathcal{I}_{\text{fin}}^{\ast}$ 中的每个不可约 $\mathcal{T}(\mathfrak{g})$-模，都同构于某个 $\pi \in \Pi$ 和 $\mathbf{g} \in \mathbf{Z}^{k-1}$ 的模 $X_{\pi}^{\mathbf{g}}$ 的扭化模，至多相差一个一维模的扭化。
• $X_{\pi}^{\mathbf{g}}$ 的同构类由 $\pi$ 在 $({\mathbf{C}}^\ast)^{k-1}$ 作用下的轨道决定，且 $\mathbf{g}$ 模 $G_\pi$ 是良好定义的。
• 当且仅当存在 $\mathbf{b} \in ({\mathbf{C}}^\ast)^{k-1}$，使得 $\operatorname{supp}(\pi') = \{s_{\mathbf{b}}(M) \mid M \in \operatorname{supp}(\pi)\}$ 且 $X(\pi(M)) \cong X(\pi'(s_{\mathbf{b}}(M)))$ 作为 $\mathfrak{g}_{\text{fin}} \otimes \mathbf{C}[t_1^{\pm 1}] \oplus \mathbf{C}K_1$-模时，两个模 $X_{\pi}^{\mathbf{g}}$ 和 $X_{\pi'}^{\mathbf{g}'}$ 同构。
• 在 $\mathcal{I}_{\text{fin}}^{\ast}$ 中的任意不可约模中，环面代数 $\mathcal{T}(\mathfrak{g})$ 的中心 $\mathcal{Z}$ 至多在一个分次分量的生成元上非平凡作用，这一事实通过当前代数技术重新证明。
• 同构类的参数化在至多一个一维 $\mathcal{T}(\mathfrak{g})$-模扭化的意义下是唯一的，且轨道结构完全捕捉了分类。
• 该证明方法避免依赖于 [F] 中的 Heisenberg 代数表示，而是通过 $\mathcal{U}(\mathfrak{g}_{\text{aff}})$ 的整数形式和当前代数作用，推导出与之前相同的分类结果。