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

Kenneth Steven Knox|arXiv (Cornell University)|2013. 01. 01.

Geometric Analysis and Curvature Flows참고 문헌 40인용 수 11

한 줄 요약

이 논문은 곡률, 지름 및 경계 (n-1)-체적에 대한 유계 조건 하에서, 경계를 가진 균일 평균곡률 Riemannian n-다양체에 대해 약한 L^{1,p} 및 허더 (C^{\beta}) 컴팩트성을 확립한다. 두 개의 안정성 정리가 유도된다: 첫째, Ricci 곡률이 0에 가까운 3-다양체이자 경계가 양의 곡률을 가진 S^2와 Gromov-Hausdorff 거리가 가까운 경우, 이는 Weyl 매핑에 의해 매장된 R^3 내부 영역과 C^{\beta}로 가까운 것으로 나타난다. 둘째, Ricci 곡률이 0, ±2에 가까운 3-다양체이자 평균곡률가 2, 2√2, 0에 가까운 경우, 경계가 위상적으로 구면이라면 각각 곡률 0, -1, 1을 가진 공간형상의 메트릭 볼과 C^{\beta}로 가까운 것으로 나타난다.

ABSTRACT

In this paper we prove weak L^{1,p} (and thus C^{\alpha}) 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^{\alpha} 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^{\alpha} 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-1)-체적에 대한 유계 조건 하에서, 균일 평균곡률 Riemannian n-다양체에 대해 약한 L^{1,p} 및 허더 (C^{\beta}) 위상에서 컴팩트성을 확립한다.
• Ricci 곡률과 경계 기하가 특정 모델 기하에 가까운 3-다양체에 대한 안정성 정리를 도출한다.
• Ricci 곡률이 0에 가까운 3-다양체이자 경계가 양의 곡률을 가진 S^2와 Gromov-Hausdorff 거리가 가까운 경우, 이는 Weyl 매핑에 의해 R^3 내부에 매장된 영역과 C^{\beta}로 가까운 것으로 나타낸다.
• 경계가 위상적으로 구면이라면, Ricci 곡률이 0, -2, 또는 2에 가까운 3-다양체이자 평균곡률가 2, 2√2, 또는 0에 가까운 경우, 각각 곡률 0, -1, 또는 1을 가진 공간형상의 메트릭 볼과 C^{\beta}로 가까운 것으로 증명한다.
• 곡률 및 경계 제약 조건 하에서 기하학적 안정성의 일반적 프레임워크를 컴팩트성 방법을 통해 제공한다.

제안 방법

• 곡률, 지름 및 경계 (n-1)-체적에 대한 유일한 유계 조건 하에서, 균일 평균곡률 Riemannian n-다양체에 대해 약한 L^{1,p} 컴팩트성을 확립한다.
• 컴팩트성 결과를 활용하여 Gromov-Hausdorff 수렴 및 내재 기하 비교 기법을 통해 안정성 정리를 도출한다.
• Weyl 매핑 정리를 적용하여 양의 곡률을 가진 경계 메트릭이 R^3에 등장하는 등장사상과 연결함으로써 유클리드 기하와의 비교를 가능하게 한다.
• 공간형상에서의 비교 기하를 활용하여 Ricci 곡률 및 평균곡률 유계 조건을 모델 기하(유클리드, 쌍곡, 구면 공간형상)와 연결한다.
• L^{1,p} 컴팩트성에서 유도된 허더 (C^{\beta}) 정규성 추정을 활용하여 메트릭의 C^{\beta} 수렴을 결론짓는다.
• 경계가 구면이라는 위상적 가정을 활용하여 위상적 강성 확보 및 공간형상의 메트릭 볼과의 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 곡률, 지름 및 경계 체적 유계 조건 하에서, 균일 평균곡률 Riemannian n-다양체에 대해 약한 L^{1,p} 및 C^{\beta} 컴팩트성이 성립하는 조건은 무엇인가?
• RQ2 Ricci 곡률이 0에 가까운 3-다양체이자 경계가 양의 곡률을 가진 고정된 S^2 메트릭과 Gromov-Hausdorff 거리가 가까운 경우, Weyl 매핑을 통해 R^3 내부 영역으로 얼마나 잘 근사할 수 있는가?
• RQ3 Ricci 곡률 및 평균곡률 유계 조건이 경계가 구면인 3-다양체의 기하를 공간형상의 메트릭 볼과 얼마나 가깝게 만드는가?
• RQ4 경계의 위상적 성질(특히, 구면임)이 모델 공간형상으로의 C^{\beta} 안정성 확보에 어떤 역할을 하는가?
• RQ5 경계를 가진 다양체에 대한 컴팩트성 결과를 활용하여 Ricci 곡률 및 평균곡률에 대한 정량적 안정성 정리를 도출할 수 있는가?

주요 결과

• 곡률, 지름 및 경계 (n-1)-체적에 대한 유일한 유계 조건을 만족하는 균일 평균곡률 Riemannian n-다양체의 클래스는 약한 L^{1,p} 컴팩트성을 갖는다. 따라서 어떤 β > 0에 대해 C^{\beta} 컴팩트성도 갖는다.
• Ricci 곡률이 0에 가까운 3-다양체이자 경계가 고정된 S^2 메트릭과 양의 곡률을 가진 Gromov-Hausdorff 거리가 가까운 경우, 이는 그 메트릭을 R^3에 Weyl 매핑하여 얻은 영역과 C^{\beta}로 가까운 것으로 나타난다.
• Ricci 곡률이 0 (또는 -2, 2)에 가까운 3-다양체이자 평균곡률가 2 (또는 2√2, 0)에 가까운 경우, 경계가 위상적으로 구면이라면 각각 곡률 0 (또는 -1, 1)을 가진 공간형상의 메트릭 볼과 C^{\beta}로 가까운 것으로 나타난다.
• 안정성 정리는 근본적인 컴팩트성 결과에서 유도되며, 이는 곡률, 지름 및 경계 체적에 대한 균일한 제어에 의존한다.
• C^{\beta} 수렴은 Gromov-Hausdorff 수렴만으로는 아니며, 약한 L^{1,p} 컴팩트성과 그에 따른 정규성 추정에서 유도된다.
• 결과들은 Ricci 곡률 및 평균곡률에서의 기하학적 안정성과 경계 제약 조건이, 전체 Riemannian 메트릭이 C^{\beta} 위상에서 모델 기하에 가까워지게 한다는 것을 보여준다.