[論文レビュー] 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 ユークリッド空間への多様体の2つの埋め込みが、いつ同相的か？
• RQ3 Haefliger-Weber 埋め込み定理が成り立つ正確な範囲は何か？ その範囲外では何が起こるか？
• RQ4 等変障害理論を用いて、ねじれたトーラスの同相型分類をどのように明示的に決定できるか？
• RQ5 削除積障害は、メタ安定範囲を超えて埋め込みを分類するためにどの程度利用可能か？

主な発見

• 本稿は、ねじれたトーラスのユークリッド空間内での完全な明示的分類を提供しており、ねじれ理論においてはめったに見られない明確な結果である。
• 本稿は、Haefliger-Weber 埋め込み定理をメタ安定範囲以下の次元に一般化し、その適用範囲を拡張している。
• 本稿は、メタ安定次元範囲外では類似定理が成り立たない例を構成しており、メタ安定条件の鋭さを強調している。
• 自己交差集合は、可縮性および互いに素な近傍の技術を用いて、グラフにホモトピー的に簡略化可能であり、特定の次元条件下で van Kampen 障害が消えることを示唆している。
• 球面への等変写像を介するアプローチは、環境多様体に軽微な特異点がある場合でも、同相型分類に強力なツールを提供する。
• 証明技法により、$2m \geq 3n+1$ の条件下で van Kampen 障害が消えることが示され、削除積の $[4m/3]-2$ スキーマが $S^{m-1}$ に等変写像を許容する限り、結果は成り立つ。