[論文レビュー] An sl(2) tangle homology and seamed cobordisms

Carmen Caprau|ArXiv.org|Jul 20, 2007

Geometric and Algebraic Topology参考文献 17被引用数 16

ひとこと要約

この論文は、シーム付きコボルディズムとフォームを用いて、ℤ[i][a] 上の双次数付き sl(2) トゥーリングホモロジー理論を構成し、カーヴァンの元々の sl(2) ホモロジーにおける符号の曖昧さを解消する。トゥーリング図に関手的にフォームの複体を割り当て、ℤ[i][a]-加群への次数を保つ関手を適用することで、ホモロジーが量子 sl(2) 連結不変量と一致するように、その重み付きオイラー特徴量が得られる。明示的な計算により、a=0 のとき、図8の結び目に対して6次元のホモロジーが得られる。

ABSTRACT

We construct a bigraded (co)homology theory which depends on a parameter a, and whose graded Euler characteristic is the quantum sl(2) link invariant. We follow Bar-Natan's approach to tangles on one side, and Khovanov's sl(3) theory for foams on the other side. Our theory is properly functorial under tangle cobordisms, and a version of the Khovanov sl(2) invariant (or Lee's modification of it) corresponds to a=0 (or a=1). In particular, our construction naturally resolves the sign ambiguity in the functoriality of Khovanov's sl(2) homology theory.

研究の動機と目的

• 双次数付きのコホモロジー理論を有向トゥーリングに対して構成し、量子 sl(2) 連結不変量をカテゴリファイする。
• カーヴァンの元々の sl(2) ホモロジーにおける関手的性の符号の曖昧さを、ℤ[i][a] 上のパラメータ化された理論を導入することで解消する。
• バール＝ナタンのコボルディズムに基づくアプローチをトゥーリングに拡張し、カーヴァンのフォームに基づく sl(3) 理論を、シーム付きコボルディズムを用いた sl(2) の統一的枠組みに拡張する。
• フォームの局所関係を modulo した圏から ℤ[i][a]-加群への関手を定義することで、トゥーリングコボルディズムの下で理論が適切に関手的であることを保証する。

提案手法

• トゥーリング図から解体の立方体を構成し、各解体に対して、ウェーブ間のフォームの複体を割り当てる。
• ℤ[i][X,a]/(X²−a) で定義されるフロベニウス系を用いて、量子 sl(2) 不変量を代数的にモデル化する。
• 局所関係を modulo したフォームの圏から ℤ[i][a]-加群への次数を保つ関手 ℱ を適用し、閉じたウェーブをランク2の加群 𝒜（次数 ±1 に）に写像する。
• フォームに局所関係を課して、リーデマイスター移動およびムービー移動の下での不変性を保証する。
• 合計化を用いて得られた複体のホモロジーを計算し、a=0 に代入することで ℂ へのベースチェンジを施し、具体的な例を分析する。
• 𝒜 の基底 (1,X) に対するコボルディズムの行列表現を用いて、微分とホモトピー同値を計算する。

実験結果

リサーチクエスチョン

• RQ1 トゥーリングコボルディズムの下で適切に関手的である、双次数付き sl(2) トゥーリングホモロジーを構築することは可能か？ これにより、カーヴァンの元々の理論における符号の曖昧さが解消されるか？
• RQ2 カーヴァンの sl(3) フォームに基づくアプローチを、シーム付きコボルディズムとフォームを用いて、関手的 sl(2) ホモロジーを構築するためにどのように適応できるか？
• RQ3 パrameter a を 0 または 1 に設定したとき、例えば図8の結び目のような特定の結び目のホモロジーの構造はどのようなものか？
• RQ4 構築されたホモロジーの重み付きオイラー特徴量は、量子 sl(2) 連結不変量とどのように関係するか？

主な発見

• 理論は、重み付きオイラー特徴量が量子 sl(2) 連結不変量に一致する、ℤ[i][a] 上の双次数付きコホモロジー理論である。
• a=0 のとき、図8の結び目のホモロジーは ℂ 上で6次元であり、bidegrees (−2,5), (−1,1), (0,−1), (0,1), (1,−1), (2,−5) に生成子を持つ。
• ℤ[i][a] 上のパラメータ化された枠組みを導入することで、関手的性における符号の曖昧さが解消され、トゥーリングコボルディズムの下で一意に定義された写像が保証される。
• フォームの複体に関手 ℱ を適用すると、ℤ[i][a]-加群のホモトピー不変な複体が得られ、そのホモロジーはトゥーリングの双次数不変量である。
• フォームに局所関係を課えたため、理論はリーデマイスター移動およびムービー移動の下で不変である。
• a=1 のとき、理論はカーヴァンの sl(2) ホモロジーのリーの亜種に対応し、既知の特殊ケースと整合性が確認される。