[论文解读] Homotopy $4$-spheres associated to an infinite order loose cork

Selman Akbulut|arXiv (Cornell University)|Jan 24, 2019

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

一句话总结

该论文证明了通过将无限阶松散截面 $(W, f)$ 沿其截面自同构 $f^n$ 的迭代进行加倍而得到的同伦 4-球面 $Σ_n$ 全部微分同胚于标准 4-球面 $S^4$。利用微分流形技巧、格鲁赫扭转（Gluck twisting）以及来自卡佩尔-沙内森问题的技巧实现三阶胞状体消去，作者表明每个 $Σ_n$ 是通过在 $B^4$ 中的带钉链补集上附加一个二阶胞状体得到的，且由于截面微分同胚在 $S^3$ 上同伦于恒等映射，因此所得流形为标准流形。其关键贡献在于解决了无限多组潜在的异样 4-球面均为标准 $S^4$。

ABSTRACT

We show the homotopy spheres $Σ_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W o \partial W$ is $S^4$. To do this we first show that $Σ_{n} $ are obtained by Gluck twistings of $S^4$; then from this we show how to cancel $3$-handles of $Σ_{n}$ and identify it by $S^{4}$.

研究动机与目标

• 确定通过将无限阶松散截面 $(W, f)$ 加倍而构造出的同伦 4-球面 $\Sigma_n = -W \smile_{f^n} W$ 是否微分同胚于标准 4-球面 $S^4$。
• 解决此类构造是否产生异样 4-球面或仍为标准流形的问题。
• 建立 $\Sigma_n$ 的微分流形描述，使得三阶胞状体可被消去，并能识别为 $S^4$。
• 证明截面自同构 $f^n$ 在 $S^3$ 上诱导的微分同胚同伦于恒等映射，从而实现 $\Sigma_n$ 与 $S^4$ 的归纳识别。

提出的方法

• 通过分析 $\delta^n$-移动（即迭代的 $f^n$）对 $-W$ 中对偶二阶胞状体的影响，利用雕刻/去雕刻操作（点零交换）追踪曲线位置，构建 $\Sigma_n$ 的微分流形图示。
• 利用附着曲线 $c$ 在 $\partial\Sigma_n$ 上为平凡圈的事实，表明 $\Sigma_n$ 是通过在 $S^4$ 上进行格鲁赫扭转（沿一个扭结 2-球面）得到的，从而可消去一对二阶/三阶胞状体。
• 识别 $\Sigma_n^o = \Sigma_n - B^4$ 为带钉链补集 $Q = B^4 - N(D)$，其上沿 $\partial Q$ 中的纽结 $\gamma_n$ 附加了一个二阶胞状体，其中 $\gamma_n$ 是 $\gamma_{n-1}$ 在 $\delta$-移动微分同胚 $f$ 下的第 $n$ 次迭代。
• 利用 $\delta$-移动微分同胚 $f: \partial W \to \partial W$ 在 $S^3$ 上诱导一个同伦于恒等映射的自微分同胚的事实，实现 $\Sigma_n$ 与 $S^4$ 的归纳识别。
• 应用来自卡佩尔-沙内森问题的三阶胞状体消去技巧，从 $\Sigma_n$ 的胞状体分解中消除三阶胞状体，从而将其简化为标准 $S^4$。
• 验证 $\delta$-移动保持 $\partial\Sigma_0$ 上曲线 $d$ 的平凡圈性质，且在附加二阶胞状体后该曲线仍为平凡圈，从而确保格鲁赫扭转是平凡的。

实验结果

研究问题

• RQ1 通过将无限阶松散截面 $(W, f)$ 加倍而得到的同伦 4-球面 $\Sigma_n = -W \smile_{f^n} W$ 是否微分同胚于标准 4-球面 $S^4$？
• RQ2 能否利用 $\partial W$ 上的 $\delta^n$-移动微分同胚构造出允许三阶胞状体消去的 $\Sigma_n$ 微分流形图示？
• RQ3 若附着曲线为平凡圈，$\Sigma_n$ 的格鲁赫扭转描述是否意味着其为标准流形？
• RQ4 $\partial W$ 上的微分同胚 $f^n: \partial W \to \partial W$ 是否同伦于 $S^3$ 上的恒等映射？该同伦是否意味着 $\Sigma_n$ 为标准流形？
• RQ5 能否通过 $\partial W$ 上的 $\delta$-移动，从 $\Sigma_{n-1}$ 诱导地构建 $\Sigma_n$？该结构是否意味着 $\Sigma_n \cong S^4$？

主要发现

• 每个 $\Sigma_n$ 均微分同胚于标准 4-球面 $S^4$，解决了由无限阶松散截面加倍生成的无限组同伦 4-球面是否为异样的问题。
• $\Sigma_n$ 是通过在 $S^4$ 上沿扭结 2-球面进行格鲁赫扭转得到的，且附着曲线 $c$ 为平凡圈，这意味着格鲁赫扭转是平凡的，因此 $\Sigma_n \cong S^4$。
• 流形 $\Sigma_n^o = \Sigma_n - B^4$ 是通过在带钉链补集 $Q = B^4 - N(D)$ 上沿纽结 $\gamma_n$ 附加一个二阶胞状体得到的，其中 $\gamma_n = f^n(\gamma_0)$，该胞状体结构允许三阶胞状体消去。
• $\delta$-移动微分同胚 $f: \partial W \to \partial W$ 在 $S^3$ 上诱导一个同伦于恒等映射的自微分同胚，从而允许通过归纳法证明 $\Sigma_n \cong S^4$。
• 曲线 $d \subset \partial\Sigma_0$ 是 $\partial\Sigma_0$ 上的平凡圈，且沿 $d$ 的 $\delta$-移动可用于描述 $\Sigma_n$ 的胞状体结构，从而确认该构造为标准流形。
• $\delta$-移动对应于 $S^3$ 中嵌入环面的德恩扭转（Dehn twist），而 $S^3$ 上任意此类德恩扭转均同伦于恒等映射，因此微分同胚 $f^n$ 同伦于恒等映射，从而推出 $\Sigma_n \cong S^4$。