[논문 리뷰] The Higher Dimensional Positive Mass Theorem II

Joachim Lohkamp|arXiv (Cornell University)|2016. 12. 22.

Geometric Analysis and Curvature Flows참고 문헌 35인용 수 73

한 줄 요약

이 논문은 공간시간 양의 질량 추측을 임의의 차원에서 증명한다. 문제를 $S_{em} > 0$-섬들—에너지-모멘텀 스칼라 곡률이 양인 영역—의 존재하지 않음을 보이는 것으로 환원함으로써, 경계 표면 구조와 초평면 수술 기법을 이용하여 경계가 외측으로 트랩된 표면(MOTS)에 적용한다. 핵심 결과는 이러한 $S_{em} > 0$-섬들이 존재할 수 없다는 것이며, 이는 이전에 알려진 7차원 이하의 경우와 스핀 다양체의 경우를 초월하여 일반 양의 질량 정리가 성립함을 보여준다.

ABSTRACT

We derive the Space-Time Positive Mass theorem in arbitrary dimensions, without topological constraints. The main new tools are skin structures and surgeries on minimal and marginally outer trapped hypersurfaces.

연구 동기 및 목표

• 임의의 차원에서 공간시간 양의 질량 추측을 증명하여, 이전에 알려진 7차원 이하의 경우와 스핀 다양체의 경우를 초월한다.
• 최소 표면 및 트랩된 표면이 특이점을 갖는 고차원에서 발생하는 핵심 곤경을 해결한다. 이는 고전적 방법이 적용되지 않게 만든다.
• Riemannian 양의 질량 정리 증명 전략을 $S_{em} > 0$-섬으로 환원함으로써, Lorentz 기하학적이고 비시간대칭인 설정으로 일반화한다.
• 피부 구조와 쌍곡 평탄화를 이용한 새로운 기하학적 프레임워크를 개발하여 MOTS 수술에서의 특이점을 제어한다.
• $S_{em} > 0$-섬의 존재가 컴act 다양체 수술과 등각 분석을 통해 모순을 일으킴으로써 추측을 증명한다.

제안 방법

• 공간시간 양의 질량 추측을 $S_{em} > 0$-섬의 존재하지 않음을 증명하는 것으로 환원한다. 여기서 $S_{em}$은 초기 자료 집합을 통해 정의된 에너지-모멘텀 스칼라 곡률이다.
• 비틀림 변형 기법을 적용하여, 점 渐近 평탄한 문제를 초기 자료 집합 상의 컴팩트 기하 문제로 변환한다.
• 경계가 외측으로 트랩된 표면(MOTS)에 대한 수술 과정에서 특이점을 제거하기 위해 피부 구조와 쌍곡 평탄화를 사용한다.
• 안정된 MOTS에서 등각 라플라스 연산자 분석을 적용하여, $S_{em} \geq 0$ 조건 하에서 $L_H = -\Delta + \frac{n-2}{4(n-1)}\cdot scal_H$ 가 피부 적합함을 보인다.
• MOTS에 대한 수술을 통해 $n-1$ 차원 컴팩트 다양체 $N^{n-1}$ 의 가족을 구성한다. 이들은 구멍 뚜렷한 토러스와 거의 등거리이며, 양의 스칼라 곡률을 가진다.
• 결정적 모순을 도출하기 위해 [L1], Prop. 1.2 및 Cor. 1.4 를 사용한다. 이는 그러한 $N^{n-1}$ 이 존재할 수 없음을 보여, $S_{em} > 0$-섬의 존재를 무효화한다.

실험 결과

연구 질문

• RQ1 7차원 이하의 경우와 스핀 다양체의 경우를 초월하여, 공간시간 양의 질량 추측을 임의의 차원에서 증명할 수 있는가?
• RQ2 $S_{em} > 0$-섬의 존재하지 않음이 전체 공간시간 양의 질량 정리로 이어지는가?
• RQ3 7차원 이상에서 경계가 외측으로 트랩된 표면(MOTS)의 특이점은 피부 구조와 수술 기법을 통해 제어할 수 있는가?
• RQ4 안정된 MOTS에서 등각 라플라스 연산자가 $S_{em} \geq 0$ 조건 하에서도 강력성(coercivity)을 유지하는가? 이는 기존 Riemannian 기법의 적용을 가능하게 하는가?
• RQ5 근사적으로 평탄한 토러스 성분을 가진 컴팩트 양의 스칼라 곡률 다양체는 $S_{em} > 0$-섬에 대한 수술을 통해 구성할 수 있으며, 이는 모순을 초래하는가?

주요 결과

• $S_{em} > 0$-섬의 존재하지 않음을 입증함으로써, 모든 차원에서 공간시간 양의 질량 추측이 성립함을 보였다.
• 안정된 MOTS에서 등각 라플라스 연산자 $L_H$ 는 $S_{em} \geq 0$ 조건 하에서 피부 적합하며, 부등식 $\int_H f L_H f \, dA \geq \tau \int_H \langle A \rangle^2 f^2 \, dA$ 를 만족하는 어떤 $\tau > 0$ 가 존재함으로써 강력성을 확보한다.
• MOTS에 대한 수술을 통해 양의 스칼라 곡률과 근사적으로 평탄한 토러스 성분을 가진 컴팩트 $n-1$ 차원 다양체 $N^{n-1}$ 의 가족을 구성하였으며, 이는 [L1]의 기존 결과와 모순된다.
• 이러한 $N^{n-1}$ 이 [L1]의 가정 하에 존재할 수 없기 때문에, 모순이 발생한다. 따라서 $S_{em} > 0$-섬의 존재가 무효화된다.
• 이 증명은 모든 차원 $n \geq 3$ 에서 공간시간 양의 질량 추측을 성립시키며, 이는 이전에 알려진 7차원 이하의 경우와 스핀 다양체의 경우를 일반화한다.
• 피부 구조와 쌍곡 수술을 사용함으로써 고차원 MOTS에서의 특이점 장벽을 성공적으로 극복하였으며, 이는 Riemannian 경우로의 환원을 가능하게 하였다.