[论文解读] Notes on Gompf's infinite order cork

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

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

一句话总结

该论文构建了一个嵌入到 $E(n)$ 中的 ${\mathbb Z}^n$-cork，且其嵌入是 ${\mathbb Z}^n$-有效的，证明了cork在 $E(n)$ 的微分结构中生成了一个 ${\mathbb Z}^n$-子群。此外，通过提供显式的处理杆分解，表明Gompf的无限阶cork的扭曲双连通体是 $S^4$ 的Gluck扭转和对数变换，从而将其与已知的4-流形操作联系起来。

ABSTRACT

For any positive integer $n$ we give a ${\mathbb Z}^n$-cork with a ${\mathbb Z}^n$-effective embedding in a 4-manifold being homeomorphic to $E(n)$. This means that a cork gives a subset ${\mathbb Z}^n$ in the differential structures on $E(n)$. Further, we describe handle decompositions of the twisted doubles (homotopy $S^4$) of Gompf's infinite order corks and show that they are Gluck twists and log transforms of $S^4$.

研究动机与目标

• 在与 $E(n)$ 同胚的4-流形中，构建一个具有 ${\mathbb Z}^n$-有效嵌入的 ${\mathbb Z}^n$-cork。
• 证明此类cork在 $E(n)$ 上的微分结构空间中生成一个 ${\mathbb Z}^n$-子群。
• 描述Gompf的无限阶cork的扭曲双连通体的处理杆分解。
• 证明这些扭曲双连通体与 $S^4$ 的Gluck扭转和对数变换等价。

提出的方法

• 以Gompf的无限阶cork作为基础构件，用于构建高阶cork。
• 通过在 $E(n)$ 中迭代地嵌入和修改原始cork，构造出 ${\mathbb Z}^n$-cork。
• 应用处理体技术，将cork的扭曲双连通体分解为显式的处理杆结构。
• 通过拓扑等价性论证，将所得流形识别为Gluck扭转和对数变换。
• 运用微分拓扑工具，验证在 $E(n)$ 中的 ${\mathbb Z}^n$-有效性嵌入。

实验结果

研究问题

• RQ1 能否在 $E(n)$ 中有效嵌入一个 ${\mathbb Z}^n$-cork，这对 $E(n)$ 上的微分结构空间意味着什么？
• RQ2 Gompf的无限阶cork的扭曲双连通体在处理杆结构上如何分解？
• RQ3 这些cork的扭曲双连通体是否在拓扑上等价于 $S^4$ 的Gluck扭转或对数变换？
• RQ4 ${\mathbb Z}^n$-作用在组织 $E(n)$ 上的微分结构中起什么作用？

主要发现

• 显式构建了一个具有 ${\mathbb Z}^n$-有效嵌入的 ${\mathbb Z}^n$-cork，该cork嵌入于一个与 $E(n)$ 同胚的4-流形中。
• 该构造在 $E(n)$ 上的微分结构空间中实现了 ${\mathbb Z}^n$-子群。
• Gompf的无限阶cork的扭曲双连通体具有显式的处理杆分解，揭示了其结构。
• 这些扭曲双连通体在拓扑上等价于 $S^4$ 的Gluck扭转和对数变换。