[論文レビュー] Categorification of highest weight modules over quantum generalized Kac-Moody algebras

Seok‐Jin Kang, Masaki Kashiwara+1 more|arXiv (Cornell University)|Jun 14, 2011

Algebraic structures and combinatorial models参考文献 12被引用数 4

ひとこと要約

この論文は、量子一般化 Kac-Moody代数 $ U_q(\mathfrak{g}) $ 上の非可約最高ウェイト加群 $ V(\Lambda) $ が、巡回的 KLR代数 $ R^\Lambda $ によってカテゴリフィケーションされることを証明している。$ R^\Lambda $-加群のグロテンドイック群の上で、明確に定義された完全関手 $ \mathcal{E}^\Lambda_i $ と $ \mathcal{F}^\Lambda_i $ を構成することで、著者らは誘導された作用素が量子群の交換関係を満たすことを確立し、$ V(\Lambda) $ 及びその双対を $ R^\Lambda $-加群のグロテンドイック群として実現した。

ABSTRACT

Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(Λ)$ be the integrable highest weight $U_q(\g)$-module with highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ provides a categorification of $V(Λ)$.

研究の動機と目的

• 量子一般化 Kac-Moody代数 $ U_q(\mathfrak{g}) $ 上の非可約最高ウェイト加群 $ V(\Lambda) $ を、巡回的 KLR代数を用いてカテゴリフィケーションすること。
• 以前に可約対称化 Kac-Moody代数の場合に証明済みの巡回的カテゴリフィケーション予想を、一般化 Kac-Moody代数の設定に拡張すること。
• $ R^\Lambda $-加群の次数付き射影的加群の圏上で、完全関手を定義し、量子群生成子の作用を検証すること。
• グロテンドイック群が $ V_\mathbb{A}(\Lambda) $ 及びその双対 $ V_\mathbb{A}(\Lambda)^\vee $ を実現することを示すこと。

提案手法

• 巡回的 KLR代数 $ R^\Lambda $ を、支配的整数ウェイト $ \Lambda $ に依存する両側イデアル $ I^\Lambda(\alpha) $ を用いて KLR代数 $ R $ の商として定義する。
• テンソル積とイデアル付き加群、次数シフト関手を用いて、$ \mathrm{Proj}(R^\Lambda) $ 上の完全関手 $ \mathcal{E}^\Lambda_i $ と $ \mathcal{F}^\Lambda_i $ を構成する。
• 多項式族 $ \mathcal{P}_i $（次数 $ 1 - a_{ii}/2 $）の性質を用いて、関手 $ \mathcal{E}^\Lambda_i $ と $ \mathcal{F}^\Lambda_i $ が $ \mathrm{Proj}(R^\Lambda) $ 上で適切に定義され、完全であることを証明する。
• スネーク補題と写像 $ A $ の解析を用いて、グロテンドイック群上で量子群の交換関係を確立し、$ [\mathcal{E}^\Lambda_i, \mathcal{F}^\Lambda_j] = \delta_{ij} \frac{K_i - K_i^{-1}}{q_i - q_i^{-1}} $ を示す。
• 以前に $ B(\Lambda) $ および $ B(\infty) $ と同型であることが示された $ \mathrm{Rep}(R^\Lambda) $ および $ \mathrm{Proj}(R^\Lambda) $ のクリスタル構造を用いて、カテゴリフィケーションを支援する。
• 次数シフト関手を適用し、写像 $ A $ の核および余核を解析することで、$ \gamma \varphi_k $ が次数 $ \langle h_i, \lambda \rangle + k $ のモニック多項式であることを証明し、主要な同型の証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 巡回的 KLR代数 $ R^\Lambda $ は、量子一般化 Kac-Moody代数上の非可約最高ウェイト加群 $ V(\Lambda) $ をカテゴリフィケーションするか？
• RQ2 グロテンドイック群上の完全関手によって、標準的な量子群交換関係は実現可能か？
• RQ3 $ \mathcal{E}^\Lambda_i $ と $ \mathcal{F}^\Lambda_i $ という関手は、次数付き射影的 $ R^\Lambda $-加群の圏上でどのように振る舞うか？
• RQ4 次数 $ 1 - a_{ii}/2 $ の多項式族 $ \mathcal{P}_i $ はカテゴリフィケーションプロセスにおいて果たす役割は何か？
• RQ5 グロテンドイック群 $ [\mathrm{Rep}(R^\Lambda)] $ は、最高ウェイト加群の整形式 $ V_\mathbb{A}(\Lambda) $ と同型か？

主な発見

• グロテンドイック群 $ [\mathrm{Proj}(R^\Lambda)] $ は、非可約最高ウェイト加群 $ V(\Lambda) $ の整形式 $ V_\mathbb{A}(\Lambda) $ と同型である。
• グロテンドイック群 $ [\mathrm{Rep}(R^\Lambda)] $ は、$ V(\Lambda) $ の整形式の双対 $ V_\mathbb{A}(\Lambda)^\vee $ と同型である。
• $ \mathcal{E}^\Lambda_i $ と $ \mathcal{F}^\Lambda_i $ は、定理 4.13 で示されたように、$ \mathrm{Proj}(R^\Lambda) $ 上で適切に定義され、完全である。
• グロテンドイック群上の誘導作用素は、量子群の交換関係を満たす：$ [\mathcal{E}^\Lambda_i, \mathcal{F}^\Lambda_j] = \delta_{ij} \frac{K_i - K_i^{-1}}{q_i - q_i^{-1}} $、ここで $ K_i $ は $ [\mathrm{Proj}(R^\Lambda(\beta))] $ 上で $ q_i^{\langle h_i, \Lambda - \beta \rangle} $ として作用する。
• 証明は、写像 $ A $ の解析に依拠しており、$ A(af) - A(a)f $ が $ \deg(f) $ より次数が低いことを示すことで、$ \gamma \varphi_k $ が次数 $ \langle h_i, \lambda \rangle + k $ のモニック多項式であることが導かれる。
• この結果は、以前に可約対称化 Kac-Moody代数に限られていた巡回的カテゴリフィケーション予想を、すべての一般化 Kac-Moody代数にまで拡張した。