[论文解读] Torus link homology

Matthew Hogancamp, Anton Mellit|arXiv (Cornell University)|Sep 1, 2019

Geometric and Algebraic Topology参考文献 13被引用 9

一句话总结

本文提出了一种对所有正型torus链环 $T(m,n)$ 以及 $\text{Sym}^l$-着色的torus扭结的三重分次Khovanov-Rozansky同调的递归计算方法，利用通过二进制序列上的递归关系定义的新一族多项式 $\mathbf{p}(v,w)$。关键贡献在于给出了 $H_{\text{KR}}(T(m,n))$ 的分次秩的完整显式公式，该公式推广了先前的结果，并证实了同调是 $\mathbb{Z}$ 上的自由模，且在偶数同调度数上支撑。

ABSTRACT

We compute the triply graded Khovanov-Rozansky homology of a family of links, including positive torus links and $\operatorname{Sym}^l$-colored torus knots.

研究动机与目标

• 计算所有正型torus链环 $T(m,n)$ 的三重分次Khovanov-Rozansky同调，包括先前工作未覆盖的情形。
• 将计算扩展至 $\text{Sym}^l$-着色的torus扭结，提供此类着色同调的首个通用公式。
• 将 [Hog17] 和 [Mel16] 中先前的递归关系统一并推广为基于二进制序列与多项式递归的单一框架。
• 建立 $T(m,n)$ 的同调在 $\mathbb{Z}$ 上自由且在偶数同调度数上支撑的结论，其中 $m,n \geq 0$。

提出的方法

• 引入一族依赖于二进制序列对 $v \in \{0,1\}^{m+l}$, $w \in \{0,1\}^{n+l}$（满足 $|v| = |w| = l$）的多项式 $\mathbf{p}(v,w)$，其满足五个递归关系。
• 利用 $\mathbf{p}(v,w)$ 的递归结构，将 $H_{\text{KR}}(T(m,n))$ 的分次秩计算为 $\mathbf{p}(0^m, 0^n)$，初始条件为 $\mathbf{p}(\emptyset, 0^n) = \left(\frac{1+a}{1-q}\right)^n$。
• 应用Soergel双模与Hochschild上同调的框架，将 $\mathbf{p}(v,w)$ 解释为特定Soergel双模复形的分次维数。
• 依赖于序列的旋转与填充操作来关联递归的不同情形，给出二进制序列在旋转下变换的明确规则。
• 通过证明 $\mathbf{f}(\sigma) = t^{c(\sigma)} f_{\text{rev}(\sigma)}$ 与 $\mathbf{g}(\sigma) = t^{c(\sigma)} g_{\text{rev}(\sigma)}$，将递归与早期结果关联，恢复 [Hog17] 中已知的递归关系。
• 使用形式变量 $q = Q^2$，$a = AQ^{-2}$，$t = T^2 Q^{-2}$，将分次位移解释为Hochschild上同调三重分次的表达。

实验结果

研究问题

• RQ1 对于任意正整数 $m,n$，$T(m,n)$ 的三重分次Khovanov-Rozansky同调是什么？
• RQ2 如何在统一框架下计算 $\text{Sym}^l$-着色torus扭结的同调？
• RQ3 当 $m$ 与 $n$ 不互质时，torus链环的同调结构如何，超越此前研究的互质情形？
• RQ4 $\mathbf{p}(v,w)$ 的递归关系能否通过Soergel双模与Hochschild上同调实现范畴化解释？
• RQ5 为何 $T(m,n)$ 的同调在 $m,n \geq 0$ 时仅在偶数同调度数上支撑？分次变量在此中起何作用？

主要发现

• 三重分次Khovanov-Rozansky同调 $T(m,n)$ 在 $\mathbb{Z}$ 上是自由的，其分次秩等于 $\mathbf{p}(0^m, 0^n)$，该值通过递归多项式系统显式计算得出。
• 对于 $T(4,6)$，分次秩由一个关于 $q,t,a$ 的特定多项式给出，$t$ 的最高次数为 8，证实了公式的显式性质。
• $T(m,n)$ 的同调在偶数同调度数上支撑，这由 $t$ 仅包含 $T$ 的偶次幂（同调分次变量）所表明。
• $\mathbf{p}(v,w)$ 多项式一般并非链环同调的分次维数，而是由Rouquier复形导出的特定Soergel双模复形的分次维数。
• $\mathbf{p}(v,w)$ 的递归关系推广并统一了 [Hog17] 与 [Mel16] 中的早期递归关系，与 $f_\sigma$ 和 $g_\sigma$ 在分次位移下精确匹配。
• $\text{Sym}^l$-着色的torus扭结的三重分次同调作为通用框架的特例被计算，将先前结果扩展至非互质与着色情形。