[論文レビュー] Supercategorification of quantum Kac-Moody algebras II

Seok‐Jin Kang, Masaki Kashiwara+1 more|arXiv (Cornell University)|Mar 8, 2013

Algebraic structures and combinatorial models参考文献 24被引用数 23

ひとこと要約

本稿は、クイバー・ヘケ・スーパ-algebra とそのサイクロトミック商を用いて、量子カツ・モーディ・スーパ-algebra およびその可解性のある最高ウェイト加群のスーパー分類化を確立する。2-スーパ-categories を構成し、そのグロテンディック群が量子カツ・モーディ・スーパ-algebra に同型であることを示すことにより、著者たちは、階数付きスーパ-algebra とその表現論を通じて、これらの量子群のカテゴリフィケーション的実現を提供する。

ABSTRACT

In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.

研究の動機と目的

• 量子カツ・モーディ・代数のカフノヴァン＝ローダ＝ルーキーのカテゴリフィケーションをスーパ-algebra の設定に拡張すること。
• 量子カツ・モーディ・スーパ-algebra およびその可解性のある最高ウェイト加群のスーパー分類化を確立すること。
• クイバー・ヘケ・スーパ-algebra の2-スーパーカテゴリのグロテンディック群が、量子カツ・モーディ・スーパ-algebra を実現することを証明すること。
• 特殊化が、量子カツ・モーディ・代数およびその可解性のある加群のカテゴリフィケーションを回復できることを示すこと。
• スーパー分類化が、スーパーセットにおけるパーフェクト・ベースおよび特性理論の構造を尊重することを示すこと。

提案手法

• クイバー・ヘケ・スーパ-algebra とそのサイクロトミック商の2-スーパーカテゴリを構成する。
• 射影スーパ-Mobile のスーパーカテゴリと、すべてのスーパ-Mobile のカテゴリのグロテンディック群を定義する。
• クイバー・ヘケ・スーパ-algebra の表現カテゴリにおける強いパーフェクト・ベースを用いて、標準基底と関連付ける。
• パリティ・シフト関手とスーパーバイファンクターを含むスーパーカテゴリおよび2-スーパーカテゴリの概念を適用する。
• グロテンディック群と代数 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})$ 及びその双対との間の同型を確立する。
• カタン・データに関する条件 (C6) を用いて、スーパー分類化を特殊化し、標準量子カツ・モーディ・代数を回復すること。

実験結果

リサーチクエスチョン

• RQ1 クイバー・ヘケ・スーパ-algebra を用いて、量子カツ・モーディ・代数のカテゴリフィケーションをスーパ-algebra の設定に拡張できるか？
• RQ2 クイバー・ヘケ・スーパ-algebra の2-スーパーカテゴリのスーパ-Mobile のグロテンディック群は、量子カツ・モーディ・スーパ-algebra を実現するか？
• RQ3 クイバー・ヘケ・スーパ-algebra のサイクロトミック商は、可解性のある最高ウェイト加群をどのようにカテゴリフィケーションするか？
• RQ4 パーフェクト・ベースは、量子カツ・モーディ・スーパ-algebra のスーパー分類化において果たす役割は何か？
• RQ5 どのような条件下で、特殊化によりスーパー分類化から標準量子カツ・モーディ・代数が回復されるか？

主な発見

• クイバー・ヘケ・スーパ-algebra の2-スーパーカテゴリのスーパ-Mobile のグロテンディック群は、量子カツ・モーディ・スーパ-algebra $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})$ に同型である。
• 射影スーパ-Mobile のカテゴリのグロテンディック群は、量子カツ・モーディ・スーパ-algebra の負の部分 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})^\vee$ に同型である。
• スーパー分類化は、標準基底の構造を尊重しており、$[\mathrm{Rep}_{\rm super}(R)]$ と $[\mathrm{Proj}_{\rm super}(R)]$ はそれぞれ $\mathrm{B}^{\mathrm{up}}_{\mathbb{A}^\pi}(\mathfrak{g})$ と $\mathrm{B}^{\mathrm{low}}_{\mathbb{A}^\pi}(\mathfrak{g})$ の上でのモジュール構造を有する。
• 特性写像 $\mathrm{ch}^\pi_q$ は、単純スーパ-Mobile に一意的であるため、$\mathrm{ch}^\pi_q(M) = \mathrm{ch}^\pi_q(M')$ ならば $M \simeq M'$ である。
• 条件 (C6) の下で、スーパー分類化は $\mathbb{Q}[\sqrt{\pi}] \otimes \mathsf{U}_v(\mathfrak{g})$ を通じて、標準量子カツ・モーディ・代数 $\mathsf{U}_v(\mathfrak{g})$ のカテゴリフィケーションを回復する。
• 特殊化の下で、スーパ-algebra の射影モジュールおよび可解性のある最高ウェイトモジュールのカテゴリは、標準量子カツ・モーディ・代数のそれらと同値である。