[論文レビュー] Virtual crossings, convolutions and a categorification of the SO(2N) Kauffman polynomial

Mikhail Khovanov, Lev Rozansky|ArXiv.org|Jan 12, 2007

Geometric and Algebraic Topology参考文献 13被引用数 35

ひとこと要約

本稿では、行列式因子と複体の畳み込みを用いて、SO(2N) Kauffman多項式のカテゴリフィケーションを提示する。これはHOMFLY-PTカテゴリフィケーションを一般化するものである。リンク図式からZ2 × Z-次数付きベクトル空間の複体を構成し、最初の2つのReidemeister移動に関して不変性を証明し、3番目の移動に関しては不変性を予想する。主たる貢献は、畳み込みを用いて構成される非Koszul行列式因子に基づく、新たなカテゴリフィケーションフレームワークであり、ホモトピー不変な複体を提供する。その次数付きEuler特徴は、SO(2N) Kauffman多項式に一致する。

ABSTRACT

We suggest a categorification procedure for the SO(2N) one-variable specialization of the two-variable Kauffman polynomial. The construction has many similarities with the HOMFLYPT categorification: a planar graph formula for the polynomial is converted into a complex of graded vector spaces, each of them being the homology of a Z_2 graded differential vector space associated to a graph and constructed using matrix factorizations. This time, however, the elementary matrix factorizations are not Koszul; instead, they are convolutions of chain complexes of Koszul matrix factorizations. We prove that the homotopy class of the resulting complex associated to a diagram of a link is invariant under the first two Reidemeister moves and conjecture its invariance under the third move.

研究の動機と目的

• 2変数Kauffman多項式のSO(2N)特殊化を、平面的グラフ式と行列式因子を用いてカテゴリフィケーションすること。
• HOMFLY-PTカテゴリフィケーションフレームワークをSO(2N)の場合に一般化し、非Koszul行列式因子に適応すること。
• ホモトピー型が最初の2つのReidemeister移動に関して不変である、次数付きベクトル空間の複体を構成すること。
• 3番目のReidemeister移動に関しての不変性を予想し、複体の次数付きEuler特徴が元の多項式に一致することを確認すること。

提案手法

• カテゴリフィケーションは、Koszulでない$ W(x,y) = xy^2 + x^{2N+1} $というスーパーポテンシャルを用いて、各基本的テングルに行列式因子を割り当てることで構築される。
• 基本的な行列式因子は、Koszul行列式因子の複体の畳み込みを用いて結合され、より複雑な構造が形成される。
• リンク図式の全複体は、サドル写像の畳み込みとして構成され、行列式因子の多次元グリッド上のポストニコフ系を形成する。
• ホモトピー不変性は、可縮なコーンの除去と行列式因子のホモトピー圏における同型を用いて、最初の2つのReidemeister移動に関して証明される。
• Z2 × Z-次数は、$ \{ \cdot \} $、$ \langle \cdot \rangle $、および$ \{ \cdot \} $で符号化され、複体がフレーミング変更に関して不変であることが示される。
• 複体の次数付きEuler特徴は$ \chi_q(C^\bullet(L)) = \sum_{i,n,j} (-1)^{j+n} q^i \dim C^{n,j}_i(L) $として計算され、SO(2N) Kauffman多項式に等しい。

実験結果

リサーチクエスチョン

• RQ1 SO(2N) Kauffman多項式は、行列式因子と複体の畳み込みを用いてカテゴリフィケーション可能か？
• RQ2 カテゴリフィケーションは最初の2つのReidemeister移動に関してどのように振る舞い、不変性は証明可能か？
• RQ3 カテゴリフィケーションは3番目のReidemeister移動に関して不変か？その背後にある構造的性質は何か？
• RQ4 非Koszul行列式因子はこのカテゴリフィケーションにおいて果たす役割は何か？HOMFLY-PTの場合とはどのように異なるか？
• RQ5 複体は明確なZ2-次数を持つか？また、図式内の交差数と関係があるか？

主な発見

• 複体$ C^\bullet(L) $は、次数のずれを除いて、最初のReidemeister移動に関してホモトピー不変であることが証明された：$ C^\bullet(\text{unknot}) \simeq C^\bullet(\text{cusp}) \{ -2N-1 \} \langle 1 \rangle [-1] $。
• 複体は2番目のReidemeister移動に関してホモトピー不変であることが示された：$ C^\bullet(\text{2つの交差}) \simeq C^\bullet(\text{符号が逆の2つの交差}) $。
• 複体の次数付きEuler特徴はSO(2N) Kauffman多項式に一致する：$ \chi_q(C^\bullet(L)) = P_L(q) $。これは、Euler特徴レベルでのカテゴリフィケーションの正しさを確認する。
• カテゴリフィケーションは非Koszulスーパーポテンシャル$ W(x,y) = xy^2 + x^{2N+1} $を用い、Koszul複体の畳み込みによる行列式因子を生成する。
• 複体は、$ n_L \mod 2 $の均一なZ2-次数を持つ。ここで$ n_L $は交差数である。これは予想1.4を支持する。
• 構成は、仮想的および半仮想的リンクへと拡張され、可縮性とテンソル積の同型を用いて、仮想Reidemeister移動に関して不変性が確立された。