[论文解读] Winding homology of knotoids

Deniz Kutluay|arXiv (Cornell University)|Feb 18, 2020

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

一句话总结

本文引入了缠绕同调（winding homology），一种针对纽结箭头（knotoids）的三重分次同调不变量，其对塔拉夫多项式（Turaev polynomial）进行范畴化，并将柯沃诺夫同调（Khovanov homology）推广至纽结箭头。该理论通过状态相对于头（head）和脚（leg）的缠绕数定义分次，得到的不变量强于单独的塔拉夫多项式或柯沃诺夫同调，其在 ℝ² 中通过细化的多项式不变量实现对纽结箭头的区分。

ABSTRACT

Knotoids were introduced by V. Turaev as open-ended knot-type diagrams that generalize knots. Turaev defined a two-variable polynomial invariant of knotoids which encompasses a generalization of the Jones knot polynomial to knotoids. We define a triply-graded homological invariant of knotoids categorifying the Turaev polynomial, called winding homology. Forgetting one of the three gradings gives a generalization of the Khovanov knot homology to knotoids.

研究动机与目标

• 为 S² 中的纽结箭头发展塔拉夫多项式的同调范畴化。
• 通过引入基于缠绕数的三重分次不变量，将柯沃诺夫同调推广至纽结箭头。
• 通过分离头与脚周围缠绕贡献，构建 ℝ² 中纽结箭头的细化多项式不变量。
• 证明缠绕同调强于塔拉夫多项式与柯沃诺夫同调的组合，即能区分仅凭二者无法区分的纽结箭头对。
• 证明 ℝ² 中的细化不变量不等价于原始塔拉夫多项式，并通过显式例子展示其可区分非等价纽结箭头。

提出的方法

• 在 S² 中的纽结箭头图上，利用状态空间和状态相对于头（h）与脚（ℓ）的缠绕数，定义三重分次链复形。
• 基于每个状态相对于脚（ℓ）和头（h）的缠绕数，以及同调与量子分次，分配分次。
• 通过状态之间的cobordism 映射构造微分，并确保其在 Reidemeister 变换下不变。
• 使用缠绕势函数定义内在归一化缠绕数，使其独立于捷径或图投影的选择。
• 通过分离脚与头周围缠绕贡献，引入塔拉夫多项式的四变量细化版本。
• 通过 S² 中的转动数（turning numbers）进行归一化，证明细化多项式与缠绕同调在同伦与 Reidemeister 变换下的不变性。

实验结果

研究问题

• RQ1 纽结箭头的塔拉夫多项式能否被范畴化为三重分次同调不变量？
• RQ2 纽结箭头的缠绕同调与塔拉夫多项式及柯沃诺夫同调相比，其强度如何？
• RQ3 能否利用纽结箭头头与脚周围的缠绕数，在 ℝ² 中定义细化的多项式不变量？
• RQ4 ℝ² 中的细化不变量是否严格强于原始塔拉夫多项式？
• RQ5 缠绕同调不变量是否等价于纽结的常规柯沃诺夫同调？

主要发现

• 缠绕同调是纽结箭头的三重分次同调不变量，其对塔拉夫多项式进行了范畴化。
• 若忽略缠绕同调中的一个分次，则可恢复为柯沃诺夫同调在纽结箭头上的推广。
• 缠绕同调强于塔拉夫多项式与柯沃诺夫同调的组合，如通过实例区分了仅凭任一不变量无法区分的纽结箭头对。
• 在 ℝ² 中，细化多项式不变量（6.11）可区分纽结箭头 B₁ 与 B₂，其四变量多项式 T̂B₁ 与 T̂B₂ 尽管在代入后塔拉夫多项式相同，但彼此不同。
• ℝ² 中的细化不变量不等价于原始塔拉夫多项式，如通过 B₁ 与 B₂ 的非同构多项式（6.7）与（6.8）所示。
• 对于纽结，缠绕同调等价于标准柯沃诺夫同调，确认其与经典情形的一致性。