[论文解读] Projective Naturality in Heegaard Floer Homology

Mike Gartner|arXiv (Cornell University)|Aug 17, 2019

Geometric and Algebraic Topology被引用 4

一句话总结

本文通过证明不变量在 $\mathbb{Z}[U]$-模的投影同伦范畴中的可传递系统范畴内构成函子，建立了整数系数的 Heegaard Floer 同调的投影自然性。该工作将此前在 $\mathbb{F}_2$ 系数下建立的自然性结果推广至整数系数，填补了文献中的一个空白，并为 cobordism 映射的自然性以及对合 Heegaard Floer 同调的自然性奠定了基础。

ABSTRACT

Let $ ext{Man}_{*}$ denote the category of closed, connected, oriented and based $3$-manifolds, with basepoint preserving diffeomorphisms between them. Juhász, Thurston and Zemke showed that the Heegaard Floer invariants are natural with respect to diffeomorphisms, in the sense that there are functors $HF^{\circ}: ext{Man}_{*} ightarrow \mathbb{F}_{2}[U] ext{-} ext{Mod}$ whose values agree with the invariants defined by Ozsváth and Szabó. The invariant associated to a based $3$-manifold comes from a transitive system in $\mathbb{F}_{2}[U] ext{-} ext{Mod}$ associated to a graph of embedded Heegaard diagrams representing the $3$-manifold. We show that the Heegaard Floer invariants yield functors $HF^{\circ}: ext{Man}_{*} ightarrow ext{Trans}(P(\mathbb{Z}[U] ext{-} ext{Mod}))$ to the category of transitive systems in a projectivized category of $\mathbb{Z}[U]$-modules. In doing so, we will see that the transitive system of modules associated to a $3$-manifold actually comes from an underlying transitive system in the projectivized homotopy category of chain complexes over $\mathbb{Z}[U] ext{-} ext{Mod}$. We discuss an application to involutive Heegaard Floer homology, and potential generalizations of our results.

研究动机与目标

• 填补关于整数系数 Heegaard Floer 同调自然性的文献空白，特别是针对微分同胚和 cobordism 的情形。
• 将 Juhász、Thurston 和 Zemke 之前在 $\mathbb{F}_2$ 上建立的自然性框架推广至整数系数设定，利用可传递系统实现。
• 为跨不同 Heegaard 图和基点比较 Heegaard Floer 不变量提供系统性方法，这对涉及接触不变量和纽结理论的应用至关重要。
• 为证明整数系数 cobordism 映射的自然性奠定基础，并将结果推广至对合 Heegaard Floer 同调。
• 将不变量形式化为映射到 $\mathbb{Z}[U]$-模的投影同伦范畴中可传递系统范畴的函子。

提出的方法

• 构建一个闭合、定向的三维流形的带基点 Heegaard 图的同伦类的图 $\mathcal{G}_{\text{man}}$，其中边对应 Heegaard 变换和微分同胚。
• 在该图上定义 Heegaard Floer 不变量为 $\mathbb{Z}[U]$-模的可传递系统，确保在 Heegaard 变换和微分同胚下的一致性。
• 对 $\mathbb{Z}[U]$-模上的链复形范畴进行投影化，并证明该模的可传递系统源自于投影同伦范畴中的可传递系统。
• 利用由伪全纯三角形诱导的延续映射和三角映射，定义 Heegaard Floer 模之间的态射，确保在 Heegaard 变换诱导的等价关系下保持相容性。
• 证明手术精确三角形可延拓为可传递系统的部分定义三角形，并通过与逆等价的复合，将其延拓为可传递系统之间的完全定义态射。
• 利用 [OS06] 中的定理 4.4 和函子性结果，确保构造的映射在符号意义下与等价映射交换，从而保持可传递系统的结构。

实验结果

研究问题

• RQ1 如何在 $\mathbb{Z}$-系数下建立 Heegaard Floer 同调的自然性，特别是针对微分同胚的情形？
• RQ2 在整数设定下，形式化不变量为函子的正确范畴框架是什么？
• RQ3 $\mathbb{Z}[U]$-模的可传递系统能否被提升至链复形的投影同伦范畴中的结构？
• RQ4 在投影自然性框架下，手术精确三角形和延续映射的行为如何？
• RQ5 该框架对对合 Heegaard Floer 同调和 cobordism 映射有何影响？

主要发现

• 整数系数的 Heegaard Floer 不变量给出函子 $HF^\circ: \text{Man}_* \to \text{Trans}(P(\mathbb{Z}[U]\text{-Mod}))$，其取值于 $\mathbb{Z}[U]$-模的投影范畴中的可传递系统。
• 可传递系统 $\mathbb{Z}[U]$-模源自于链复形的投影同伦范畴中可传递系统的底层结构。
• 手术精确三角形可延拓为可传递系统的部分定义三角形，且该延拓与 Heegaard 变换诱导的等价映射相容。
• 通过使用逆等价，可一致地将 Heegaard Floer 模之间的映射扩展至不同图之间，从而确保可传递系统之间态射的良定义性。
• 该构造确保图中所有面在符号意义下交换，保持精确性和函子性。
• 该框架为整数系数 Heegaard Floer 同调在微分同胚下的自然性提供了完整证明，填补了文献中的一个关键空白。