[论文解读] From symplectic deformation to isotopy

Dusa McDuff|ArXiv.org|Jun 17, 1996

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

一句话总结

该论文证明，在无简单型SW结构（如有理面或纤维丛表面的吹倍）的4-流形上，任意两个同调的、形变等价的辛形式实际上都是同痕的。通过基于非负自交数类的非零Gromov不变量的膨胀技巧，作者证明了在吹倍下辛结构的唯一性，以及辛球嵌入空间的道路连通性，从而将四维辛刚性结果推广至更广泛的4-流形类别。

ABSTRACT

Let $X$ be an oriented 4-manifold which does not have simple SW-type, for example a blow-up of a rational or ruled surface. We show that any two cohomologous and deformation equivalent symplectic forms on $X$ are isotopic. This implies that blow-ups of these manifolds are unique, thus extending work of Biran. We also establish uniqueness of structure for certain fibered 4-manifolds.

研究动机与目标

• 解决四维流形中，特别是非简单型4-流形中，形变等价是否蕴含同痕的问题。
• 将吹倍下辛结构唯一性的结果从已知情形（如CP²和纤维丛表面）推广至更广泛的4-流形类别。
• 建立非简单型4-流形中，将k个不相交的4-球辛嵌入空间的道路连通性。
• 提出一个通用框架，利用膨胀引理将形变转化为同痕，其基础是非负自交数类的非零Gromov不变量。
• 分析具有二维底空间和纤维的辛纤维丛，证明在某些形式限制条件下，形变等价与同痕成立。

提出的方法

• 应用膨胀引理：给定一个辛形式的1-参数族，以及一个自交数非负且Gromov不变量非零的类A，构造一个在PD(A)中的闭形式ρt，使得对所有非负κ(t)，形式ωt + κ(t)ρt仍为辛形式。
• 利用Gromov不变量Gr₀(A)检测代表类A的J-全纯曲线，确保存在嵌入球面或环面以支持膨胀过程。
• 使用墙穿插公式，并结合Li–Liu与Liu的结果，将非简单型4-流形分类为有理面或纤维丛表面的吹倍，或满足b₁=0或b₁=2且H¹乘积非零的流形。
• 将同痕问题约化为存在合适的类A，满足Gr₀(A) ≠ 0且A² ≥ 0，从而可应用膨胀引理处理形变。
• 分析辛纤维丛π:X→B，其中dim B=2，证明若ω₀与ω₁均为π-相容且在纤维上一致，或纤维维数为2，则线性路径ωt = (1−t)ω₀ + tω₁非退化，从而定义一个形变。
• 将膨胀过程应用于纤维化流形，特别是乘积纤维丛F×B，证明当典范类生成相关上同调时，任意π-相容形式同痕于一个可分解形式。

实验结果

研究问题

• RQ1 在无简单型SW结构的4-流形上，若两个同调的辛形式形变等价，是否必然同痕？
• RQ2 能否将吹倍下辛结构唯一性的结果从有理面和纤维丛表面推广至其吹倍？
• RQ3 在非简单型4-流形中，将k个不相交的4-球辛嵌入的空间是否道路连通？
• RQ4 在何种条件下，具有二维底空间和纤维的辛纤维丛可将形变等价升级为同痕？
• RQ5 非负自交数类的非零Gromov不变量在将形变转化为同痕的过程中起什么作用？

主要发现

• 通过在非负自交数且非零Gromov不变量类上应用膨胀引理，证明了在无简单型SW结构的4-流形上，任意两个同调且形变等价的辛形式均为同痕。
• 在无简单型的4-流形上吹倍k个点（k>0）时，其辛结构在同痕意义下唯一，意味着吹倍后的辛结构由同调类及各吹倍点的大小唯一确定。
• 在非简单型4-流形X中，将k个不相交的4-球B(λᵢ)辛嵌入的空间Emb(⊔B(λᵢ), X)在C¹拓扑下是道路连通的。
• 对于具有dim B=2的辛纤维丛π:X→B，若两个π-相容形式在纤维上一致或纤维维数为2，则它们通过线性路径形变等价；若进一步同调，则它们同痕。
• 在乘积纤维丛F×B中，若B不是球面或环面，或g_F>1且B为环面，则在给定同调类中，辛形式空间在同痕意义下连通，前提是典范类生成相关上同调。
• 通过利用非零Gromov不变量与非负自交数类中J-全纯曲线的存在性，膨胀过程成功地在非简单型4-流形中将形变转化为同痕。