[论文解读] The Cartan-Hadamard Theorem for Metric Spaces with Local Bicombings

Benjamin Miesch|arXiv (Cornell University)|Sep 23, 2015

Geometric and Algebraic Topology参考文献 10被引用 3

一句话总结

本文将Cartan-Hadamard定理推广至具有局部双测地线（即具有凸性与1-Lipschitz性质的测地线选择）的度量空间，证明此类空间是单连通的，并表现出类似非正曲率的性质。此外，本文建立了局部到整体的原理，证明在温和条件下，完备、单连通且局部内射的度量空间必为全局内射。

ABSTRACT

The classical Cartan-Hadamard Theorem was generalized by W. Ballmann for metric spaces with non-positive curvature and by S. Alexander and R. Bishop for locally convex metric spaces. In this paper, we prove the Cartan-Hadamard Theorem in a more general setting, namely for spaces which are not uniquely geodesic but locally possess a suitable selection of geodesics, a so-called convex bicombing. Furthermore, we deduce a local to global theorem for injective (or hyperconvex) metric spaces, saying that under certain conditions a complete, simply-connected, locally injective metric space is injective. A related result for absolute $1$-Lipschitz retracts follows.

研究动机与目标

• 将经典的Cartan-Hadamard定理从唯一测地线空间推广至具有结构化测地线选择的更一般的度量空间。
• 研究在缺乏唯一测地线的度量空间中，局部双测地线所引发的几何与拓扑后果。
• 建立内射（超凸）度量空间的局部到整体原理，刻画局部内射在何种条件下蕴含全局内射。
• 探讨凸双测地线、非正曲率与绝对1-Lipschitz重言空间结构之间的关系。

提出的方法

• 引入凸双测地线的概念：在邻域内连接点对的一族1-Lipschitz曲线，其凸性保证了类似测地线的行为。
• 利用此类双测地线的存在性，定义非唯一测地线空间中的非正曲率概念。
• 应用受Alexandrov几何启发的比较技术，分析具有局部双测地线的空间的全局结构。
• 采用拓扑论证，包括同伦提升性质与单连通性，由局部内射推导出全局内射。
• 利用绝对收缩核与超凸性的理论，刻画局部内射蕴含全局内射的条件。
• 建立凸双测地线与完备、单连通空间中绝对1-Lipschitz重言空间结构之间的对偶关系。

实验结果

研究问题

• RQ1 Cartan-Hadamard定理能否推广至非唯一测地线但具有凸双测地线的度量空间？
• RQ2 配备凸双测地线的度量空间会涌现出哪些拓扑与几何性质？
• RQ3 在完备、单连通的度量空间中，局部内射（超凸性）在何种条件下蕴含全局内射？
• RQ4 凸双测地线与度量空间中绝对1-Lipschitz重言空间结构之间有何关系？
• RQ5 在具有局部双测地线的空间中，CAT(0)空间的非正曲率行为能在多大程度上被恢复？

主要发现

• 在配备凸双测地线的度量空间中，Cartan-Hadamard定理成立，表明此类空间是单连通的，并表现出类似非正曲率的行为。
• 若完备、单连通的度量空间具有局部凸双测地线，且其局部内射，则该空间为全局内射（超凸）。
• 建立了内射度量空间的局部到整体原理：在单连通性与完备性的假设下，局部内射蕴含全局内射。
• 具有凸双测地线的空间支持一种行为良好的曲率概念，将CAT(0)条件推广至非唯一测地线情形。
• 若空间完备且单连通，则凸双测地线的存在性意味着该空间为绝对1-Lipschitz重言空间。
• 本研究统一并推广了Ballmann与Alexander-Bishop的先前定理，通过双测地线结构将结果拓展至非唯一测地线空间。