[論文レビュー] A diagrammatic approach to categorification of quantum groups III

Mikhail Khovanov, Aaron D. Lauda|arXiv (Cornell University)|Jul 21, 2008

Algebraic structures and combinatorial models参考文献 38被引用数 209

ひとこと要約

この論文は、ラベル付きストランド、ドット、グレーディングシフトを備えた平面図形を用いて、idempotented量子群 \dot{U}(\mathfrak{sl}_n) の図形的2カテゴリカル化を提示する。同論文は、カテゴリカル化された圏のGrothendieck群と \dot{U}(\mathfrak{sl}_n) の整形式との間に同型を確立し、非退化的な図形的計算式を用いて完全なカテゴリカル化を証明するとともに、フラッグ2カテゴリからカテゴリカル化量子群への2ファンクターを構成する。

ABSTRACT

We categorify the idempotented form of quantum sl(n).

研究の動機と目的

• idempotented量子群 \dot{U}(\mathfrak{sl}_n) の図形的2カテゴリカル化を構成すること。
• カテゴリカル化された圏のGrothendieck群と \dot{U}(\mathfrak{sl}_n) の整形式との間に同型を確立すること。
• 図形的計算式の非退化性を証明し、フラッグ2カテゴリからカテゴリカル化量子群への2ファンクターを定義すること。
• \dot{U}(\mathfrak{sl}_n) の対称性をカテゴリカル化された圏上の2ファンクターに上昇させること。
• 繰り返しフラッグ多様体とG-不変コホモロジーを用いた幾何的実現を通じて、カテゴリカル化量子群を幾何学的に実現すること。

提案手法

• 整数重みを対象とし、ラベル付きストランド (E_i1_\lambda) とグレーディングシフトの形式的和として1-射を有する2カテゴリ U を構成する。
• 有向ストランド（単純根でラベル付け）、ストランド上のドット、および量子群の関係を符号化する関係を備えた平面図形の同値類として2-射を定義する。
• nilHecke代数の関係と次数割り当てを含む図形的計算式を用いて2カテゴリ U を定義する。
• U のカローブイ包を構成することで \dot{U} を定義し、完全なカテゴリカル化を保証する。
• 繰り返しフラッグ多様体のコホモロジーを用いて、フラッグ2カテゴリ Flag_N から \dot{U}(\mathfrak{sl}_n) への2ファンクター Γ_N を構成する。
• 非退化性と明示的な基底対応により、Grothendieck群上の誘導写像 γ: A\dot{U} → K_0(\dot{U}) が同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 idempotented量子群 \dot{U}(\mathfrak{sl}_n) は図形的2カテゴリカル化によって完全にカテゴリカル化可能か？
• RQ2 カテゴリカル化量子群の図形的計算式は非退化的か？ これによりカテゴリカル化の忠実性が保証されるか？
• RQ3 フラッグ2カテゴリから \dot{U}(\mathfrak{sl}_n) への2ファンクターは、幾何的表現論を通じてカテゴリカル化量子群を実現するか？
• RQ4 \dot{U}(\mathfrak{sl}_n) の対称性はカテゴリカル化された圏上の2ファンクターに上昇可能か？
• RQ5 カテゴリカル化された2カテゴリのGrothendieck群は、\dot{U}(\mathfrak{sl}_n) の整形式と同型か？

主な発見

• フラッグ2カテゴリから \dot{U}(\mathfrak{sl}_n) への2ファンクター Γ_N は完全に忠実であり、繰り返しフラッグ多様体のコホモロジーを用いてカテゴリカル化量子群を実現する。
• 誘導写像 γ: A\dot{U} → K_0(\dot{U}) が同型であるため、カテゴリカル化された圏のGrothendieck群が \dot{U}(\mathfrak{sl}_n) の整形式を回復することが証明された。
• 図形的計算式は任意の可換環上で非退化的であり、2カテゴリ U が適切に定義され、忠実であることを保証する。
• カテゴリカル化量子群 \dot{U}(\mathfrak{sl}_n) は、\dot{U}(\mathfrak{sl}_n) の対称性 ψ, ω, σ, τ をカテゴリカル化する2ファンクターを備える。
• 2カテゴリ \dot{U}(\mathfrak{sl}_n) は U のカローブイ包として構成され、完全なカテゴリカル化と直接和分解を保証する。
• カテゴリカル化量子群は繰り返しフラッグ多様体上の両立コherent層の導来圏に作用し、カテゴリカル化表現理論の幾何的実現を提供する。