[论文解读] Non-existence theorems on infinite order corks

Motoo Tange|arXiv (Cornell University)|Sep 14, 2016

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

一句话总结

本文首次建立了无限族的单连通、闭合的奇异4-流形的已知实例，这些流形无法通过任何无限阶塞 cork 生成。利用 Ozsváth-Szabó 不变量（OS-不变量）的约束，作者证明，若此类族源自 G-cork，则其 OS-不变量集合必须是有限的，从而得出在某些奇异族中不存在无限阶 cork 的非存在性定理。该结果解决了 4-流形拓扑中 cork 理论极限的关键问题。

ABSTRACT

Suppose that $X,X'$ are simply-connected closed exotic 4-manifolds. It is well-known that $X'$ is obtained by an order 2 cork twist of $X$. We give an infinite exotic family of 4-manifolds not generated by any infinite order cork. This is the first example admitting such a condition. We prove a necessary condition of 4-dimensional OS-invariants for a family to be generated by an infinite order cork and give non-contractible relatively exotic 4-manifolds that are never induced by any cork. Furthermore, we prove an estimate of the number of OS-invariants of 4-manifolds generated by a cork.

研究动机与目标

• 确定无限族奇异 4-流形可由无限阶 cork 生成的必要条件。
• 研究所有奇异 4-流形族，尤其是非单连通或带边界的族，是否可由单个 cork 扭转生成。
• 在 $b_2^+ > 1$ 的族中建立无限阶 cork 的非存在性定理。
• 分析 OS-不变量在约束 cork 生成族结构中的作用。
• 构造一个 $b_2 = 1$ 的最小 Stein 插件，通过迭代扭转变换生成相对奇异结构。

提出的方法

• 证明若奇异 4-流形族由 $G$-cork 生成，则其 Ozsváth-Szabó 不变量集合 ($\mathcal{OS}_{\mathcal{X}}$) 必须是有限的。
• 利用手柄演算和边界 3-流形上的微分同胚作用，构造一个 $b_2(Q) = 1$ 的最小 Stein 插件 $(Q, \eta)$。
• 证明 $\partial Q$ 上的扭转变换 $\eta$ 在更大 4-流形 $P$ 的边界上诱导出非平凡作用，从而生成无限族的相对奇异结构。
• 证明诱导映射 $\varphi = \eta$ 在 $\partial P$ 上通过迭代扭转变换 $\varphi^n$ 生成无限阶作用，从而产生不同的奇异结构。
• 建立 $\eta^n$ 在 $Q$ 上的作用与 Fintushel 和 Stern 的结手术构造之间的对应关系，将插件与已知的奇异 4-流形联系起来。
• 利用 Gompf 关于 Stein 结构和 Legendrian 手柄体表示的结果，确认 $Q$ 具有最大 Thurston-Bennequin 不变量为 1 的 Stein 结构。

实验结果

研究问题

• RQ1 每个无限族奇异 4-流形是否都可由单个无限阶 cork 生成？
• RQ2 奇异 4-流形族在由 $G$-cork 生成时，必须满足哪些拓扑或不变量约束？
• RQ3 是否存在一个最小亏格或 $b_2$-最小的插件，可生成所有结手术构造中的交叉变化？
• RQ4 能否使用一个非同伦平凡的带边界的 4-流形，通过单个扭转变换生成无限奇异族？
• RQ5 在具有有理同调球边界条件的 4-流形边界上，扭转变换的作用是否总是导致有限数量的 OS-不变量？

主要发现

• 若奇异 4-流形族 $\mathcal{X}$ 满足 $b_2^+ > 1$ 且由 $G$-cork 生成，则其 Ozsváth-Szabó 不变量集合 $\mathcal{OS}_{\mathcal{X}}$ 必须是有限的。
• 明确构造出一个无限族的单连通、闭合奇异 4-流形，其无法由任何无限阶 cork 生成，从而证明了非存在性结果。
• 构造出一个 $b_2(Q) = 1$ 的最小 Stein 插件 $(Q, \eta)$，其通过迭代扭转变换生成无限族 $\{(P, \partial P, \varphi^n) \mid n \in \mathbb{Z}\}$。
• 该插件 $(Q, \eta)$ 实现了 Fintushel-Stern 结手术中的所有交叉变化，表明其可生成所有来自 1-unknotting 数的结的奇异结构。
• 扭曲双倍 $Q \cup_{\eta^{2k}} (-Q)$ 微分同胚于 $S^2 \times S^2$，而 $Q \cup_{\eta^{2k+1}} (-Q)$ 微分同胚于 $\mathbb{C}P^2 \# \overline{\mathbb{C}P^2}$，证实了扭转变换的非平凡性。
• 映射 $\eta$ 在 $\partial Q$ 上的作用无法延拓为 $Q$ 上的同胚，证明了 $(Q, \eta)$ 是一个非平凡的 $\bar{c}h$-扭变，因此是一个真正的插件。