[论文解读] 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）在实现收敛中的作用，并以最少的工具探索此类结果的极限。
• 证明核心收敛机制可通过立方图和布莱克斯-马西定理等初等技术理解，使理论更具可及性。

提出的方法

• 作者使用嵌入空间的立方图，并应用布莱克斯-马西定理来分析泰勒塔中映射的连通性。
• 他们将第 k 个泰勒阶段 Tk Emb(M, ℝⁿ) 定义为对 {1, ..., k+1} 的子集的 k 个点配置空间的不相交并集嵌入 ℝⁿ 的极限。
• 通过一般位置论证和配置空间投影（特别是在 ℝⁿ 中）来分析连通性。
• 证明利用了在维数约束下，{1, ..., k+1} 的子集上嵌入的立方体在一定连通性范围内是笛卡尔的这一事实。
• 关键技术步骤是证明立方体 Qk 在维度 ∑(n − qi − qk+1 − 2) + 1 范围内是笛卡尔的，然后将其特化到嵌入情形。
• 论证结构从塔中各映射的连通性逐步构建，最终通过连通性归纳得出收敛结果。

实验结果

研究问题

• RQ1 确立嵌入到 ℝⁿ 的泰勒塔收敛性所需的最小工具集是什么？
• RQ2 能否仅使用初等技术，将 Emb(M, ℝⁿ) → Tk Emb(M, ℝⁿ) 映射的连通性提升至超越标准弱收敛界？
• RQ3 与最优条件 n > m + 2 相比，n > 2m + 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)。
• 证明仅使用了立方图、一般位置和布莱克斯-马西定理，避免了手术理论或伪同伦理论中的高级工具。
• 该结果可推广至任意无边界的 n 维光滑流形 N，连通性界保持不变。
• 尽管结果弱于目前已知的最佳陈述（n > m + 2），但强于任何先前发表的弱收敛结果，且证明是自包含且易于理解的。