[論文レビュー] Soergel bimodules and matrix factorizations

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|Oct 27, 2020

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

ひとこと要約

本論文は、代数的に定義されたカホフン＝ロザンスキー三重に重み付けられたリンクホモロジー（HHH_alg）と、ソルゲル双模倉および行列因子化を用いた幾何学的に構成されたホモロジー（HHH_geo）の間の標準的同型を確立し、HHH をヒルベルト多様体上の T_{qt}-可換層の導来切断としての幾何的実現を証明する。主な結果はゴルツキー＝ネグット＝ラスマッセンの予想を裏付け、リンクホモロジーにおける q→t/q 対称性を示し、穴あきヒルベルト多様体のコホモロジーを用いたトーラスリンクの明示的計算を含む。

ABSTRACT

We establish an isomorphism between the Khovanov-Rozansky triply graded link homology and the geometric triply graded homology due to the authors. Hence we provide an interpretation of the Khovanov-Rozansky homology of the closure of a braid $β$ as the space of derived sections of a $\mathbb{C}^* imes \mathbb{C}^*$- equivariant sheaf $Tr(β)$ on the Hilbert scheme $Hilb_n(\mathbb{C}^2)$, thus proving a version of Gorsky-Negut-Rasmussen conjecture \cite{GorskyNegutRasmussen16}. As a consequence we prove that Khovanov-Rozansky homology of knots satisfies the $q o t/q$ symmetry conjectured by Dunfield-Gukov-Rasmussen \cite{DunfieldGukovRasmussen06}. We also apply our main result to compute the Khovanov-Rozansky homology of torus links.

研究の動機と目的

• ブレイドの閉包に対して、代数的に定義されたカホフン＝ロザンスキーホモロジー（HHH_alg）と幾何学的に構成されたホモロジー（HHH_geo）の間の標準的同型を確立する。
• HHH をヒルベルト多様体 Hilb_n(C^2) 上の T_{qt}-可換層 Tr(β) の導来切断としての幾何的解釈を提供し、ゴルツキー＝ネグット＝ラスマッセンの予想のバージョンを証明する。
• リンクホモロジーにおける q→t/q 対称性を証明し、ダンフィールド＝ギュコフ＝ラスマッセンによる長年の予想を裏付ける。
• 穴あきヒルベルト多様体のコホモロジーおよびデターミナントバンドルを用いて、トーラスリンクのカホフン＝ロザンスキーホモロジーを計算する。
• 安定行列因子化からソルゲル双模倉への完全 faithful なモノイダル関手の構成により、カテゴリカル同値性への道筋を示す。

提案手法

• 各ブレイド β に対して、T_{qt}-可換な連接層の2周期的複体を割り当てるトレース関手 Tr: Br_n → D^per_{T_{qt}}(Hilb_n(C^2)) を定義する。
• 安定行列因子化の部分カテゴリからソルゲル双模倉のカテゴリへのモノイダル的かつ完全 faithful な関手 B: MF_n^flat → SBim_n を構成する。
• 導来 RHom の構成 RHom(O⊗Λ^•B, Tr(β)) を用いて、幾何的リンクホモロジー HHH_geo(β) を定義する。
• HHH_geo(β) がブレイド閉包 L(β) の同相不変量として不変であることを証明し、リンク不変量としての成立を確立する。
• 全回転ブレイド FT に対して関係式 Tr(β·FT) = Tr(β)⊗det(B) を適用し、トーラスリンクの HHH を計算する。
• ハイマンのコホモロジーの消失および局在化に関する結果を用いて、トーラス結び目 T_{n,nk+1} に対して H^0(Hilb_n(C^2,0), det(B)^k ⊗ Λ(B)) を計算する。

実験結果

リサーチクエスチョン

• RQ1 代数的カホフン＝ロザンスキーホモロジー HHH_alg(β) は、ソルゲル双模倉および行列因子化を用いて構成された幾何的 HHH_geo(β) と、任意のブレイド β ∈ Br_n に対して標準的同型であるか？
• RQ2 ブレイド閉包の HHH ホモロジーは、ヒルベルト多様体 Hilb_n(C^2) 上の T_{qt}-可換層の導来切断として実現可能か？
• RQ3 結び目の HHH ホモロジーは、ダンフィールド＝ギュコフ＝ラスマッセンによって予想された q→t/q 対称性を満たすか？
• RQ4 トーラスリンク T_{n,nk+1} の HHH ホモロジーの幾何的公式は何か？
• RQ5 関手 B: MF_n^flat → SBim_n は同値か、それとも MF_n^st と Ho(SBim_n) 間の同値性に拡張可能か？

主な発見

• 代数的および幾何的三重に重み付けられたリンクホモロジーは、任意のブレイド β ∈ Br_n に対して標準的同型である： HHH_alg(β) ≅ HHH_geo(β)。
• 結び目の HHH ホモロジーは、変換 q → t/q に関して不変であり、ダンフィールド＝ギュコフ＝ラスマッセンの予想を裏付ける。
• トーラスリンク T_{n,nk+1} の HHH ホモロジーは、(1−q^2)·HHH_alg(T_{n,nk+1}) = H^0(Hilb_n(C^2,0), det(B)^k ⊗ Λ(B)) で与えられる。
• 穴あきヒルベルト多様体上の層 det(B)^k ⊗ Λ(B) の高次コホモロジー群は、ハイマンによって示されたように消失する。
• 幾何的トレース関手は、Tr(β·FT) = Tr(β)⊗det(B) を満たし、全回転を用いたトーラスリンクの HHH の計算を可能にする。
• 関手 B: MF_n^flat → SBim_n はモノイダル的かつ完全 faithful であり、行列因子化とソルゲル双模倉の間の深いカテゴリカル同値性を示唆する。