[論文レビュー] Khovanov-Rozansky homology via Cohen-Macaulay approximations and Soergel bimodules

H. W. Becker|arXiv (Cornell University)|May 3, 2011

Algebraic structures and combinatorial models参考文献 18被引用数 5

ひとこと要約

この論文は、MOYグラフの行列式因子がソルゲル代数のコhen-Macaulay近似と同型であることを示すことにより、KhoVanov-Rozanskyリンクホモロジーとソルゲル代数の間に深い接続を確立する。非巡回的MOYグラフにおいて、安定化（最大コhen-Macaulay加群の安定圏への取り出し）がテンソル積と可換であることを証明し、行列式因子における複雑な計算をヘッケ代数の既知の組合せ論に還元する。主な結果は、ブレード閉包のホモロジーが安定化ホッシャー・コホモロジーの一種として現れ、n行を超えるヤング盤で添え字づけられたソルゲル代数は、カテゴリOにおける消滅結果と類似した、自明なコhen-Macaulay近似を持つことである。

ABSTRACT

This is the author's diploma thesis. We describe a simplification in the construction of Khovanov-Rozansky's categorification of quantum sl(n) link homology using the theory of maximal Cohen-Macaulay modules over hypersurface singularities and the combinatorics of Soergel bimodules. More precisely, we show that the matrix factorizations associated to basic MOY-graphs equal Cohen-Macaulay approximations of certain Soergel bimodules, and prove that taking Cohen-Macaulay approximation commutes with tensor products as long as the MOY-graph under consideration does not possess oriented cycles. It follows that the matrix factorization associated to a MOY-braid equals the Cohen-Macaulay approximation of the Soergel bimodule corresponding to the endofunctor on BGG-category O associated to the braid by Mazorchuk and Stroppel. This reduces certain computations in the category of matrix factorizations to known combinatorics of the Hecke-algebra. Finally, we describe braid closure as some kind of Hochschild cohomology and prove that the indecomposable Soergel bimodules corresponding to Young tableaux with more than n rows have trivial Cohen-Macaulay approximation, in analogy to the fact that the corresponding projective functors on category O vanish on restriction to parabolics with at most n parts.

研究の動機と目的

• 特異点を持つ超曲面の最大コhen-Macaulay加群を用いた、KhoVanov-Rozanskyリンクホモロジーの構成を簡略化すること。
• MOYグラフの行列式因子とソルゲル代数のコhen-Macaulay近似との間の明確な対応関係を確立すること。
• 非巡回的MOYグラフにおいて、安定化関手がテンソル積と可換であることを証明し、ホモロジー計算をヘッケ代数の組合せ論に還元可能にする。
• ブレード閉包を、行列式因子の文脈における安定化ホッシャー・コホモロジーの一種として解釈すること。
• n行を超えるヤング盤で添え字づけられたソルゲル代数のコhen-Macaulay近似が自明であることを示し、部分カテゴリにおける射影的関手の消滅と類似すること。

提案手法

• Gorenstein超曲面における最大コhen-Macaulay加群の理論を用いて、次数付き加群への安定化関手を定義する。
• Gorenstein環の安定圏の半直交分解の理論を応用し、次数付き加群の安定化を計算する。
• 基本的MOYグラフに関連する行列式因子が、対応するソルゲル代数のコhen-Macaulay近似と同型であることを確立する。
• MOYグラフが有向サイクルを含まない限り、安定化がテンソル積と可換であることを証明し、Koszul分解と導来圏の性質を用いる。
• 行列式因子の導来圏における双対性を構成し、安定化と整合的であり、ホモトピー圏HMF(S, w)に双対性を誘導することを示す。
• S/(w)のKoszul分解との導来テンソル積を通じて、ブレード閉包を安定化ホッシャー・コホモロジーの一種として解釈し、位相的不変量と代数的構造とを結びつける。

実験結果

リサーチクエスチョン

• RQ1 特異点を持つ超曲面の最大コhen-Macaulay加群を用いたKhoVanov-Rozanskyホモロジーの構成を、どのように簡略化できるか？
• RQ2 MOYグラフの行列式因子とソルゲル代数との間の明確な関係は何か？
• RQ3 有向サイクルを含まないMOYグラフの文脈において、安定化関手はテンソル積と可換か？
• RQ4 KhoVanov-Rozanskyホモロジーにおけるブレード閉包は、安定化圏におけるホッシャー・コホモロジーの一種として解釈可能か？
• RQ5 n行を超えるヤング盤で添え字づけられたコhen-Macaulay近似のソルゲル代数の挙動はいかなるものか？

主な発見

• 基本的MOYグラフに関連する行列式因子は、対応するソルゲル代数のコhen-Macaulay近似と同型である。
• 有向サイクルを含まないMOYグラフにおいて、安定化関手はテンソル積と可換であり、ホモロジー計算を組合せ論に還元可能である。
• MOYブレードのホモロジーは、MazorchukとStroppelが定義したBGGカテゴリOにおける自己関手に対応するソルゲル代数のコhen-Macaulay近似と同型である。
• ブレード閉包は、安定化ホッシャー・コホモロジーの一種として実現され、位相的不変量と導来圏内の代数的構造とを結びつける。
• n行を超えるヤング盤で添え字づけられたインデコンポジットなソルゲル代数は、自明なコhen-Macaulay近似を持つ。これは、n個以下の部分に分割可能なパラボリック部分カテゴリにおける射影的関手の消滅と類似している。
• 行列式因子の導来圏における双対性は安定化と整合的であり、導来ホモロジーと安定化との間に自然同型が誘導される。