[论文解读] The 4-dimensional disc embedding theorem and dual spheres

Mark Powell, Arunima Ray+1 more|arXiv (Cornell University)|Jun 9, 2020

Geometric and Algebraic Topology参考文献 26被引用 7

一句话总结

本文通过显式构造输出中的几何对偶球面，对Freedman-Quinn证明4维碟嵌入定理的过程进行了修改，从而填补了原证明中的一个漏洞。通过确保嵌入碟与其对偶球面在一点横截相交，作者实现了对手术理论中基本群的精确控制，这对于按同胚分类单连通4-流形至关重要。

ABSTRACT

We modify the proof of the disc embedding theorem for $4$-manifolds, which appeared as Theorem 5.1A in the book "Topology of 4-manifolds" by Freedman and Quinn, in order to construct geometrically dual spheres. These were claimed in the statement but not constructed in the proof. We also prove Proposition 1.6 from the Freedman-Quinn book regarding generic homotopies of discs or spheres in a 4-manifolds, which was not proven there.

研究动机与目标

• 解决原始4维碟嵌入定理证明中的一个漏洞，即声称存在几何对偶球面但未在输出中实际构造出来。
• 确保碟嵌入定理的输出中包含几何对偶球面，这对手术理论和4-流形分类的应用至关重要。
• 提供一种构造性方法，保持原球面的同伦型，同时实现其与对偶球面在恰好一点横截相交。
• 证明即使在给定代数对偶性的情况下，也能在碟嵌入过程中系统地构造出几何对偶球面。
• 通过确保手术操作中存在几何对偶球面，支持4维拓扑中手术序列与s- cobordism定理的精确性。

提出的方法

• 作者通过引入受控管状连接与正则同伦，修改了Freedman-Quinn的带帽格罗普构造，以确保嵌入碟与其对偶球面之间实现横截相交。
• 他们利用约化自相交数μ̃来控制框架与惠特尼圆盘障碍，确保最终嵌入球面具有所需的几何对偶性。
• 关键技巧在于：在远离交点的位置从4-流形中移除小球体，以保持基本群与交点数不变，然后应用定理8.1，将带对偶性的碟嵌入。
• 该方法确保几何对偶球面通过管状连接操作构造于对偶球面与嵌入碟的平行拷贝之间的唯一交点处。
• 该构造保持了原始映射的同伦类，并确保最终嵌入球面代表与输入浸入映射相同的π₂类。
• 证明依赖于这样一个事实：当w₂(g_i) = 0时，可使几何对偶球面彼此不相交嵌入，从而保持4-流形的连通和分解。

实验结果

研究问题

• RQ1 尽管原始证明中未出现，是否可以在4维碟嵌入定理的输出中显式构造出几何对偶球面？
• RQ2 如何修改碟嵌入定理，以确保对偶球面与嵌入碟在恰好一点横截相交？
• RQ3 在基本群与第二同伦群上需满足何种条件，才能通过带帽格罗普方法构造出几何对偶球面？
• RQ4 几何对偶球面的存在如何影响手术后周围4-流形的基本群？
• RQ5 若已知代数对偶球面，能否将球面嵌入定理加强为产生几何对偶嵌入球面？

主要发现

• 本文在碟嵌入定理的输出中构造出了几何对偶球面，从而填补了Freedman与Quinn著作中定理5.1A证明中长期存在的漏洞。
• 该构造确保对偶球面与嵌入碟在恰好一点横截相交，这对手术过程中控制基本群至关重要。
• 该方法保持了原始映射的同伦类，并维持了代数交点形式，确保输出球面代表与输入浸入相同的π₂类。
• 当w₂(g_i) = 0时，几何对偶球面可被构造为彼此不相交地嵌入，从而使得4-流形可分解为S²×S²分量与一个剩余流形的连通和。
• 几何对偶球面的存在使得手术序列与s- cobordism定理在4维拓扑中保持精确，这为按同胚分类单连通4-流形提供了基础。
• 结果证实，球面嵌入定理可被加强为产生几何对偶嵌入球面，这对手术理论与4-流形分类的应用至关重要。