[论文解读] Corks, Plugs and exotic structures

Selman Akbulut, Kouichi Yasui|ArXiv.org|Jun 18, 2008

Geometric and Algebraic Topology参考文献 27被引用 62

一句话总结

本文引入了“插件”（plugs）——一种新型的4-流形结构，与塞子（corks）类似但本质不同——证明其可像塞子一样检测4-流形中的微分异构结构。作者表明，有理性爆破（rational blow-downs）与对数变换（log-transforms）自然产生插件，并构造了显式例子，包括扭结的塞子与插件，证明这些对象可嵌入如 $E'_3$ 这类微分异构的4-流形中。其关键贡献在于确立插件作为理解微分异构结构的补充工具，与塞子形成互补。

ABSTRACT

We discuss corks, and introduce new objects which we call plugs. Though plugs are fundamentally different objects, they also detect exotic smooth structures in 4-manifolds like corks. We discuss relation between corks, plugs and rational blow-downs. We show how to detect corks and plugs inside of some exotic manifolds. Furthermore, we construct knotted corks and plugs.

研究动机与目标

• 引入并定义一类新的4-流形对象，称为“插件”（plugs），其可检测微分异构结构，与塞子类似但本质不同。
• 建立插件与有理性爆破操作之间的关系，证明在这些手术中，插件结构自然出现。
• 证明塞子与插件可以被扭结，即同一对象的不同嵌入方式可产生不同的微分结构。
• 通过手柄图（handlebody diagrams）在具体微分异构4-流形（如 $E'_3$）中定位并识别塞子与插件。
• 探索插件在推进对塞子的理解及构造微分异构的斯坦曼流形对（exotic Stein manifold pairs）方面的潜力。

提出的方法

• 将插件定义为具有边界的紧致斯坦曼4-流形，其边界上存在一个对合（involution），该对合无法延拓为流形自身的自同胚，但当其在边界上重新粘合时，会改变周围4-流形的微分类型。
• 使用手柄图构造塞子（$W_n$, $ar{W}_n$）与插件（$W_{m,n}$）的显式例子，展示其在微分异构结构中的作用。
• 通过证明沿 $C_p$ 的有理性爆破对应于通过特定对合 $f_{p-1}$ 或 $f_p$ 重新粘合 $W_{p-1}$ 或 $W_p$，将有理性爆破操作与塞子及插件操作联系起来。
• 构建不含1-和3-柄的微分异构 $\mathbf{CP}^2\#9\overline{\mathbf{CP}}^2$（命名为 $E'_3$）的手柄图，并在其内部显式识别出嵌入的塞子与插件。
• 通过展示同一对象（如 $W_1$）的两种不同嵌入方式，经由相同对合重新粘合后产生不同的微分结构，证明塞子与插件可以被扭结。
• 利用斯坦分解定理与 $h$-cobordism 理论，关联4-流形的拓扑与微分结构，特别是在有理性爆破与对数变换的背景下。

实验结果

研究问题

• RQ1 插件结构能否像塞子一样用于检测4-流形中的微分异构结构？
• RQ2 有理性爆破操作与4-流形拓扑中的塞子及插件操作之间存在何种关系？
• RQ3 同一个紧致斯坦曼4-流形能否以多种方式被嵌入为塞子或插件，从而产生不同的微分结构？
• RQ4 塞子与插件是否允许扭结嵌入，即非同伦等价的嵌入方式可产生不同的微分结构？
• RQ5 能否在不使用1-和3-柄的情况下，利用插件与塞子分解来构造并分析如 $E'_3$ 这类微分异构4-流形？

主要发现

• 本文通过手柄图显式构造了塞子（$W_n$, $ar{W}_n$）与插件（$W_{m,n}$）的例子，证明其可检测微分异构结构。
• 证明沿 $C_p$ 的有理性爆破对应于通过对合 $f_{p-1}$ 或 $f_p$ 重新粘合 $W_{p-1}$ 或 $W_p$，从而在有理性爆破与插件/塞子操作之间建立直接联系。
• 构建了不含1-和3-柄的微分异构4-流形 $E'_3$，并利用其手柄图显式识别出其中的嵌入塞子与插件。
• 作者证明塞子与插件可以被扭结：对同一对象（如 $W_1$）采用不同嵌入方式，经由相同对合重新粘合后，可产生不同的微分结构。
• 证明 $W_1$ 是 $E(n)_{p,q}\#\overline{\mathbf{CP}}^2$ 与 $E(n)_K\#\overline{\mathbf{CP}}^2$（$n\geq 2$）的塞子，且 $W_{m,n}$ 是 $n\geq 2$, $m\geq 1$ 时的插件。
• 本文提供了证据表明，插件可能作为理解微分异构结构的补充工具，与塞子形成互补，或有助于构造微分异构的斯坦曼流形对。