[论文解读] Knotted surfaces in 4-manifolds

Thomas E. Mark|ArXiv.org|Jan 28, 2008

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

一句话总结

本文通过使用Heegaard Floer同调与Ozsváth-Szabó不变量，将Fintushel与Stern在4-流形中提出的边缘手术构造进行推广，证明了自交数至少为$2-2g$的辛曲面存在无穷多组微分同胚但拓扑等价的嵌入。关键结果突破了以往对自交数非负的限制，利用Ozsváth-Szabó不变量的纽结手术公式与扭曲Floer同调计算，通过手术中使用的纽结的亚历山大多項式来区分微分类型。

ABSTRACT

Fintushel and Stern have proved that if S \subset X is a symplectic surface in a symplectic 4-manifold such that S has simply-connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent but smoothly distinct embedded surfaces homologous to S. Here we extend this result to include symplectic surfaces whose self-intersection is bounded below by 2-2g, where g is the genus of S. We make use of tools from Heegaard Floer theory, and include several results that may be of independent interest. Specifically we give an analogue for Ozsvath-Szabo invariants of the Fintushel-Stern knot surgery formula for Seiberg-Witten invariants, both for closed 4-manifolds and manifolds with boundary. This is based on a formula for the Ozsvath-Szabo invariants of the result of a logarithmic transformation, analogous to one obtained by Morgan-Mrowka-Szabó for Seiberg-Witten invariants, and the results on Ozsvath-Szabo invariants of fiber sums due to the author and Jabuka. In addition, we give a calculation of the twisted Heegaard Floer homology of circle bundles of "large" degree over Riemann surfaces.

研究动机与目标

• 将Fintushel与Stern关于对称4-流形中纽结曲面微分异性的结果推广至自交数非负约束之外的范围。
• 将Seiberg-Witten不变量的纽结手术公式推广至Ozsváth-Szabó 4-流形不变量，包括带边界的流形的相对不变量。
• 计算大度数的黎曼曲面上圆丛的扭曲Heegaard Floer同调，为主要定理提供基础工具。
• 建立通过亚历山大多項式作用于Ozsváth-Szabó不变量来区分纽结曲面微分类型的判别准则。

提出的方法

• 采用Fintushel与Stern的边缘手术构造，利用$S^3$中的纽结$K$来修改辛4-流形$X$中曲面$Σ_0$的结构。
• 利用Ozsváth-Szabó不变量的对数变换公式，分析纽结手术对4-流形余集的影响。
• 应用Ozsváth-Szabó不变量的纤维和公式，建立原4-流形与修改后4-流形不变量之间的关系。
• 针对$Σ_0$的余集，利用标准spin$^c$结构与次数分析，构造扭曲Heegaard Floer同调中的相对不变量。
• 证明在纽结手术下，曲面余集的Ozsváth-Szabó不变量通过乘以亚历山大多項式$\Delta_K(t)$而变换，从而提供一个可区分微分类型的不变量。
• 利用$HF^{-}(Y_{2g-1}, \mathfrak{s}_{\pm(g-1)})$的最高次数部分，其被证明是$R_{Y_{2g-1}}$上秩为1的自由模，以检测非平凡性并区分微分类型。

实验结果

研究问题

• RQ1 当原始曲面的自交数小于零但不低于$2-2g$时，边缘手术构造是否能在辛4-流形中产生无穷多组微分异性的曲面？
• RQ2 在带边界的4-流形背景下，是否存在Fintushel-Stern纽结手术公式在Ozsváth-Szabó不变量中的类比？
• RQ3 大度数的黎曼曲面上圆丛的扭曲Heegaard Floer同调是什么？它与4-流形不变量有何关系？
• RQ4 在纽结手术后，Ozsváth-Szabó不变量是否能检测到纽结曲面的微分异异性，即使原始曲面具有负自交数？
• RQ5 亚历山大多項式对Ozsváth-Szabó不变量的作用是否能区分余集中结果曲面的微分类型？

主要发现

• 本文证明：对于辛曲面$\Sigma_0 \subset X$（其亏格$g \geq 1$，满足$\pi_1(X \setminus \Sigma_0) = 1$，且自交数$\Sigma_0.\Sigma_0 \geq 2-2g$），存在无穷多组同调于$\Sigma_0$的光滑曲面$\Sigma_n$，它们拓扑等价但微分异。
• 曲面余集的Ozsváth-Szabó不变量在纽结手术下通过乘以亚历山大多項式$\Delta_K(t)$而变换，从而提供一个可区分结果曲面的微分不变量。
• $HF^{-}(Y_{2g-1}, \mathfrak{s}_{\pm(g-1)})$的最高次数部分是$R_{Y_{2g-1}}$上秩为1的自由模，这确保了非平凡的$\Delta_K(t)$可导致非平凡不变量。
• 当$g > 1$时，$\Sigma_0$余集的相对Ozsváth-Szabó不变量在标准spin$^c$结构下非零，且在吹胀与纽结手术后仍保持非零。
• 通过$\Delta_K(t)$模2的作用区分微分类型：若$\Delta_{K_n}(t) \not\equiv \Delta_{K_m}(t) \mod 2$，则$\widetilde{Z}_n$与$\widetilde{Z}_m$不微分同胚。
• 本结果扩展了Fintushel与Stern定理，允许自交数低至$2-2g$的负自交曲面，同时保持存在无穷多组微分类型。