[論文レビュー] 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.

研究の動機と目的

• 複数の可換な有限位数自己同型の下でのねじれ全トロイダルリー代数の既約可積分的モジュールを分類すること。
• Fu JiayuanとJiangの結果を一般化すること、彼らの研究は単一自己同型に限られていた。
• 有限次元の重複度を持つ最高重量モジュールおよび非ゼロの中心的作用を持つモジュールの構造を記述すること。
• 最高重量空間が $ gl_n \oplus \mathring{\mathfrak{g}} $ から誘導されたモジュールと同型であることを示すこと、ここで $ \mathring{\mathfrak{g}} $ は固定部分代数である。
• 元のモジュールが最高重量空間からの誘導モジュールの商として実現されることを確立すること。

提案手法

• $ n+1 $ つの可換な有限位数自己同型による、マルチループ代数をねじった普遍的中心的拡張としてねじれ全トロイダルリー代数 $ \tau $ を構成する。
• 三角分解 $ \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 $ は、商 $ 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}) $ の部分モジュールとして、可約な場合に非自明なねじれを伴って現れる。
• $ T $ の構造は $ L $-モジュールとして完全に実現され、最終的な分類では $ V \cong M/M^{\text{rad}} $ が得られ、$ M $ は $ T $ から誘導される。