[论文解读] Hurewicz fibration Theorem and Margulis lemma on Alexandrov spaces

Shicheng Xu, Xuchao Yao|arXiv (Cornell University)|Feb 28, 2019

Advanced Topology and Set Theory参考文献 23被引用 4

一句话总结

本文证明了在具有下界曲率的坍塌亚历山德罗夫空间上，正则几乎利普希茨的子mersions 是胡列维奇纤维丛，且任意两个此类纤维丛在同一家族中同伦等价。作为关键应用，本文证明了广义马尔古利斯引理的统一指标界版本，表明小环路生成的子群包含一个指标至多为 $ w(n) $ 的幂零子群，其中 $ w(n) $ 仅依赖于维数 $ n $。

ABSTRACT

In this paper we prove any regular almost Lipschitz submersion constructed by Yamaguchi on a collapsed Alexandrov space with curvature bounded below is a Hurewicz fibration (Theorem A), and any two such fibrations on one collapsed Alexandrov space are homotopy equivalent to each other (Theorem B). As an partial application of Theorem A, we give a proof of the generalized Margulis lemma with a uniform index bound on an Alexandrov $n$-space $X$ with curvature bounded below, i.e., small loops at $p\in X$ generate a subgroup of the fundamental group of $1$-ball $B_1(p)$ that contains a nilpotent subgroup of index $\le w(n)$, where $w(n)$ is a constant depending only on the dimension $n$.

研究动机与目标

• 建立在具有下界曲率的坍塌亚历山德罗夫空间上，正则几乎利普希茨子mersions 的胡列维奇纤维丛性质。
• 证明在同一个坍塌亚历山德罗夫空间上，任意两个此类纤维丛彼此同伦等价。
• 将纤维丛结构应用于推导亚历山德罗夫 $ n $-空间中广义马尔古利斯引理的统一指标界。
• 证明该指标界仅依赖于维数 $ n $，而不依赖于特定点或空间。

提出的方法

• 利用山口氏在具有下界曲率的坍塌亚历山德罗夫空间上构造正则几乎利普希茨子mersions 的方法。
• 应用胡列维奇纤维丛理论，证明这些子mersions 满足同伦提升性质。
• 采用同伦等价技术，比较同一空间上的不同纤维丛。
• 将纤维丛结构应用于分析空间中小球的基本群。
• 利用小球基本群的幂零子群结构，推导出统一的指标界。
• 依赖于具有下界曲率的亚历山德罗夫空间的几何与拓扑性质，以控制小环路的群论行为。

实验结果

研究问题

• RQ1 在具有下界曲率的坍塌亚历山德罗夫空间上，正则几乎利普希茨子mersion 是否为胡列维奇纤维丛？
• RQ2 在同一个坍塌亚历山德罗夫空间上，任意两个此类纤维丛是否同伦等价？
• RQ3 能否利用纤维丛结构在广义马尔古利斯引理中建立统一的指标界？
• RQ4 小球基本群中幂零子群的指标是否仅依赖于维数 $ n $？
• RQ5 在具有下界曲率的坍塌亚历山德罗夫空间中，小球基本群的性质是什么？

主要发现

• 在具有下界曲率的坍塌亚历山德罗夫空间上，任意正则几乎利普希茨子mersion 均为胡列维奇纤维丛。
• 在固定坍塌亚历山德罗夫空间上，所有此类纤维丛彼此同伦等价。
• 广义马尔古利斯引理在统一指标界下成立：任意点处的小环路生成的子群包含一个指标至多为 $ w(n) $ 的幂零子群。
• 常数 $ w(n) $ 仅依赖于维数 $ n $，而不依赖于特定空间或点。
• 纤维丛结构为分析坍塌亚历山德罗夫空间中小球的基本群提供了一个拓扑框架。
• 该结果确认了在亚历山德罗夫空间非坍塌极限中，局部基本群结构具有统一的几何-拓扑控制。