[论文解读] Flats in Spaces with Convex Geodesic Bicombings

Dominic Descombes, Urs Lang|arXiv (Cornell University)|Aug 11, 2015

Geometric and Algebraic Topology参考文献 22被引用 2

一句话总结

本文建立了度量空间中具有凸测地线双射（generalizing CAT(0) 和 Busemann 空间）时，其包含等距嵌入的平坦平面或环面的条件。通过引入一致、凸的双射并利用群作用，作者将平坦环面定理和格罗莫夫的双曲性判据推广至非唯一测地线空间，证明了具有此类双射的完备、余紧空间包含平坦子空间当且仅当其为非双曲空间或包含秩 ≥1 的自由阿贝尔子群。

ABSTRACT

In spaces of nonpositive curvature the existence of isometrically embedded flat (hyper)planes is often granted by apparently weaker conditions on large scales. We show that some such results remain valid for metric spaces with non-unique geodesic segments under suitable convexity assumptions on the distance function along distinguished geodesics. The discussion includes, among other things, the Flat Torus Theorem and Gromov's hyperbolicity criterion referring to embedded planes. This generalizes results of Bowditch for Busemann spaces.

研究动机与目标

• 将经典平坦性定理（如平坦环面定理与格罗莫夫的双曲性判据）从 CAT(0) 和 Busemann 空间推广至具有非唯一测地线的度量空间。
• 引入并分析一致、凸测地线双射在平坦子空间存在性中的作用，作为较弱但充分的曲率条件。
• 通过将非正曲率几何与巴拿赫空间理论的结果统一，推广至具有凸但非唯一测地线的空间。
• 建立完备度量空间中具有余紧等距群作用与一致双射的条件下，其包含等距嵌入的赋范平面或环面的条件。
• 表明平行 σ-直线的 σ-凸包可能为“厚”的，挑战了在唯一测地线空间中的直观认知。

提出的方法

• 引入满足一致性和凸性公理 (i)–(iv) 的一致测地线双射 σ，确保测地线段上距离函数的凸性。
• 利用 σ-凸性与 σ-直线的概念，将平坦子空间定义为通过与双射相容的等距嵌入映射到赋范空间的像。
• 应用双射 σ 在完备、余紧群作用下的 Γ-等变性，以在群平移下保持几何结构。
• 通过有限点集的重心极限构造，定义 1-李普希茨逼近 fk: R^n →X，确保位移的次线性增长。
• 应用定理 4.1 与命题 6.2，证明这些映射的极限可给出具有赋范结构的 R^n 的等距嵌入。
• 构造显式反例（例如在 R^3 上赋予最大范数），表明即使双射是等变的，嵌入的平坦子空间也不必是 σ-凸的。

实验结果

研究问题

• RQ1 在具有统一测地线双射的完备度量空间中，其包含等距嵌入的赋范平面的条件是什么？
• RQ2 若存在凸双射，是否可将平坦环面定理推广至无唯一测地线的空间？
• RQ3 在非 Busemann 空间中，沿选定测地线的距离函数的凸性在多大程度上可保证平坦子空间的存在？
• RQ4 在一致双射下，赋范空间的等距嵌入像是否必为 σ-凸？
• RQ5 平行 σ-直线的 σ-凸包行为与唯一测地线空间中的行为有何不同？

主要发现

• 具有统一双射与余紧等距群作用的完备度量空间是双曲的，当且仅当其不包含等距嵌入的赋范平面。
• 若群 Γ 在完备度量空间 X 上作用完备且余紧，且 X 具有 Γ-等变的一致双射，且 Γ 包含秩 n ≥ 1 的自由阿贝尔子群，则 X 包含一个等距嵌入的 n 维赋范空间，其上 A 作用为平移。
• 通过轨道点的重心构造的极限映射 g: R^n →X 是 1-李普希茨的，且满足 o(k) 的次线性位移增长，从而保证平坦嵌入的存在。
• 任何满足群作用条件的等距嵌入 f: (R^n, ∥·∥) →X 的像不一定是 σ-凸的，如在 R^3 上赋予最大范数的反例所示。
• X 上的一致双射 σ 确保 {σxy} 家族的一致性，且两个平行 σ-直线的 σ-凸包可能为“厚”的，这与 Busemann 空间不同。
• 通过重心构造极限映射 f 以及使用次线性位移估计（例如 d(g(a), αx) = o(k)）是证明极限中等距平坦性的关键。