[论文解读] Module structure on $U(\mathfrak{h})$ for Kac-Moody algebras

Yan-an Cai, Haijun Tan+1 more|arXiv (Cornell University)|Jun 6, 2016

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

一句话总结

本文对任意 Kac-Moody 代数 $\mathfrak{g}$ 的不可约 $\mathfrak{g}$-模进行分类，这些模作为 $U(\mathfrak{h})$-模是秩 1 自由模，证明此类模仅存在于特定类型（A 型与 C 型）中，并通过切瓦利生成元的扭曲作用在多项式代数上给出显式实现。

ABSTRACT

Let $\g$ be an arbitrary Kac-Moody algebra with a Cartan sualgebra $\h$. In this paper, we determine the category of $\g$-modules that are free $U(\h)$-modules of rank 1.

研究动机与目标

• 对任意 Kac-Moody 代数 $\mathfrak{g}$，分类所有作为 $U(\mathfrak{h})$-模秩 1 自由的不可约 $\mathfrak{g}$-模。
• 确定此类模存在的 Kac-Moody 代数，特别是超出已知的 $\mathfrak{sl}_{l+1}$ 情况的情形。
• 通过 $\mathfrak{h}$-权生成元上的多项式代数与扭曲作用，给出这些模的显式实现。
• 通过分析不同权空间中的次数约束，揭示在 $U(\mathfrak{h})$ 上自由的非权模的结构。
• 将 Nilsson 对 $\mathfrak{sl}_{l+1}$ 的早期分类推广至一般 Kac-Moody 代数，并证明对大多数类型此类模不存在。

提出的方法

• 将范畴 $\mathcal{H}(\mathfrak{g})$ 定义为 $\mathfrak{g}$-模的全子范畴，其作为 $U(\mathfrak{h})$-模是秩 1 自由模。
• 使用 $\mathfrak{g}$ 的切瓦利基 $\{e_i, f_i, h_i\}$，并通过自同构 $\sigma_i$ 和标量参数 $a_i, b$ 表达其在 $\mathbb{C}[H_1, \dots, H_l]$ 上的作用。
• 通过 $\deg_k$ 追踪 $H_k$-变量上多项式代数中 $e_i$ 和 $f_i$ 作用的依赖关系，分析其次数。
• 通过比较由广义 Cartan 矩阵导出的不同权空间（$M_2$、$M_3$ 等）中的次数约束，使用反证法。
• 通过 $H_k$-多项式显式参数化 $E_i, F_i$ 的作用，并利用自同构 $\sigma_i$ 推导次数界。
• 比较不同权滤子中 $e_i$ 和 $f_i$ 作用的次数特征，证明仅当 Cartan 矩阵为 A 型或 C 型时才一致。

实验结果

研究问题

• RQ1 对于哪些 Kac-Moody 代数 $\mathfrak{g}$，存在作为 $U(\mathfrak{h})$-模秩 1 自由的不可约 $\mathfrak{g}$-模？
• RQ2 此类模的分类能否从 $\mathfrak{sl}_{l+1}$ 扩展到其他 Kac-Moody 代数？
• RQ3 切瓦利生成元在秩 1 $U(\mathfrak{h})$-自由模上的作用受到哪些结构约束？
• RQ4 在不同权空间（$M_2$、$M_3$）中，次数约束如何导致非 A/C 型代数的矛盾？
• RQ5 在参数 $\mathbf{a}, b, S$ 满足何种条件时，构造的模 $M(\mathbf{a}, b, S)$ 是不可约的？

主要发现

• 范畴 $\mathcal{H}(\mathfrak{g})$ 非空当且仅当 $\mathfrak{g}$ 为 A 型或 C 型。
• 当 $\mathfrak{g}$ 为 A 型时，$\mathcal{H}(\mathfrak{g})$ 的分类由模 $M(\mathbf{a}, b, S)$ 给出，其中 $\mathbf{a} \in (\mathbb{C}^*)^l$，$b \in \mathbb{C}$，$S \subseteq \{1, \dots, l+1\}$，且当 $(l+1)b \notin \mathbb{Z}$ 或 $S \neq \varnothing$ 或 $S \neq \{1, \dots, l+1\}$ 时不可约。
• 对所有其他 Kac-Moody 代数，包括 B 型、D 型、$E_6$、$E_7$、$E_8$ 以及秩 3 的五种例外广义 Cartan 矩阵，均有 $\mathcal{H}(\mathfrak{g}) = \varnothing$。
• 矛盾源于不一致的次数特征：在某一权滤子中，$\deg_k(e_i)$ 和 $\deg_k(f_i)$ 均为 0 或 1，而在另一滤子中则为 0 和 2 或 2 和 0，违反一致性。
• 对 $M_2$ 和 $M_3$ 权空间中作用的分析表明，仅当 Cartan 矩阵为 A 型或 C 型时，$e_i$ 和 $f_i$ 的次数约束才可同时满足。
• 结果推广了 Nilsson 对 $\mathfrak{sl}_{l+1}$ 的分类，并证明对除 $A_l$ 和 $C_l$ 外的所有有限维单李代数，此类模均不存在。