[论文解读] On infinite order corks

Selman Akbulut|arXiv (Cornell University)|May 30, 2016

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

一句话总结

该论文通过一种新颖的 $δ$-移动技术，构造了一个无限阶松散截面——即一个边界微分同胚阶数无限的 4-流形，通过重复截面扭转可产生无限多个彼此不同胚的光滑结构。该技术涉及 $2/3$-柄对的消去与类似 Gluck 扭转的操作。关键结果表明，对特定 4-流形 $W$ 重复进行 $δ$-移动可生成无限多个彼此不同胚的奇异光滑结构，从而证明 $W$ 是一个无限阶松散截面，尽管它不一定是 Stein 流形，因此无限阶截面的存在性仍为开放问题。

ABSTRACT

We construct an infinite order loose cork.

研究动机与目标

• 解决 4-维拓扑中是否存在无限阶截面的开放问题。
• 开发一种新技巧——称为 $δ$-移动——通过 $2/3$-柄对消去，生成在 3-流形边界上具有无限阶微分同胚的技巧。
• 证明对嵌入在更大流形 $S$ 中的 4-流形 $W$ 重复进行 $δ$-移动，可在闭 4-流形 $M$ 上产生无限多个不同的奇异光滑结构。
• 表明所得截面是“松散”的，即不一定是 Stein 流形，从而使得真正无限阶截面的存在性仍为开放问题。

提出的方法

• 引入 $δ$-移动：在 $\partial X$ 上沿一个平凡的 2-柄 $δ$ 附着一个 0- framing 的 2-柄，与 3-柄相消去，然后沿带 framing 的圆周 $C_+$ 和 $C_-$ 进行吹除与吹入操作，从而在 $\partial X$ 上产生一个自微分同胚。
• 将 $δ$-移动应用于嵌入在更大流形 $S$ 中的 4-流形 $W$ 共 $n$ 次，通过截面扭转生成新流形 $S_n = W \cup_{f_\delta^n} H$。
• 利用手柄滑动与消去技术（如 [A4] 中图 1.17 所示），在 $n$ 次 $δ$-移动后简化 $S_n$ 的手柄体描述。
• 证明 $S_n$ 是通过 $S$ 沿 $n$-扭结 $K_n$ 进行 Fintushel-Stern 结的手术得到的，该操作保持边界结构但改变光滑类型。
• 通过证明其对应的闭流形 $M_n$ 的 Seiberg-Witten 不变量因 $K_n$ 的不同亚历山大多项式而互不相同，从而证明 $S_n$ 之间彼此不同胚。
• 建立若存在 $n \neq m$ 的 $S_n$ 与 $S_m$ 之间的微分同胚，则其必能扩张到边界并与单值群交换，从而推出矛盾，除非 $n = m$。

实验结果

研究问题

• RQ1 能否构造一个 4-流形，其边界微分同胚阶数无限，使得重复截面扭转可产生无限多个不同的光滑结构？
• RQ2 该 $δ$-移动技术能否在不依赖流形为 Stein 的前提下，生成此类无限阶微分同胚？
• RQ3 对 $W$ 进行 $n$ 重 $δ$-移动所产生的奇异光滑结构是否彼此不同胚？
• RQ4 若所得截面非 Stein 是否意味着无限阶截面不存在？
• RQ5 该 $δ$-移动构造能否与 Gompf 早期宣布的无限阶松散截面例子相容或得到解释？

主要发现

• 图 1 中的流形 $W$ 是一个无限阶松散截面，因为对其边界重复进行 $δ$-移动可产生无限多个不同的光滑结构。
• $W$ 上的 $n$ 重 $δ$-移动产生一个流形 $S_n$，其微分同胚于 $S$ 沿 $n$-扭结 $K_n$ 进行的 Fintushel-Stern 结手术。
• 通过紧化 $S_n$ 得到的闭流形 $M_n$ 的 Seiberg-Witten 不变量对不同的 $n$ 互不相同，从而证明 $S_n$ 之间彼此不同胚。
• $\partial$-微分同胚 $f_\delta^n$ 无法扩展为 $S_n$ 上的微分同胚，除非 $n = m$，这意味着当 $n \neq m$ 时 $S_n$ 与 $S_m$ 不同胚。
• $δ$-移动构造等价于 Gompf 的宣布例子，为他的证明提供了通过手柄体技术的拓扑解释。
• 所得截面是“松散”的，即不被证明为 Stein，因此真正无限阶截面的存在性仍为开放问题。