[論文レビュー] The Khovanov-Lauda 2-category and categorifications of a level two quantum sl(n) representation

David Hill, Joshua Sussan|ArXiv.org|Oct 13, 2009

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

ひとこと要約

この論文は、最高ウェイト $2\omega_k$ の量子 $\sigma\mathfrak{sl}_n$-表現の2つの異なるカテゴリフィケーション、すなわち Huerfano-Khovanov の図式的カテゴリと $\mathfrak{gl}_{2k}$ のための階数付きカテゴリ $\epsilon\mathcal{O}$ の最大パラボリック部分カテゴリへの、Khovanov-Lauda 2カテゴリへの明示的な 2ファンクターを構成する。主な貢献は、Khovanov-Lauda 2カテゴリの定義関係を満たす自然変換を明示的に定義することにより、これらのカテゴリにおける $\mathcal{U}_q(\mathfrak{sl}_n)$ の 2表現の実現を証明することにある。

ABSTRACT

We construct 2-functors from a 2-category categorifying quantum sl(n) to 2-categories categorifying the irreducible representation of highest weight $ 2 ω_k. $

研究の動機と目的

• Khovanov-Lauda 2カテゴリから $V_{2\omega_k}$ の Huerfano-Khovanov 図式的カテゴリフィケーションへの 2ファンクターを構成すること。
• 階数付きカテゴリ $\mathcal{O}$ のための $\mathfrak{gl}_{2k}$ の最大パラボリック部分カテゴリにおける $\mathcal{U}_q(\mathfrak{sl}_n)$ の 2表現を確立すること。
• カテゴリフィケーションにおける関手間の自然変換が、Khovanov-Lauda 2カテゴリの定義関係を満たしていることを検証すること。
• $\mathcal{P}_{k,n}$ のグローテンディーク群が、無限次元表現 $V_{2\omega_k}$ と同型であることを示すこと。

提案手法

• Khovanov-Lauda 2カテゴリから図式的カテゴリおよびカテゴリ $\mathcal{O}$ のカテゴリフィケーションへの 2ファンクター $\Omega_{k,n}: \mathcal{KL} \to \mathcal{HK}_{k,n}$ および $\Pi_{k,n}: \mathcal{KL} \to \mathcal{P}_{k,n}$ を明示的に定義する。
• Soergel ファンクター $\mathbb{V}$ を用いて、射を射のファンクターとして、2次元変換を自然変換として構成する。
• [11, 節 6.2] の同型の自然性を用いて、Khovanov-Lauda 2カテゴリの関係が満たされていることを検証する。
• カテゴリ $\mathcal{O}$ における Koszul 階数付けと [11] からのコホロロジー計算を活用して、カテゴリ $\mathcal{P}_{k,n}$ 上での 2ファンクターを定義する。
• $\mathcal{O}^{(k,k)}_{\overline{\lambda}}(\mathfrak{gl}_{2k})$ の射影的・インジェクティブ対象の集合と、列減少・行非減少テーブルの間の双対写像を確立し、重み空間の次元を計算する。
• Weyl のキャラクター公式を適用して、$[\mathcal{P}_{k,n}]_{\mathbb{Q}(q)}$ の $\lambda$-重み空間の次元が $V_{2\omega_k}$ のそれと一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Khovanov-Lauda 2カテゴリは、$V_{2\omega_k}$ の Huerfano-Khovanov カテゴリフィケーションに 2ファンクターを介して作用するか？
• RQ2 階数付きカテゴリ $\mathcal{O}$ のための $\mathfrak{gl}_{2k}$ の最大パラボリック部分カテゴリ上で、$\mathcal{U}_q(\mathfrak{sl}_n)$ の 2表現を実現できるか？
• RQ3 Huerfano-Khovanov およびカテゴリ $\mathcal{O}$ のカテゴリフィケーションにおける自然変換は、Khovanov-Lauda 2カテゴリの関係と同型であるか？
• RQ4 $\mathcal{P}_{k,n}$ のグローテンディーク群は、無限次元表現 $V_{2\omega_k}$ と同型であるか？
• RQ5 $q=1$ における古典的極限から、階数付きカテゴリ $\mathcal{O}$ を用いて $V_{2\omega_k}$ のカテゴリフィケーションを量子設定に持ち上げられるか？

主な発見

• Khovanov-Lauda 2カテゴリから $V_{2\omega_k}$ の Huerfano-Khovanov 図式的カテゴリフィケーションへの 2ファンクター $\Omega_{k,n}: \mathcal{KL} \to \mathcal{HK}_{k,n}$ が存在する。
• 階数付きカテゴリ $\mathcal{O}$ のための $\mathfrak{gl}_{2k}$ の最大パラボリック部分カテゴリ上で、$\mathcal{U}_q(\mathfrak{sl}_n)$ の 2表現を実現する 2ファンクター $\Pi_{k,n}: \mathcal{KL} \to \mathcal{P}_{k,n}$ が存在する。
• $\mathcal{P}_{k,n}$ のグローテンディーク群 $[\mathcal{P}_{k,n}]_{\mathbb{Q}(q)}$ は、$\mathcal{U}_q(\mathfrak{sl}_n)$ の無限次元表現 $V_{2\omega_k}$ と同型である。
• $[\mathcal{P}_{k,n}]_{\mathbb{Q}(q)}$ の $\lambda$-重み空間の次元は、カタラン数 $\frac{1}{|S|+1}\binom{2|S|}{|S|}$ で与えられ、$V_{2\omega_k}$ の対応する重み空間の次元と一致する。
• 構成は Soergel ファンクターと [11] からのコホロロジー同型に依存しており、自然性および Khovanov-Lauda 関係の満たし方を保証する。
• カテゴリ $\mathcal{O}$ を用いたカテゴリフィケーションは、従来のアプローチよりも明示的であり、幾何的 Koszul 階数付けと明示的なコホロロジー計算を活用している。