[论文解读] Combinatorial Floer Homology

Vin de Silva, Joel W. Robbin+1 more|arXiv (Cornell University)|May 2, 2012

Geometric and Algebraic Topology参考文献 36被引用 12

一句话总结

本文为闭合、定向曲面上横截、非同伦、非同胚的圆周的拉格朗日弗洛尔同调建立了纯粹组合的公式，用光滑浸入半圆盘的组合双月形（combinatorial lunes）取代了分析性的全纯带。关键贡献在于证明：组合边界算子（模2计数此类双月形）计算出的同调与分析理论一致，且满足 ∂² = 0，具有同伦不变性，并给出公式 dim HF(α,β) = geo(α,β)。

ABSTRACT

We define combinatorial Floer homology of a transverse pair of noncontractibe nonisotopic embedded loops in an oriented 2-manifold without boundary, prove that it is invariant under isotopy, and prove that it is isomorphic to the original Lagrangian Floer homology.

研究动机与目标

• 为曲面上拉格朗日交点的分析弗洛尔同调发展一种纯粹组合的替代方法。
• 证明组合弗洛尔同调在同伦下不变，而不仅限于弗洛尔原始工作中所考虑的哈密顿同伦。
• 建立弗洛尔同调维数与曲线几何交点数之间关系的公式。
• 通过度函数与迹公式，组合地刻画光滑双月形，解决了皮卡德–洛温纳问题的一个特例。
• 仅使用拓扑与组合数据，证明组合理论中边界算子满足 ∂² = 0。

提出的方法

• 通过边界映射到 α 和 β 上的光滑浸入 u: 𝔻 → Σ（称为双月形）来定义组合弗洛尔同调，其中 -1 和 1 分别映射到交点 x 和 y。
• 引入一个度函数 w: Σ ∖ (α ∪ β) → ℤ，定义为 u 下预像的代数计数，该函数在同伦下保持不变。
• 证明双月形的同伦类由其端点 x, y 和其度函数 w 唯一确定，如定理 2.4 所示。
• 建立维特博–马斯洛夫指标的迹公式：μ(u) = (mₓ(Λᵤ) + mᵧ(Λᵤ))/2，其中 mₓ 和 mᵧ 分别为 x 和 y 附近 w 值的和。
• 利用迹公式组合地定义马斯洛夫指标，并证明指标为一的双月形对应于边界算子的贡献。
• 证明具有相同 w 和端点的两个双月形是同伦的（定理 6.8），从而确保模2计数的良定义性。

实验结果

研究问题

• RQ1 能否仅用组合数据完全描述曲面上横截、非同伦、非同胚的圆周的拉格朗日弗洛尔同调？
• RQ2 组合边界算子（计数指标为一的双月形）是否在无分析工具的情况下良定义且满足 ∂² = 0？
• RQ3 组合理论是否在同伦下保持不变，而不仅限于哈密顿同伦，如同分析理论中一样？
• RQ4 几何交点数 geo(α,β) 是否能通过组合公式恢复为弗洛尔同调的维数？
• RQ5 哪些组合不变量（如度函数 w）能完全刻画光滑双月形的同伦类？

主要发现

• 组合弗洛尔同调与分析弗洛尔同调在 ℤ/2ℤ 上同构，如定理 9.3 所示。
• 边界算子 ∂ 满足 ∂² = 0，该结论通过迹公式与双月形分类以组合方式证明。
• 该理论在 α 和 β 的同伦下保持不变，而不仅限于哈密顿同伦，这是对弗洛尔原始结果的重要改进。
• 弗洛尔同调的维数由 dim HF(α,β) = geo(α,β) 给出，如推论 9.5 所述。
• 光滑双月形的像内部不能包含其端点，这是组合刻画的一个非平凡推论。
• 双月形的同伦类由其端点和其度函数 w 唯一确定，如定理 2.4 所确立。