[论文解读] Holomorphic disks and three-manifold invariants: properties and applications

Peter Ozsváth, Zoltán Szabó|ArXiv.org|May 24, 2001

Geometric and Algebraic Topology参考文献 34被引用 118

一句话总结

本文建立了闭合、定向的三维流形在Spin^c结构下的Heegaard Floer上同调不变量的基础性质及其应用。通过在Heegaard曲面的对称积中使用全纯盘，作者计算了有理同调球面的不变量，证明了HF^+的欧拉特征与Turaev扭函数之间的关系，并建立了手术正合序列。一个关键贡献是将HF^+识别为等变Seiberg-Witten-Floer上同调，支持了Heegaard Floer理论与Seiberg-Witten理论之间深层的猜想性联系。

ABSTRACT

In an earlier paper (math.SG/0101206), we introduced Floer homology theories associated to closed, oriented three-manifolds Y and SpinC structures. In the present paper, we give calculations and study the properties of these invariants. The calculations suggest a conjectured relationship with Seiberg-Witten theory. The properties include a relationship between the Euler characteristics of these theories and Turaev's torsion, a relationship with the minimal genus problem (Thurston norm), and surgery exact sequences. We also include some applications of these techniques to three-manifold topology.

研究动机与目标

• 计算并研究闭合、定向的三维流形在Spin^c结构下的Heegaard Floer上同调群HF^-, HF^∞, HF^+, HF̂, 以及HF_red的性质。
• 建立HF^+的欧拉特征与Turaev的扭函数之间的关系，特别是在b₁(Y) > 0时的情形。
• 证明不变量满足手术正合序列，并在连通和运算下表现出可预测的行为。
• 为Heegaard Floer上同调与Seiberg-Witten-Floer上同调之间的猜想性等价性提供证据。
• 将不变量应用于三维流形拓扑中的问题，包括最小亏格问题和梯度轨迹数的界。

提出的方法

• 作者通过Heegaard曲面的对称积中的全纯盘来定义并计算Floer上同调群，尤其针对有理同调球面。
• 通过在特定例子（如扭结的零手术）中显式识别流线模空间来计算不变量。
• 通过代数拓扑方法，特别是当b₁(Y) = 1和b₁(Y) > 1时，建立HF^+的欧拉特征与Turaev扭函数之间的关系。
• 通过HF^+和HF^∞上的U作用的代数结构，结合过滤链复形，推导出手术正合序列。
• 通过与等变Seiberg-Witten-Floer上同调的比较，探索与Seiberg-Witten理论的联系，支持一个猜想性的同构。
• 利用上同调群的Künneth型公式，分析不变量在连通和下的行为。

实验结果

研究问题

• RQ1 对于满足b₁(Y) > 0的三维流形，HF^+的欧拉特征如何与Turaev的扭函数相关？
• RQ2 Heegaard Floer不变量HF^+和HF^-能否与Seiberg-Witten-Floer上同调相关联？
• RQ3 在第一贝蒂数为正的三维流形连通和下，不变量的行为如何？
• RQ4 不变量如何检测三维流形中曲面的最小亏格？
• RQ5 在整同调球面上的自指标Morse函数中，梯度轨迹数的上界是什么？

主要发现

• 对于满足b₁(Y) > 0且Spin^c结构s非挠的三维流形Y，HF^+(Y,s)的欧拉特征等于±τ(Y,s)，其中τ为Turaev的扭函数。
• 对于扭结K的零手术Y₀，HF^+(Y₀, s₀ + iH)的欧拉特征为±∑ⱼ₌₁ᵈ j a_{|i|+j}，其中a_i为K的对称化亚历山大多项式的系数。
• 不变量HF^+满足Künneth原理：当且仅当HF^+(Y₁,s₁)和HF^+(Y₂,s₂)均非平凡时，HF^+(Y₁#Y₂, s₁#s₂)非平凡。
• 当Y₀为具有k个非零系数的扭结的零手术时，HF̂(Y₀, ℤ/nℤ)的秩至少为4k + 2。
• 从HF^∞(Y)到HF^+(Y)的映射在U^d-挠化商上诱导出满射，该性质被用于推导HF_red的秩的界。
• 对于扭结的零手术，HF̂(Y₀, ℤ/nℤ)在至少2k + 1个不同的Spin^c结构中非零，包括扭结结构。