[论文解读] An absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields

Vinicius G. B. Ramos, Yang Huang|arXiv (Cornell University)|Dec 1, 2011

Geometric and Algebraic Topology参考文献 13被引用 17

一句话总结

本文通过同伦类的定向2平面丛，引入了闭合定向3-流形上Heegaard Floer同调的绝对 grading。它在链复形上构造了一个规范的绝对 grading，该 grading 改进了相对 grading，关于 Heegaard 变换不变，并与cobordism 映射相容。关键结果是，接触不变量 $ c(\xi) \in \widehat{HF}(-Y) $ 的 grading 等于接触结构 $ \xi $ 的同伦类，从而解决了 Heegaard Floer 同调绝对 grading 结构中长期存在的空白。

ABSTRACT

For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is compatible with the maps induced by cobordisms. We also prove that if ξ is a contact structure on Y, then the grading of the contact invariant c(ξ) is the homotopy class of ξ.

研究动机与目标

• 定义一个与 Heegaard 图选择无关的 Heegaard Floer 同调的绝对 grading。
• 解决尽管在同构理论（如嵌入接触同调和 Seiberg-Witten Floer 同调）中存在 grading 的情况下，Heegaard Floer 同调中缺乏绝对 grading 的问题。
• 确保与 cobordism 映射及接触不变量构造的相容性。
• 确立接触不变量 $ c(\xi) $ 的 grading 等于接触结构 $ \xi $ 的同伦类。

提出的方法

• 构造一个规范函数 $ \widetilde{\text{gr}}: \mathbb{T}_\alpha \cap \mathbb{T}_\beta \to \mathcal{P}(Y) $，其中 $ \mathcal{P}(Y) $ 是 $ Y $ 上定向2平面丛的同伦类的集合。
• 通过在 Heegaard 图中流线和基点附近对梯度类向量场进行修改来定义 grading。
• 通过在对应 cobordism 上构造向量场的显式同伦，证明 grading 在 Heegaard 变换下不变。
• 通过在平凡 cobordism 上构造几乎复结构，证明 grading 在手指移动和手柄滑动下保持不变，这些结构诱导了所需的同伦。
• 通过 Heegaard 图的稳定化将 grading 扩展到整个链复形，通过在 $ S^3 $ 分量中进行向量场同伦证明不变性。
• 通过在 cobordism $ W $ 上使用几乎复结构，证明 grading 与 cobordism 映射相容，即诱导映射保持关系 $ \widetilde{\text{gr}}(\mathbf{x}) \sim_W \widetilde{\text{gr}}(\mathbf{y}) $。

实验结果

研究问题

• RQ1 能否通过定向2平面丛的同伦类，定义一个与相对 grading 一致的 Heegaard Floer 同调的绝对 grading？
• RQ2 该绝对 grading 是否在 Heegaard 变换下不变，从而保证其在 $ \widehat{HF}(Y) $ 上定义良好？
• RQ3 接触不变量 $ c(\xi) \in \widehat{HF}(-Y) $ 的 grading 是否与接触结构 $ \xi $ 的同伦类一致？
• RQ4 该绝对 grading 是否与由4维 cobordism 诱导的 cobordism 映射 $ F_{W,\mathfrak{t}} $ 相容？
• RQ5 该 grading 能否在所有 Heegaard 图中统一构造，并在标准变换（如稳定化、手指移动和手柄滑动）下保持不变？

主要发现

• 绝对 grading $ \widetilde{\text{gr}} $ 在 $ \widehat{CF}(Y, \mathfrak{s}) $ 上定义良好，取值于 $ \mathcal{P}(Y, \mathfrak{s}) $，即在 Spin^c 结构 $ \mathfrak{s} $ 中定向2平面丛的同伦类的集合。
• 该 grading 改进了相对 grading：对于同属一个 Spin^c 结构的 $ \mathbf{x}, \mathbf{y} $，有 $ \widetilde{\text{gr}}(\mathbf{x}) - \widetilde{\text{gr}}(\mathbf{y}) = \text{gr}(\mathbf{x}, \mathbf{y}) \in \mathbb{Z}/d(c_1(\mathfrak{s})) $。
• 接触不变量 $ c(\xi) \in \widehat{HF}(-Y) $ 的 grading 为 $ \widetilde{\text{gr}}(c(\xi)) = [\xi] $，即接触结构 $ \xi $ 的同伦类。
• 该 grading 在 Heegaard 变换下不变，因此可下降为 $ \widehat{HF}(Y) $ 上与 Heegaard 图选择无关的定义良好的绝对 grading。
• cobordism 映射 $ F_{W,\mathfrak{t}} $ 保持 grading，即对于 $ \mathbf{y} $ 属于 $ F_{W,\mathfrak{t}}(\mathbf{x}) $ 的像，有 $ \widetilde{\text{gr}}(\mathbf{x}) \sim_W \widetilde{\text{gr}}(\mathbf{y}) $，这通过 $ W $ 上的几乎复结构实现。
• 通过在对应 cobordism 上构造梯度类向量场的显式同伦，证明 grading 在稳定化、手指移动和手柄滑动下保持不变。