[论文解读] Rough CAT(0) spaces

Stephen M. Buckley, Kurt Falk|arXiv (Cornell University)|Apr 11, 2011

Geometric and Algebraic Topology参考文献 15被引用 6

一句话总结

本文引入并研究了粗糙 CAT(0) 空间，这是一种统一框架，通过在 CAT(0) 比较不等式中允许加法误差，将格罗莫夫双曲空间和 CAT(0) 空间统一起来。作者定义了两种主要变体——具有统一误差界 rCAT(κ) 和依赖函数的 rCAT(κ;*)，证明了它们的等价性，并表明这些空间支持丰富的边界理论，同时通过乘积和粘合构造了非平凡的例子，并证明了若赋范向量空间满足粗糙 CAT(0) 条件，则其必为 CAT(0) 空间。

ABSTRACT

We investigate various notions of rough CAT(0). These conditions define classes of spaces that strictly include the union of all Gromov hyperbolic length spaces and all CAT(0) spaces.

研究动机与目标

• 开发一个统一的非正曲率理论，涵盖格罗莫夫双曲空间和 CAT(0) 空间。
• 通过在 CAT(0) 比较条件中引入加法误差项，定义并分析粗糙 CAT(0) 空间。
• 研究粗糙 CAT(0) 空间的几何与拓扑性质，包括测地线唯一性与边界行为。
• 通过乘积和等距粘合构造粗糙 CAT(0) 空间的非平凡例子，这些例子既非 CAT(0) 也非格罗莫夫双曲。
• 证明满足粗糙 CAT(0) 条件的赋范向量空间必为 CAT(0) 空间，从而排除该类中存在非 CAT(0) 例子的可能性。

提出的方法

• 通过 h-短线段和在 CAT(0) 比较不等式中引入与三角形大小相关的统一加法误差，定义 rCAT(κ) 空间，其中 h 依赖于三角形大小。
• 引入更具灵活性的 rCAT(κ;*) 变体，其中误差界为三角形顶点的任意正函数，并证明其与 rCAT(κ) 等价。
• 建立弱和非常弱的 rCAT(0) 条件，表明非常弱条件等价于 Kasparov 与 Skandalis 提出的双曲性条件。
• 利用赋范向量空间的伸缩不变性，证明在此类空间中 rCAT(0) 蕴含 CAT(0)。
• 通过粗糙 CAT(0) 空间的 l²-乘积构造例子，证明此类乘积保持 rCAT(0) 性质。
• 沿有界凸子集进行等距粘合，构造新的粗糙 CAT(0) 空间，并表明当粘合集无界时该性质会失效。

实验结果

研究问题

• RQ1 能否构建一个统一框架，同时包含格罗莫夫双曲空间与 CAT(0) 空间，并保持其关键几何与边界理论性质？
• RQ2 CAT(0) 比较条件的正确推广是什么，允许加法误差但仍能形成稳健的几何理论？
• RQ3 是否存在非平凡的粗糙 CAT(0) 空间，其既非 CAT(0) 也非格罗莫夫双曲？
• RQ4 在赋范向量空间中，rCAT(0) 条件是否蕴含完整的 CAT(0) 条件？
• RQ5 沿凸子集对粗糙 CAT(0) 空间进行等距粘合是否总是保持该性质？当粘合集无界时会发生什么？

主要发现

• 当误差界为三角形顶点的函数时，rCAT(κ;*) 条件与具有统一误差界的 rCAT(κ) 条件等价。
• 每个 CAT(0) 空间都是 (2+√3)-rCAT(0)，表明 rCAT(0) 类严格包含 CAT(0) 空间。
• 两个粗糙 CAT(0) 空间的 l²-乘积仍是粗糙 CAT(0)，且此类构造可产生既非 CAT(0) 也非格罗莫夫双曲的空间。
• 沿有界凸子集对粗糙 CAT(0) 空间进行等距粘合可保持 rCAT(0) 性质，但当粘合集无界时该性质不成立。
• 赋范实向量空间是 rCAT(0) 当且仅当其为 CAT(0)，即在此类空间中不存在非 CAT(0) 的例子。
• 非常弱的 rCAT(0) 条件等价于 Kasparov 与 Skandalis 提出的双曲性条件，将粗糙 CAT(0) 理论与 K-理论猜想联系起来。