[论文解读] An involution acting nontrivially on Heegard-Floer homology

Selman Akbulut, Selahi Durusoy|ArXiv.org|Mar 5, 2004

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

一句话总结

本文证明了在同调球面 $\Sigma$ 上的一个特定对合 $f$，其作为 Mazur 流形边界的构造，其在 Heegaard-Floer 同调 $HF^{+}(\Sigma)$ 上的作用是非平凡的。利用手术正三角形和 Ozsváth-Szabó 理论中的 $4$-流形不变量，作者证明 $f^*$ 置换 $HF^{+}(\Sigma) \cong T_0^+ \oplus \mathbb{Z}_{(0)} \oplus \mathbb{Z}_{(0)}$ 的零度分量，从而表明其不与恒等映射同伦，因此为检测包含 Mazur 流形作为 cork 的 $4$-流形上的外微同构结构提供了工具。

ABSTRACT

We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible application of this to constructing exotic smooth structures on 4-manifolds.

研究动机与目标

• 确定特定对合 $f$ 在同调球面 $\Sigma$ 的 Heegaard-Floer 同调 $HF^{+}(\Sigma)$ 上的作用。
• 建立该对合在 $HF^{+}(\Sigma)$ 上诱导出非平凡自同态，从而与恒等映射区分开来。
• 将此结果应用于构造或检测包含 Mazur 流形作为 cork 的 $4$-流形上的外微同构结构。
• 将 $f^*$ 的非平凡作用与某些 $4$-流形不变量不消失的现象联系起来，从而检测非微分同胚的结构。

提出的方法

• 使用 Ozsváth 和 Szabó 提出的算法，计算负定结皮图（plumbing graph）中仅含一个坏顶点时的 $HF^{+}(\Sigma(2,5,7))$。
• 利用手术正三角形从 $HF^{+}(\Sigma(2,5,7))$ 推出 $HF^{+}(\Sigma)$，得到 $HF^{+}(\Sigma) \cong T_0^+ \oplus \mathbb{Z}_{(0)} \oplus \mathbb{Z}_{(0)}$。
• 通过该对合 $f$ 构造一个 cobordism $H = \Sigma \times [0,1/2] \cup_f \Sigma \times [1/2,1]$，其在 $HF^{+}(\Sigma)$ 上诱导出映射 $f^* = F^{+}_H$。
• 分析 $f^*$ 的 $U$-等变结构，表明其置换两个 $\mathbb{Z}_{(0)}$ 分量而固定 $T_0^+$，因此与恒等映射不同。
• 利用 Ozsváth-Szabó 不变量在 $K3 \# \overline{\mathbb{C}P^2}$ 上非零而在 $3\mathbb{C}P^2 \# 20\overline{\mathbb{C}P^2}$ 上消失的性质，对比 $f^*$ 与恒等映射的行为差异。
• 应用 cobordism 映射 $F^{\text{mix}}_{(X,s)}$ 来检测 $f^*$ 改变光滑结构的情形，特别是在 $b_2^+ > 1$ 的流形中。

实验结果

研究问题

• RQ1 在 Brieskorn 同调球面 $\Sigma(2,5,7)$ 上的对合 $f$ 是否在 $HF^{+}(\Sigma)$ 上诱导出非平凡作用？
• RQ2 $HF^{+}(\Sigma)$ 上 $f^*$ 的 $U$-等变结构与恒等映射有何不同？
• RQ3 是否可利用 $f^*$ 的非平凡性来检测包含 Mazur 流形作为 cork 的 $4$-流形上的外微同构结构？
• RQ4 Ozsváth-Szabó 不变量在区分 $f^*$ 与恒等映射在 $HF^{+}$-值 cobordism 映射上的影响中起什么作用？

主要发现

• 同调球面 $\Sigma$ 的 Heegaard-Floer 同调为 $HF^{+}(\Sigma) \cong T_0^+ \oplus \mathbb{Z}_{(0)} \oplus \mathbb{Z}_{(0)}$，通过手术正三角形及 Ozsváth 和 Szabó 的结皮图算法计算得出。
• 对合 $f$ 诱导出一个非平凡自同态 $f^*: HF^{+}(\Sigma) \to HF^{+}(\Sigma)$，其作为 $U$-等变同构，置换两个 $\mathbb{Z}_{(0)}$ 分量，同时固定 $T_0^+$。
• 映射 $f^*$ 不与恒等映射同伦，因其交换 $\mathbb{Z}_{(0)} \oplus \mathbb{Z}_{(0)}$ 中的两个零度生成元，破坏了恒等映射所预期的对称性。
• 该非平凡作用提供了一种检测外微同构结构的机制：若 $f^*$ 改变了 cobordism 映射 $F^{\text{mix}}_{(N_0,s)}$ 的像，则所得流形 $Q' = N \cup_f W$ 是 $Q = N \cup W$ 的一个假副本。
• 该结果意味着 Ozsváth-Szabó 不变量可检测 $f^*$ 的非平凡性，因其在 $3\mathbb{C}P^2 \# 20\overline{\mathbb{C}P^2}$ 上消失而在 $K3 \# \overline{\mathbb{C}P^2}$ 上不消失，而这种差异与 $f^*$ 的作用密切相关。