[論文レビュー] A streamlined proof of the convergence of the Taylor tower for embeddings in $\mathbb R^n$

Franjo Šarčević, Ismar Volić|arXiv (Cornell University)|Jul 28, 2017

Nonlinear Dynamics and Pattern Formation被引用数 1

ひとこと要約

この論文は、立方体図と一般位置の技法を用いて、ℝⁿ への滑らかな埋め込み空間のテイラー塔の収束について、簡潔でアクセスしやすい証明を提供する。n > 2m + 2 のとき、塔は収束し、埋め込みから逆極限への写像は (k(n − m − 2) − m + 1)-連結であることが示され、先行研究における弱い連結性の上限を改善するが、ホモトピー論や手術理論の高度な道具を避ける。

ABSTRACT

Manifold calculus of functors has in recent years been successfully used in the study of the topology of various spaces of embeddings of one manifold in another. Given a space of embeddings, the theory produces a Taylor tower whose purpose is to approximate this space in a suitable sense. Central to the story are deep theorems about the convergence of this tower. We provide an exposition of the convergence results in the special case of embeddings into $\mathbb R^n$, which has been the case of primary interest in applications. We try to use as little machinery as possible and give several improvements and restatements of existing arguments used in the proofs of the main results.

研究の動機と目的

• ホモトピー理論の高度な道具に依存を最小限に抑えて、ℝⁿ への埋め込みのテイラー塔の収束について、簡素で自己完結的な証明を提供すること。
• 埋め込み空間 Emb(M, ℝⁿ) からテイラー塔の各段階への写像の既知の連結性推定値を、特に標準的な「弱収束」境界を超えて改善すること。
• 収束を達成するための次元制約、特に n > 2m + 2 の役割を明確にし、最小限の道具でその限界を探ること。
• 核心的な収束メカニズムが、立方体図とブレイカーズ＝マセイの定理といった初等的技法によって理解可能であることを示し、理論をよりアクセスしやすくすること。

提案手法

• 著者たちは、埋め込み空間の立方体図を用い、Blakers-Massey 定理を応用してテイラー塔内の写像の連結性を分析する。
• k番目のテイラー段階 Tk Emb(M, ℝⁿ) を、k点の配置空間の互いに素な和集合の ℝⁿ への埋め込みに関する極限として定義する。
• 連結性は、一般位置の議論と、特に ℝⁿ における配置空間の射影の使用によって分析される。
• 証明は、部分集合に対する埋め込みの立方体が、次元制約から生じるある連結性までカルテジアンであるという事実に依存する。
• 鍵となる技術的ステップは、立方体 Qk が次に示される次元までカルテジアンであることを示すことである：∑(n − qi − qk+1 − 2) + 1。これは埋め込みの場合に特殊化される。
• 証明は、塔内の個々の写像の連結性から段階的に構築され、連結性の帰納法によって収束結果に至る。

実験結果

リサーチクエスチョン

• RQ1 テイラー塔の収束を確立するために必要な最小限の道具の集合は何か？
• RQ2 初等的技法のみを用いて、Emb(M, ℝⁿ) → Tk Emb(M, ℝⁿ) の写像の連結性を、標準的な弱収束境界を超えて改善できるか？
• RQ3 n > 2m + 2 の次元条件は、最良の条件である n > m + 2 と比べて、収束結果の強さにおいてどのように異なるか？
• RQ4 同じ手法を用いて、境界のない任意の滑らかな多様体 N への埋め込みへ一般化できる範囲はどの程度か？
• RQ5 強い収束（n > m + 2）の証明が、この論文の範囲を超える理由は何か？主な障害は何か？

主な発見

• 滑らかな境界のない m 次元多様体 M に対して、写像 Tk+1 Emb(M, ℝⁿ) → Tk Emb(M, ℝⁿ) は (k(n − m − 2) − m + 1)-連結である。
• n > 2m + 2 のとき、Emb(M, ℝⁿ) のテイラー塔は埋め込み空間に収束する。つまり、Emb(M, ℝⁿ) → T∞ Emb(M, ℝⁿ) は弱ホモトピー同値である。
• 写像 Emb(M, ℝⁿ) → Tk Emb(M, ℝⁿ) は (k(n − m − 2) − m + 1)-連結であり、標準的な弱収束境界 (k(n − 2m − 2) − m + 1) よりも改善されている。
• 証明は、立方体図、一般位置、および Blakers-Massey 定理のみを用い、手術理論や擬等長理論の高度な道具を避ける。
• 結果は、境界のない任意の滑らかな多様体 N への埋め込みへ、同じ連結性境界を用いて一般化可能である。
• 最良の既知の結果（n > m + 2）よりは弱いが、これまでに発表されたあらゆる弱収束結果よりも強く、証明は自己完結的かつアクセス可能である。