[논문 리뷰] Inverse Mean Curvature Flow and the Stability of the Positive Mass Theorem and Riemannian Penrose Inequality Under $L^2$ Metric Convergence

Brian Allen|arXiv (Cornell University)|2017. 05. 01.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 5

한 줄 요약

이 논문은 3차원 비편평한 다양체에서 균일하게 제어된 역평균곡률 흐름(IMCF)에 의해 분할된 경우, $L^2$ 계량 수렴에 대해 양질량 정리(PMT)와 리만-펜로즈 부등식(RPI)의 안정성을 확립한다. 만약 외부 경계의 하킹 질량이 0으로 수렴하면, 영역은 $L^2$에서 평탄한 애너루스로 수렴한다; 질량 차이가 0이 되고 하킹 질량이 양의 값으로 수렴하면, 영역은 $L^2$에서 색르시르의 애너루스로 수렴한다. 이는 곡률과 기하학적 제어 조건 하에서 성립한다.

ABSTRACT

We study the stability of the Positive Mass Theorem (PMT) and the Riemannian Penrose Inequality (RPI) in the case where a region of an asymptotically flat manifold $M^3$ can be foliated by a smooth solution of Inverse Mean Curvature Flow (IMCF) which is uniformly controlled. We consider a sequence of regions of asymptotically flat manifolds $U_T^i\subset M_i^3$, foliated by a smooth solution to IMCF which is uniformly controlled, and if $\partial U_T^i = Σ_0^i \cup Σ_T^i$ and $m_H(Σ_T^i) ightarrow 0$ then $U_T^i$ converges to a flat annulus with respect to $L^2$ metric convergence. If instead $m_H(Σ_T^i)-m_H(Σ_0^i) ightarrow 0$ and $m_H(Σ_T^i) ightarrow m >0$ then we show that $U_T^i$ converges to a topological annulus portion of the Schwarzschild metric with respect to $L^2$ metric convergence.

연구 동기 및 목표

• 비편평한 3차원 다양체에서 $L^2$ 계량 수렴에 대해 양질량 정리(PMT)와 리만-펜로즈 부등식(RPI)의 안정성을 확립하기.
• 균일하게 제어된 IMCF로 분할된 비편평한 다양체 내의 영역 수열을 분석하여, 외부 경계의 하킹 질량이 0 또는 양의 값으로 수렴하는 경우를 다루기.
• 이러한 수열이 기하학적 및 곡률 제어 조건 하에서 $L^2$ 수렴을 통해 평탄한 애너루스(즉, PMT의 강도 결과) 또는 색르시르의 애너루스(즉, RPI의 강도 결과)로 수렴함을 증명하기.
• 내재 평탄 또는 $L^2$ 곡률 수렴에 대한 이전의 안정성 결과를 확장하기 위해, IMCF를 기하학적 좌표계로 활용함으로써 가능하게 하기.
• Lee와 Sormani(2018)의 추측에 따라 PMT의 내재 평탄 수렴에 대한 안정성 문제를 해결하기 위한 기초를 마련하기 위해, IMCF를 통한 $L^2$ 수렴 기반의 프레임워크 제공하기.

제안 방법

• 각 수열 내 다양체에 대해 역평균곡률 흐름(IMCF)을 사용하여 특수한 좌표계를 구성함으로써 계량의 구조를 제어할 수 있도록 하기.
• 균일하게 유계인 평균곡률, 제2 기본형식, 뉴먼 이sovolumetric 상수를 갖는 영역의 클래스 $\mathcal{M}_{r_0,H_0,I_0}^{T,H_1,A_1}$ 정의하기.
• 매니폴드 $\Sigma \times [0,T]$ 상에서 곡률과 계량 수렴을 분석함으로써, 계량 $\hat{g}^i$ 가 모델 계량 $\delta$ (평탄 또는 색르시르)로 $L^2$ 수렴하는 것을 적용하기.
• Rc^i(\nu,\nu)에 대한 $W^{1,2}$ 유계성과 지름 제어를 활용하여 $L^2$ 노름 수렴을 보장하고, 컴actness 및 강도 결과를 활용하기.
• Petersen과 Wei(2002)의 초기 자료에 대한 $C^\alpha$ 수렴 강도 결과를 활용하여, 보간과 노름 비교를 통해 $L^2$ 계량 수렴을 도출하기.
• 부분수열에 대한 추론과 모순을 활용하여 수렴하지 않는 부분수열를 제거함으로써, 부분수열 없이도 전체 수열의 $L^2$ 수렴을 증명하기.

실험 결과

연구 질문

• RQ1 외부 경계의 하킹 질량이 0으로 수렴할 경우, $L^2$ 계량 수렴 하에서 양질량 정리는 안정성을 유지하는가?
• RQ2 질량 차이가 0이 되고 질량이 양의 값으로 수렴할 경우, 리만-펜로즈 부등식은 $L^2$ 계량 수렴 하에서 안정적인가?
• RQ3 IMCF를 사용하여 평탄 또는 색르시르 유형의 모델로의 $L^2$ 계량 수렴을 가능하게 하는 기하학적 좌표계를 구성할 수 있는가?
• RQ4 기하학적 및 곡률 제어 조건이 어떤 조건일 때, IMCF로 분할된 영역 수열의 $L^2$ 계량 수렴이 모델 계량으로 발생하는가?
• RQ5 이 결과들은 Lee와 Sormani(2018)의 추측을 해결하기 위해 내재 평탄 수렴으로 확장될 수 있는가?

주요 결과

• 만약 $m_H(\Sigma_T^i) \to 0$ 이면, 영역 $U_T^i$ 는 계량 $\delta$ 에 대해 $L^2$ 수렴하여 평탄한 애너루스로 수렴한다.
• 만약 $m_H(\Sigma_T^i) - m_H(\Sigma_0^i) \to 0$ 이고 $m_H(\Sigma_T^i) \to m > 0$ 이면, $U_T^i$ 는 색르시르 계량 $g_s$ 에 대해 $L^2$ 수렴하여 색르시르의 애너루스로 수렴한다.
• $L^2$ 계량 수렴은 $H$, $|A|$, $Rc(\nu,\nu)$ 의 균일한 제어와 함께 지름 유계성에 의해 확립된다.
• 부분수열 없이도 수렴을 보장하기 위해 모순과 컴actness를 활용함으로써, 전체 수열의 수렴이 보장된다.
• 무한 시간 IMCF로 결과를 확장하기 위해, 균일한 점점 퇴화하는 비편평성과 $T \to \infty$ 일 때 $H_0^T \to 0$ 를 가정함으로써 가능하게 한다.
• 모델 계량 $\delta = \frac{r_0^2}{4}e^t dt^2 + r_0^2 e^t d\sigma$ 는 평탄 및 색르시르 유형 수렴의 기준으로 사용된다.