[论文解读] A Remark on the Projective Geometry of Constant Curvature Spaces

Athanase Papadopoulos, Sumio Yamada|arXiv (Cornell University)|Sep 17, 2012

Advanced Differential Geometry Research参考文献 5被引用 3

一句话总结

该论文通过将欧几里得、球面和双曲空间嵌入闵考斯基空间 ℝⁿ,¹，并定义各几何特有的交比，建立了一个统一的常曲率空间射影几何框架。证明了从上半球面（球面）和双曲空间到欧几里得平面的射影映射保持交比，从而提出了新的广义贝尔特拉米-克莱因模型，将双曲空间实现为在球面和双曲几何中具有希尔伯特度量的测地球的等距像。

ABSTRACT

We highlight the relation between the projective geometries of $n$-dimensional Euclidean, spherical and hyperbolic spaces through the projective models of these spaces in the $n+1$-dimensional Minkowski space, using a cross ratio notion which is proper to each of the three geometries.

研究动机与目标

• 通过在闵考斯基空间中建立统一框架，统一常曲率空间——欧几里得、球面和双曲空间——的射影几何。
• 为每种空间定义几何特定的交比，使其在射影变换下保持不变。
• 证明从球面和双曲空间到欧几里得平面的射影映射保持交比，从而作为透视变换。
• 引入基于球面和双曲几何中测地球上希尔伯特度量的双曲空间广义贝尔特拉米-克莱因模型。
• 证明双曲空间与配备球面或双曲希尔伯特度量的测地球之间存在等距关系。

提出的方法

• 定义三种不同的交比：欧几里得（距离之比）、球面（距离正弦之比）和双曲（距离双曲正弦之比）。
• 将球面的射影模型定义为 ℝⁿ,¹ 中的上半球面，通过径向投影到平面 {xₙ₊₁ = 1}。
• 将双曲空间的射影模型定义为闵考斯基空间 ℝⁿ,¹ 中单位双曲面的上叶，通过径向投影到 {xₙ₊₁ = 1}。
• 通过三角恒等式和双曲恒等式，将球面/双曲距离与平面上的欧几里得距离关联，证明径向投影映射保持交比。
• 将球面和双曲希尔伯特度量定义为四元组 (x, y, b(x,y), b(y,x)) 的相应交比的对数。
• 证明射影映射是测地球上的希尔伯特度量与标准双曲度量之间等距同构。

实验结果

研究问题

• RQ1 如何通过闵考斯基空间中的统一模型，统一欧几里得、球面和双曲空间的射影几何？
• RQ2 在三种常曲率几何中，交比的恰当定义是什么？它在射影变换下如何表现？
• RQ3 能否证明从上半球面和双曲空间到欧几里得平面的径向投影保持交比，从而作为透视变换？
• RQ4 球面和双曲测地球上的希尔伯特度量是否能给出与双曲空间等距的模型？
• RQ5 能否基于这些希尔伯特度量，在曲率测地球上构造双曲空间的广义贝尔特拉米-克莱因模型？

主要发现

• 从 Sⁿ 的上半球面到平面 {xₙ₊₁ = 1} 的径向投影保持球面交比，因此是透视变换。
• 从双曲空间 ℍⁿ 到同一平面的径向投影保持双曲交比，因此是透视变换。
• 在 Sⁿ 中半径 ρ ≤ π/2 的测地球 Bₛᵨ 上的球面希尔伯特度量 Hₛᵨ 与双曲空间 ℍⁿ 等距。
• 在 ℍⁿ 中的测地球 Bₕᵨ 上的双曲希尔伯特度量 Hₕᵨ 与双曲空间 ℍⁿ 等距，证实了广义贝尔特拉米-克莱因模型。
• 射影映射 Pₛ 和 Pₕ 是测地球上的希尔伯特度量与 ℍⁿ 上标准双曲度量之间的等距同构。
• 该构造提出了一类新的广义贝尔特拉米-克莱因模型，基于球面和双曲几何中测地球上的希尔伯特度量。