[論文レビュー] Categorification of quantum Kac-Moody superalgebras

David Hill, Weiqiang Wang|arXiv (Cornell University)|Feb 13, 2012

Algebraic structures and combinatorial models参考文献 25被引用数 22

ひとこと要約

本稿は、$\pi^2 = 1$ を満たすパラメータ $\pi$ を持つねじれ量子被覆 Kac-Moody 代数 ${}_{\mathcal{A}}{\mathbf{f}^{\pi}}$ を導入し、スピンクiverホッケ代数を用いて、量子 Kac-Moody 代数の半分と、量子 Kac-Moody サーパーアルgebraの半分を同時にカテゴリフィケーションする。主な革新点は、パラメータ $\pi$ を用いてサーパーアルgebraの符号（奇数根交換に起因するもの）をカテゴリフィケーションすることであり、通常の符号は標準的複体によって処理される。これにより、サーパーアルgebraのカテゴリフィケーションにおける主要な障害が解消される。

ABSTRACT

We introduce a non-degenerate bilinear form and use it to provide a new characterization of quantum Kac-Moody superalgebras with no isotropic odd simple roots. We show that the spin quiver Hecke algebras introduced by Kang-Kashiwara-Tsuchioka provide a categorification of half the quantum Kac-Moody superalgebras, using the recent work of Ellis-Khovanov-Lauda. A new idea here is that a super sign is categorified as spin (i.e., the parity-shift functor).

研究の動機と目的

• 量子 Kac-Moody サーパーアルgebraのカテゴリフィケーションにおける長年の課題、特に量子スーパーリー整数とセール関係式における問題的な符号の原因を解消すること。
• 量子 Kac-Moody 代数とそのサーパーアルgebra版の両方のカテゴリフィケーションを統一的に扱う新しい代数的枠組み—パラメータ $\pi$ を持つ量子被覆 Kac-Moody 代数—を導入すること。
• スピンクイバー・ホッケ代数を用いて、量子 Kac-Moody サーパーアルgebraの半分の正確なカテゴリフィケーションを確立し、$\pi$ がサーパーアルgebraの符号を符号化することを示すこと。
• スピンクイバー・ホッケ代数の射影モジュールのグロテンディーク群が代数 ${}_{\mathcal{A}}{\mathbf{f}^{\pi}}$ を実現することを証明し、リーダーモジュールとサーパーアルgebraの両ケースを同時にカテゴリフィケーションすることを達成すること。

提案手法

• バー対合を $\bar{q} = \pi q^{-1}$ で定義する新しいねじれバイアルgebra ${}_{\mathcal{A}}{\mathbf{f}^{\pi}}$ を導入し、量子整数と除法冪が対合に関して不変であることを保証する。
• クイバーに自己同型を備えたスピンクイバー・ホッケ代数を定義するための整合性を持つ多項式 $\mathsf{Q}_{ij}(u,v)$ の存在を保証するため、追加条件 (C6) を満たす一般化されたカルタン行列 $A$ を用いる。
• パラメータ $\pi$ を用いてサーパーアルgebraの符号をカテゴリフィケーションし、通常の符号とは区別する。特に、$\pi$ が奇数根交換における $(-1)$ の役割を置き換える。
• エリス＝コバノフ＝ラウダの枠組みを適用し、2-圏を定義し、複体を用いて量子セール関係式をカテゴリフィケーションする。パリティシフト関手 $\Pi$ がサーパーアルgebraの符号を表す。
• 超ウェイル＝カクの分母公式とルシュツィグの変形結果を用いた特性値的議論により、${}_{\mathcal{A}}{\mathbf{f}^{+}}$ と ${}_{\mathcal{A}}{\mathbf{f}^{-}}$ の特性値を比較する。
• 射 $\gamma^{-}$ の単射性と特性値の等しさを用いて、スピンクイバー・ホッケ代数の射影モジュールのグロテンディーク群 $[\mathrm{Proj}^{-}]$ が ${}_{\mathcal{A}}{\mathbf{f}^{\pi}}$ に同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 量子 Kac-Moody 代数とそのサーパーアルgebra版の両方を統一的にカテゴリフィケーションする枠組みを構築することは可能か？
• RQ2 量子スーパーアルgebraにおける問題的符号、特に奇数根交換に起因するもの—を体系的にカテゴリフィケーションする方法は何か？
• RQ3 パラメータ $\pi$ はカテゴリフィケーション過程において、サーパーアルgebraの符号と通常の符号をどのように区別するか？
• RQ4 スピンクイバー・ホッケ代数の射影モジュールのグロテンディーク群は、量子被覆代数 ${}_{\mathcal{A}}{\mathbf{f}^{\pi}}$ の構造を実現するか？
• RQ5 特性値の等しさによって示唆されるように、スピンクイバー・ホッケ代数のすべての単純モジュールはタイプ M であるか？

主な発見

• 写像 $\gamma^{-}: {}_{\mathcal{A}}{\mathbf{f}^{-}} \to [{\rm Proj}^{-}]_{\pi=-1}$ は、$\mathbb{Z} \times \mathbb{Z}_2$-重層付き $\mathcal{A}$-代数としての同型であり、量子スーパーアルgebraの半分の完全なカテゴリフィケーションを確立する。
• グロテンディーク群 $[\mathrm{Proj}^{-}]_{\pi=-1}$ は、$[\mathrm{Proj}^{-}]_{\pi=1}$ と同じ特性値を持つため、スピンクイバー・ホッケ代数のすべての単純モジュールがタイプ M である。
• 量子被覆代数 ${}_{\mathcal{A}}{\mathbf{f}^{\pi}}$ の特性値は、射影モジュールのグロテンディーク群の特性値と一致し、特性値のレベルでのカテゴリフィケーションが確認される。
• 特殊化 $\pi = -1$ は量子 Kac-Moody サーパーアルgebraの半分を、$\pi = 1$ は量子 Kac-Moody 代数の半分を生成する。両構造が同時にカテゴリフィケーションされることを示している。
• $\mathrm{Ch}[{\rm Proj}^{-}]_{\pi=-1} = \mathrm{Ch}[{\rm Proj}^{-}]_{\pi=1}$ であるため、タイプ M とタイプ Q の単純モジュールの数が特性値を保つようにバランスが取られ、すべての単純モジュールがタイプ M であるという結論に至る。
• $\mathbb{Z} \times \mathbb{Z}_2$-重層付き $\mathcal{A}^\pi$-代数としての同型 $\gamma^{\pi}: {}_{\mathcal{A}}{\mathbf{f}^{\pi}} \to [{\rm Proj}^{-}]$ は、量子被覆代数の完全なカテゴリフィケーションを確認する。