[论文解读] The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions II

Vincent Colin, Paolo Ghiggini+1 more|arXiv (Cornell University)|Aug 6, 2012

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

一句话总结

本文通过开书分解，建立了闭合、定向的3-流形上Heegaard Floer同调与嵌入接触同调之间的等价性，证明了在单值表示满足特定技术条件时，链映射Φ和Ψ是拟同构。关键结果是稳定化定理，表明嵌入接触同调群的直接极限同构于该流形负号的Heegaard Floer同调。

ABSTRACT

This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.

研究动机与目标

• 在系列论文第一部分所建立的框架基础上，完成Heegaard Floer同调与嵌入接触同调之间同构性的证明。
• 解决链映射同伦构造中的技术难题，特别是涉及全纯曲线与cobordism退化的情形。
• 证明稳定化定理，表明嵌入接触同调群的直接极限稳定化为该流形负号的Heegaard Floer同调。
• 验证在曲面内部不存在周期≤2g的椭圆周期点的条件下，链映射Φ和Ψ为拟同构。
• 通过Gromov-Witten型不变量与Morse-Bott理论，建立退化殆复结构下全纯曲面族的收敛性与紧致性。

提出的方法

• 利用相对Gromov-Witten不变量计算交数，并控制辛cobordism中全纯曲线的行为。
• 应用Gromov紧致性与几乎复结构序列的收敛定理，分析cobordism在±∞处及中间区域的退化行为。
• 为复合映射Ψ∘Φ与Φ∘Ψ构造显式cobordism同伦，证明其链同伦于恒等映射。
• 运用Morse-Bott理论分析全纯曲线在退化几乎复结构附近的性质，并控制模空间。
• 利用Hutchings的全纯曲线性质，证明在极限情况下，ECH cobordism映射中仅有平凡柱面贡献。
• 通过稳定化映射f_j的直接极限构造，证明ECH群稳定化为Heegaard Floer同调。

实验结果

研究问题

• RQ1 在何种条件下，Heegaard Floer同调与嵌入接触同调之间的链映射Φ和Ψ为拟同构？
• RQ2 全纯曲线在辛cobordism中几乎复结构退化时的行为如何？
• RQ3 单值表示的椭圆周期点在链同伦构造中起什么作用？
• RQ4 稳定化过程如何影响ECH cobordism映射及其在同调上的诱导映射？
• RQ5 能否证明ECH群在不断增加的稳定化层级上的直接极限同构于该流形负号的Heegaard Floer同调？

主要发现

• 当单值表示在曲面内部无周期≤2g的椭圆周期点时，链映射Φ和Ψ为拟同构。
• 对于充分大的k，ECH cobordism映射𝔐″_j在生成元上为恒等映射，并在同调上诱导同构，这是由于平凡柱面的主导贡献。
• 在极限情况下，全纯曲面族收敛为J_j-全纯曲线，当k足够大时，所有非平凡分量均来自平凡柱面。
• 通过稳定化序列得到的ECH群的直接极限同构于该流形负号的Heegaard Floer同调，即 ECH(M) ≃ HF̂(−M)。
• 稳定化映射f_j: ECC_j(N, f_j α) → ECC_j(N, f_{j+2} α) 对于2j ≥ 2g为拟同构，从而推出稳定化定理。
• 在退化几乎复结构下，全纯曲线的收敛性由Gromov紧致性及截断区域上欧拉示性数的有界性保证。