[论文解读] Contractible n-Manifolds and the Double n-Space Property

Pete Sparks|arXiv (Cornell University)|Feb 11, 2015

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

一句话总结

本文构建了一个称为‘小丑帽’的4-流形，其为一个可缩的骨架，可分解为三个可收缩部分的并集，从而使得能够构造出一个可数无限多个不同4-流形的族，这些流形可分解为闭4-球的并。通过在无穷远处取这些流形的连通和，作者构造出一个不可数无限多个开4-流形的族，这些流形可分解为 $\mathbb{R}^4 \cup_{\mathbb{R}^4} \mathbb{R}^4$，从而证明了存在非 $\mathbb{R}^4$ 的4-流形具有双 $n$-空间性质。

ABSTRACT

We are interested in contractible n-manifolds M which "split" as M = A union B where A,B, and A intersect B are all homeomorphic to Euclidean n-space (such M are called open n-splitters) or A,B, and A intersect B are all homeomorphic to the n-dimensional unit ball (such M are called closed n-splitters). We introduce a closed 4-splitter M from which we construct an infinite collection of distinct closed 4-splitters and an uncountable set of open 4-splitters.

研究动机与目标

• 研究可缩的 $n$-流形，其可分解为 $A \cup_C B$，其中 $A, B, C \approx \mathbb{R}^n$ 或 $\mathbb{B}^n$。
• 构造一个具有骨架的4-流形，该骨架可分解为三个可收缩部分，从而实现闭4-球的分解。
• 生成一个可数无限多个不同4-流形的族，这些流形均为闭分拆者。
• 通过在无穷远处取这些闭分拆者的内部的连通和，构造出一个不可数无限多个开4-流形的族，这些流形可分解为 $\mathbb{R}^4 \cup_{\mathbb{R}^4} \mathbb{R}^4$。
• 证明存在非 $\mathbb{R}^4$ 的4-流形具有双 $n$-空间性质，从而扩展了关于加贝依分拆的结果。

提出的方法

• 引入‘小丑帽’，即一个骨架可分解为三个可收缩子复形的4-流形。
• 利用分段线性拓扑与可收缩性，证明小丑帽可分解为 $\mathbb{B}^4 \cup_{\mathbb{B}^4} \mathbb{B}^4$，使其成为闭分拆者。
• 通过保持分拆结构的拓扑修改，从小丑帽构造出一个可数无限多个不同4-流形的族。
• 对这些流形的内部在无穷远处取连通和，以形成不可数多个开4-流形的族。
• 利用射线构造法与正规邻域，确保在连通和中保持适当性与同胚类型。
• 应用组合群论与半稳定性结果，验证所得开流形仍保持双 $n$-空间性质。

实验结果

研究问题

• RQ1 能否构造一个可缩的4-流形，使其通过一个由三个可收缩部分构成的骨架，分解为 $\mathbb{B}^4 \cup_{\mathbb{B}^4} \mathbb{B}^4$？
• RQ2 此类4-流形的存在是否能导出一个可数无限多个不同闭分拆者的族？
• RQ3 这些闭分拆者内部在无穷远处的连通和是否能产生不可数多个开4-流形，使得每个流形均可分解为 $\mathbb{R}^4 \cup_{\mathbb{R}^4} \mathbb{R}^4$？
• RQ4 是否存在非 $\mathbb{R}^4$ 的4-流形满足双 $n$-空间性质？
• RQ5 能否利用无穷远处的基本群与半稳定性条件，确保无穷远处的连通和保持分拆结构？

主要发现

• 构造了一个称为‘小丑帽’的4-流形，其骨架可分解为三个可收缩部分，表明其可分解为 $\mathbb{B}^4 \cup_{\mathbb{B}^4} \mathbb{B}^4$，因此为闭分拆者。
• 从小丑帽出发，生成了一个可数无限多个不同4-流形的族，每个流形均可分解为 $\mathbb{B}^4 \cup_{\mathbb{B}^4} \mathbb{B}^4$。
• 对这些流形族中流形的内部在无穷远处取连通和，可得到一个不可数集合的开4-流形，每个流形均可分解为 $\mathbb{R}^4 \cup_{\mathbb{R}^4} \mathbb{R}^4$。
• 该构造证明了存在非 $\mathbb{R}^4$ 的4-流形具有双 $n$-空间性质，回答了4维中关于奇异分拆的一个问题。
• 该方法依赖于分拆部分交集中的适当射线与正规邻域，以确保无穷远处连通和保持分拆结构。
• 该结果扩展了加贝依关于怀特黑德流形的定理，并表明双 $n$-空间性质并非 $\mathbb{R}^4$ 所独有。