[論文レビュー] The $\mathfrak{sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality

Hoel Queffélec, David E. V. Rose|arXiv (Cornell University)|May 22, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 52被引用数 28

ひとこと要約

本稿では、2-自己同型がスレートのウェブ間のフォームである2-自己同型を備えた強化されたフォーム2カテゴリを用いて、色付き sln リンクホモロジーの完全な組合せ的構成を提示する。カテゴリカルなスケュー・ハウ双対性を活用し、強化されたフォーム面を導入することで、生成子と関係式による提示が可能となり、閉じたフォームの完全な組合せ的評価が可能になる。これは、以前の行列因数分解アプローチにおける符号の問題を解消し、長年の組合せ的フォーム評価に関する問いに答えている。

ABSTRACT

We give a purely combinatorial construction of colored $\mathfrak{sl}_n$ link homology. The invariant takes values in a 2-category where 2-morphisms are given by foams, singular cobordisms between $\mathfrak{sl}_n$ webs; applying a (TQFT-like) representable functor recovers (colored) Khovanov-Rozansky homology. Novel features of the theory include the introduction of `enhanced' foam facets which fix sign issues associated with the original matrix factorization formulation and the use of skew Howe duality to show that (enhanced) closed foams can be evaluated in a completely combinatorial manner. The latter answers a question posed in math.GT/0708.2228.

研究の動機と目的

• 行列因数分解やトポロジカル場理論に依存しない、完全な組合せ的生成子と関係式による色付き sln リンクホモロジーの定式化を提供すること。
• 元の行列因数分解フレームワークにおける不一致を是正するため、符号の不確実性を解消する「強化された」フォーム面を導入すること。
• （強化された）閉じたフォームに対する組合せ的評価規則を確立し、[40]で提起されたそのような規則の存在に関する問いに答えること。
• カテゴリカルな q-シュール代数のカテゴリカルスケュー・ハウ双対性が、sln リンクホモロジーの位相的・図式的記述を導出可能であることを示すこと。
• Khovanov や Mackaay-Stosic-Vaz、Blanchet のフォームに基づく以前の構成を統一的かつ一般化し、整数上での一貫した2カテゴリカルな枠組みに統合すること。

提案手法

• 1-自己同型として色付き sln ウェブ、2-自己同型として強化されたフォーム（面は1からnまでの整数でラベル付けされ、符号を制御する特別な「強化された」面を含む）を持つ sln フォーム2カテゴリを構成する。
• カテゴリカルなスケュー・ハウ双対性を用いて、KLR代数の関係式とフォーム関係式を関連付ける2関手（フォーメーション）を、分類された量子群からフォーム2カテゴリへ定義する。
• 強化されたフォーム計算を用いて、閉じたフォームに対する組合せ的評価写像を定義し、それが提示に依存せずwell-definedであることを証明する。
• KLR代数の関係式（例えば (3.11), (3.14)）およびフォームの同型（例えば (3.8), (3.13)）を用いて、バブル除去、球面、二角形除去などのフォーム関係式を導出する。
• フォーメーション2関手を分類された q-シュール代数に適用し、この構成の直接極限が、量子群の表現の2カテゴリを実現することを示す。
• Mackaay-Stosic-Vaz や Cautis や Webster の既存のフレームワークと比較し、符号および提示の違いを除いて構造が同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 色付き sln リンクホモロジーは、行列因数分解や幾何的構成に依存せずに、完全に組合せ的に定式化可能か？
• RQ2 フォーム評価における符号の不確実性は、どのように解消され、一貫した組合せ的不変量が得られるか？
• RQ3 閉じたフォームの完全なアルゴリズム的評価が可能となる、生成子と関係式によるフォーム2カテゴリの定式化は存在するか？
• RQ4 カテゴリカルなスケュー・ハウ双対性を用いて、KLR代数の関係式からフォーム関係式の全セットを導出可能か？
• RQ5 新しいフォーム2カテゴリは、Mackaay-Stosic-Vaz や Cautis や Webster の既存の構成とどのように関係しているか？

主な発見

• 著者らは、色付き sln リンクホモロジーの完全な組合せ的、整数次数付き定式化を提供する強化された sln フォームの2カテゴリを構成した。
• 強化されたフォーム面の導入により、以前のフォーム評価における符号の問題が解消され、閉じたフォームの評価に対して一貫した組合せ的規則が可能になった。
• 任意の（強化された）閉じたフォームの評価が組合せ的かつアルゴリズム的であることが示され、Kapustin-Li 公式の直接的な組合せ的アナロジーが得られた。
• フォーム2カテゴリが、カテゴリカルなスケュー・ハウ双対性を介して分類された量子群からの2関手の像と同型であることが示され、表現論とリンク不変量の深い関係が確立された。
• この構成により、分類された q-シュール代数の直接極限が、左向きの sln ウェブの2カテゴリとして位相的に実現されることを証明し、この代数の図式的モデルを提供した。
• Mackaay-Stosic-Vaz のフォームカテゴリの関係と、新しい強化されたフォーム2カテゴリの関係との間の対応関係を確立し、すべての MSV 関係式が、符号および提示の違いを除いて、新しい枠組みから回復可能であることを示した。