[论文解读] Isotoping 2-spheres in 4-manifolds

Selman Akbulut|arXiv (Cornell University)|Jun 21, 2014

Geometric and Algebraic Topology参考文献 1被引用 5

一句话总结

本文在单连通4-流形中构造了一对拓扑同伦但微分非同伦的2-球面，证明了通过与 $ S^2 \times S^2 $ 进行稳定化可消除微分非同伦性。关键结果表明，尽管这些球面在原始流形中并非微分同伦，但通过与 $ S^2 \times S^2 $ 取连通和后，它们变为微分同伦，从而说明了稳定化在消除4-流形中球面上的异样微分结构中的作用。

ABSTRACT

Here we discuss an example of topologically isotopic but smoothly non-isotopic pair of 2-spheres in a simply connected 4-manifold, which become smoothly isotopic after stabilizing by connected summing with S^2 x S^2.

研究动机与目标

• 在单连通4-流形中构造两个2-球面的显式例子，它们拓扑同伦但不微分同伦。
• 证明此类球面对在将周围流形与 $ S^2 \times S^2 $ 稳定化后变为微分同伦。
• 阐明Mazur毛刺及其关联的反毛刺（通过对合 $ \tau $）如何导致4-流形上出现异样微分结构。
• 厘清带钉移动、圆盘补集与微分同胚无法在4维拓扑中跨边界识别区域延拓之间的关系。

提出的方法

• 利用Mazur毛刺 $(W, f)$，其中 $ f $ 是 $ \partial W $ 上的对合，它在同伦意义下固定嵌入圆盘 $ D \subset W $ 的边界。
• 应用[A1]中的雕刻过程，将对合 $ f $ 延拓至 $ D $ 的管状邻域，得到同伦等价于 $ B^3 \times S^1 $ 的流形 $ Q = W \setminus N(D) $。
• 在 $ \partial Q $ 上构造一个对合 $ \tau $，该对合无法延拓为 $ Q $ 上的微分同胚，从而使得 $ Q $ 相对于其边界具有异样结构。
• 利用 $ B^4 $ 中的带钉纽结 $ \gamma = \partial D $（其边界为两个不同的带钉圆盘，通过零点交换关联），在通过附加一个+1- framing的2-胞状体得到的4-流形 $ M $ 中定义两个不同的2-球面 $ S_1 $ 和 $ S_2 $。
• 分析对 $ S_1 $ 和 $ S_2 $ 的吹除操作，表明两种操作均得到正极毛刺 $ \bar{W}_1 $，但 $ \partial M $ 上的恒等映射被映射为毛刺对合 $ f $，暗示了 $ S_1 $ 与 $ S_2 $ 之间不存在微分同伦。
• 证明在 $ M \# S^2 \times S^2 $ 中，球面 $ S_1 $ 与 $ S_2 $ 变为微分同伦，因为此稳定化对应于基尔比图中将一个圆点变为0- framing的圆，从而允许同伦性在整个流形中延拓。

实验结果

研究问题

• RQ1 4-流形中的两个2-球面是否可能拓扑同伦但不微分同伦？
• RQ2 与 $ S^2 \times S^2 $ 的稳定化在解决4-流形中球面的微分非同伦性中起什么作用？
• RQ3 为何由同一带钉纽结 $ \gamma $ 界定的两个不同带钉圆盘会导致同一4-流形上出现不同的微分结构？
• RQ4 为何边界为带钉补集 $ Q $ 的对合 $ \tau $ 无法延拓为 $ Q $ 上的微分同胚？这对其微分结构有何含义？
• RQ5 对 $ S_1 $ 和 $ S_2 $ 的吹除操作与正极构造中的毛刺扭转操作有何关联？

主要发现

• 存在一个单连通4-流形 $ M $，其中包含两个自交数为+1的2-球面 $ S_1 $ 和 $ S_2 $，它们拓扑同伦但不微分同伦。
• 球面 $ S_1 $ 和 $ S_2 $ 是通过在 $ B^4 $ 上沿带钉纽结 $ \gamma $ 附加一个+1- framing的2-胞状体而构造的，两个球面分别对应于 $ \gamma $ 的两个不同带钉圆盘。
• 对 $ S_1 $ 或 $ S_2 $ 进行吹除操作，结果均为正极毛刺 $ \bar{W}_1 $，且吹除映射实现了毛刺对合 $ f $，这阻止了 $ M $ 中 $ S_1 $ 与 $ S_2 $ 之间的微分同伦。
• $ M $ 微分同胚于 $ \bar{W}_1 \# \mathbb{C}P^2 $，表明 $ \mathbb{C}P^2 $-吹除操作可抵消 $ \bar{W}_1 $ 中毛刺扭转的影响。
• 在 $ M $ 与 $ S^2 \times S^2 $ 稳定化后，球面 $ S_1 $ 与 $ S_2 $ 相对于边界变为微分同伦，因为稳定化使得同伦性得以在整个流形中延拓。
• 该例子表明，由 $ \tau $ 的不可延拓性所导致的 $ Q $ 上的异样结构，正是球面微分非同伦性的根源，而稳定化则消除了这一障碍。