[论文解读] Hyperbolicity, CAT(-1)-spaces and the Ptolemy Inequality

Thomas Foertsch, Viktor Schroeder|ArXiv.org|May 16, 2006

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

一句话总结

本文建立了度量空间作為 CAT(-1) 空間的視覺邊界所必須滿足的必要條件：Ptolemy 不等式，該不等式將經典的 Ptolemy 定理推廣至雙曲幾何。利用從 Bourdon 的工作推導出的四點不等式，作者證明任何 CAT(-1) 空間的邊界均滿足此 Möbius 不變不等式，且等式成立當且僅當四點在雙曲平面上構成一個理想四邊形。這為某空間無法成為 CAT(-1) 空間的視覺邊界提供了幾何障礙。

ABSTRACT

Using a four points inequality for the boundary of CAT(-1)-spaces, we study the relation between Gromov hyperbolic spaces and CAT(-1)-spaces.

研究动机与目标

• 識別度量空間成為 CAT(-1) 空間視覺邊界的必要幾何條件。
• 利用邊界幾何分析 Gromov 超曲空間與 CAT(-1) 空間之間的關係。
• 透過利用漸近上曲率界進行規範化，提供 Gromov 超曲空間與 CAT(-1) 空間之間粗等距的特徵化。
• 證明 Ptolemy 不等式在 Möbius 變換下不變，因此適用於邊界幾何。

提出的方法

• 從 CAT(-1) 空間邊界上的 Bourdon 結果推導出四點不等式。
• 將 Ptolemy 不等式引入為 CAT(-1) 空間視覺邊界上的一個 Möbius 不變條件。
• 使用臨界度量規範化（K_u(X) = -1）來研究視覺 Gromov 超曲空間與 CAT(-1) 空間之間的粗等距關係。
• 應用 Assouad 嵌入定理與雪flake 映射，構造到希爾伯特空間的嵌入，進而構造到 CAT(-1) 空間邊界的嵌入。
• 利用球極投影與雙-Lipschitz 嵌入，構造從 ℓ¹ 空間中的單位球到無限維 CAT(-1) 空間邊界的 1/2-snowflake 映射。
• 利用 Lang-Schlichenmaier 與 Alexander-Bishop 的結果，證明若 Assouad-Nagata 維度有限，則經小尺度調整後可實現粗等距。

实验结果

研究问题

• RQ1 哪些度量空間可作為 CAT(-1) 空間的視覺邊界？
• RQ2 邊界空間必須滿足何種必要幾何條件，才能實現為 CAT(-1) 空間的邊界？
• RQ3 在何種條件下，視覺 Gromov 超曲空間與 CAT(-1) 空間粗等距？
• RQ4 Ptolemy 不等式與雙曲空間中理想四邊形的幾何有何關係？
• RQ5 能否利用有限 Assouad-Nagata 維度空間的 snowflake 映射構造到 CAT(-1) 空間邊界的嵌入？

主要发现

• 任何 CAT(-1) 空間的邊界均滿足 Ptolemy 不等式：對邊界上任意四點，有 |y₁y₃||y₂y₄| ≤ |y₁y₂||y₃y₄| + |y₂y₃||y₄y₁|。
• Ptolemy 不等式中等式成立當且僅當四點的凸包與雙曲平面上以 y₁y₃ 和 y₂y₄ 為對角線的理想四邊形等距。
• Ptolemy 不等式在 Möbius 變換下不變，使其成為 CAT(-1) 空間邊界幾何的自然條件。
• 對於任何非樹狀的視覺 Gromov 超曲空間，且其邊界具有加倍性質，將臨界度量按任意 λ < 1 比例縮放，可得到與 CAT(-1) 空間粗等距的空間。
• 若邊界具有有限的 Assouad-Nagata 維度，則對臨界度量進行某種小尺度調整後，可實現與 CAT(-1) 空間的粗等距。
• 存在一個從 ℓ¹ 空間中單位球到無限維 CAT(-1) 空間邊界的 1/2-snowflake 映射，其構造方式為經由球極投影與希爾伯特空間中的雙-Lipschitz 嵌入。