[論文レビュー] Matrix factorizations and link homology

Mikhail Khovanov, Lev Rozansky|ArXiv.org|Jan 21, 2004

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、平面的三価グラフに関連する多項式環上の行列因子化を用いて、リンクの二重に次数づけられたホモロジー理論 $ H_n(L) $ を構成する。この理論は、HOMFLY多項式の $ n $-番目の特殊化をカテゴリフィケーションし、$ H_n(L) $ のオイラー特性が $ P_n(L) $ に等しくなる。また、量子 $ \mathfrak{sl}(n) $ の表現論を用いて、$ n=2 $ のときのジョーンズ多項式、$ n=0 $ のときのアレクサンダー多項式、および他のリンク不変量を統一的に扱う枠組みを提供する。

ABSTRACT

For each positive integer n the HOMFLY polynomial of links specializes to a one-variable polynomial that can be recovered from the representation theory of quantum sl(n). For each such n we build a doubly-graded homology theory of links with this polynomial as the Euler characteristic. The core of our construction utilizes the theory of matrix factorizations, which provide a linear algebra description of maximal Cohen-Macaulay modules on isolated hypersurface singularities.

研究の動機と目的

• すべての $ n > 0 $ に対して、HOMFLY多項式の $ n $-番目の特殊化をカテゴリフィケーションする一様なホモロジー理論を構築すること。既知の $ n = 0,1,2,3 $ の構成を拡張する。
• 平面的三価グラフに向きと広い辺（$ \Lambda^2 V $ を表す）を付与したものから生じるポテンシャルの行列因子化を用いて、リンクホモロジーを体系的に構成すること。
• リンクコーボォリズムの下で関手的となる行列因子化の複体を定義することで、リードマイスター移動に対する不変性を確立すること。
• フレーム付きリンクおよび空間的三価グラフへの一般化を図り、$ \mathbb{R}^3 \times [0,1] $ 内のコーボォリズムに関して関手的構造を保つこと。
• 平面的グラフ $ \Gamma $ のホモロジー $ H(\Gamma) $ は、2つの次数のうち1つのみに非自明なコホモロジーを持つと予想し、その次数次元が正規化を除いて MOY 不変量 $ \langle \Gamma \rangle $ と一致するとする。

提案手法

• 各三価頂点 $ v $ に対して、$ R_v $ におけるポテンシャル $ w_v \in R_v $ を定義する。ここで $ R_v $ は辺変数 $ x_j $ の対称多項式環のテンソル積であり、$ w_v $ は辺の向きに応じた変数の $ (n+1) $ 乗和である。
• 各頂点 $ v $ に対して、$ R_v \xrightarrow{g_k} R_v \xrightarrow{\sigma_k} R_v $ のテンソル積として行列因子化 $ C_v $ を構成する。ここで $ \sigma_k $ は初等対称関数、$ g_k $ は $ w_v = \sum_k \sigma_k g_k $ を満たす多項式であり、辺の向きに応じて符号を調整する。
• すべての頂点 $ v $ に対して $ C_v $ をテンソル積として結合し、全体の複体 $ C(\Gamma) $ を構成する。このテンソル積は中間の環 $ S(e) $ を通じて行われ、結果として $ \bigotimes_e S(e) $ 上の有限ランク加群が得られる。
• ホモロジー $ H(\Gamma) $ を、2周期的複体 $ C(\Gamma) $ のコホモロジーとして定義する。次数は $ \deg(x_j) = 2 $ によって誘導され、これは1つの次数にのみ非自明なコホモロジーを持つと予想される。
• グラフ $ \Gamma $ のループに対しては、ラベル $ i $ のループに、グリーマンニアン $ \mathrm{Gr}(i,n) $ のコホモロジーを割り当て、MOY計算と整合する形で全体のホモロジーに寄与させる。
• 奇数 $ n $ の場合、すべての辺が入ってくるかすべて出るような頂点に補助変数 $ x_v $ を導入し、ポテンシャルに $ x_v^2 $ を加えることで、環と因子化を拡張する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n > 0 $ に対して、そのオイラー特性がHOMFLY多項式の $ n $-番目の特殊化に一致する二重に次数づけられたホモロジー理論をどのように構成できるか？
• RQ2 平面的三価グラフに関連するポテンシャルの行列因子化が、MOY不変量 $ \langle \Gamma \rangle $ の一様なカテゴリフィケーションを提供できるか。特に $ n=2 $（ジョーンズ多項式）および $ n=3 $ の場合に有効か？
• RQ3 得られるホモロジー理論はリードマイスター移動に対して不変であり、$ \mathbb{R}^3 \times [0,1] $ 内のリンクコーボォリズムに関して関手的に拡張可能か？
• RQ4 平面的グラフ $ \Gamma $ のホモロジー $ H(\Gamma) $ は、1つのコホモロジー次数にのみ非自明であり、その次数次元が正規化を除いて MOY評価 $ \langle \Gamma \rangle $ と一致するか？
• RQ5 この構成は空間的三価グラフおよび装飾付きグラフコーボォリズムに拡張可能か。関手的および不変性を保ったままか？

主な発見

• 本稿は、向き付けられたリンク $ L $ に対して二重に次数づけられたホモロジー理論 $ H_n(L) $ を構築し、そのオイラー特性が $ P_n(L) $、すなわちHOMFLY多項式の $ n $-番目の特殊化に一致することを示している。
• $ n=2 $ の場合、理論はカフォンのジョーンズ多項式のカテゴリフィケーションを回復する。$ n=0 $ の場合、オルツヴァース＝ツァボーおよびラスマッセンのアレクサンダー多項式のカテゴリフィケーションと一致する。
• 平面的グラフ $ \Gamma $ のホモロジー $ H(\Gamma) $ は、行列因子化の2周期的複体のコホモロジーとして定義され、$ \deg(x_j) = 2 $ によって次数が誘導される。
• 予想として、$ H(\Gamma) $ は1つのコホモロジー次数にのみ支持され、その次数次元は正規化を除いて MOY不変量 $ \langle \Gamma \rangle $ と一致する。
• この理論は向き付けられ、フレーム付きリンクコーボォリズムに関して関手的であり、空間的三価グラフへと拡張可能で、$ \mathbb{R}^3 \times [0,1] $ 内のグラフコーボォリズムに対して明確な作用を持つ。
• 奇数 $ n $ の場合、すべての辺が入ってくるかすべて出るような頂点に変数 $ x_v $ を導入し、ポテンシャルに $ x_v^2 $ を加えることで、行列因子化構造の整合性を保つ。