[论文解读] Heegaard Floer Homology and Triple Cup Products

Tye Lidman|arXiv (Cornell University)|Nov 18, 2010

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

一句话总结

本文证明了对于所有闭三流形 Y 和扭 Spinc 结构 s，具 F2 系数的 Heegaard Floer 同调 HF∞(Y, s) 同构于 Mark 的杯同调 HC∞(Y)。通过链复形超立方体上的谱序列过滤及链络手术公式，作者表明 E3 页同构于 H1(Y; Z) 上的外代数与 F[[U, U−1]] 的张量积，且 d3 由整系数三重杯积形式的收缩给出。更高阶微分消失，从而证实了 Ozsváth 与 Szabó 的一个猜想。

ABSTRACT

We give a complete calculation of the infinity flavor of Heegaard Floer homology with mod 2 coefficients for all three-manifolds and torsion Spin^c structures. The computation agrees with the conjectured calculation of Ozsvath and Szabo. This therefore establishes an isomorphism with Mark's cup homology mod 2.

研究动机与目标

• 为所有闭三流形 Y 与扭 Spinc 结构 s，完整计算 HF∞(Y, s) 的 F2 系数同调。
• 验证 Ozsváth 与 Szabó 的猜想，即通用系数谱序列的 E3 页由三重杯积形式的收缩给出。
• 证明谱序列中更高阶微分消失，从而将 HF∞(Y, s) 与 Mark 的杯同调 HC∞(Y) 在 F 上识别。
• 证明即使在整系数下会因 2-挠性而无法区分某些三流形，该同构关系在 F2 系数下依然成立，凸显使用 F2 系数的必要性。
• 通过分裂链的手术归纳法，将此前对 b1(Y) ≤ 3 的计算推广至任意 b1(Y)。

提出的方法

• 利用 Manolescu 与 Ozsváth 的链络手术公式，将 HF∞(Y, s) 表示为在 F[[U, U−1]] 上的超立方体链复形的同调，对应于同调分裂链的 0-手术。
• 基于超立方体顶点位置构造一个过滤，诱导出一个谱序列，其结构类似于 Khovanov 同调中的量子分次。
• 识别出 E3 页同构于 Λ∗(H1(Y; Z)) ⊗ F[[U, U−1]]，且 d3 通过整系数三重杯积形式 µY 的收缩作用。
• 通过将链的一条链分量 K 拆分为 K1#K2，采用归纳法降低杯积结构的复杂性，并分析其在同调上的诱导映射。
• 利用 HF∞ 与 Γ+K + Γ−K 的映射锥之间的拟同构关系分析谱序列，通过核包含性论证表明更高阶微分消失。
• 运用链映射与谱序列过滤的代数操作，特别分析映射 ΨK1,K2 = Γ+K1 + Γ−K1 ∘ (Γ−K2)−1 ∘ Γ+K2，证明 d3 的核在全微分下保持不变。

实验结果

研究问题

• RQ1 HF∞(Y, s) 的通用系数谱序列的 E3 页是否同构于 H1(Y; Z) 上的外代数与 F[[U, U−1]] 的张量积，且 d3 是否由三重杯积形式的收缩给出？
• RQ2 谱序列中所有更高阶微分是否消失，从而将 HF∞(Y, s) 与 F 上的 Mark 杯同调 HC∞(Y) 识别？
• RQ3 当整系数无法区分某些三流形时，HF∞(Y, s) 与 HC∞(Y) 在 F2 系数下的同构关系是否仍可建立？
• RQ4 将链分量拆分为连通和是否保持谱序列结构，并允许对更高阶微分的消失性进行统一证明？
• RQ5 F2 系数在检测 HF∞(Y, Z) 中的 2-挠性方面起什么作用？这如何影响具有同构有理系数不变量的三流形之间的区分？

主要发现

• 由超立方体过滤诱导的谱序列的一阶与二阶微分消失，E3 页作为相对分次的 F[[U, U−1]]-模，同构于 Λ∗(H1(Y; Z)) ⊗ F[[U, U−1]]。
• 微分 d3: Λi(H1(Y; Z) ⊗ F) ⊗ Uj → Λi−3(H1(Y; Z) ⊗ F) ⊗ Uj−1 明确定义为通过整系数三重杯积形式 µY 的收缩。
• 所有更高阶微分（d4 及以上）消失，这意味着谱序列在 E3 页坍缩，且 HF∞(Y, s) 同构于 (E3, d3) 的同调。
• 这证实了 Ozsváth 与 Szabó [10] 的猜想 4.10 在 F2 系数下的成立，即 HF∞(Y, s) ≅ HC∞(Y) 在 F 上。
• 该同构意味着 HF∞(Y, s) 能检测整同调中的 2-挠性，如 M2n−1 与 M2n 具有同构的 HC∞(·, Q) 但非同构的 HC∞(·, F)，从而证明对 n ≥ 1，HF∞(M2n, Z) 中存在 2-挠性。
• 该结果通过基于分裂链手术及 Γ±Ki 在 E3 页上作用行为的归纳法，将此前对 b1(Y) ≤ 3 的计算推广至任意 b1(Y)。