[논문 리뷰] The Alexandrov-Toponogov comparison theorem for radial curvature

Nobuhiro Innami, Katsuhiro Shiohama외 1명|arXiv (Cornell University)|2013. 02. 19.

Advanced Theoretical and Applied Studies in Material Sciences and Geometry참고 문헌 3인용 수 3

한 줄 요약

이 논문은 점(o)를 정점으로 하는 지의 삼각형에 대해, 점이 부여된 리만다이언만드(M,o)에서 아르골로프-토포노고프 비교정리의 반경 곡률 형태를 수립한다. 기준 표면의 도는 (M̃, õ)을 도입하고, 동시에 컷포인트 장애를 피하기 위한 조건을 부과함으로써 — 구체적으로, o로부터의 거리 함수의 국소 최대값의 기준점이 M̃에서 p의 컷지역에 있지 않도록 보장함으로써 — 저자들은 M̃에서의 비교 삼각형이 거리 부등식을 유지함을 증명한다. 핵심 결과는 비교 삼각형이 d(ô, x̃) ≤ d(o,x)를 만족하고 각도 비교가 성립함을 보여, 반경 곡률이 아래로 유계인 아르골로프 공간의 정의를 가능하게 한다.

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.

연구 동기 및 목표

• 지정된 리만다이언만드에서 반경 곡률 설정으로 아르골로프-토포노고프 비교정리를 확장하는 것.
• 유효한 비교 삼각형 구성에 방해가 되는 두 가지 장애 — 기준 표면의 컷포인트와 M에서의 거리 함수의 국소 최대값 — 를 식별하고 해결하는 것.
• 기준 표면에서의 비교 삼각형이 거리 및 각도 부등식을 유지할 수 있는 충분한 조건을 설정하는 것.
• 비교정리를 사용하여 반경 곡률이 함수 K로 아래로 유계인 지정된 아르골로프 공간의 클래스를 정의하는 것.

제안 방법

• 각 점 q ∈ M에 대해 o로부터의 거리에 기반하여 모델 표면의 도는 M̃에 있는 비교점 q̃를 할당하는 참조 사상 Φ: M → M̃을 정의한다.
• 모델 공간을 구성하기 위해 M̃에서 지오데식 극좌표계 (r, θ)와 ds² = dr² + f(r)² dθ² 의 메트릭을 사용한다.
• E(p)를 초점이 o와 p인 타원에서 d(·, o)의 국소 최대값의 집합으로 정의하고, Φ(E(p)) ∩ Cut(ṕ) = ∅ 조건을 도입하여 컷포인트 장애를 방지한다.
• 이 조건 하에서, 기준 곡선 T̃(p,q) = Φ(T(p,q))가 M̃에서 최소화 지오데식 세그먼트 T(ṕ, q̃)와 양호한 위치 관계를 유지함을 증명한다.
• 이 양호한 위치 관계를 이용하여 삼각형의 기저에서 대응하는 점들에 대해 d(ô, x̃) ≤ d(o,x)의 거리 부등식을 유도한다.
• 비교 결과를 적용하여 각도 비교를 유도하고, 직경 유계 및 최대 둘레 정리와 같은 기하학적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 반경 곡률이 있는 다양체에서 기저점 o를 가진 지오데식 삼각형에 대해 아르골로프-토포노고프 비교정리가 성립하는 조건은 무엇인가?
• RQ2 기준 표면 M̃의 컷포인트와 M에서의 거리 함수의 국소 최대값이 비교정리의 성립을 방해하는 방식은 어떻게 상호작용하는가?
• RQ3 기준 곡선 T̃(p,q)가 M̃에서 최소화 지오데식 T(ṕ, q̃)와 유리한 위치 관계를 유지하기 위한 조건은 무엇인가?
• RQ4 비교정리를 사용하여 반경 곡률이 함수 K로 아래로 유계인 아르골로프 공간의 클래스를 정의할 수 있는가?
• RQ5 비교정리로부터 유도되는 기하학적 제약 조건은 무엇인가, 예를 들어 둘레 및 직경의 유계성 등.

주요 결과

• 모든 지오데식 삼각형 △opq ∈ M에 대해 비교정리가 성립한다. 조건은 초점이 o와 p인 타원에서 d(·, o)의 모든 국소 최대값 점의 기준점이 M̃에서 p의 컷지역에 포함되지 않는 것이다.
• Φ(E(p)) ∩ Cut(ṕ) = ∅ 조건 하에서, M̃의 비교 삼각형 △ôṕq̃는 모든 대응점 x ∈ T(p,q) 및 x̃ ∈ T(ṕ, q̃)에 대해 동일한 거리에서 d(ô, x̃) ≤ d(o,x)를 만족한다.
• 모든 이러한 삼각형에 대해 각도 비교 ∠opq ≥ ∠ôṕq̃, ∠oqp ≥ ∠ôq̃p, ∠poq ≥ ∠pôq̃ 가 성립한다.
• 만약 M의 반경 곡률이 모델 표면의 도는 M̃의 가우스 곡률 K로 아래로 유계이면, M은 반경 곡률이 K로 아래로 유계인 아르골로프 공간이다.
• M의 임의의 지오데식 삼각형 △opq의 둘레는 2ℓ 이하이며, 등호는 M이 일정 곡률 K를 가진 구와 등거리일 때에만 성립한다.
• 만약 M의 직경이 ℓ이면, M은 반경 곡률 조건 하에서 최대 직경을 갖는다. 이는 M이 일정 곡률 K를 가진 구와 등거리일 때에만 성립한다.