[论文解读] Knotted contractible 4-manifolds in the 4-sphere

W. B. R. Lickorish|ArXiv.org|Jul 31, 2001

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

一句话总结

本文构建了嵌入在四维球面 $S^4$ 中的紧致、可缩的四维流形，其补集的基本群非平凡，从而证明此类流形可以被扭结化。通过基尔比微积分与安德鲁斯-柯蒂斯变换，证明了任意具有平衡表示的有限生成完美群均可作为 $S^4$ 中某个嵌入可缩四维流形补集的基本群，且该流形与区间之积为五维球体。

ABSTRACT

Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some contractible 4-manifold in the 4-sphere.

研究动机与目标

• 证明尽管紧致可缩四维流形是单连通且同伦等价于一点，它们在 $S^4$ 中仍可被扭结化。
• 表明 $S^4$ 中可缩四维流形补集的基本群可非平凡，从而违背经典扭结直觉。
• 建立有限生成完美群（具有平衡表示）与 $S^4$ 中嵌入可缩四维流形补集基本群之间的对应关系。
• 通过补集基本群作为不变量，证明此类嵌入即使在流形可缩时也可为非共轭的环境同痕。

提出的方法

• 通过在四维球体上附加 $n$ 个 1-柄和 $n$ 个 2-柄，利用表示给定群表示中关系的 $S^3$ 中的曲线，构造四维流形 $X$。
• 使用基尔比微积分将 2-柄的附着曲线表示为 $S^3$ 中的链环，设定 framing 为零，以定义 $S^4$ 中的四维流形 $X \subset S^4$。
• 定义补集 $M = \overline{S^4 \setminus X}$，其为紧致可缩四维流形，并通过补集基本群的表示分析其基本群。
• 应用安德鲁斯-柯蒂斯变换，通过调整 1-柄周围经线圆盘的顺序，重新配置 $\pi_1(M)$ 的表示，确保结果表示为平凡群。
• 利用单模表示矩阵可推出阿贝尔化存在通过安德鲁斯-柯蒂斯变换实现平凡群表示的事实。
• 利用如下结果：若 $\pi_1(M)$ 为平凡群且 $M \times I$ 为五维球体，则 $M$ 在 $S^4$ 中的嵌入不同于标准嵌入，从而确立非环境同痕性。

实验结果

研究问题

• RQ1 是否存在紧致可缩四维流形的嵌入方式，使其在 $S^4$ 中的补集基本群非平凡？
• RQ2 对于任意具有平衡表示的有限生成完美群 $G$，是否存在 $S^4$ 中可缩四维流形的嵌入，使得其补集的基本群同构于 $G$？
• RQ3 两个相同紧致可缩四维流形在 $S^4$ 中的嵌入是否可能同伦但非环境同痕，从而证明扭结现象？
• RQ4 是否可通过基尔比微积分与胞腔复形构造，将任意完美且平衡的群实现为 $S^4$ 中可缩四维流形的扭结群？
• RQ5 在何种条件下，对 2-柄的附着曲线进行选择，可使 $S^4$ 中四维流形补集的基本群非平凡，同时保持流形的可缩性？

主要发现

• 存在两个分段线性嵌入 $e_0$ 和 $e_1$，将紧致可缩四维流形 $M$ 嵌入 $S^4$，使得 $\pi_1(S^4 \setminus e_0(M))$ 为平凡群，而 $\pi_1(S^4 \setminus e_1(M))$ 非平凡，从而证明 $M$ 可在 $S^4$ 中被扭结。
• 对于任意具有平衡表示的有限生成完美群 $G$，存在紧致可缩四维流形 $M \subset S^4$，使得 $\pi_1(S^4 \setminus M) \cong G$，从而建立完全实现结果。
• 通过 $S^4 \setminus X$ 的闭包构造的流形 $M$ 满足 $M \times I \cong B^5$，即即使其补集基本群非平凡，该可缩四维流形仍是五维球体中的截面。
• 该构造依赖于选择 2-柄的附着曲线，使得补集的基本群同构于给定群，利用表示中关系的字结构。
• 通过插入对 $a_i a_i^{-1}$ 并重新排列经线圆盘，可利用安德鲁斯-柯蒂斯变换使 $M$ 的基本群变为平凡群，从而确保 $M \times I$ 为五维球体。
• 关键洞见在于 $M$ 的基本群的阿贝尔化为平凡（即表示矩阵为单模），这使得可应用引理 2，通过安德鲁斯-柯蒂斯变换将表示转化为平凡群。