[论文解读] Soergel bimodules and matrix factorizations

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

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

一句话总结

本文建立了代数定义的柯 Vaughan-罗赞斯基三重分次链同调（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.

研究动机与目标

• 为辫子闭包建立代数定义的柯 Vaughan-罗赞斯基同调（HHH_alg）与通过索尔杰尔双模和矩阵因子化几何构造的同调（HHH_geo）之间的典范同构。
• 将 HHH 解释为希尔伯特概形 Hilb_n(C^2) 上 T_{qt}-等变层 Tr(β) 的导出截面，从而证明戈尔斯基-内古特-拉姆辛猜想的一个版本。
• 证明纽结同调的 q→t/q 对称性，证实邓菲尔德-古科夫-拉姆辛长期存在的猜想。
• 通过点状希尔伯特概形的上同调与行列式线丛计算环面纽结的柯 Vaughan-罗赞斯基同调。
• 构建从稳定矩阵因子化到索尔杰尔双模的全忠实单子范畴函子，为范畴等价铺平道路。

提出的方法

• 定义一个迹函子 Tr: Br_n → D^per_{T_{qt}}(Hilb_n(C^2))，将每个辫子 β 映射为 T_{qt}-等变凝聚层的二周期复。
• 从稳定矩阵因子化的一个子范畴到索尔杰尔双模范畴构造一个单子且全忠实的函子 B: MF_n^flat → SBim_n。
• 使用导出 RHom 构造 RHom(O⊗Λ^•B, Tr(β)) 定义几何纽结同调 HHH_geo(β)。
• 证明 HHH_geo(β) 在辫子闭包 L(β) 的同伦下不变，从而确立其为纽结不变量。
• 应用全旋绞线 FT 的关系 Tr(β·FT) = Tr(β)⊗det(B) 来计算环面纽结的 HHH。
• 利用赫伊曼关于上同调消去和局部化的结果，计算 torus knots T_{n,nk+1} 的 H^0(Hilb_n(C^2,0), det(B)^k ⊗ Λ(B))。

实验结果

研究问题

• RQ1 代数柯 Vaughan-罗赞斯基同调 HHH_alg(β) 是否与通过索尔杰尔双模和矩阵因子化几何构造的 HHH_geo(β) 存在典范同构？
• 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 是单子且全忠实的，暗示了矩阵因子化与索尔杰尔双模之间深层的范畴等价。