[论文解读] An obstruction to smooth isotopy in dimension 4

Daniel Ruberman|ArXiv.org|Jul 9, 1998

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

一句话总结

本文通过使用1-parameter杨-米尔斯模空间族，引入了4-流形微分同胚的规范理论不变量，表明该不变量能检测即使同伦于恒等映射的非光滑同伦等价微分同胚。关键结果为：若两个4-流形$X_0$与$X_1$的0次度Donaldson不变量不同，则在$Z = X_0 \# \mathbb{CP}^2 \# \overline{\mathbb{CP}}^2 \# \overline{\mathbb{CP}}^2$上诱导的微分同胚$f = f_1 \circ f_0^{-1}$虽同伦于恒等映射，却非光滑同伦等价于恒等映射。

ABSTRACT

Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first example of a diffeomorphism of a simply-connected 4-manifold which is homotopic to the identity map, but not smoothly isotopic to the identity.

研究动机与目标

• 构造一个仅依赖于其光滑同伦类的微分同胚的规范理论不变量。
• 证明存在一个4-流形的微分同胚，其同伦于恒等映射但非光滑同伦等价于恒等映射。
• 表明此类障碍源于底层4-流形Donaldson不变量的差异。
• 阐明Seiberg-Witten不变量在检测此类同伦障碍时的局限性，特别是模2情形。
• 为通过上同调解释将不变量推广至高维族提供框架。

提出的方法

• 在从$h_0 = h$到$h_1 = f^*h$的路径$h_t$上，定义杨-米尔斯模空间族$\tilde{\mathcal{M}} = \bigcup_t \mathcal{M}(Y; h_t)$。
• 利用0维模空间中解的代数计数，定义一个不变量$D_Z(f)$，在适当条件下该不变量与选择无关。
• 从两个非微分同胚但同伦等价的4-流形$X_0, X_1$出发，构造4-流形$Z = X_0 \# \mathbb{CP}^2 \# \overline{\mathbb{CP}}^2 \# \overline{\mathbb{CP}}^2$。
• 利用$(-1)$-球面上的反射，分别定义与$X_0$和$X_1$相关的微分同胚$f_0$与$f_1$。
• 将不变量$D_Z(f)$计算为差值$D_Z(f_1) - D_Z(f_0)$，其中$D_Z(f_j) = -4D_{X_j}$。
• 应用墙穿跃技术与Kuranishi理论，分析模空间在路径形变下的行为。

实验结果

研究问题

• RQ1 规范理论不变量能否检测在4维中同伦于恒等映射但存在光滑同伦障碍的微分同胚？
• RQ2 4-流形的0次度Donaldson不变量能否检测通过$(-1)$-球面反射构造的非光滑同伦等价微分同胚？
• RQ3 为何Seiberg-Witten不变量无法检测此类同伦障碍，特别是模2情形？
• RQ4 两个反射的复合能否产生一个具有非平凡光滑同伦不变量的微分同胚，而单个反射则不能？
• RQ5 此类不变量在度量模微分同胚空间中的上同调解释为何？

主要发现

• 微分同胚$f = f_1 \circ f_0^{-1}$的不变量$D_Z(f)$满足$D_Z(f) = D_Z(f_1) - D_Z(f_0)$，且对$j=0,1$有$D_Z(f_j) = -4D_{X_j}$。
• 若$D_{X_0} \neq D_{X_1}$，则$D_Z(f) \neq 0$，意味着$f$非光滑同伦等价于恒等映射。
• 微分同胚$f$同伦等价于恒等映射，此结论由Perron与Quinn的工作所确立。
• Seiberg-Witten不变量模2无法检测该同伦障碍，原因在于Morgan与Szabó的结果表明其仅依赖于$b_+^2 \mod 4$。
• 障碍源于两个反射的复合，其阶为无穷，从而避开了单个反射可能产生的$\mathbb{Z}_2$-值不变量。
• 该构造表明，不变量源于$H^1(\text{Met}^*(Z)/\text{Diff}^+(Z))$中的1-上链，提示了高维族的上同调框架。