[论文解读] Representations of Multiloop Algebras

Michael Lau|ArXiv.org|Nov 12, 2008

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

一句话总结

本文对特征为零的代数闭域上的扭曲与非扭曲多重环代数的有限维单模进行分类。结果表明，此类模为在不同点处的赋值模的张量积，其同构类由从 $(F^\times)^N$ 到基底李代数 $\mathfrak{g}$ 的最高权集合的、具有紧支集的 $G$-等变映射参数化，从而给出了完整且显式的分类。

ABSTRACT

We describe the finite-dimensional simple modules of all the (twisted and untwisted) multiloop algebras and classify them up to isomorphism.

研究动机与目标

• 对扭曲与非扭曲多重环代数的所有有限维单模（同构意义下）进行完全分类。
• 将单变量环代数情形下赋值模的分类推广至多变量情形。
• 利用群作用与权系，给出此类模之间同构的显式充要条件。
• 建立有限维单模的同构类与具有紧支集的 $G$-等变映射到最高权集合之间的双射。

提出的方法

• 从多重环代数的有限维不可约表示的核构造一个 $G$-分次理想 $I$。
• 证明 $I$ 的 $\overline{0}$-分量 $I_{\overline{0}}$ 是一个根式理想，从而导出其分解为极大理想的。
• 利用此分解定义同构 $\psi_a: \mathcal{L}/\mathcal{I} \to \mathfrak{g}^r$，将商代数实现为 $\mathfrak{g}$ 的若干份直和。
• 将有限维单 $\mathcal{L}$-模实现为赋值模 $V_{\lambda_i}(a_i)$ 的张量积，其中 $a_i \in (F^\times)^N$。
• 通过三角分解的拉回与群 $G^r \rtimes S_r$ 对参数元组 $(\lambda, a)$ 的作用，建立同构判别准则。
• 定义一个 $G$-等变映射 $\chi_{[\lambda,a]}: (F^\times)^N \to P_+$，该映射对模的同构类进行分类，并与这类映射构成双射。

实验结果

研究问题

• RQ1 对于任意多重环代数（包括扭曲与非扭曲情形），其有限维单模的完整分类是什么？
• RQ2 在何种条件下，两个赋值模 $V(\lambda,a)$ 与 $V(\mu,b)$ 作为 $\mathcal{L}$-模同构？
• RQ3 如何以尊重自同构 $\sigma_1, \dots, \sigma_N$ 所诱导对称性的方法来参数化这些模的同构类？
• RQ4 该分类能否以从 $(F^\times)^N$ 到最高权集合的具有紧支集的 $G$-等变映射来表达？

主要发现

• 所有有限维单 $\mathcal{L}$-模同构于张量积 $V(\lambda,a) = V_{\lambda_1}(a_1) \otimes \cdots \otimes V_{\lambda_r}(a_r)$，其中 $a_i \in (F^\times)^N$ 且当 $i \neq j$ 时 $m(a_i) \neq m(a_j)$，这里 $m(a_i) = (a_{i1}^{m_1}, \dots, a_{iN}^{m_N})$。
• $\mathcal{L}$-模 $V(\lambda,a)$ 是有限维且单的，当且仅当 $m(a_i)$ 两两不同。
• 两个模 $V(\lambda,a)$ 与 $V(\mu,b)$ 同构当且仅当 $r = s$ 且存在 $\rho \in G^r$ 与 $\pi \in S_r$，使得 $(\lambda,a) =^{\rho\pi}(\mu,b)$，其中 $G = \mathbb{Z}/m_1\mathbb{Z} \times \cdots \times \mathbb{Z}/m_N\mathbb{Z}$。
• 有限维单 $\mathcal{L}$-模的同构类与从 $(F^\times)^N$ 到 $P_+$ 的具有紧支集的 $G$-等变映射之间存在双射，其中 $P_+$ 是 $\mathfrak{g}$ 的非零最高权集合。
• 每个同构类对应于若干个狄拉克函数 $\chi_{\lambda_i, a_i}$ 的和，且映射 $\chi_{[\lambda,a]}$ 定义为 $\sum_{g \in G} \sum_{i=1}^r \chi_{\lambda_i \circ \gamma(g^{-1}), g.a_i}$，该映射是 $G$-等变且具有紧支集。
• 该构造给出了一个典范双射：每个同构类唯一地由此类映射生成，且每个此类映射也唯一地对应一个同构类，从而实现了完全分类。