[论文解读] Homotopy lifting property of an $e^ε$-Lipschitz and co-Lipschitz map

Shicheng Xu|arXiv (Cornell University)|Nov 26, 2012

Geometric Analysis and Curvature Flows参考文献 18被引用 3

一句话总结

本文在下有曲率的亚历山德罗夫空间背景下，建立了度量空间之间 $e^\epsilon$-Lipschitz 且 co-Lipschitz 映射的同伦提升性质。证明了在温和条件下，此类映射是 Hurewicz 纤维丛，将纤维丛定理推广至 Gromov-Hausdorff 收敛下的奇异极限，并在几乎非负曲率空间的基本群中实现同伦长正合序列与幂零性结果。

ABSTRACT

An $e^ε$-Lipschitz and co-Lipschitz map, as a metric analogue of an $ε$-Riemannian submersion, naturally arises from a sequence of Alexandrov spaces with curvature uniformly bounded below that converges to a space of only weak singularities. In this paper we prove its homotopy lifting property and its homotopy stability in Gromov-Hausdorff topology. Due to an overlook in the previous version, the part for bounding intrinsic distance of fibers will be talked about in the coming papers.

研究动机与目标

• 在度量几何与亚历山德罗夫空间的背景下，建立 $e^\epsilon$-Lipschitz 且 co-Lipschitz 映射的同伦提升性质。
• 将纤维丛定理推广至亚历山德罗夫空间序列在 Gromov-Hausdorff 收敛下的奇异极限。
• 将关于基本群结构（特别是子群幂零性）的结果推广至几乎非负曲率的亚历山德罗夫空间。
• 提供黎曼纤维丛的度量类比，即使缺乏唯一水平提升，仍能保持同伦控制。

提出的方法

• 通过距离函数的迭代梯度形变构造纤维的邻域形变收缩 $\varphi_p$，替代唯一水平提升。
• 利用亚历山德罗夫空间中的 $(n,\delta)$-撑杆（strainers）实现局部近似等距，以刻画点附近的局部几何。
• 应用 Gromov-Hausdorff 拓扑分析下有曲率的亚历山德罗夫空间序列的收敛性。
• 依赖 $e^\epsilon$-LcL 映射的定义：对所有 $r>0$，有 $B_{e^{-\epsilon}r}(f(p)) \subseteq f(B_r(p)) \subseteq B_{e^{\epsilon}r}(f(p))$，以确保度量控制。
• 通过撑杆正则点的局部近似等距结构，将全局纤维丛问题约化为局部性质。
• 应用 Perelman 与 Kapovitch-Petrunin-Tueschmann 关于坍缩空间中基本群结构的结果。

实验结果

研究问题

• RQ1 度量空间之间的 $e^\epsilon$-Lipschitz 且 co-Lipschitz 映射是否满足同伦提升性质？
• RQ2 在缺乏唯一水平提升的情况下（如黎曼纤维丛），此类映射能否作为纤维丛？
• RQ3 黎曼纤维丛的纤维丛定理在亚历山德罗夫空间的奇异极限下能推广到何种程度？
• RQ4 在亚历山德罗夫空间序列的 Gromov-Hausdorff 极限下，哪些同伦与基本群结构得以保持？
• RQ5 在几乎非负曲率的亚历山德罗夫空间中，基本群的幂零性是否可被统一有界？

主要发现

• 从具有下有曲率的有限维亚历山德罗夫空间 $X$ 到 $n$-维黎曼流形 $B$ 的恰当 $(1.023)$-LcL 映射 $f: X \to B$ 是 Hurewicz 纤维丛。
• 对任意 $n$，存在 $\delta_0(n)$，使得若 $B$ 为 $n$-维且每点均为 $(n,\delta)$-撑杆点且 $\delta < \delta_0(n)$，则 $f$ 是 Hurewicz 纤维丛。
• 此类映射的同伦纤维在同伦群中存在长正合序列，且 $f_*$ 诱导同构 $\pi_l(X_i, F_i, x_i) \to \pi_l(X, x)$ 对所有 $l \geq 1$ 成立。
• 同伦纤维的基本群包含一个指数由仅依赖于维数 $n$ 的绝对常数 $C(n)$ 有界的幂零子群。
• 该结果可推广至几乎非负曲率的亚历山德罗夫空间：若 $\operatorname{diam}(M)^2 \cdot \kappa > -\epsilon(n)$，则 $\pi_1(M)$ 包含一个指数 $\leq C(n)$ 的幂零子群。
• 即使极限空间具有弱奇点，此类纤维丛结构在下有曲率的亚历山德罗夫空间序列的 Gromov-Hausdorff 极限下依然保持。