[논문 리뷰] Lower semicontinuity of mass under $C^0$ convergence and Huisken's isoperimetric mass

Jeffrey L. Jauregui, Dan A. Lee|arXiv (Cornell University)|2016. 02. 01.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 4

한 줄 요약

이 논문은 비음성 스칼라 곡률과 외부 최소 경계를 가진 점근적으로 평평한 3차원 다중체에서 $C^0$ 체거–그로모프 수렴에 대해 ADM 질량의 하부 연속성을 확립한다. 훠스켄의 등면적 질량 개념과 작은 둘레 성분을 동결시키는 수정된 약한 평균 곡률 흐름을 활용하여, 저자들은 극한 공간의 등면적 질량이 수열의 ADM 질량들의 liminf 이하로 bound됨을 증명한다. 이는 이전의 $C^2$ 결과를 훨씬 더 약한 위상으로 확장하면서도 스칼라 곡률과의 깊은 연관성을 유지한다.

ABSTRACT

Given a sequence of asymptotically flat 3-manifolds of nonnegative scalar curvature with outermost minimal boundary, converging in the pointed $C^0$ Cheeger--Gromov sense to an asymptotically flat limit space, we show that the total mass of the limit is bounded above by the liminf of the total masses of the sequence. In other words, total mass is lower semicontinuous under such convergence. In order to prove this, we use Huisken's isoperimetric mass concept, together with a modified weak mean curvature flow argument. We include a brief discussion of Huisken's work before explaining our extension of that work. The results are all specific to three dimensions.

연구 동기 및 목표

• 점근적으로 평평한 3차원 다중체에서 $C^2$ 수렴에서의 ADM 질량 하부 연속성 결과를 $C^0$ 체거–그로모프 수렴으로 확장한다.
• $C^0$ 수렴에서 곡률 제어가 부족한 문제를 해결하기 위해, 면적과 부피에만 의존하는 훠스켄의 등면적 질량 개념을 사용한다.
• 이전 결과들이 요구한 $C^2$ 수렴과 매끄러운 성질을 일반화하여, 바르티닉의 최소 질량 확장 추측 등에의 응용을 가능하게 한다.
• 곡률가 분해되거나 특이성이 발생할 수 있는 수열의 극한에서 질량 행동을 분석하기 위한 프레임워크를 구축한다.

제안 방법

• 등면적 프로파일 함수를 통한 정의를 갖는 훠스켄의 등면적 질량을 사용하여, $C^0$ 데이터(면적과 부피)에만 의존하는 국소 질량으로서의 기능을 수행한다.
• 작은 둘레 성분을 동결시켜 통제되지 않는 특이성을 방지하기 위해, 수정된 약한 평균 곡률 흐름을 도입한다.
• 평균 곡률 흐름 하에서 등면적 프로파일의 단조성 결과를 비연결 및 약한 흐름 표면로 일반화한다.
• 경계 면적이 발산하는 영역의 서열에 대한 대각선화 추론을 사용하여, 등면적 질량이 극한에서 ADM 질량과 연결됨을 보인다.
• 핵심 기술적 결과(정리 17)를 증명하여, 비음성 스칼라 곡률 하에서 영역의 등면적 질량이 ADM 질량과 관련된 양으로 아래에서 유계임을 보인다.
• 고정된 컴acts 집합 $W$를 포함한 비교 논증을 통해, 다중체를 고갈시키는 서열에 대한 등면적 질량의 limsup가 전역 등면적 질량과 동일함을 보인다.

실험 결과

연구 질문

• RQ1 비음성 스칼라 곡률을 가진 3차원 점근적으로 평평한 다중체에서, $C^2$ 수렴에서의 ADM 질량 하부 연속성 결과를 $C^0$ 체거–그로모프 수렴으로 확장할 수 있는가?
• RQ2 비연결 성분과 작은 둘레 영역을 다루는 약한, 수정된 평균 곡률 흐름 하에서 훠스켄의 등면적 질량이 잘 정의되고 단조성을 유지하는가?
• RQ3 비음성 스칼라 곡률을 가진 매끄럽고 점근적으로 평평한 3차원 다중체에서, 등면적 질량이 무한대에서 적분으로 정의된 ADM 질량과 동일한가?
• RQ4 비음성 스칼라 곡률과 외부 최소 경계를 가진 다중체 수열이 $C^0$ 수렴할 때, 극한 메트릭이 단지 연속일지라도 질량에 하한이 유지되는가?
• RQ5 극한이 매끄럽지 않을 경우, $C^0$ 수렴 하에서 등면적 질량 개념이 ADM 질량을 대체할 수 있을 정도로 강건한가?

주요 결과

• 수렴이 $C^0$ 체거–그로모프 수렴일 때, 극한 공간의 등면적 질량은 $m_{\mathrm{iso}}(N,h) \leq \liminf_{i\to\infty} m_{\mathrm{ADM}}(M_i,g_i)$ 를 만족하며, 이는 이 설정에서 질량의 하부 연속성을 증명한다.
• 매끄럽고 점근적으로 평탄한 3차원 다중체에서 비음성 스칼라 곡률을 가질 경우, $m_{\mathrm{iso}}(M,g) = m_{\mathrm{ADM}}(M,g)$ 가 성립함을 확인하여, 훠스켄이 발표한 결과를 확인한다.
• 작은 둘레 성분을 동결시키는 수정된 약한 평균 곡률 흐름이 구성되었으며, 이는 특이성과 비연결 성분에 대한 통제를 가능하게 한다.
• 흐름이 비연결이 되더라도 등면적 프로파일 함수 $\phi_m$ 는 여전히 단조 감소함을 유지한다.
• 경계 면적이 발산하는 영역 서열에 대해 등면적 질량의 limsup는 전역 등면적 질량과 동일하며, 이는 질량이 양수일 경우에 성립한다.
• 증명 과정에서 등면적 질량은 다중체를 고갈시키는 서열을 통해 계산될 수 있음을 보였으며, 이는 극한에서 ADM 질량과의 연결에 있어 핵심적이다.