[论文解读] Embedding and knotting of manifolds in Euclidean spaces

A. Skopenkov|ArXiv.org|Apr 3, 2006

Geometric and Algebraic Topology参考文献 103被引用 49

一句话总结

本综述全面概述了欧氏空间中流形的嵌入与纽结问题，聚焦于 van Kampen-Shapiro-Wu-Haefliger-Weber 的 '删除乘积'障碍作为统一框架。该框架将嵌入的同伦型分类简化为等变映射的同伦型分类，从而实现了对纽结环面的显式分类，并将 Haefliger-Weber 定理推广至非稳定范围以下，同时展示了该类结果在该范围之外的失效。

ABSTRACT

A clear understanding of topology of higher-dimensional objects is important in many branches of both pure and applied mathematics. In this survey we attempt to present some results of higher-dimensional topology in a way which makes clear the visual and intuitive part of the constructions and the arguments. In particular, we show how abstract algebraic constructions appear naturally in the study of geometric problems. Before giving a general construction, we illustrate the main ideas in simple but important particular cases, in which the essence is not veiled by technicalities. More specifically, we present several classical and modern results on the embedding and knotting of manifolds in Euclidean space. We state many concrete results (in particular, recent explicit classification of knotted tori). Their statements (but not proofs!) are simple and accessible to non-specialists. We outline a general approach to embeddings via the classical van Kampen-Shapiro-Wu-Haefliger-Weber 'deleted product' obstruction. This approach reduces the isotopy classification of embeddings to the homotopy classification of equivariant maps, and so implies the above concrete results. We describe the revival of interest in this beautiful branch of topology, by presenting new results in this area (of Freedman, Krushkal, Teichner, Segal, Spiez and the author): a generalization the Haefliger-Weber embedding theorem below the metastable dimension range and examples showing that other analogues of this theorem are false outside the metastable dimension range.

研究动机与目标

• 为高维拓扑中的嵌入与纽结问题提供一种清晰、几何直观的方法。
• 通过删除乘积障碍，将嵌入的同伦型分类简化为等变映射的同伦型分类。
• 提供近期关于纽结环面与嵌入结果的明确、易懂的陈述（不含证明），尤其关注非稳定维数范围以下的情形。
• 通过新结果（包括 Haefliger-Weber 定理的推广与非稳定范围外的反例）展示该领域兴趣的复兴。

提出的方法

• 利用经典的 van Kampen-Shapiro-Wu-Haefliger-Weber '删除乘积'障碍分析嵌入与纽结问题。
• 将嵌入的同伦型分类简化为配置空间之间等变映射的同伦型分类。
• 应用一般位置与横截性论证分析自交集及其可缩性。
• 采用三角剖分技术，结合星形与正规邻域构造自交集的同伦。
• 在具有受控奇点的流形背景下，应用吞噬引理与可缩性论证。
• 使用神经简化技术对浸入的自交集进行同伦简化。

实验结果

研究问题

• RQ1 在何种条件下，一个光滑流形可以嵌入到给定维数的欧氏空间中？
• RQ2 何时两个流形到欧氏空间的嵌入是同伦等价的？
• RQ3 Haefliger-Weber 嵌入定理的精确适用范围是什么？该范围之外会发生什么？
• RQ4 如何利用等变障碍理论显式确定纽结环面的同伦型分类？
• RQ5 删除乘积障碍在非稳定范围之外对嵌入分类的适用程度如何？

主要发现

• 本文对欧氏空间中的纽结环面提供了完整的显式分类，这是纽结理论中罕见的明确结果。
• 将 Haefliger-Weber 嵌入定理推广至非稳定范围以下的维数，扩展了其适用范围。
• 本文构造了反例，表明 Haefliger-Weber 定理的类比在非稳定维数范围之外不成立，凸显了非稳定条件的精确性。
• 通过可缩性与不相交邻域技术，浸入的自交集可同伦简化为图，表明在特定维数条件下 van Kampen 障碍消失。
• 通过到球面的等变映射方法，即使在环境流形具有轻微奇点时，仍为同伦型分类提供了强大工具。
• 证明技术表明，当 $2m \geq 3n+1$ 时，van Kampen 障碍消失，且即使仅删除乘积的 $[4m/3]-2$ 骨架可等变映射到 $S^{m-1}$，结论依然成立。