[论文解读] Toponogov comparison theorem for open triangles

Kei Kondo, Minoru Tanaka|arXiv (Cornell University)|May 20, 2009

Geometric Analysis and Curvature Flows参考文献 21被引用 3

一句话总结

本文通过用位于边界上的开口三角形替代测地线三角形，并利用具有全测地边界的一类扭曲积圆柱面构造的模型曲面，将拓普诺戈夫比较定理推广至具有光滑严格凸边界的完备黎曼流形。关键结果在径向曲率控制下，建立了边界上点与其在模型空间中提升点之间的角度与距离比较，将经典比较几何推广至带边界的流形。

ABSTRACT

Dedicated to Professor Gromoll: The aim of our article is to generalize the Toponogov comparison theorem to a complete Riemannian manifold with smooth convex boundary. A geodesic triangle will be replaced by an open (geodesic) triangle standing on the boundary of the manifold, and a model surface will be replaced by the universal covering surface of a cylinder of revolution with totally geodesic boundary. Applications of our theorem are found in our article "Applications of Toponogov's comparison theorems for open triangles" (arXiv:1102.4156).

研究动机与目标

• 将拓普诺戈夫比较定理推广至具有光滑严格凸边界的完备黎曼流形。
• 用顶点位于边界上的开口（测地线）三角形替代标准测地线三角形。
• 引入一种新型模型曲面——具有全测地边界的旋转圆柱面的万有覆盖，以替代常曲率模型。
• 在径向曲率控制下，建立角度与距离的比较结果。
• 通过限制模型空间中不包含切点对的扇形区域，克服切点带来的障碍。

提出的方法

• 将模型曲面定义为扭曲积 $\widetilde{X} = [0,\infty) \times_m \mathbb{R}$，其中扭曲函数 $m$ 满足 $m(0)=1$，$m'(0)=0$，且度量形式为 $\tilde{g} = d\tilde{x}^2 + m(\tilde{x})^2 d\tilde{y}^2$。
• 利用 $\partial\widetilde{X}$-射线上的径向曲率函数 $G \circ \tilde{\mu}$ 来定义曲率控制。
• 在流形 $X$ 的边界上构造开口三角形 $\mathrm{OT}(\partial X, p, q)$，其中包含从 $p$、$q$ 到 $\partial X$ 的最小测地线。
• 通过引理由 8.3 的命题，利用边长的等距比较，将该构型提升至模型空间 $\widetilde{X}$。
• 应用距离函数 $\mathcal{D}(t) = d(\tilde{\mu}_1^{(t)}(0), \tilde{\mu}_2^{(t)}(0))$ 在 $t \in (0,1]$ 上的非增性，推导出角度与距离的不等式。
• 通过在扇形 $\widetilde{X}(\theta_0)$ 中不存在切点对，确保对边的唯一性及比较的合法性。

实验结果

研究问题

• RQ1 能否将拓普诺戈夫比较定理推广至具有凸边界的黎曼流形，用边界上的开口三角形替代标准测地线三角形？
• RQ2 在该推广的比较定理中，应使用何种模型曲面替代常曲率模型？
• RQ3 如何利用径向曲率控制来比较边界测地线存在情况下的角度与距离？
• RQ4 在何种条件下，模型空间中的比较三角形能保持在无切点障碍的单连通扇形区域内？
• RQ5 在何种条件下，比较中的角度与距离等式成立？

主要发现

• 对于具有光滑严格凸边界的完备黎曼流形中的任意开口三角形 $\mathrm{OT}(\partial X, p, q)$，存在一个边长相同的比较三角形 $\mathrm{OT}(\partial\widetilde{X}, \tilde{p}, \tilde{q})$，位于模型曲面 $\widetilde{X}$ 上。
• 在点 $p$ 和 $q$ 处的角度满足 $\angle p \geq \angle \tilde{p}$ 与 $\angle q \geq \angle \tilde{q}$，表明比较三角形的角度不大于或等于原三角形。
• 边界上基点 $\mu_1(0)$ 与 $\mu_2(0)$ 之间的距离满足 $d(\mu_1(0), \mu_2(0)) \geq d(\tilde{\mu}_1(0), \tilde{\mu}_2(0))$，即模型空间中基边距离更短。
• 当且仅当 $d(\mu_1(0), \mu_2(0)) = d(\tilde{\mu}_1(0), \tilde{\mu}_2(0))$ 时，角度等式 $\angle p = \angle \tilde{p}$ 与 $\angle q = \angle \tilde{q}$ 成立，表明比较中存在刚性。
• 模型空间中提升三角形的基点间距离函数 $\mathcal{D}(t)$ 在 $t \in (0,1]$ 上非增，确保了比较的稳定性。