[論文レビュー] sl(3)-Foams and the Khovanov-Lauda categorification of quantum sl(k)

Marco Mackaay|ArXiv.org|May 13, 2009

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

ひとこと要約

この論文は、Khovanov-Laudaの分類量子sl(k) 2カテゴリから、コーナーを持つユニバーサルsl(3)フォームの2カテゴリへの2ファンクターである'foamation'を導入し、分類量子群とフォームモデルとの間のリンクを確立する。主な貢献は、F2上でのKhovanov-Lauda 2カテゴリのすべての定義的関係が保存されることの証明であり、フォームによる分類化の具象的実現を提供するとともに、Kapustin-Liの公式による統一的枠組みの可能性を示唆する。

ABSTRACT

In this paper I define certain interesting 2-functors from the Khovanov-Lauda 2-category which categorifies quantum sl(k), for any k>1, to a 2-category of universal sl(3) foams with corners. For want of a better name I use the term "foamation" to indicate those 2-functors. I conjecture the existence of similar 2-functors to the 2-category of sl(n) foams with corners, for any n>1.

研究の動機と目的

• Khovanov-Laudaの2カテゴリUkから、コーナーを持つユニバーサルsl(3)フォームの2カテゴリへの2ファンクター（「foamation」と呼ばれる）を確立すること。
• このfoamationファンクターが、F2上でのKhovanov-Lauda 2カテゴリのすべての定義的関係（特にnilHecke関係およびバブル関係）を保存することを検証すること。
• すべてのn≥2に対して、sl(n)フォームに対する類似のfoamationファンクターの存在を予想し、sl(3)を超えた枠組みへの拡張を図ること。
• Kapustin-Liの公式が、分類量子群の設定におけるすべての関係を導出する統一的メカニズムとしての可能性を検討すること。

提案手法

• Khovanov-Laudaの2カテゴリUkから、コーナーを持つユニバーサルsl(3)フォームの2カテゴリへの2ファンクターを定義し、1-射（ドットとクロスの列）をフォームコボルディズムに写像する。
• 2-射（生成子と関係）を、ラベル付き領域、特異的曲線、ドットを含むフォーム図式として表現し、フォーム評価にKapustin-Liの公式を用いる。
• Uk内のすべての関係（nilHecke関係、バブル関係、R行列関係など）が、ホモトピーおよびフォーム計算を通じてfoamationファンクターのもとで保存されることを検証する。
• 図式的計算を用いて、各KL生成子（例：クロス、ドット）を対応するフォーム構造に写像し、重み上の双線形形式によって決定される次数シフトとラベルを設定する。
• 無限大グラスマン多様体関係を適用して、負のラベルを持つ「偽のバブル」を処理し、次数の正値性と一貫性を保証する。
• フォームホモトピーの分析と、目標の2カテゴリにおける既知のフォーム関係（DR）、（RD）、（SqR）の適用を通じて、関係の保存を証明する。

実験結果

リサーチクエスチョン

• RQ1 F2上でのKhovanov-Lauda 2カテゴリUkから、コーナーを持つユニバーサルsl(3)フォームの2カテゴリへの、すべての定義的関係を保存する2ファンクターが存在するか？
• RQ2 Kapustin-Liの公式を用いて、フォームモデルを通じて、分類量子群の設定におけるすべての関係を体系的に導出可能か？
• RQ3 十分に大きなnに対して、foamationファンクターは忠実であるか。これにより、分類量子sl(k)のすべての関係がフォーム計算から回復可能か？
• RQ4 Khovanov-Lauda 2カテゴリの関係（特にnilHecke関係およびR行列関係）は、sl(3)フォームの目標2カテゴリにおいて、どのようにホモトピーおよび代数的恒等式に翻訳されるか？

主な発見

• foamation 2ファンクターは、F2上でのKhovanov-Lauda 2カテゴリUkのすべての関係（nilHecke関係、バブル関係、R行列関係を含む）を保存する。
• 最初の2つのnilHecke関係は、ホモトピー不変性およびフォーム写像の構造のおかげで保存される。
• 3番目のnilHecke関係は（DR）フォーム関係に対応し、foamation写像からの直接計算によって保存される。
• R(ν)-関係は保存される：|i−j|>1の場合、ホモトピーで十分。隣接するi,jの場合は、特異的曲線で囲まれた円板に対して（RD）関係が適用される。
• （SqR）関係は、s−λ1=2のケースで検証され、AとBがともに非ゼロの場合、特異的曲線解析によりA−B=Cが成り立つことが示された。
• foamationファンクターは、すべてのn≥2に対してsl(n)フォームへ拡張可能であると予想され、Kapustin-Liの公式が、分類化におけるすべての関係を導出する統一的メカニズムを提供する。