[論文レビュー] A colored sl(N)-homology for links in S^3

Hao Wu|arXiv (Cornell University)|Jul 3, 2009

Geometric and Algebraic Topology参考文献 32被引用数 52

ひとこと要約

本稿は、S^3 内のリンクを 1 から N の整数で彩色したリンク図式に対して、次数付き行列因子化の鎖複体を関連付けることにより、sl(N) の彩色されたホモロジーを構成する。MOY 計算と行列因子化技術を用いて、この複体のホモトピー型が Reidemeister 移動に関して不変であることを証明し、Khovanov-Rozansky の彩色なし sl(N) ホモロジーを一般化する。このホモロジーは、基本表現の外冪で彩色されたリンクに対して、Reshetikhin-Turaev の sl(N) 多項式にデカテゴリフィケーションされる。

ABSTRACT

Fix an integer N>1. To each diagram of a link colored by 1,...,N, we associate a chain complex of graded matrix factorizations. We prove that the homotopy type of this chain complex is invariant under Reidemeister moves. When every component of the link is colored by 1, this chain complex is isomorphic to the chain complex defined by Khovanov and Rozansky in arXiv:math/0401268. The homology of this chain complex decategorifies to the Reshetikhin-Turaev sl(N) polynomial of links colored by exterior powers of the defining representation.

研究の動機と目的

• sl(N; C) の基本表現の外冪で彩色されたリンクに対して、Khovanov-Rozansky の彩色なし sl(N) ホモロジーを拡張すること。
• S^3 内の彩色されたリンク図式に付随する次数付き行列因子化の鎖複体を定義すること。
• この鎖複体のホモトピー型が Reidemeister 移動に関して不変であることを証明し、位相的不変性を保証すること。
• すべての成分が 1 で彩色されている場合、この構成が元の Khovanov-Rozansky 複体を回復することを示すこと。
• ホモロジーが、外冪で彩色されたリンクに対して Reshetikhin-Turaev の sl(N) 多項式にデカテゴリフィケーションされることを示すこと。

提案手法

• 構成は、彩色されたリンク図式における Reshetikhin-Turaev の sl(N) 多項式の状態和モデルを定義する MOY 計算を用いる。
• 各 MOY グラフ（トゥールの表現を表す）に対して、Koszul 行列因子化の基本的演算を用いて、次数付き行列因子化の鎖複体を構築する。
• 複体には三重の次数付けが与えられる：Z2（行列因子化の次数）、Z（量子次数）、Z（ホモロジー次数）。
• Reidemeister 移動に関する不変性は、辺の分割・統合、ループの生成・消滅、サドル移動などを含む MOY グラフ上の局所的移動の系列によって確立される。
• 証明は、行列因子化の直和分解と、行列因子化のホモトピー圏におけるガウスの消去法に依存する。
• 主な道具には Yonezawa の補題、Krull-Schmidt 分解、およびモジュール構造を記述するための対称多項式が含まれる。

実験結果

リサーチクエスチョン

• RQ1 Khovanov-Rozansky の彩色なし sl(N) ホモロジーを、sl(N; C) の基本表現の任意の外冪で彩色されたリンクに拡張することは可能か？
• RQ2 彩色されたリンク図式に付随する次数付き行列因子化の鎖複体は、Reidemeister 移動に関して不変か？
• RQ3 MOY グラフ上の局所的移動（例：辺の分割、ループの生成）は、関連する行列因子化複体にどのように影響するか？
• RQ4 ホモロジーの構造、特に直和分解と次数シフトの観点から、どのように記述できるか？
• RQ5 ホモロジーは、外冪で彩色されたリンクに対して Reshetikhin-Turaev の sl(N) 多項式とどのように関係するか？

主な発見

• 彩色されたリンク図式 D に付随する鎖複体 C(D) は、ホモトピー圏における次数付き行列因子化の有界な Z2 ⊕ Z ⊕ Z-次数付き複体である。
• C(D) のホモトピー型はすべての Reidemeister 移動に関して不変であり、位相的不変性が確立される。
• すべての成分が 1 で彩色されている場合、C(D) は元の Khovanov-Rozansky 複体と同型であり、彩色なしの場合と整合することが確認される。
• 結び目の MOY グラフ Γ±1,n に対する複体は、自明なグラフ Γ1,n を {qn} だけシフトした複体と同型であり、他の構成に対しても同様の関係が成り立つ。
• この複体のホモロジーは、基本表現の外冪で彩色されたリンクに対して、Reshetikhin-Turaev の sl(N) 多項式にデカテゴリフィケーションされる。
• 不変性の証明は、特に χ-準同型と分解定理を用いた行列因子化複体におけるガウスの消去法による明示的ホモトピー同値の構成に依存する。