[論文レビュー] On the definition of Kac-Moody 2-category

Jonathan Brundan|arXiv (Cornell University)|Jan 2, 2015

Algebraic structures and combinatorial models参考文献 3被引用数 8

ひとこと要約

この論文は、RouquierのKac-Moody 2-categoryとKhovanov-Laudaの定義の同型を、それらの間の明示的な逆2関手の構成によって確立する。2つの見た目が異なる図式的2カテゴリ—任意のパラメータを用いた生成子と関係式で定義される—が同型であることが証明され、量子群のカテゴライゼーションにおける基礎的問題を解決し、分野における2つの主要なアプローチを統合する。

ABSTRACT

We show that the Kac-Moody 2-categories defined by Rouquier and by Khovanov and Lauda are the same.

研究の動機と目的

• RouquierのKac-Moody 2カテゴリの定義とKhovanov-Laudaの定義が同型であるかどうかという基礎的問題を解決すること。
• Khovanov-Laudaの2カテゴリからRouquierのU(g)への明示的な逆2関手を構成することで、完全な同型を証明すること。
• 図式的計算とパラメータ化された生成子を用いて、Khovanov-Laudaの2カテゴリのすべての定義関係がU(g)で成立することを検証すること。
• Kac-Moody代数の表現理論における2つの主要なカテゴリカル枠組みを、単一の整合的な構造に統合すること。

提案手法

• 生成子（上向き・下向きのストランド（1次元鎖））、ドット（x）、交差（τ）、接続写像（η, ε）を用いて、平面図形で関係を符号化するU(g)の2カテゴリを定義する。
• Khovanov-Laudaの生成子の逆元として機能する、U(g)における双対生成子（x′, τ′, η′, ε′）を導入し、重み⟨hi, λ⟩に基づく再正規化された逆生成子を用いる。
• 式(1.8)および(1.9)を用いて、⟨hi, λ⟩の符号に応じて、η′とε′を射の列／行ベクトルの逆元の成分として定義する。
• 体系的な関係の追い方を用いて、Khovanov-Laudaの2カテゴリの図式的関係—無限大グラスマン多様体関係や巡回性—がU(g)で成立することを検証する。
• 縦方向合成のための重要な恒等式(2.1)、バブルキャンセレーションのための(3.6)–(3.7)、および随伴同型のための(4.8)を用い、複雑な図形を簡略化する。
• パラメータ依存関係(1.3)および(1.4)を用いて、非対称パラメータ（tij, spqij）の取り扱いを可能にし、すべてのケースで整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 RouquierのKac-Moody 2カテゴリU(g)とKhovanov-Laudaの2カテゴリは、厳密な加法的k線形2カテゴリとして同型であるか？
• RQ2 Khovanov-Laudaの2カテゴリの生成子と関係式は、図式的計算とパラメータ化された構造を用いてU(g)内で完全に実現可能か？
• RQ3 特にη′とε′を含むU(g)における逆元関係は、Khovanov-Laudaの2カテゴリの全定義関係を満たすか？
• RQ4 バブル同値を支配する巡回性関係は、すべての重みとパラメータに対してU(g)で満たされるか？
• RQ5 パラメータtijとspqijが非自明で、非一様な場合でも同型が成立するか？

主な発見

• Rouquierが定義する2カテゴリU(g)は、パラメータtijとspqijが任意であっても、Khovanov-Laudaの2カテゴリと同型である。
• 重み⟨hi, λ⟩に依存する正規化係数を伴う、U(g)における双対生成子x′, τ′, η′, ε′の明示的定義により、逆2関手が構成された。
• 巡回性関係(5.6)–(5.8)がU(g)で検証され、ドット付きバブルと交差が必要な対称性を満たすことが示された。
• 無限大グラスマン多様体関係がU(g)で成立し、図式的計算がKac-Moody代数の代数的構造を正しく符号化していることが確認された。
• 随伴同型(4.8)がU(g)で成立することが証明され、すべての重み空間において双対性が正しく実現された。
• Khovanov-Laudaの2カテゴリのすべての定義関係—特に(1.2)–(1.9)の重要な関係—がU(g)で満たされたことにより、同型の証明が完了した。