[论文解读] A Categorification of the HOMFLY-PT Polynomial with a Spectral Sequence to Knot Floer Homology

Nathan Dowlin|arXiv (Cornell University)|Mar 4, 2017

Geometric and Algebraic Topology参考文献 3被引用 3

一句话总结

本文从纽结弗洛尔同调构造了一个谱序列，该谱序列对HOMFLY-PT多项式进行范畴化，证明其E₂页是一个三重分次的链 invariant，其分次欧拉特征为HOMFLY-PT多项式。该谱序列收敛于纽结弗洛尔同调，且E₂页同构于HOMFLY-PT同调模去U-挠部分，为从HOMFLY-PT到纽结弗洛尔同调的猜想谱序列提供了强有力证据。

ABSTRACT

Let $E_{k}^{F}(D)$ be the spectral sequence induced by the oriented cube of resolutions on knot Floer homology. We prove that $E_{2}^{F}(D)$ is a triply graded link invariant whose graded Euler characteristic is the HOMFLY-PT polynomial and that the higher pages are link invariants. By construction, the spectral sequence converges to knot Floer homology. We show that the rank of the torsion-free part of $E_{2}^{F}(D)$ is the rank of HOMFLY-PT homology.

研究动机与目标

• 建立一个从纽结弗洛尔同调出发的谱序列，以对HOMFLY-PT多项式进行范畴化。
• 证明该谱序列的E₂页是一个三重分次的链 invariant，其分次欧拉特征为HOMFLY-PT多项式。
• 证明E₂页同构于HOMFLY-PT同调模去U-挠部分，支持从HOMFLY-PT到纽结弗洛尔同调的猜想谱序列。
• 证明该谱序列的更高页也是链 invariant，且根据构造，E∞页为纽结弗洛尔同调。

提出的方法

• 使用纽结弗洛尔同调上的定向立方体分辨率构造谱序列，并按交叉点进行过滤。
• 将E₁页定义为在0-微分下的复形同调，将E₂页定义为诱导边映射的同调。
• 通过赋予一个交叉点权重0，其余交叉点权重1的过滤方式，诱导出谱序列。
• 应用通用系数定理，并分析基点过滤同调，以分解空循环与非空循环的贡献。
• 利用已知的HOMFLY-PT同调的不变性性质，以及U-乘法在所有分辨率中的一致性，将其与HOMFLY-PT同调进行比较。
• 证明E₂页的无挠部分同构于HOMFLY-PT同调，且保持其中两个分次。

实验结果

研究问题

• RQ1 由纽结弗洛尔立方体分辨率诱导的谱序列的E₂页是否对HOMFLY-PT多项式进行范畴化？
• RQ2 E₂页是否为三重分次的链 invariant，且其分次欧拉特征是否为HOMFLY-PT多项式？
• RQ3 E₂页是否同构于HOMFLY-PT同调模去U-挠部分？
• RQ4 谱序列的更高页是否仍为链 invariant，且谱序列是否收敛于纽结弗洛尔同调？
• RQ5 E₂页的无挠部分能否被识别为HOMFLY-PT同调，且保持其中两个分次？

主要发现

• 该谱序列的E₂页是一个三重分次的链 invariant，其分次欧拉特征为HOMFLY-PT多项式。
• 谱序列的更高页均为链 invariant，且根据构造，E∞页为纽结弗洛尔同调。
• E₂页同构于HOMFLY-PT同调模去其U-挠部分，且保持水平与垂直分次。
• E₂页无挠部分的秩等于HOMFLY-PT同调的秩。
• 约化后的E₂页满足一个秩不等式：其维数至少等于约化HOMFLY-PT同调的维数。
• E₂页的挠部分对映射锥T → U·T的同调有贡献，这解释了约化理论中维数过大的原因。