[论文解读] Algebras with matchings and knot Floer homology

Zoltán Szabó, Peter Ozsváth|arXiv (Cornell University)|Dec 3, 2019

Geometric and Algebraic Topology参考文献 22被引用 7

一句话总结

本文建立了基于全纯曲线的纽结 Floer 同调与通过边界 Heegaard 图和弯曲代数代数构造的不变量之间的直接代数-几何对应关系。通过形式化部分 Heegaard 图并定义在弯曲代数上的类型 A 和类型 D 结构，作者证明了一个配对定理，将全息定义的纽结 Floer 同调与一个代数模型相联系，从而实现快速、组合化的计算算法。

ABSTRACT

Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an explicit algebraic and combinatorial construction. In the present paper, we extend the holomorphic theory to bordered Heegaard diagrams for partial knot projections, and establish a pairing result for gluing such diagrams, in the spirit of the pairing theorem of bordered Floer homology. After making some model calculations, we obtain an identification of a variant of knot Floer homology with its algebraically defined relative. These results give a fast algorithm for computing knot Floer homology.

研究动机与目标

• 建立一个与全纯曲线构造相匹配的纽结 Floer 同调的严格代数模型。
• 将边界 Floer 同调技术扩展至具有边界退化（β 侧）的 Heegaard 图，用于部分纽结投影。
• 定义与上部和下部部分图相关联的弯曲代数上的类型 A 和类型 D 结构。
• 证明这些结构的配对定理，从而恢复完整的纽结 Floer 同调不变量。
• 验证代数构造与标准全纯定义的一致性，包括 HFK⁻ 和 HFK̂ 等特化形式。

提出的方法

• 形式化从带标记纽结投影导出的部分 Heegaard 图（上部和下部），在 β 侧控制边界退化。
• 定义弯曲代数 B(n) 及其上的模，使用匹配 M 编码拓扑数据。
• 通过伪全纯曲线计数，从上部图构造类型 D 结构，从下部图构造类型 A 结构。
• 建立类似于边界 Floer 同调的配对定理，其中类型 A 和类型 D 结构的张量积计算纽结 Floer 同调。
• 使用弯曲 DA 双模和弯曲 DD 双模对局部移动（桥移动、Reidemeister 移动）进行建模，确保不变性。
• 通过证明双模复合的代数同构性，结合 Koszul 对偶性和归纳论证，验证同伦与 Reidemeister 移动下的不变性。

实验结果

研究问题

• RQ1 能否通过使用边界 Heegaard 图的代数组合构造，完全恢复纽结 Floer 同调的全纯曲线定义？
• RQ2 如何利用具有受控边界退化的部分 Heegaard 图，来定义弯曲代数上的类型 A 和类型 D 结构？
• RQ3 在这些代数上配对类型 A 和类型 D 结构，是否能重现完整的纽结 Floer 同调不变量？
• RQ4 代数定义的不变量是否同构于标准的全纯不变量 H̃FK(K)、HFK⁻(K) 和 H̃FK̂(K)？
• RQ5 能否通过双模的代数同构性，建立代数构造在同伦与 Reidemeister 移动下的不变性？

主要发现

• 双分次纽结 Floer 同调 H̃FK̂(K) 同构于文献 [22] 中代数不变量 J(→K) 在 U=V=0 时的特化形式。
• 不变量 HFK⁻(K) 被识别为文献 [21] 中代数不变量 H⁻(→K) 在 V=0 时的特化形式。
• 完整的 H̃FK̂(K) 作为通过弯曲代数上类型 A 和类型 D 结构张量积定义的链复形的同调被恢复。
• 边界 Heegaard 图的配对定理在此背景下成立，将 [10] 中的结果推广至具有 β 侧退化的部分图。
• 代数构造在同伦与 Reidemeister 移动下保持不变性，通过 DD 和 DA 双模的同构性得到验证。
• 该方法提供了一种快速、组合化的纽结 Floer 同调计算算法，显著优于直接的伪全纯曲线计数。