[論文レビュー] Irreducible Integrable Representations of Toroidal Lie Algebras

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

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

ひとこと要約

この論文は、アフィン・カツ・ムーディ代数の普遍包あらゆる代数の整数的形と、カレント代数作用を用いて、有限次元の重み空間を持つトロイダル・リーリング代数の非可約的可積分表現の分類に対する代替的証明を提供する。また、アフィン・リーリング代数の正規可積分重みへの有限台付き関数に作用する $({\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}$ の作用を用いて、そのようなモジュールの同型類をパラメトライズすること。
• トロイダル・リーリング代数の表現理論において、無限次元の $\mathbf{Z}^k$-次数中心の役割を明確にすること、特に非自明な中心作用を制限すること。
• 既存のアフィン・リーリング代数表現理論の枠組みに整合する手法を用いて、$\mathcal{I}_{\text{fin}}^{\ast}$ の対象のホモロジー的研究を簡素化すること。
• 群作用とモジュール構造を用いて、$\mathcal{I}_{\text{fin}}^{\ast}$ 内の二つの非可約モジュールの同型であるための必要十分条件を確立すること。

提案手法

• アフィン・カツ・ムーディ代数 $\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] の結果に基づき、アフィン・リーリング代数の非可約的可積分モジュール（有限次元重み空間付き）の分類を基礎的入力として用いる。
• トロイダル代数の中心 $\mathcal{Z}$ の各次数成分が、$\mathcal{I}_{\text{fin}}^{\ast}$ 内の任意の非可約モジュールで高々一つの非自明な作用をもつことの証明に、カレント代数作用とモジュール分解を用いる。

実験結果

リサーチクエスチョン

• RQ1 有限次元重み空間を持つ非可約的可積分 $\mathcal{T}(\mathfrak{g})$-モジュールの同型類の完全なパラメトライゼーションは何か？
• RQ2 $\mathbf{Z}^k$-次数中心の作用がそのようなモジュールの構造をどのように制限するのか、そしてなぜ各次数成分で高々一つの生成子しか非自明に作用しないのか？
• RQ3 どのような条件下で二つのモジュールが同型であるか、そしてそれが代数的にどのように特徴づけられるか？
• RQ4 ヘイゼンベルク代数の結果に依存せず、$\mathcal{U}(\mathfrak{g}_{\text{aff}})$ の整数的形とカレント代数作用を用いて、これらのモジュールの分類を再導出できるか？
• 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}}$ の一次元モジュールのねじれ（twist）と同型である。
• $X_{\pi}^{\mathbf{g}}$ の同型類は、$({\mathbf{C}}^\ast)^{k-1}$ による $\Pi$ 上の作用における $\pi$ の軌道によって決定され、$\mathbf{g}$ は $G_\pi$ で定義されたモジュラスで一意に定まる。
• $X_{\pi}^{\mathbf{g}}$ と $X_{\pi'}^{\mathbf{g}'}$ が同型であるための必要十分条件は、ある $\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$-モジュールとして成り立つことである。
• トロイダル代数 $\mathcal{T}(\mathfrak{g})$ の中心 $\mathcal{Z}$ は、$\mathcal{I}_{\text{fin}}^{\ast}$ 内の任意の非可約モジュールで、各次数成分に対して高々一つの生成子しか非自明に作用しない。この事実は、カレント代数技術を用いて再証明された。
• 同型類のパラメトライゼーションは、一次元 $\mathcal{T}(\mathfrak{g})$-モジュールによるねじれを除き一意的であり、軌道構造が分類を完全に捉え込んでいる。
• 証明技法は [F] のヘイゼンベルク代数表現に依存せず、代わりに $\mathcal{U}(\mathfrak{g}_{\text{aff}})$ の整数的形とカレント代数作用を用いて、同じ分類結果を導出している。