[论文解读] Twisting 4-manifolds along RP^2

Selman Akbulut|arXiv (Cornell University)|Dec 23, 2009

Geometric and Algebraic Topology参考文献 9被引用 6

一句话总结

本文证明了奇异复本 $E(1)_{2,3}$，即椭圆曲面 $E(1) = \mathbb{CP}^2 \#\, 9\overline{\mathbb{CP}^2}$ 的一个奇异微分结构，可通过沿 $W_{1,2}$-插件进行插件扭转而构造出来，而该插件在拓扑上等价于沿 $\mathbb{RP}^2$ 扭转。关键结果是：该操作——由 $\mathbb{RP}^2$ 的管状邻域边界上的对合诱导——产生了一个奇异微分结构，从而通过 $\mathbb{RP}^2$-扭转提供了 Dolgachev 曲面的一种新几何实现方式。

ABSTRACT

We prove that the Dolgachev surface E(1)_{2,3} (which is an exotic copy of the elliptic surface E(1)=CP^2 # 9(-CP^2)) can be obtained from E(1) by twisting along a simple "plug", in particular it can be obtained from E(1) by twisting along an RP^2.

研究动机与目标

• 确定沿 $\mathbb{RP}^2$ 扭转是否能在 4-流形上产生奇异微分结构。
• 研究 $W_{1,2}$ 插件在构造 $E(1)$ 的奇异复本（特别是 Dolgachev 曲面 $E(1)_{2,3}$）中的作用。
• 阐明插件扭转、$\mathbb{RP}^2$-扭转与微分结构变化之间的关系。
• 提供 $E(1)$ 上单次插件扭转操作的几何实现，将 Dolgachev 曲面作为结果，补充现有的塞子扭转构造。

提出的方法

• 作者将 $W_{1,2}$ 插件构造为 $S^4$ 中 $\mathbb{RP}^2$ 的管状邻域，将其表示为具有特定胞胞复形结构的 $\mathbb{RP}^2$ 上的圆盘丛。
• 在 $\partial W_{1,2}$ 上定义了一个对合 $f$，该对合由将红色和蓝色圈 $\alpha$ 与 $\beta$ 互换的 $180^\circ$ 旋转诱导，从而在边界上诱导出一个非平凡微分同胚。
• 该构造使用胞胞复形演算：通过消去一对 1-和 2-胞胞，$W_{1,2}$ 插件被重新表达为另一种胞胞复形图示（图 3），从而实现对扭转的显式计算。
• 将插件扭转操作应用于 $E(1)$，该操作将 $\alpha$ 上的 $+1$- framing 2-胞胞替换为 $\beta$ 上的 $0$-framing 2-胞胞，从而改变微分结构。
• 扭转后的结果流形微分同胚于 $S^2 \times S^2 \#\, 8\overline{\mathbb{CP}^2}$，即 $E(1)$，从而确认该操作是良定义的。
• 该方法可推广至结手术：当 $E(1)$ 中的尖点被结手术版本 $Q_K$ 取代时，相同的插件扭转产生 $Q_K \#\, 8\overline{\mathbb{CP}^2}$，即 $E(1)_K$（对于 trefoil 结）。

实验结果

研究问题

• RQ1 沿 $\mathbb{RP}^2$ 扭转是否能在 4-流形上产生奇异微分结构？
• RQ2 $W_{1,2}$ 插件（与 $\mathbb{RP}^2$ 关联）是否足以通过一次插件扭转从 $E(1)$ 生成 Dolgachev 曲面 $E(1)_{2,3}$？
• RQ3 沿 $W_{1,2}$ 的插件扭转是否诱导出一种与 Floer 同调排列无关的微分结构变化，如先前构造中所见？
• RQ4 相同的插件扭转操作是否能生成无穷多个不同的 $E(1)$ 奇异复本，对应于不同的结？
• RQ5 $\partial W_{1,2}$ 边界（即四元数 3-流形）在区分微分结构中起什么作用？

主要发现

• Dolgachev 曲面 $E(1)_{2,3}$ 微分同胚于通过在对合 $f$ 下对 $W_{1,2}$ 插件进行扭转而得到的 $E(1)$，从而证明 $E(1)_{2,3}$ 是通过沿 $\mathbb{RP}^2$ 扭转从 $E(1)$ 构造而来。
• 插件扭转操作将 $\alpha$ 上的 $+1$-framing 2-胞胞替换为 $\beta$ 上的 $0$-framing 2-胞胞，结果流形微分同胚于 $S^2 \times S^2 \#\, 8\overline{\mathbb{CP}^2}$，即 $E(1)$，从而确认了该构造的正确性。
• 对于 trefoil 结 $K$，结手术版本 $Q_K$ 微分同胚于 $S^2 \times S^2$，因此插件扭转产生 $E(1)_K = E(1)_{2,3}$，与已知结果一致。
• 微分结构的变化源于 $\mathrm{Spin}^c$ 结构的变化，而非 Floer 同调的排列，从而将此构造与早期构造区分开来。
• $\partial W_{1,2}$ 是四元数 3-流形，一种具有正曲率且 Floer 同调为零的空间形式，表明该奇异性的来源是超越 Floer-理论不变量的拓扑不变量。
• 该构造表明，只要对不同的结 $K$ 有 $Q_K \not\cong S^2 \times S^2$，则 $W_{1,2}$ 是 $E(1)$ 的无穷多个奇异复本 $E(1)_K$ 的插件，尽管目前尚不明确所有 $K$ 的该识别结果。