[論文レビュー] Categorifications from planar diagrammatics

Mikhail Khovanov|arXiv (Cornell University)|Aug 30, 2010

Algebraic structures and combinatorial models参考文献 37被引用数 24

ひとこと要約

この論文は、平面的ストリング図を用いて、量子群の正の部分の図式的カテゴリフィケーションを提示する。ファンクターはストランドとして、自然変換はノードとして、双随伴性によりホモトピー不変関係が可能となる。主な貢献は、ソルゲル・ビモジュラスとカテゴリフィケートド量子群のための図式的記法であり、2-圏のグロテンディーク環は、量子sl(n)のBLM形式と同型である。

ABSTRACT

A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive halves of quantum groups. These notes are a write-up of Takagi lectures given by the author in Hokkaido University in June 2009.

研究の動機と目的

• 領域、ストランド、ノードを用いた平面的ストリング図による2-圏の図式的フレームワークの構築。
• 双随伴ファンクターのための図式的記法の確立により、平面的図におけるホモトピー不変性の実現。
• ソルゲル・ビモジュラスと環R(ν)を用いた、量子群の正の部分のカテゴリフィケーション。
• 2-圏のグロテンディーク環による、量子sl(n)のBLM形式への接続。
• U-ターンの導入と完全な量子群関係の追加により、量子群の完全カテゴリフィケーションの基盤を提供。

提案手法

• ファンクターは、領域にラベルが付いた平面的図における方向性を持つストランドとして表現される。
• 自然変換はノードとして図示され、恒等変換は垂直線またはラベル付き領域として表される。
• 双随伴性はカップとキャップ図（単位および余単位）によって符号化され、ホモトピー不変性を満たすゼイグザグ関係式が成り立つ。
• 図式的記法は、自然変換の水平および垂直合成を許容し、関係式を保存するホモトピーを許容する。
• 2-圏は環R(ν)から構成され、非分解的射影R(ν)-加群は、カノニカル基底をカテゴリフィケーションする。
• 2-圏のグロテンディーク環は、量子sl(n)のBLM形式と同型であり、重み空間はR(ν)のグロテンディーク群としてカテゴリフィケーションされる。

実験結果

リサーチクエスチョン

• RQ1 双随伴ファンクターをどのように図式的に表現することで、平面的ストリング図におけるホモトピー不変性を達成できるか？
• RQ2 ソルゲル・ビモジュラスとその量子群の正の部分のカテゴリフィケーションの背後にある図式的構造は何か？
• RQ3 環R(ν)およびその射影加群は、U+の重み空間とカノニカル基底要素をどのようにカテゴリフィケーションするか？
• RQ4 図式的記法を拡張して、正と負の両部分を含む完全な量子群のカテゴリフィケーションを達成できるか？
• RQ5 双随伴ファンクターの2-圏は、図式的記法を通じて、量子群の完全な構造を実現するために果たす役割は何か？

主な発見

• 双随伴ファンクターの図式的記法は、カップとキャップ関係式を通じてホモトピー不変性を実現し、平面的図の位相的不変性を可能にする。
• 双随伴ペアから構成されるファンクターと自然変換の2-圏は、ソルゲル・ビモジュラスの表現理論と同等の図式的記法をサポートする。
• 2-圏のグロテンディーク環は、量子sl(n)のBLM形式と同型であり、重み空間U+(ν)はR(ν)のグロテンディーク群としてカテゴリフィケーションされる。
• 非分解的射影R(ν)-加群は、U+のカノニカル基底要素に対応し、カノニカル基底のカテゴリフィケーションを提供する。
• U-ターンの許容、整数重みによる領域の彩色、ホモトピー関係式の追加により、図式的記法は完全な量子群のカテゴリフィケーションに拡張可能である。これは、LaudaおよびChuang-Rouquierの結果で示されている。
• n=2の場合、Frenkelの1994年の予想（量子sl(2)のカテゴリフィケーション）が確認され、2-圏は完全な量子群構造を実現する。