[논문 리뷰] A Compactness Theorem for Riemannian Manifolds with Boundary and Applications

Kenneth S. Knox|arXiv (Cornell University)|2012. 11. 27.

Geometric Analysis and Curvature Flows인용 수 4

한 줄 요약

이 논문은 곡률, 지름, 경계 면적, 평균 곡률에 대한 유계 조건 하에서 경계를 가진 균일하게 평균구면인 리만 3차원 다양체에 대해 약한 $L^{1,p}$ 및 허더($C^{\tau}$) 컴팩트니스 정리 수립. 핵심 결과는 두 가지 기하적 안정성 정리로 이어지며, 리치 곡률이 0에 가까운 경우와 경계가 원형 구에 가까운 경우는 $C^{\tau}$-근처에 유클리드 공에 가까워지고, 리치 곡률이 $\pm1$에 가까우며 평균 곡률이 $2$, $2\sqrt{2}$, 또는 $0$에 가까운 경우는 각각 곡률 $0$, $-1$, 또는 $1$인 공간형의 메트릭 볼에 $C^\tau$-근처에 수렴함.

ABSTRACT

In this paper we prove weak L^{1,p} (and thus C^α) compactness for the class of uniformly mean-convex Riemannian n-manifolds with boundary satisfying bounds on curvature quantities, diameter, and (n-1)-volume of the boundary. We obtain two stability theorems from the compactness result. The first theorem applies to 3-manifolds (contained in the aforementioned class) that have Ricci curvature close to 0 and whose boundaries are Gromov-Hausdorff close to a fixed metric on S^2 with positive curvature. Such manifolds are C^α close to the region enclosed by a Weyl embedding of the fixed metric into \R^3. The second theorem shows that a 3-manifold with Ricci curvature close to 0 (resp. -2, 2) and mean curvature close to 2 (resp. 2\sqrt 2, 0) is C^α close to a metric ball in the space form of constant curvature 0 (resp -1, 1), provided that the boundary is a topological sphere.

연구 동기 및 목표

• 곡률, 지름, 경계 면적, 평균 곡률 유계 조건 하에서 리만 $n$-다양체에 대한 컴팩트니스 정리 수립.
• 체거-그로모프 및 코다니 유형 컴팩트니스 결과를 평균구면성 및 국소 평균 곡률 제어를 포함하도록 확장.
• 리치 곡률 및 평균 곡률 제약 조건 하에서 경계를 가진 3차원 다양체에 대한 기하적 안정성 정리 유도.
• 이러한 다양체의 수열이 $C^{\tau}$ 및 약한 $L^{1,p}$ 위상에서 곡률과 경계 기하학이 제어된 극한으로 수렴함을 보임.

제안 방법

• 곡률, 지름, 경계 면적, 평균 곡률 유계 조건 하에서 균일하게 평균구면인 리만 $n$-다양체에 대해 약한 $L^{1,p}$ 및 $C^{\tau}$ 컴팩트니스 증명.
• 조화좌표와 내재 분석을 사용하여 내부 및 경계에서 메트릭의 $L^{2,p}$ 제어 확보.
• 평균 곡률의 국소 유계 조건을 통해 경계 근처 메트릭의 법선 성분 제어를 얻어 $L^{1,p}$ 정규성 확보.
• 타원형 정규성 및 해석적 이차형식 미분형 이론을 적용하여 $\mathbb{R}^3$ 또는 $\mathbb{H}^3$에 임베딩된 $S^2$의 일정한 평균 곡률 임베딩이 반드시 구 또는 등위선이어야 함을 보임.
• 개발 지도(developing map) 및 $L^{1,p}$ 수렴을 사용하여 극한 메트릭이 일정 곡률을 가지며 공간형 볼과 등장함을 보임.
• 앨밍레의 최소 임베딩 결과 및 해석적 이차형식 미분형 이론을 활용하여 $S^3$에 등각 임베딩된 $C^{2,\epsilon}$ 등장 임베딩이 일정 제2 기본형을 가지면 반드시 등위선이어야 함을 증명함.

실험 결과

연구 질문

• RQ1 국소 평균 곡률 제어만으로도 곡률, 지름, 경계 면적, 평균 곡률 유계 조건 하에서 리만 다양체에 컴팩트니스 정리 수립이 가능한가?
• RQ2 리치 곡률이 0에 가까우며 경계가 양의 곡률을 가진 원형 구에 가까운 3차원 다양체 수열이 $\mathbb{R}^3$의 유클리드 공으로 수렴하는 조건은 무엇인가?
• RQ3 리치 곡률이 $-1$, $0$, 또는 $1$에 가까우며 평균 곡률이 각각 $2\sqrt{2}$, $2$, 또는 $0$에 가까운 3차원 다양체가 해당 공간형의 메트릭 볼로 수렴하는 조건은 무엇인가?
• RQ4 약한 $L^{1,p}$ 수렴과 곡률 유계 조건으로부터 극한 메트릭의 $C^{\tau}$ 정규성이 어느 정도 보장되는가?
• RQ5 해석적 이차형식 미분형 기법을 분석적 임베딩에서 $C^{2,\epsilon}$ 등장 임베딩으로 확장하여 일정 평균 곡률 표면의 강성 증명이 가능한가?

주요 결과

• 곡률 $|\sec(M)|\leq K$, 지름 $\textrm{diam}(M)\leq D$, 경계 면적 $\operatorname{area}(\partial M)\geq A_0$, 평균 곡률 $0 < 1/H_0 < H < H_0$ 를 만족하는 균일하게 평균구면인 리만 $n$-다양체의 클래스는 임의의 $0<\tau<1$ 및 $p<\infty$ 에 대해 $C^{\tau}$ 및 약한 $L^{1,p}$ 위상에서 전콤팩트임.
• 리치 곡률 $\to 0$, 평균 곡률 $\to 2$, 경계가 양의 곡률을 가진 $S^2$에 가까운 3차원 다양체 수열의 극한은 유클리드 공에 $C^{\tau}$-근처임.
• 경계의 오일러 지표 $\chi(\partial M)=2$, 리치 곡률 $\to -2$, 평균 곡률 $\to 2\sqrt{2}$ 인 3차원 다양체는 $\mathbb{H}^3$의 곡률 $-1$인 메트릭 볼에 $C^{\tau}$-근처임.
• 경계의 오일러 지표 $\chi(\partial M)=2$, 리치 곡률 $\to 2$, 평균 곡률 $\to 0$ 인 3차원 다양체는 $\mathbb{S}^3$의 곡률 $1$인 메트릭 볼에 $C^{\tau}$-근처임.
• 극한 메트릭의 개발 지도는 $\mathbb{R}^3$ 또는 $\mathbb{H}^3$에 $C^{2,\epsilon}$ 등장 임베딩을 유도하며, 일정 제2 기본형을 가진 이러한 임베딩은 반드시 구 또는 등위선이어야 함.
• 해석적 이차형식 미분형 및 타원형 정규성 이론을 사용하여 극한 메트릭가 $C^{\infty}$임을 보이고, 곡률 $0$, $-1$, 또는 $1$인 공간형의 볼과 등장함을 증명함.