[论文解读] Holomorphic disks and topological invariants for closed three-manifolds

Peter Ozsváth, Zoltán Szabó|arXiv (Cornell University)|Jan 25, 2001

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

一句话总结

本文引入了一类新的拓扑不变量，用于配备 Spin^c 结构的闭合、定向三维流形，基于 Heegaard 曲面的对称积中的全纯圆盘。通过在 Sym^g(Σ) 中基于拉格朗日子流形交点同调构造 Floer 同调理论，作者定义了不变量 HF^-, HF^+, HF^∞, HF̂, 以及 HF_red，这些不变量是拓扑不变量，不依赖于 Heegaard 分解、基点和复结构，并在 Z[U] ⊗ Λ*(H₁(Y;Z)/Tors) 上具有模结构。其主要贡献在于这些不变量的构造及其在拓扑变换下的不变性，为三维流形拓扑学建立了一个强大的新工具。

ABSTRACT

The aim of this article is to introduce and study certain topological invariants for closed, oriented three-manifolds Y. These groups are relatively Z-graded Abelian groups associated to SpinC structures over Y. Given a genus g Heegaard splitting of Y, these theories are variants of the Lagrangian Floer homology for the g-fold symmetric product of the surface relative to certain totally real subspaces associated to the handlebodies.

研究动机与目标

• 为配备 Spin^c 结构的闭合、定向三维流形定义新的拓扑不变量。
• 使用 Heegaard 分解和 Heegaard 曲面的对称积中的全纯圆盘构造这些不变量。
• 证明所得同调群独立于辅助选择，如 Heegaard 分解、基点和复结构。
• 通过 U 和 H₁(Y;Z)/Tors 的作用建立不变量上的模结构。
• 将简化 Floer 同调 HF_red(Y,s) 定义为 HF^+(Y,s) 的稳定商。

提出的方法

• 使用 Heegaard 分解 Y = U₀ ∪_Σ U₁ 定义 genus g 黎曼曲面 Σ 的对称积 Sym^g(Σ)。
• 从 α 和 β 附着曲线在 Sym^g(Σ) 中定义两个全实环面 T_α 和 T_β。
• 构造一个链复形 CF^∞(Y,s)，其生成元为交点 T_α ∩ T_β 与跟踪与 {z} × Sym^{g-1}(Σ) 相交的整数，微分通过计数 Sym^g(Σ) 中的伪全纯圆盘定义。
• 在 CF^∞(Y,s) 上定义过滤结构，以提取子复形 CF^-(Y,s)、CF^+(Y,s) 和 ĤCF(Y,s)。
• 在 HF^∞(Y,s) 上引入 U 和 H₁(Y;Z)/Tors 的作用，诱导同调群上的模结构。
• 将 HF_red(Y,s) 定义为当 d 很大时 HF^+(Y,s)/U^d HF^+(Y,s) 的稳定化。

实验结果

研究问题

• RQ1 能否基于 Heegaard 曲面的对称积中的全纯圆盘，为闭合三维流形构造新的 Floer 同调理论？
• RQ2 所得同调群是否独立于 Heegaard 分解、附着曲线、基点和复结构的选择？
• RQ3 不变量 HF^-, HF^+, HF^∞, ĤHF, 和 HF_red 如何与三维流形及其 Spin^c 结构的拓扑相关？
• RQ4 这些不变量携带何种模结构，其结构如何反映三维流形的同调性质？
• RQ5 能否通过 Novikov 环构造在无需可 admits 性假设的情况下定义不变量？

主要发现

• 不变量 HF̂(Y,s)、HF^-(Y,s)、HF^∞(Y,s)、HF^+(Y,s) 和 HF_red(Y,s) 是三维流形 Y 及其 Spin^c 结构 s 的拓扑不变量，独立于 Heegaard 分解、基点和复结构。
• 同调群为相对 Z/d(Z)-分次，其中 d(s) = gcd{⟨c₁(s), ξ⟩ | ξ ∈ H₂(Y;Z)}，当 c₁(s) 为挠元时为相对 Z-分次。
• 不变量在 Z[U] ⊗ Λ*(H₁(Y;Z)/Tors) 上具有模结构，其中 U 作用为度数 -2，H₁(Y;Z)/Tors 作用为度数 -1。
• 简化不变量 HF_red(Y,s) 定义为当 d 很大时 HF^+(Y,s)/U^d HF^+(Y,s) 的稳定化，且为拓扑不变量。
• 通过 Novikov 环构造可定义 HF^+_Nov(Y,s,η)，无需可 admits 性假设，使用形式幂级数和面积泛函。
• 不变量在 Heegaard 图的同伦、滑移和稳定化下保持不变，其不变性通过一系列拓扑变换和全纯圆盘计数得以确立。