[Paper Review] 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 Geometry3 references3 citations

TL;DR

This paper establishes a radial curvature version of the Alexandrov-Toponogov comparison theorem for geodesic triangles with a vertex at the base point o in a pointed Riemannian manifold (M,o). By introducing a reference surface of revolution (M̃, õ) and imposing a condition that avoids simultaneous cut-point obstructions—specifically, ensuring reference points of local maxima of the distance function to o do not lie in the cut locus of p in M̃—the authors prove that comparison triangles in M̃ preserve metric inequalities. The key result is that the comparison triangle satisfies d(ô, x̃) ≤ d(o,x) and angle comparisons hold, enabling the definition of Alexandrov spaces with radial curvature bounded below.

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.

Motivation & Objective

• To extend the Alexandrov-Toponogov comparison theorem to the setting of radial curvature in pointed Riemannian manifolds.
• To identify and resolve two obstructions—cut points in the reference surface and local maxima of the distance function in M—that prevent valid comparison triangle construction.
• To establish sufficient conditions under which the comparison triangle in the model surface of revolution preserves metric and angle inequalities.
• To define a class of pointed Alexandrov spaces with radial curvature bounded below by a function K, using the comparison theorem.

Proposed method

• Define a reference map Φ: M → M̃ that assigns to each point q ∈ M its comparison point q̃ in the model surface of revolution M̃ based on distance from o.
• Use a geodesic polar coordinate system (r, θ) on M̃ with metric ds² = dr² + f(r)² dθ² to construct the model space.
• Introduce the condition Φ(E(p)) ∩ Cut(ṕ) = ∅, where E(p) is the set of local maxima of d(·, o) on the ellipsoid with foci o and p, to prevent cut-point obstructions.
• Prove that under this condition, the reference curve T̃(p,q) = Φ(T(p,q)) maintains a good positional relation with the minimizing geodesic segment T(ṕ, q̃) in M̃.
• Use the good positional relation to derive the metric inequality d(ô, x̃) ≤ d(o,x) for corresponding points on the bases of the triangles.
• Apply the comparison result to derive angle comparisons and deduce geometric consequences such as diameter bounds and maximal perimeter theorems.

Experimental results

Research questions

• RQ1 Under what conditions does the Alexandrov-Toponogov comparison theorem hold for geodesic triangles with a vertex at the base point o in a manifold with radial curvature?
• RQ2 How do cut points in the reference surface M̃ and local maxima of the distance function in M interact to obstruct the comparison theorem?
• RQ3 What condition ensures that the reference curve T̃(p,q) maintains a favorable positional relationship with the minimizing geodesic T(ṕ, q̃) in M̃?
• RQ4 Can the comparison theorem be used to define a class of Alexandrov spaces with radial curvature bounded below by a function K?
• RQ5 What geometric constraints follow from the comparison theorem, such as bounds on perimeter and diameter?

Key findings

• The comparison theorem holds for all geodesic triangles △opq in M if the reference points of all local maximum points of d(·, o) on the ellipsoid with foci o and p do not lie in the cut locus of p in M̃.
• Under the condition Φ(E(p)) ∩ Cut(ṕ) = ∅, the comparison triangle △ôṕq̃ in M̃ satisfies d(ô, x̃) ≤ d(o,x) for all corresponding points x ∈ T(p,q) and x̃ ∈ T(ṕ, q̃) with equal distance from p.
• The angle comparisons ∠opq ≥ ∠ôṕq̃, ∠oqp ≥ ∠ôq̃p, and ∠poq ≥ ∠pôq̃ hold for all such triangles.
• If the radial curvature of M is bounded below by the Gauss curvature K of a model surface of revolution M̃, then M is an Alexandrov space with radial curvature bounded below by K.
• The perimeter of any geodesic triangle △opq in M is at most 2ℓ, where ℓ is the radius of M̃, and equality holds only if M is isometric to a sphere of constant curvature K.
• If the diameter of M is ℓ, then M achieves maximal diameter if and only if it is isometric to a sphere of constant curvature K, under the radial curvature condition.