[论文解读] 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 $ 的宽边）的势函数，系统地构造链同调理论。
• 通过定义在链 cobordism 下是函子性的矩阵分解复，建立对 Reidemeister 移动的不变性。
• 将构造推广至带框架的链和空间三价图，使其在 $ \mathbb{R}^3 \times [0,1] $ 中的 cobordism 下保持函子性。
• 猜想：平面图 $ \Gamma $ 的同调 $ H(\Gamma) $ 仅在其两个度数中的一个具有上同调，且其分次维数与 MOY 不变量 $ \langle \Gamma \rangle $ 一致（至多相差一个 $ q $ 的幂次归一化）。

提出的方法

• 在每个三价顶点 $ v $ 处定义一个势函数 $ w_v \in R_v $，其中 $ R_v $ 是边变量 $ x_j $ 上对称多项式环的张量积，且 $ w_v $ 为依赖于边方向的变量的 $ (n+1) $ 次幂之和。
• 在每个顶点 $ v $ 处构造一个矩阵分解 $ C_v $，表示为 $ R_v \xrightarrow{g_k} R_v \xrightarrow{\sigma_k} R_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 $ 导出，并猜想其仅支持在一个度数上。
• 通过为每个标记为 $ i $ 的环分配格拉斯曼流形 $ \mathrm{Gr}(i,n) $ 的上同调，处理 $ \Gamma $ 中的环，其贡献方式与 MOY 计算一致。
• 对奇数 $ n $，通过在所有边进入或所有边离开的顶点处引入辅助变量 $ x_v $，将 $ x_v^2 $ 加入势函数，并相应扩展环和分解结构。

实验结果

研究问题

• RQ1 如何为所有 $ n > 0 $ 构建一个二重分次同调理论，使其欧拉示性数恢复 HOMFLY 多项式的第 $ n $ 个特殊化？
• RQ2 由平面三价图关联的势函数的矩阵分解能否统一范畴化 MOY 不变量 $ \langle \Gamma \rangle $，包括 $ n=2 $（琼斯多项式）和 $ n=3 $ 的情形？
• RQ3 所得到的同调理论是否对 Reidemeister 移动不变？是否可函子性地扩展至 $ \mathbb{R}^3 \times [0,1] $ 中的链 cobordism？
• RQ4 平面图 $ \Gamma $ 的同调 $ H(\Gamma) $ 是否仅在一个上同调度数上支持？其分次维数是否与 MOY 评价 $ \langle \Gamma \rangle $ 一致（至多相差一个 $ q $ 的幂次归一化）？
• RQ5 该构造能否扩展至空间三价图和带装饰的图 cobordism，同时保持函子性和不变性？

主要发现

• 本文为定向链 $ L $ 构建了二重分次同调理论 $ H_n(L) $，其欧拉示性数等于 $ P_n(L) $，即 HOMFLY 多项式的第 $ n $ 个特殊化。
• 当 $ n=2 $ 时，该理论恢复了柯万诺夫对琼斯多项式的范畴化；当 $ n=0 $ 时，其与奥兹瓦斯-萨博和拉姆西塞同调理论一致，后者对亚历山大多项式进行范畴化。
• 平面图 $ \Gamma $ 的同调 $ H(\Gamma) $ 定义为矩阵分解的 2-周期复形的上同调，其分次由 $ \deg(x_j) = 2 $ 导出。
• 猜想表明，$ H(\Gamma) $ 仅在一个上同调度数上支持，且其分次维数与 MOY 不变量 $ \langle \Gamma \rangle $ 一致（至多相差一个 $ q $ 的幂次归一化）。
• 该构造在定向、带框架的链 cobordism 下是函子性的，并可扩展至空间三价图，其在 $ \mathbb{R}^3 \times [0,1] $ 中的图 cobordism 上有明确定义的作用。
• 对奇数 $ n $，通过在所有边进入或所有边离开的顶点处引入变量 $ x_v $，并将 $ x_v^2 $ 加入势函数，扩展了理论，以保持矩阵分解结构的一致性。