[論文レビュー] Representations of Multiloop Algebras

Michael Lau|ArXiv.org|Nov 12, 2008

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

ひとこと要約

この論文は、特性が0の代数的に閉じた体上のねじれおよびねじれなしのマルチループ代数の有限次元単純加群を分類する。このような加群は、相異なる点における評価加群のテンソル積であり、同型類は、基礎となるリー代数 $\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}}$ が根基イデアルであることを示し、最大イデアルへの分解を導く。
• この分解を用いて、$\mathcal{L}/\mathcal{I} \to \mathfrak{g}^r$ なる同型 $\psi_a$ を定義し、商を $\mathfrak{g}$ のコピーの直和として実現する。
• 有限次元単純 $\mathcal{L}$-加群を、$a_i \in (F^\times)^N$ である評価加群 $V_{\lambda_i}(a_i)$ のテンソル積として実現する。
• 三角的分解の引き戻しと、$G^r \rtimes S_r$ の群作用を用いて、同型基準を確立する。
• $\chi_{[\lambda,a]}: (F^\times)^N \to P_+$ を定義し、これは $G$-等変かつ有限台付きであり、加群の同型類を分類し、このような写像と全単射を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のマルチループ代数（ねじれおよびねじれなしを含む）の有限次元単純加群の完全な分類は何か？
• RQ2 評価加群 $V(\lambda,a)$ と $V(\mu,b)$ が $\mathcal{L}$-加群として同型であるための条件は何か？
• RQ3 自己同型 $\sigma_1, \dots, \sigma_N$ によって誘導される対称性を尊重するように、これらの加群の同型類をどのようにパラメトライズできるか？
• RQ4 分類を、$(F^\times)^N$ からドミナント整数重みの集合への有限台付き $G$-等変写像の観点から表現できるか？

主な発見

• すべての有限次元単純 $\mathcal{L}$-加群は、$a_i \in (F^\times)^N$ かつ $i \neq j$ に対して $m(a_i) \neq m(a_j)$ を満たすような、$V(\lambda,a) = V_{\lambda_1}(a_1) \otimes \cdots \otimes V_{\lambda_r}(a_r)$ の形のテンソル積に同型である。ここで $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$ かつ $(\lambda,a) =^{\rho\pi}(\mu,b)$ を満たすことである。ここで $\rho \in G^r$、$\pi \in S_r$ であり、$G = \mathbb{Z}/m_1\mathbb{Z} \times \cdots \times \mathbb{Z}/m_N\mathbb{Z}$ である。
• 有限次元単純 $\mathcal{L}$-加群の同型類は、$(F^\times)^N$ から $P_+$ への有限台付き $G$-等変写像 $f$ の集合と自然に全単射である。ここで $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$-等変かつ有限台付きである。
• この構成により、自然な全単射が得られる：すべての同型類は一意的にこのような写像から得られ、逆にすべてのこのような写像は同型類から得られる。これにより、完全な分類が確立される。