[論文レビュー] On representations of Cartan map Lie superalgebras

Irfan Bagci|arXiv (Cornell University)|Aug 4, 2015

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

ひとこと要約

この論文は、$χ\otimes A$ 及びそのねじれた版 $(χ\otimes A)^T$ の有限次元非可約表現を分類する。ここで $χ$ は単純なカルタン型リーバレージュ代数であり、$A$ は $\mathbb{C}$ 上の有限生成可換代数である。一般化されたカクモジュールを、偶数部 $\mathfrak{g}_0\otimes A$ からの誘導モジュールとして導入し、すべての非可約表現がそれらの非可約商として得られることを示す。また、自由なアーベル群作用が成り立つねじれた代数について、すべての非可約表現が元の非ねじれ代数からの制限として得られることを証明する。

ABSTRACT

This paper describes finite dimensionall irreducible representations of both twisted and untwisted Cartan map Lie superalgebras.

研究の動機と目的

• $\mathfrak{g}$ が単純なカルタン型リーバレージュ代数であり、$A$ が $\mathbb{C}$ 上の有限生成可換代数であるとき、$\mathfrak{g}\otimes A$ の形をしたリーバレージュ代数の有限次元非可約表現を分類すること。
• 有限アーベル群 $T$ が $\mathfrak{g}$ および $A$ に自己同型として作用するとき、ねじれたカルタン写像リーバレージュ代数 $(\mathfrak{g}\otimes A)^T$ へのこの分類を拡張すること。
• $T$ が $\operatorname{MaxSpec}(A)$ に自由に作用すると仮定したもとで、$(\mathfrak{g}\otimes A)^T$ のすべての有限次元非可約表現が、$\mathfrak{g}\otimes A$ の表現の制限として得られることを確立すること。
• カルタン型の設定において、非可約表現を構成・解析するための統一的な枠組みを一般化されたカクモジュールを用いて提供すること。

提案手法

• 一般化されたカクモジュールを、偶数部 $\mathfrak{g}_0\otimes A$ からの誘導モジュールとして導入し、$\mathfrak{g}$ の場合にカクが元々構成した方法を一般化する。
• $\mathfrak{g}$ の ${\mathbb{Z}}$-次数を用いて $\mathfrak{g}_0$ を定義し、これは次数ゼロ成分であり、単純なリーリー代数である。
• 評価写像 $\varphi_{\mathfrak{m}_i^{n_i}}(\pi_i)$ を用いて表現を構成する。ここで $\pi_i$ は $\mathfrak{g}$ の非可約表現であり、$\mathfrak{m}_i$ は $A$ の極大イデアルである。
• 群作用の技法を適用する：有限アーベル群 $T$ による作用の下で、$\mathfrak{g}$ および $A$ を同型成分に分解する。
• 自由作用の下で $\operatorname{MaxSpec}(A)^T \cong \operatorname{MaxSpec}(A)/T$ が成り立つことを利用して、極大イデアルの軌道を分類する。
• 等変性および特徴群の解析を用いて、$(\mathfrak{g}\otimes A)^T$ の非可約表現がすべて $\mathfrak{g}\otimes A$ の表現の制限として得られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単純なカルタン型リーバレージュ代数 $\mathfrak{g}$ を持つ $\mathfrak{g}\otimes A$ の有限次元非可約表現をどのように分類できるか？
• RQ2 偶数部分代数 $\mathfrak{g}_0\otimes A$ は、$\mathfrak{g}\otimes A$ の非可約表現の構成において果たす役割は何か？
• RQ3 すべての非可約表現が $\mathfrak{g}\otimes A$ の表現の制限として得られるのは、どのような条件下か？
• RQ4 有限アーベル群 $T$ が $\operatorname{MaxSpec}(A)$ に作用するとき、$(\mathfrak{g}\otimes A)^T$ の非可約表現の分類にどのような影響を与えるか？

主な発見

• すべての有限次元非可約表現は、$\mathfrak{g}_0\otimes A$ からの誘導による一般化されたカクモジュールの非可約商である。
• $\mathfrak{g} = S(n), \tilde{S}(n), H(n)$ の場合、すべての有限次元非可約表現は評価表現のテンソル積である。
• $\mathfrak{g} = W(n)$ の場合、$\mathfrak{g}\otimes A$ の有限次元非可約表現は、$\mathfrak{g}_0\otimes A$ の有限台付きの有限次元非可約表現によってパラメトライズされる。
• ねじれたカルタン写像リーバレージュ代数 $(\mathfrak{g}\otimes A)^T$ のすべての有限次元非可約表現は、$\mathfrak{g}\otimes A$ の非可約表現の制限と同型である。
• $T$ が $\operatorname{MaxSpec}(A)$ に自由に作用するとき、$(\mathfrak{g}\otimes A)^T$ の非可約表現は、非可約表現 $\pi_i$ のタプルと、異なる $T$-軌道に属する異なる極大イデアル $\mathfrak{m}_i$ によってパラメトライズされる。
• 表現 $\varphi_{\mathfrak{m}_i^{n_i}}^T(\pi_i)$ の同型類は $T$-作用で保存され、異なる軌道からの代表元に還元可能である。