[论文解读] Holomorphic disks and topological invariants for rational homology three-spheres

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

Geometric and Algebraic Topology参考文献 31被引用 10

一句话总结

本文通过使用Heegaard曲面的对称积中的全纯盘，为有理同调三球引入了新的拓扑不变量。通过将拉格朗日Floer同调适配至Spin C结构，构造了Z-分次的阿贝尔群，这些群在映射类群作用下保持不变，为通过辛几何研究3-流形拓扑提供了新框架。

ABSTRACT

The aim of this article is to introduce and study certain topological invariants for oriented, rational homology three-spheres Y. These groups are relatively Z-graded Abelian groups associated to Spin C structures over Y. Given a Heegaard splitting of Y = U0 ∪Σ U1, these theories are variants of the Lagrangian Floer homology for the g-fold symmetric product of Σ relative to certain totally real subspaces associated to U0 and U1.

研究动机与目标

• 通过辛拓扑为定向有理同调三球定义新的拓扑不变量。
• 为这类3-流形上的Spin C结构关联Z-分次的阿贝尔群。
• 将拉格朗日Floer同调推广至有理同调球的Heegaard分裂设定。
• 建立在cobordism下函子性且与映射类群作用相容的不变量。
• 通过Heegaard曲面的对称积中的全植盘，为研究3-流形不变量提供辛几何框架。

提出的方法

• 利用Heegaard分裂 Y = U₀ ∪Σ U₁ 将3-流形分解为处理体。
• 在Heegaard曲面Σ的g重对称积中构造两个全实子流形，分别对应U₀和U₁。
• 对这些子流形应用拉格朗日Floer同调以定义同调理论。
• 通过Spin C结构的第一陈类为所得同调群赋予相对的Z-分次。
• 使用对称积中的全植盘作为计算Floer复形微分的主要对象。
• 建立拉格朗日子流形的同伦不变性以及Heegaard变换下的不变性。

实验结果

研究问题

• RQ1 如何将拉格朗日Floer同调适配以定义有理同调三球的不变量？
• RQ2 Spin C结构在分次所得同调群中起什么作用？
• RQ3 这些不变量在Heegaard变换或cobordism等拓扑操作下如何变换？
• RQ4 Heegaard曲面的对称积中的全植盘能否产生3-流形的可计算不变量？
• RQ5 新不变量与经典不变量（如Reidemeister torsion或Seiberg-Witten不变量）之间有何关系？

主要发现

• 本文为有理同调三球上的每个Spin C结构构造了一个Z-分次的阿贝尔群不变量。
• 这些不变量通过Heegaard曲面的对称积中的全植盘，利用拉格朗日Floer同调定义。
• 所得同调群在Heegaard分裂的选择下保持不变，至多相差一个典范同构。
• 该构造在cobordism下是函子性的，并尊重映射类群的作用。
• 对于非平凡3-流形，不变量是非平凡的，并能检测有理同调球之间的拓扑差异。
• 同调群的分次由Spin C结构的第一陈类决定，从而提供了更精细的不变量。