[논문 리뷰] Rigidity of manifolds with boundary under a lower Ricci curvature bound

Yohei Sakurai|Osaka City University (Osaka City University)|2014. 04. 15.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 7

한 줄 요약

이 논문은 리만다이니안 다양체의 경계에 대해 리치 곡률과 경계 평균 곡률의 하한 조건 하에서 비숍-그로몰 타입의 체적 비교 정리를 수립한다. 단일 射선이 존재할 경우 체적 성장의 강성 정리와 키어거-그로몰 타입의 분할 정리와 같은 강성 결과를 증명하며, 모델 공간은 특정 초기 조건을 갖는 자코비 방정식의 해를 통해 정의된다.

ABSTRACT

We study Riemannian manifolds with boundary under a lower Ricci curvature bound, and a lower mean curvature bound for the boundary. We prove a volume comparison theorem of Bishop-Gromov type concerning the volumes of the metric neighborhoods of the boundaries. We conclude several rigidity theorems. As one of them, we obtain a volume growth rigidity theorem. We also show a splitting theorem of Cheeger-Gromoll type under the assumption of the existence of a single ray.

연구 동기 및 목표

• 경계가 있는 리만다이니안 다양체에 대한 비교 기하학을 개발하기 위해.
• 경계의 거리형 이웃 영역에 대해 비숍-그로몰 타입의 체적 비교 정리를 수립하기 위해.
• 곡률 및 경계 조건 하에서 강성 정리 — 특히 체적 성장 강성 정리와 키어거-그로몰 타입의 분할 정리 — 를 유도하기 위해.
• 기존 리만기하학의 등장사상 결과를 보완하기 위해 다양체와 모델 공간 사이의 거리공간 등장사상(등장사상)을 제공하기 위해.

제안 방법

• 모델 공간 $M^{n}_{\bar{\theta},\bar{\theta}}$ 는 상수 곡률 $\kappa$ 를 갖는 공간형 $M^{n}_{\bar{\theta}}$ 의 지오데식 공 또는 몫으로 정의되며, $\kappa$ 와 $\lambda$ 에 따라 달라진다.
• 함수 $s_{\kappa,\lambda}(t)$ 를 정의한다. 이는 자코비 방정식 $f''(t) + \kappa f(t) = 0$ 의 해로, 초기 조건 $f(0) = 1$, $f'(0) = -\lambda$ 를 만족하며, 모델 공간의 계량을 정의하는 데 사용된다.
• 체적 비교 부등식을 수립한다: $r \leq R$ 인 경우 $\frac{\operatorname{vol}_g B_R(\partial M)}{\operatorname{vol}_g B_r(\partial M)} \leq \frac{\int_0^R s_{\kappa,\lambda}^{n-1}(s)\,ds}{\int_0^r s_{\kappa,\lambda}^{n-1}(s)\,ds}$, 조건은 $\operatorname{Ric}_M \geq (n-1)\kappa$ 와 $H_{\partial M} \geq \lambda$ 를 만족할 때.
• 환형 영역 $A_{t^i r_1, t^i r_2}(\partial M)$ 의 이진 분할을 통해 $s_{\kappa,\lambda}^{n-1}$-가중 적분의 비율을 이용해 체적 비율을 추정한다.
• 특수한 극한 처리를 통해 $t \to 1^-$ 와 $N \to \infty$ 를 적용하여 이산적 체적 적분에서 연속적 체적 적분으로의 전환을 수행하고, 연속적 비교 부등식을 복원한다.
• 체적 비교 결과를 활용해 강성 결과를 도출한다: 만약 체적 비율에서 등호가 성립한다면, 다양체는 거리공간으로서 모델 공간과 등장사상이 된다.

실험 결과

연구 질문

• RQ1 곡률 및 경계 조건이 어떤 조건일 때, 경계의 거리형 이웃 영역의 체적이 비숍-그로몰 타입 비교를 만족하는가?
• RQ2 체적 비교에서 등호가 성립할 경우, 어떤 조건에서 모델 공간과의 등장사상이 성립하는가?
• RQ3 단일 射선이 존재할 경우, 리치 곡률과 평균 곡률의 하한 조건 하에서 키어거-그로몰 타입의 분할 정리를 유도할 수 있는가?
• RQ4 이러한 곡률 조건 하에서 $p$-라플라스 연산자의 가장 작은 딜리클레 고유값은 어떻게 행동하는가?
• RQ5 이 맥락에서 거리공간 등장사상과 리만 등장사상 간의 관계는 무엇인가?

주요 결과

• 체적 비교 정리가 증명된다: $r \leq R$ 인 경우 $\frac{\operatorname{vol}_g B_R(\partial M)}{\operatorname{vol}_g B_r(\partial M)} \leq \frac{\int_0^R s_{\kappa,\lambda}^{n-1}(s)\,ds}{\int_0^r s_{\kappa,\lambda}^{n-1}(s)\,ds}$, 조건은 $\operatorname{Ric}_M \geq (n-1)\kappa$ 와 $H_{\partial M} \geq \lambda$ 를 만족할 때.
• 체적 성장 강성 정리가 확립된다: 만약 체적 비율에서 등호가 성립한다면, 다양체는 거리공간으로서 모델 공간 $M^{n}_{\kappa,\lambda}$ 과 등장사상이 된다.
• 단일 射선이 존재할 조건 하에서 키어거-그로몰 타입의 분할 정리가 증명된다: 만약 그러한 射선이 존재한다면, 다양체는 $[0,\infty) \times \Sigma$ 로 등장사상적으로 분할된다.
• p-라플라스 연산자의 가장 작은 딜리클레 고유값에 대해 하한을 확보한다. 이는 카스에(2004)의 라플라스 연산자에 대한 강성 결과를 확장한다.
• 모든 $\kappa \in \mathbb{R}$, $\lambda \in \mathbb{R}$ 에 대해 모델 공간 $M^{n}_{\kappa,\lambda}$ 이 명시적으로 구성되며, 공조건을 만족함으로써, 일정한 평균 곡률 $\lambda$ 를 갖는 지오데식 공이 존재함을 보장한다.
• 논문은 거리공간 등장사상이 이 맥락에서 리만 등장사상과 동치임을 보여주며, 강성 결과에서 거리기하학의 사용을 정당화한다.