[论文解读] On Integrable modules for the twisted full toroidal Lie algebra

S. Eswara Rao, Punita Batra|arXiv (Cornell University)|Sep 9, 2015

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

一句话总结

本文对由有限维单李代数上多个彼此对易的有限阶自同构所生成的扭曲全环面李代数的不可约可积模进行了分类。通过将多圈代数构造推广至多变量，并引入普遍中心扩张和导子扩张，作者证明此类模是 $ gl_n \oplus \mathring{\mathfrak{g}} $ 的不可约模的诱导模的商模，从而推广了仅考虑单个自同构时的早期结果。

ABSTRACT

The paper is to classify irreducible integrable modules for the twisted full toroidal Lie algebra with some technical conditions. The twisted full toroidal Lie algebra are extensions of multiloop algebra twisted by sevaral finite order automorphisms. The result genaralizes a result by Fu Jiayuan and Cuipo Jiang, where they consider only one automorphism.

研究动机与目标

• 对在多个彼此对易的有限阶自同构作用下的扭曲全环面李代数的不可约可积模进行分类。
• 推广傅佳源与姜的成果，后者仅考虑了单个自同构的情形。
• 描述具有有限维权空间和非零中心作用的最高权模的结构。
• 证明最高权空间同构于 $ gl_n \oplus \mathring{\mathfrak{g}} $ 的诱导模，其中 $ \mathring{\mathfrak{g}} $ 为固定点子代数。
• 建立原始模作为从最高权空间诱导模的商模的实现。

提出的方法

• 将扭曲全环面李代数 $ \tau $ 构造为经由 $ n+1 $ 个彼此对易的有限阶自同构作用的多圈代数的普遍中心扩张。
• 利用三角分解 $ \tau = \tau^- \oplus \tau^0 \oplus \tau^+ $ 定义最高权模。
• 将最高权空间 $ T $ 识别为 $ \tau_0 $ 的不可约模，其为 $ \mathbb{Z}^n $-分次的。
• 定义子代数 $ L \subset \tau_0 $ 和商代数 $ \tilde{L} $，以将问题约化为有限维表示论。
• 从有限维 $ \tilde{L} $-模 $ \tilde{V} $ 构造 $ L $-模 $ L(\tilde{V}) $，并证明 $ T $ 可嵌入为该诱导模的一个分量。
• 证明当且仅当 $ \tilde{V} $ 作为 $ \tilde{L} $-模不可约时，$ L(\tilde{V}) $ 分解为两两不互同构的不可约 $ L $-模，从而实现 $ T $ 的显式构造。

实验结果

研究问题

• RQ1 如何对具有多个自同构的扭曲全环面李代数的不可约可积模进行分类？
• RQ2 最高权空间 $ T $ 作为子代数 $ \tau_0 $ 模的结构是怎样的？
• RQ3 在何种条件下，诱导模 $ L(\tilde{V}) $ 分解为与 $ T $ 同构的不可约分量？
• RQ4 最高权空间 $ T $ 与 $ gl_n \oplus \mathring{\mathfrak{g}} $ 的表示理论有何关联？
• RQ5 原始模 $ V $ 是否可实现为从 $ T $ 诱导模的商模？

主要发现

• 对于 $ \tau $ 的不可约可积模 $ V $，有 $ V \cong M/M^{\text{rad}} $，其中 $ M = \text{Ind}_{\tau_0 + \tau^+}^{\tau} T $，且 $ M^{\text{rad}} $ 是与 $ T $ 平凡相交的最大子模。
• 最高权空间 $ T $ 同构于诱导 $ L $-模 $ L(\tilde{V}) $ 的一个分量，当 $ \tilde{V} $ 作为 $ \tilde{L} $-模可约时，该嵌入具有非平凡的扭变。
• 当 $ \tilde{V} $ 作为 $ \tilde{L} $-模不可约时，$ L(\tilde{V}) $ 分解为两两不互同构的不可约 $ L $-模，且 $ T $ 作为其中之一出现。
• $ \tilde{L} $-模 $ \tilde{V} $ 同构于一个不可约 $ gl_n $-模与一个不可约 $ \mathring{\mathfrak{g}} $-模的张量积，且 $ \tilde{V} $ 为 $ \Lambda_p $-分次的。
• 每个 $ \tilde{V} $ 的不可约分量同构于 $ \tilde{V} $，且 $ T $ 是 $ L(\tilde{V}) $ 的子模，在可约情形下存在非平凡的扭变。
• 作为 $ L $-模，$ T $ 的结构已完全实现，最终分类表明 $ V \cong M/M^{\text{rad}} $，其中 $ M $ 是从 $ T $ 诱导的模。