[论文解读] A rank-one CAT(0) group is determined by its Morse boundary

Ruth Charney, Devin Murray|arXiv (Cornell University)|Jul 21, 2017

Geometric and Algebraic Topology参考文献 16被引用 5

一句话总结

本文证明了一个非退化CAT(0)群完全由其Morse边界决定：两个此类群的Morse边界之间的同胚映射是拟等距映射的诱导映射，当且仅当该同胚映射既是拟Möbius的，又是2-稳定的。该结果将Paulin在双曲空间中的定理推广至更广泛的CAT(0)空间类，通过边界动力学实现了拟等距分类。

ABSTRACT

The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for cocompact CAT(0) spaces, a homeomorphism of Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.

研究动机与目标

• 确定一个同胚映射何时由两个完备、余紧的CAT(0)空间的Morse边界之间的拟等距映射诱导。
• 将Paulin在双曲空间中的拟等距分类定理推广至非退化CAT(0)空间。
• 识别出边界同胚映射诱导拟等距的必要且充分的动力学条件——拟Möbius性与2-稳定性。
• 证明Morse边界完全确定了非退化CAT(0)群在拟等距下的唯一性。

提出的方法

• 将Morse边界∂*X定义为完备CAT(0)空间X中具有Morse性质的收缩测地射线的集合。
• 利用Morse边界的拟等距不变性：两个空间之间的拟等距映射诱导其Morse边界之间的同胚映射。
• 从给定的拟Möbius且2-稳定的同胚映射f:∂*X→∂*Y，通过均匀收缩三元组的重心构造候选拟等距映射h:X→Y。
• 通过统一收缩常数和投影有界性来控制距离，证明构造的映射h是拟等距。
• 通过用轨道点列逼近边界点并利用测地线的收敛性质，验证由h诱导的边界映射∂*h与f一致。
• 利用空间X ∪ ∂*X上的拓扑结构，其中测地线收敛到边界点等价于投影的逐点收敛。

实验结果

研究问题

• RQ1 在何种条件下，CAT(0)空间的Morse边界之间的同胚映射可由拟等距映射诱导？
• RQ2 拟Möbius条件是否足以诱导拟等距？是否还需要额外条件？
• RQ3 在通过Morse边界分类CAT(0)群时，2-稳定性条件能否被削弱或移除？
• RQ4 每个非退化CAT(0)空间的Morse边界之间的拟Möbius同胚映射是否自动满足2-稳定性？

主要发现

• 完备、余紧的CAT(0)空间的Morse边界之间的同胚映射f:∂*X→∂*Y，当且仅当f既是拟Möbius的又是2-稳定的，才可由拟等距映射h:X→Y诱导。
• 当且仅当作用在X上的群是非退化且非虚拟循环群时，Morse边界∂*X包含至少三个点。
• 构造的映射h:X→Y是拟等距，其常数仅依赖于f的拟Möbius常数与2-稳定常数。
• 由h诱导的边界映射∂*h与f一致，该结论通过用轨道点列逼近边界点并利用投影收敛性得到验证。
• 证明依赖于收缩三角形性质，以及对具有统一有界收缩常数的测地线三元组的投影实现统一控制。
• 作者猜想：每个完备、余紧CAT(0)空间的Morse边界之间的拟Möbius同胚映射自动满足2-稳定性，暗示Paulin定理的完整类比可能成立。