[论文解读] A fake cusp and a fishtail

Selman Akbulut|ArXiv.org|Apr 14, 1999

Geometric and Algebraic Topology参考文献 8被引用 18

一句话总结

本文通过在 $S^2 \times B^2$ 中对环面嵌入的 2-球面应用 Fintushel-Stern 穿线手术操作，构建了鱼尾与尖点 4-流形的奇异微分结构——这些拓扑 4-流形与标准版本同胚但不同胚。关键结果是证明了 $F^*$ 和 $Q^*$ 上存在与标准鱼尾 $F$ 和尖点 $Q$ 同胚但不同胚的微分结构，表明即使 4-流形的基本构建模块也可能具有奇异微分结构。

ABSTRACT

We construct smooth 4-manifolds that are homeomorphic but not diffeomorphic to the "cusp" and the "fishtail", which are certain thickened singular 2-spheres.

研究动机与目标

• 构造与标准鱼尾和尖点 4-流形同胚但不同胚的光滑 4-流形。
• 证明基本 4-流形构建模块——此前被认为不具有奇异微分结构——实际上可以容纳奇异微分结构。
• 表明 Fintushel-Stern 穿线手术操作可应用于 $S^2 \times B^2$ 的小形变流形，以生成此类奇异结构。
• 确立结果流形 $F^*$ 和 $Q^*$ 尽管与标准版本同胚，但并非微分同胚。
• 通过在 $S^4$ 和 $S^2 \times S^2$ 中构造尖点与鱼尾的奇异扭结，扩展对奇异微分结构的理解。

提出的方法

• 对 4-流形中 c-嵌入的环面应用 Fintushel-Stern 穿线手术操作，通过边界上的微分同胚，将环面的管状邻域替换为 $(S^3 - N(K)) \times S^1$。
• 利用 Seiberg-Witten 不变量计算结果流形的光滑类型，借助公式 $SW_{X_K} = SW_X \cdot \Delta_K(t)$，其中 $\Delta_K(t)$ 为纽结 $K$ 的亚历山大多项式。
• 通过将 $(S^3 - N(K)) \times S^1$ 分解为胞胎体的并集，利用切片 1-胞胎和标准海格德图，构建手术结果的胞胎体描述。
• 通过胞胎操作并消去 1-胞胎与 2-胞胎对，验证结果胞胎体的边界为 3-环面。
• 通过同伦等价论证，证明边界微分同胚无法扩张为内部的微分同胚，从而证明结果流形 $F^*$ 不微分同胚于 $F$。
• 通过在边界连通和中用 $F^*$ 或 $C^*$ 替换一个 $F$ 或 $C$ 的副本，构造 $S^4$ 和 $S^2 \times S^2$ 中的鱼尾与尖点的奇异扭结，并通过胞胎操作与手术验证结果流形为标准流形。

实验结果

研究问题

• RQ1 是否可以在鱼尾与尖点 4-流形上构造奇异微分结构，这些流形是 4-维拓扑中的基本构建模块？
• RQ2 Fintushel-Stern 穿线手术操作是否能在 4-流形上产生一个与原流形同胚但不同胚的光滑结构？
• RQ3 是否可以将 $F^*$ 和 $Q^*$ 上的奇异结构扩展到 $S^4$ 和 $S^2 \times S^2$ 中的奇异扭结？
• RQ4 在 $F$ 与 $F^*$ 之间存在的边界微分同胚是否可扩张为内部的微分同胚？若不可扩张，这对它们的光滑类型有何含义？
• RQ5 是否可利用胞胎体操作与手术操作，将手术后的结果流形识别为标准的 $S^4$ 或 $S^2 \times S^2$？

主要发现

• 本文构造了一个光滑 4-流形 $F^*$，其与标准鱼尾 $F$ 同胚但不同胚，从而证明了‘假鱼尾’的存在。
• 类似地，本文构造了一个光滑 4-流形 $Q^*$，其与标准尖点 $Q$ 同胚但不同胚，从而证明了‘假尖点’的存在。
• 通过移除 $S^2 \times B^2$ 中一个适当嵌入的 2-球面 $f: B^2 \hookrightarrow S^2 \times B^2$ 的管状邻域，获得了 $F^*$ 上的奇异结构，且该结果流形不微分同胚于 $F$。
• 通过在边界连通和中用 $F^*$ 或 $C^*$ 替换一个 $F$ 或 $C$ 的副本，构造了 $S^4$ 和 $S^2 \times S^2$ 中鱼尾与尖点的奇异扭结，结果流形分别为标准 $S^4$ 和 $S^2 \times S^2$。
• 将结果流形 $C^* \cup_{\partial} -C$ 识别为 $S^2 \times S^2$ 依赖于高级胞胎体操作与 Scharlemann 猜想的验证，通过手术与胞胎体消去确认了其光滑类型。
• 结果流形 $X_K$ 的 Seiberg-Witten 不变量计算为 $SW_{X_K} = SW_X \cdot \Delta_K(t)$，该结果确认了光滑结构的改变，而未改变其同胚类型。