[論文レビュー] Representations of Graded Multi-Loop Lie Algebras

Tanusree Pal, Punita Batra|ArXiv.org|Jun 4, 2007

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

ひとこと要約

この論文は、グレーディングされたマルチループリー代数およびそのねじれ型に対し、有限次元の重み空間をもつ既約的で積分可能なモジュールを分類し、それらが最高重みモジュールまたはその双対であることを証明する。分類は、既知の最高重みモジュールに関する結果の拡張に依拠し、普遍包あらゆる代数および代数準同型を用いて同型類を特徴づける。

ABSTRACT

Let g_A (respectively, g_A(μ)) be the graded multi-loop Lie algebra (respectively graded twisted multi-loop Lie algebra)" associated with the simple finite dimensional Lie algebra g over the complex field C. In this paper, we prove that irreducible integrable g_A(μ)-modules with finite dimensional weight spaces are either highest weight modules or their duals and classify the isomorphism classes of irreducible integrable g_A-modules and g_A(μ)-modules with finite dimensional weight spaces.

研究の動機と目的

• グレーディングされたマルチループリー代数 $\tilde{\mathfrak{g}}_A$ および $\tilde{\mathfrak{g}}_A(\mu)$ に対して、有限次元の重み空間をもつ既約的で積分可能なモジュールの同型類を分類すること。
• 未ねじれ型マルチループ代数における最高重みモジュールに関する既知の結果をねじれ型に拡張すること。
• マルチループリー代数の文脈において、グレーディング付きとグレーディングなしの最高重みモジュールの間の一対一対応を確立すること。
• 代数準同型 $\psi(\lambda, a)$ から $U(\mathfrak{h}_A)$ への写像 $U(\mathfrak{h}_A) \to A$ の構造とそのモジュール構成における役割を分析すること。
• 特定の条件下で、ある $\tilde{\mathfrak{g}}_A$-モジュールが $\tilde{\mathfrak{g}}_A(\mu)$-モジュールとして完全可約であることを証明すること。

提案手法

• マルチループリー代数 $\mathfrak{g}_A = \mathfrak{g} \otimes A$ 及びそのグレーディング拡張 $\tilde{\mathfrak{g}}_A = \mathfrak{g}_A \oplus D$（$D$ は微分代数）の枠組みを用いる。
• 有限位数の図形的自己同型 $\mu$ を $\mathfrak{g}$ に作用させ、$\tilde{\mathfrak{g}}_A$ にまで拡張することで、ねじれ型マルチループ代数 $\mathfrak{g}_A(\mu)$ を構成する。
• 普遍包あらゆる代数 $U(\mathfrak{h}_A)$ を用い、代数準同型 $\psi(\lambda, a): U(\mathfrak{h}_A) \to A$ を構成し、最高重みモジュール $V(\psi(\lambda, a))$ を定義する。
• 制限写像を用いて、$\tilde{\mathfrak{g}}_A(\mu)$ の最高重みモジュールと $\tilde{\mathfrak{g}}_A$ のそれらを関連づけ、一対一対応を確立する。
• Rajan (2004) の有限次元表現のテンソル積の一意因数分解定理を適用し、同型類の分類を簡略化する。
• 重み空間の有限性および積分可能性の条件を分析し、$I_{fin}$ および $I_{fin}^\mu$ に属する既約モジュールが最高重みモジュールまたはその双対であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての $\tilde{\mathfrak{g}}_A(\mu)$ に対して、有限次元の重み空間をもつ既約的で積分可能なモジュールは、最高重みモジュールまたはその双対であるか？
• RQ2 $\tilde{\mathfrak{g}}_A(\mu)$ に対する既約的で積分可能な最高重みモジュールの一般的な形は何か？
• RQ3 どのような条件下で、既約的 $\tilde{\mathfrak{g}}_A$-モジュールが $\tilde{\mathfrak{g}}_A(\mu)$-モジュールとして完全可約であるか？
• RQ4 $\tilde{\mathfrak{g}}_A$ および $\tilde{\mathfrak{g}}_A(\mu)$ に対する既約的で積分可能なモジュールの同型類は、どのように関係しているか？
• RQ5 代数準同型 $\psi(\lambda, a)$ は、これらのモジュールの分類においてどのような役割を果たすか？

主な発見

• 有限次元の重み空間をもつ既約的で積分可能な $\tilde{\mathfrak{g}}_A(\mu)$-モジュールは、いずれも最高重みモジュールまたはその双対である。
• 有限次元の重み空間をもつ既約的で積分可能な $\tilde{\mathfrak{g}}_A$-モジュールの同型類は、$V(\psi(\lambda, a))$ の形をとるモジュールを用いて分類される。
• $I_{fin}^\mu$ に属するすべての既約的最高重み $\tilde{\mathfrak{g}}_A(\mu)$-モジュールは、$I_{fin}$ に属するある既約的最高重み $\tilde{\mathfrak{g}}_A$-モジュールの部分モジュールである。
• 既約的 $\tilde{\mathfrak{g}}_A$-モジュール $V(\psi(\lambda, a))$ が $\tilde{\mathfrak{g}}_A(\mu)$-モジュールとして完全可約であるのは、対応する有限次元 $\mathfrak{g}_A$-モジュールが $\mathfrak{g}_A(\mu)$-モジュールとして既約であるときである。
• 既約的 $\tilde{\mathfrak{g}}_A$-モジュール $V(\psi(\lambda, a))$ が $\tilde{\mathfrak{g}}_A(\mu)$-モジュールとして完全可約であるのは、$\text{Image}(\psi(\lambda, a)) = A$ であるときである。
• $I_{fin}$ および $I_{fin}^\mu$ に属する既約的で積分可能なモジュールの同型類の分類は、$\psi(\lambda, a)$ の構造および $\mathfrak{g}$ の有限次元表現のテンソル積の一意因数分解の性質を用いて達成される。