[논문 리뷰] Geometric Structures of Collapsing Riemannian Manifolds I

Aaron Naber, Gang Tian|ArXiv.org|2008. 04. 14.

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 10

한 줄 요약

이 논문은 유계 곡률 하에서 붕괴된 리만다이니안 다양체의 특이점 집합에 대해 날카운 하우스도르프 차원 경계를 설정하며, 비오르비폴드 점들의 집합의 차원이 최대 min{n−5, dimX−3}임을 증명한다. n ≤ 4인 경우, 극한 공간은 매끄러운 리만다이니안 오르비폴드임을 보이며, 이를 에인슈타인 4차원 다양체에 적용하여 유한한 수의 점을 제외한 곳에서는 오르비폴드임을 증명하고, 거리의 −dist⁻² 순서의 곡률 하한을 확보한다.

ABSTRACT

Let (M^n_i,g_i,p_i) be a sequence of smooth pointed complete n-dimensional Riemannian Manifolds with uniform bounds on the sectional curvatures and let (X,d,p) be a metric space such that (M^n_i,g_i,p_i) -> (X,d,p) in the Gromov-Hausdorff sense. Let O \subseteq X be the set of points x \in X such that there exists a neighborhood of x which is isometric to an open set in a Riemannian orbifold and let B = O^c be the complement set. Then we have the sharp estimates dim_Haus(B) \leq min{n-5, dim_Haus(X)-3}, and further for arbitrary x \in X we have that x \in O iff a neighborhood of x has bounded Alexandroff curvature. In particular, if n \leq 4 then B is empty and (X,d) is a Riemannian orbifold. Our main application is to prove that a collapsed limit of Einstein four manifolds has a smooth Riemannian orbifold structure away from a finite number of points, and that near these points the curvatures has a -dist^{-2} lower bound.

연구 동기 및 목표

• 유계 곡률을 가진 붕괴하는 리만다이니안 다양체의 시퀀스의 그로모프-하우스도르프 극한의 메트릭 오르비폴드 구조를 이해하기 위해.
• 극한 공간의 점들이 어떤 조건에서 리만다이니안 오르비폴드와 등급적인 이웃을 갖는지를 규명하기 위해.
• 특히 저차원에서 붕괴된 극한의 특이점의 구조를 분류하기 위해.
• 특히 4차원 에인슈타인 다양체에 대해, 에인슈타인 모듈리 공간의 컴팩티피케이션에 결과를 적용하기 위해.

제안 방법

• 균일한 곡률 및 고차 도함수에 대한 유계 곡률 유계를 가진 n차원 리만다이니안 다양체 시퀀스의 그로모프-하우스도르프 극한을 분석한다.
• C^{k+1,α}-오르비폴드 점들의 집합 O와 그 여집합인 비오르비폴드 점들의 집합 B를 도입하고, B의 하우스도르프 차원을 연구한다.
• [1], [2], [19]의 메트릭 근사 결과를 활용하여, 리치 곡률 유계 및 공액점 반경 유계와 같은 더 약한 곡률 조건 하에서도 결과를 확장한다.
• [11]의 ε-정규성 추정을 적용하여 붕괴된 에인슈타인 4차원 다양체에서 곡률의 폭발을 제어한다.
• 군 작용 및 반사군 기법을 사용하여 붕괴 과정에서 나타나는 국소 군 작용을 분류하고, 반사 부분군의 동형성을 증명한다.
• 오르비폴드 정규 부분공간에서의 등급을 R^n 위의 애파인 변환으로 올리며, 호로노미 군의 동형성과 따라서 오르비폴드 구조의 동형성을 증명한다.

실험 결과

연구 질문

• RQ1 붕괴하는 리만다이니안 다양체 시퀀스의 그로모프-하우스도르프 극한에서 어떤 조건에서 점이 리만다이니안 오르비폴드와 등급적인 이웃을 갖는가?
• RQ2 극한 공간에서 리만다이니안 오르비폴드와 국소적으로 등급적이지 않은 점들의 집합의 최대 가능한 하우스도르프 차원은 무엇인가?
• RQ3 유계 곡률과 고차 도함수 유계가 극한 공간의 정규성에 어떤 영향을 미치는가?
• RQ4 에인슈타인 4차원 붕괴에서의 특이점 집합은 제어 가능한가? 특이점 근처에서 예상되는 곡률 행동은 무엇인가?
• RQ5 붕괴 시퀀스의 군 작용과 계층 기하학으로부터 극한 공간의 오르비폴드 구조는 어느 정도 복원 가능한가?

주요 결과

• 극한 공간 X의 비오르비폴드 점들의 집합 B는 하우스도르프 차원이 최대 min{n−5, dimX−3} 이하이다.
• n ≤ 4이면 B는 공집합이므로 극한 공간 (X,d)는 C^{k+1,α} 리만다이니안 오르비폴드이다.
• 붕괴된 에인슈타인 4차원 다양체의 경우, 극한 공간은 유한 개의 점을 제외한 곳에서 매끄러운 리만다이니안 오르비폴드이다.
• 4차원 에인슈타인 붕괴에서 이러한 고립된 특이점 근처에서는 곡률이 −dist⁻² 순서의 하한을 갖는다.
• 어느 점에서 C^{k+1,α} 오르비폴드 구조가 존재한다는 것은, 유계 계층 곡률을 갖는 이웃이 존재하는 것과 동치이다.
• 극한 공간은 잘 정의된 하우스도르프 차원을 갖으며, 오르비폴드 구조는 호로노미 군의 동형류와 반사 부분군에 의해 결정된다.