[论文解读] Naturality and mapping class groups in Heegaard Floer homology

András Juhász, Dylan P. Thurston+1 more|arXiv (Cornell University)|Oct 18, 2012

Botulinum Toxin and Related Neurological Disorders被引用 4

一句话总结

本文通过证明Heegaard Floer同调、链同调以及缝合同调在基于3-流形（或链或缝合流形）的范畴到分次阿贝尔群范畴之间定义了函子，并在（基于的）微分同胚下赋予同构，且该赋予方式在同伦下不变，从而确立了Heegaard Floer同调及其相关理论的自然性。其关键贡献在于证明了Heegaard Floer同调在Heegaard图空间的基本群的一组生成元周围无单值性（monodromy），从而确保了该理论所有版本之间的函子性与自然性。

ABSTRACT

We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds.

研究动机与目标

• 解决Heegaard Floer同调长期存在的自然性问题，此前该不变量仅定义到同构意义下。
• 确立所有Heegaard Floer同调版本（包括帽子、加号、减号、无穷、链及缝合变体）在（基于的）微分同胚下的函子性。
• 为多点标记Heegaard图的不变量何时能下降为3-流形、链或缝合流形的自然不变量提供一个通用判据。
• 证明微分同胚诱导的同构映射在同伦下不变，从而支持cobordism映射的构造，并可研究特定元素（如接触不变量）的性质。

提出的方法

• 识别Heegaard图空间基本群的一组简单生成集，包括滑移、稳定化、不稳定化及微分同胚。
• 通过证明诱导的同构与图复形中路径选择无关，证明Heegaard Floer同调在这些生成元周围无单值性。
• 利用滑移2复形（Y₂(B)）的连通性与单连通性，确保沿路径定义的同构是良定义的，并在矩形路径上可交换。
• 通过扩展满足α/β等价、滑移环路及稳定化滑移公理的弱不变量，构造强Heegaard不变量。
• 应用传递系统与余极限理论，从分配给图的群系统中定义一个普遍群，以确保函子性。
• 将3-流形上梯度向量场的分岔转化为Heegaard图上的移动，利用梯度的通用1-参数和2-参数族来建模同伦与滑移。

实验结果

研究问题

• RQ1 能否将Heegaard Floer同调从仅定义到同构意义下的不变量，提升为真正函子性的不变量，即为基于3-流形赋予具体群，并为微分同胚赋予同构？
• RQ2 在什么条件下，基于图的不变量能下降为3-流形、链或缝合流形的自然不变量？
• RQ3 Heegaard Floer同调在Heegaard图空间基本群的生成元周围是否表现出单值性？若无，原因是什么？
• RQ4 在Heegaard Floer理论背景下，如何建立微分同胚诱导的同构映射的同伦不变性？
• RQ5 滑移环路与稳定化滑移在确保不变量在不同图代表之间的一致性中起什么作用？

主要发现

• 所有Heegaard Floer同调版本——帽子、加号、减号、无穷、链及缝合——均为自然不变量，为基于3-流形、链及平衡缝合流形赋予具体群。
• 为（基于的）微分同胚赋予同构的映射是函子性的且同伦不变，意味着其可下降为映射类群上的良定义作用。
• Heegaard Floer同调在Heegaard图空间基本群的一组生成集周围无单值性，这确保了不变量是良定义的，且与路径选择无关。
• 滑移2复形（Y₂(B)）是单连通的，这保证了通过滑移路径定义的同构与所选路径无关。
• 当且仅当不变量在所有滑移环路与稳定化滑移上可交换时，强Heegaard不变量存在，这提供了自然性的完整判据。
• 若弱Heegaard不变量满足α/β等价、滑移环路与稳定化滑移的公理，则其向强不变量的延拓是唯一的。