[论文解读] Covering spaces and Q-gradings on Heegaard Floer homology

Dan A. Lee, Robert Lipshitz|ArXiv.org|Jul 31, 2006

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

一句话总结

本文提出了一种针对具有挠性 Spin^c 结构的有理同调球面的 Heegaard Floer 同调的绝对 ℚ-分次的替代构造，使用覆盖空间。通过分析有限覆盖空间的 Floer 同调的链级别分次，作者推导出一个可计算的、相对的 ℚ-分次，该分次与 Ozsváth 和 Szabó 的原始 bordism 基础定义一致，从而提供了新的几何视角和计算分次的算法方法。

ABSTRACT

Heegaard Floer homology, first introduced by P. Ozsvath and Z. Szabo, associates to a 3-manifold Y a family of relatively graded Abelian groups HF(Y,t), indexed by Spin^c structures t on Y. In the case that Y is a rational homology sphere, Ozsvath and Szabo lift the relative Z-grading to an absolute Q-grading. This induces a relative Q-grading on \bigoplus_{t\in Spin^c(Y)} HF(Y,t). In this paper we describe an alternate construction of this relative Q-grading by studying the Heegaard Floer homology of covering spaces.

研究动机与目标

• 为具有挠性 Spin^c 结构的有理同调球面的 Heegaard Floer 同调的绝对 ℚ-分次提供一种新的几何构造。
• 通过有限覆盖空间建立一个可计算的相对 ℚ-分次，避免使用 Ozsváth 和 Szabó 的 bordism 构造。
• 证明该基于覆盖空间的分次与原始的绝对 ℚ-分次一致，通过链级别公式实现。
• 提供一种直接从链复形计算相对 ℚ-分次的实用算法。
• 探讨该方法在非挠性 Spin^c 结构和无限覆盖空间中的推广，为 ℓ² Heegaard Floer 同调的未来方向提供启示。

提出的方法

• 使用 3-流形 Y 的有限覆盖空间，在 Heegaard Floer 链复形 ĈF(Y, torsion) 上构造一个相对的 ℚ-分次。
• 通过涉及 Whitney 圆盘的欧拉示性数和交数的公式来定义该分次。
• 利用 ĈF(Y, torsion) 的链级别结构，定义一个函数 Gr(ξ, η)，用于计算同调类中齐次元素 ξ 和 η 之间的绝对 ℚ-分次差。
• 利用 Heegaard Floer 链复形之间的短正合序列（例如 ĈF → CF⁺ → CF⁺）来保持映射之间的分次。
• 通过在 lens 空间上使用递归公式计算分次差，证明其与 Ozsváth 和 Szabó 的原始绝对 ℚ-分次一致。
• 推导出 lens 空间上分次差的非递归公式：Gr(x_{i+q mod p}, x_i) = 1/p (p - 1 - 2i)。

实验结果

研究问题

• RQ1 能否使用覆盖空间理论而非 bordism 来重构 Heegaard Floer 同调的绝对 ℚ-分次？
• RQ2 基于覆盖空间的构造是否能产生一个可计算的、链级别的算法，用于确定不同 Spin^c 结构中生成元之间的相对 ℚ-分次？
• RQ3 通过覆盖空间定义的分次与原始的基于 bordism 的绝对 ℚ-分次相比如何？
• RQ4 能否使用该方法显式计算 lens 空间的分次公式？
• RQ5 该框架在非挠性 Spin^c 结构或无限覆盖空间中可能有哪些推广？

主要发现

• 基于覆盖空间的构造在 ĤF(Y, torsion) 上给出了一个与 Ozsváth 和 Szabó 原始绝对 ℚ-分次一致的相对 ℚ-分次。
• 对于 lens 空间 -L(p,q)，生成元 x_i 与 x_{i+q mod p} 之间的相对 ℚ-分次为 1/p (p - 1 - 2i)，提供了完整且显式的公式。
• 该方法允许通过涉及欧拉示性数和 Whitney 圆盘交数的公式，在链级别直接计算分次差。
• 分次在 Heegaard Floer 链复形之间的标准短正合序列下保持不变，确保了理论内部的一致性。
• 该构造为基于 bordism 的方法提供了一种几何替代方案，具有推广至无限覆盖和非挠性结构的潜力。
• 作者猜想，这种覆盖空间方法可能导向 ℓ² Heegaard Floer 同调的定义，其中分次中的有理数被实数取代。