[论文解读] The Alexandrov-Toponogov comparison theorem for radial curvature

Nobuhiro Innami, Katsuhiro Shiohama+1 more|arXiv (Cornell University)|Feb 19, 2013

Advanced Theoretical and Applied Studies in Material Sciences and Geometry参考文献 3被引用 3

一句话总结

本文在带基点 o 的 pointed Riemannian 流形 (M,o) 中，为以 o 为顶点的测地三角形建立了径向曲率版本的 Alexandrov-Toponogov 比较定理。通过引入一个旋转面参考流形 (M̃, õ)，并施加一个避免同时切点障碍的条件——即确保距离函数到 o 的局部极大值点的参考点不位于 M̃ 中 p 的切点集中——作者证明了 M̃ 中的比较三角形保持度量不等式。关键结果为比较三角形满足 d(ô, x̃) ≤ d(o,x)，且角度比较成立，从而可定义径向曲率下确界有界的 Alexandrov 空间。

ABSTRACT

We discuss the Alexandrov-Toponogov comparison theorem under the conditions of radial curvature of a pointed manifold (M,o) with reference surface of revolution. There are two obstructions to make the comparison theorem for a triangle one of whose vertices is a base point o. One is the cut points of another vertex of a comparison triangle in the reference surface of revolution. The other is the cut points of the base point o in M. We find a condition under which the omparison theorem is valid for any geodesic triangle with a vertex at o in M.

研究动机与目标

• 将 Alexandrov-Toponogov 比较定理推广至带基点 Riemannian 流形中的径向曲率设定。
• 识别并解决两个阻碍：参考流形中的切点与 M 中距离函数的局部极大值点，这些阻碍会阻止有效比较三角形的构造。
• 确立充分条件，使得在旋转面模型中，比较三角形能保持度量与角度不等式。
• 利用比较定理，定义一类带基点的 Alexandrov 空间，其径向曲率下确界由函数 K 控制。

提出的方法

• 定义参考映射 Φ: M → M̃，将 M 中每一点 q 映射到旋转面模型 M̃ 中基于其与 o 距离的比较点 q̃。
• 在 M̃ 上使用测地极坐标系 (r, θ)，其度量为 ds² = dr² + f(r)² dθ²，以构造模型空间。
• 引入条件 Φ(E(p)) ∩ Cut(ṕ) = ∅，其中 E(p) 是以 o 和 p 为焦点的椭球面上 d(·, o) 的局部极大值点集合，以避免切点障碍。
• 证明在此条件下，参考曲线 T̃(p,q) = Φ(T(p,q)) 在 M̃ 中与最小化测地线段 T(ṕ, q̃) 保持良好的位置关系。
• 利用该良好位置关系，推导出对应三角形边底上点满足的度量不等式 d(ô, x̃) ≤ d(o,x)。
• 应用比较结果推导角度比较，并得出直径有界与最大周长定理等几何推论。

实验结果

研究问题

• RQ1 在径向曲率条件下，Alexandrov-Toponogov 比较定理在以 o 为顶点的测地三角形中成立的条件是什么？
• RQ2 参考流形 M̃ 中的切点与 M 中距离函数的局部极大值点如何相互作用，从而阻碍比较定理的成立？
• RQ3 何种条件可确保参考曲线 T̃(p,q) 在 M̃ 中与最小化测地线段 T(ṕ, q̃) 保持有利的位置关系？
• RQ4 比较定理能否用于定义一类径向曲率下确界由函数 K 控制的 Alexandrov 空间？
• RQ5 比较定理会引出哪些几何约束，如周长与直径的界？

主要发现

• 若以 o 和 p 为焦点的椭球面上 d(·, o) 的所有局部极大值点的参考点均不在 M̃ 中 p 的切点集中，则对 M 中所有测地三角形 △opq，比较定理成立。
• 在条件 Φ(E(p)) ∩ Cut(ṕ) = ∅ 下，M̃ 中的比较三角形 △ôṕq̃ 满足：对所有对应点 x ∈ T(p,q) 与 x̃ ∈ T(ṕ, q̃)，且与 p 距离相等，有 d(ô, x̃) ≤ d(o,x)。
• 所有此类三角形的角度比较关系成立：∠opq ≥ ∠ôṕq̃，∠oqp ≥ ∠ôq̃p，以及 ∠poq ≥ ∠pôq̃。
• 若 M 的径向曲率下确界不小于旋转面模型 M̃ 的 Gauss 曲率 K，则 M 是径向曲率下确界为 K 的 Alexandrov 空间。
• M 中任意测地三角形 △opq 的周长至多为 2ℓ，其中 ℓ 是 M̃ 的半径，且等号成立当且仅当 M 同构于常曲率 K 的球面。
• 若 M 的直径为 ℓ，则在径向曲率条件下，M 实现最大直径当且仅当其同构于常曲率 K 的球面。