[論文レビュー] Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

Chih-Whi Chen, Kevin Coulembier+1 more|arXiv (Cornell University)|Jul 10, 2018

Algebraic structures and combinatorial models被引用数 3

ひとこと要約

本稿では、$ \mathfrak{sl}_n $ 上の単純かつ有限次元モジュラーのテンソル積が、有限型のサッカーを持つことを確立し、$ \mathfrak{q}(n) $-超モジュラーの分類を $ \mathfrak{sl}_n $-モジュラーの分類に還元可能であることを示している。さらに、タイプ I リー超代数に対して、カク誘導関手が有限型サッカーとラディカルを保存することを示し、カテゴリ $ \mathcal{O} $ の組合せ論を用いた超モジュラー分類の構造的枠組みを提供する。

ABSTRACT

We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category $\mathcal{O}$.

研究の動機と目的

• 単純かつ有限次元の $ \mathfrak{sl}_n $-モジュラーのテンソル積が、有限型サッカーを持つかどうかを特定すること。
• 単純 $ \mathfrak{q}(n) $-超モジュラーの分類を、単純 $ \mathfrak{sl}_n $-モジュラーの分類に還元すること。
• カテゴリ $ \mathcal{O} $ の組合せ論を用いて、単純 $ \mathfrak{q}(n) $-超モジュラーの $ \mathfrak{sl}_n $-モジュラーとしての概ねの構造を記述すること。
• タイプ I リー超代数に対して、カク誘導関手が有限型サッカーとラディカルを保存することを証明すること。
• リー超代数の表現論とタイプ A のカジダン＝ルシュティグ理論の組合せ論との間の関係を確立すること。

提案手法

• $ S $ を単純かつ $ E $ を有限次元の $ \mathfrak{sl}_n $-モジュラーとするとき、$ S \otimes E $ のサッカーが有限長であることを証明する。
• タイプ A の射影的関手とカジダン＝ルシュティグの組合せ論を用いて、複素数体上の再帰的リー超代数の場合に $ S \otimes E $ のサッカーが本質的であることを示す。
• 有限型サッカーに関する結果を応用し、$ \mathfrak{g}_{ \bar{0}} $ がタイプ A であるとき、任意の $ \mathfrak{g} $-超モジュラーが $ \mathfrak{g}_{ \bar{0}} $-モジュラーの誘導モジュラーの商であることを示す。
• $ \mathrm{Ind}^{ \widetilde{{\mathfrak{g}}}}_{{\mathfrak{p}}} $ を用いて $ \mathfrak{g} $-超モジュラーと $ \mathfrak{g}_{ \bar{0}} $-モジュラーを関連付ける。
• $ \mathrm{Hom}_{\widetilde{{\mathfrak{g}}}}(K(M), L) \cong \mathrm{Hom}_{{\mathfrak{g}}}(M, S_L) $ の同型を活用し、単純モジュラーを関連付け、サッカー／ラディカル構造を保存する。
• $ \mathrm{soc}(K(V)) $ が $ \Lambda^d \widetilde{{\mathfrak{g}}}_{-1} \otimes \mathrm{soc}(V) $ で生成されることを用いて、サッカーの有限性と本質性の保存を示す。

実験結果

リサーチクエスチョン

• RQ1 単純かつ有限次元の $ \mathfrak{sl}_n $-モジュラーのテンソル積は、有限長のサッカーを持つか？
• RQ2 そのようなテンソル積のサッカーは本質的部分モジュラーか？
• RQ3 単純 $ \mathfrak{q}(n) $-超モジュラーの分類は、単純 $ \mathfrak{sl}_n $-モジュラーの分類に還元可能か？
• RQ4 タイプ I リー超代数に対して、カク誘導関手は有限型サッカーとラディカルを保存するか？
• RQ5 単純 $ \mathfrak{q}(n) $-超モジュラーを $ \mathfrak{sl}_n $-モジュラーとして見たとき、概ねの構造は何か？

主な発見

• 単純かつ有限次元の $ \mathfrak{sl}_n $-モジュラーのテンソル積は、有限長のサッカーを持つ。
• そのようなテンソル積のサッカーは本質的部分モジュラーであり、複素数体上のタイプ A の再帰的リー超代数に対して一般に有限型サッカーであることを示唆する。
• サッカーの有限性の性質を用いて、単純 $ \mathfrak{q}(n) $-超モジュラーの分類は、単純 $ \mathfrak{sl}_n $-モジュラーの分類に還元可能である。
• タイプ I リー超代数に対して、カク誘導関手は有限型サッカーとラディカルを保存し、サッカーおよびラディカルの長さも保存する。
• タイプ I リー超代数の区別されたボレル部分代数に関するヴェルマ超モジュラーは、単純なサッカーを持つ。
• $ V $ を有限型サッカーを持つ $ \mathfrak{g} $-モジュラーとするとき、$ K(V) $ のサッカーは $ \Lambda^d \widetilde{{\mathfrak{g}}}_{-1} \otimes \mathrm{soc}(V) $ に同型であり、$ \mathrm{soc}(V) $ と同じ長さを持つ。