[논문 리뷰] Toponogov comparison theorem for open triangles

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

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).

연구 동기 및 목표

• 완비 리만다이프만 다양체의 부드러운 볼록 경계를 갖는 경우 토폰로고프 비교 정리를 일반화한다.
• 기본 지오데식 삼각형 대신 경계 위에 있는 정점들을 갖는 열린(지오데식) 삼각형을 도입한다.
• 상수 곡률 모델을 대체하기 위해 전체 지오데식 경계를 갖는 도전형 실린더의 범용 코팅인 새로운 모델 표면을 도입한다.
• 반경 곡률 제어 하에서 각도와 거리의 비교 결과를 수립한다.
• 모델 공간에서 컷 점 쌍이 없는 분야로 제한하여 컷 로쿠스에 의한 장애를 극복한다.

제안 방법

• 와핑 함수 $m$ 이 $m(0)=1$, $m'(0)=0$ 를 만족하는 와핑 곱 $\widetilde{X} = [0,\infty) \times_m \mathbb{R}$ 를 모델 표면으로 정의하고, $\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$ 까지의 최소 지오데식을 사용한다.
• 측도 보존을 통해 측면 길이를 비교하여 구성 요소를 모델 공간 $\widetilde{X}$ 로 옮긴다. 이는 제8.3조의 보조정리를 사용한다.
• 거리 함수 $\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)$ 는 동일한 변 길이를 갖는 모델 표면 $\widetilde{X}$ 상의 비교 삼각형 $\mathrm{OT}(\partial\widetilde{X}, \tilde{p}, \tilde{q})$ 를 갖는다.
• 점 $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))$ 를 만족하며, 이는 모델 공간에서 기저 거리가 더 짧다는 것을 의미한다.
• 각도에서의 등호 $\angle p = \angle \tilde{p}$ 와 $\angle q = \angle \tilde{q}$ 는 $d(\mu_1(0), \mu_2(0)) = d(\tilde{\mu}_1(0), \tilde{\mu}_2(0))$ 일 때에만 성립하며, 이는 비교에서 강성 조건이 성립함을 의미한다.
• 모델 공간에서 옮겨진 삼각형의 기저 점 사이의 거리 함수 $\mathcal{D}(t)$ 는 $t \in (0,1]$ 에서 비증가하므로 비교의 안정성을 보장한다.