[논문 리뷰] Positive Scalar Curvature and Minimal Hypersurface Singularities

Richard Schoen, Shing‐Tung Yau|arXiv (Cornell University)|2017. 04. 18.

Geometric Analysis and Curvature Flows인용 수 20

한 줄 요약

이 논문은 가중치가 부여된 최소 초표면 분할을 통해 특이점을 극복함으로써, 모든 차원에서 양의 스칼라 곡률을 가진 다양체의 분류와 양의 질량 정리의 증명을 위한 최소 초표면 방법을 확장한다. 이 방법은 특이 집합의 하우스도르프 여차원이 적어도 3임을 입증함으로써 2차원까지 적용 가능하게 하며, 스핀 조건 없이도 양의 질량 정리를 증명한다.

ABSTRACT

In this paper we develop methods to extend the minimal hypersurface approach to positive scalar curvature problems to all dimensions. This includes a proof of the positive mass theorem in all dimensions without a spin assumption. It also includes statements about the structure of compact manifolds of positive scalar curvature extending the work of \cite{sy1} to all dimensions. The technical work in this paper is to construct minimal slicings and associated weight functions in the presence of small singular sets and to show that the singular sets do not become too large in the lower dimensional slices. It is shown that the singular set in any slice is a closed set with Hausdorff codimension at least three. In particular for arguments which involve slicing down to dimension $1$ or $2$ the method is successful. The arguments can be viewed as an extension of the minimal hypersurface regularity theory to this setting of minimal slicings.

연구 동기 및 목표

• 8차원 이상에서 특이점이 기존 접근법을 방해했던 최소 초표면 방법을 8차원 이하로 확장하여 양의 스칼라 곡률 문제에 적용하는 것.
• 특이 집합의 하우스도르프 차원을 제어할 수 있는 최소 k-분할 이론을 개발하는 것.
• 스핀 조건 없이 모든 차원에서 양의 질량 정리를 증명하는 것.
• 코homological 클래스와 최소 2-분할을 이용해 양의 스칼라 곡률에 대한 위상적 차단 조건을 일반화하는 것.
• 작은 특이 집합이 존재할 경우에도 유효한 가중치가 부여된 최소 분할에 대한 정규성 및 컴팩트니스 정리 수립.

제안 방법

• 최소 초표면의 제2변분형식의 양의 첫 번째 고유함수를 사용하여 재귀적으로 가중 체적을 최소화함으로써 최소 k-분할을 구성한다.
• 특이 집합이 작더라도 잘 행동하는 방식으로 더 강력한 강제성( coercive )을 갖는 수정된 제2변분형식 $ Q_j $ 를 도입한다.
• 가중 $ L^2 $ 노름과 고유함수를 사용하여 변화하는 가중치 $ \rho_j $ 를 정의함으로써 슬라이스 전반에 걸친 기하학적 제어를 확보한다.
• 스케일링과 단조성 정리(체적 및 주파수)를 적용하여 특이점 분석을 수행하고, 특이 집합이 동차 원뿔임을 증명한다.
• 최소 k-분할에 대한 컴팩트니스 정리를 활용하여 $ \Sigma_k $ 의 특이 집합이 하우스도르프 차원이 최대 $ k-3 $ 이라고 보여준다.
• 끝부분을 봉합함으로써 양의 질량 정리를 컴팩트 케이스로 환원하고, Lohkamp의 관찰을 이용해 비음성 스칼라 곡률을 갖는 계량을 구성한다.

실험 결과

연구 질문

• RQ1 최소 초표면 방법은 최소 초표면의 특이점 존재에도 불구하고 모든 차원으로 확장될 수 있는가?
• RQ2 최소 k-분할에서 특이 집합의 최대 가능한 하우스도르프 차원은 얼마이며, 이는 하위 차원 슬라이스의 정규성에 어떤 영향을 미치는가?
• RQ3 스핀 조건 없이도 모든 차원에서 양의 질량 정리를 증명할 수 있는가?
• RQ4 $ H^1(M,\mathbb{Z}) $ 에 속한 코homological 클래스는 어떻게 하여 양의 스칼라 곡률 계량의 존재를 방해하는가?
• RQ5 최소 k-분할에서 최종 2-슬라이스가 부드러운 2-구의 분리합집합이 되기 위한 조건은 무엇인가?

주요 결과

• 모든 최소 k-분할에서 특이 집합의 하우스도르프 차원은 최대 $ k-3 $ 이며, 이는 1차원 및 2차원에서의 정규성을 보장한다.
• 모든 최소 2-분할에 대해 2차원 슬라이스 $ \Sigma_2 $ 는 서로 분리된 2-구의 미분동형합집합이며, 각각 가우스-본네 정리를 만족한다.
• 스핀 조건 없이도 모든 차원에서 양의 질량 정리가 성립하며, ADM 질량은 음이 아니며, 영일 경우에만 다양체가 $ \mathbb{R}^n $ 과 등급이다.
• 만약 $ \alpha_1, \ldots, \alpha_{n-1} \in H^1(M,\mathbb{Z}) $ 가 기본류와의 교차가 비영이면, $ M $ 은 양의 스칼라 곡률 계량을 가질 수 없다.
• 최소 2-분할이 존재하고 $ \Sigma_2 $ 가 $ H_2(M,\mathbb{Z}) $ 에서 영이 아닌 클래스를 표현하면, $ \Sigma_2 $ 는 부드러운 2-구의 합집합이며, 다른 모든 $ \alpha_{n-1} \in H^1(M,\mathbb{Z}) $ 는 이 클래스와 자명하게 짝지어진다.