[논문 리뷰] Mass and 3-metrics of non-negative scalar curvature

Robert Bartnik|ArXiv.org|2003. 04. 18.

Cosmology and Gravitation Theories참고 문헌 31인용 수 12

한 줄 요약

이 논문은 비음성 스칼라 곡률을 가진 3차원 리만다만에서의 국소 질량을 조사하며, 질량 최소화 확장을 위한 존재성과 성질에 초점을 맞춘다. 양의 질량 정리, 정적 계량, 경계 조건 간의 연결 프레임워크를 제안하여 국소 질량을 추정하며, 질량 최소화 확장이 정적 방정식을 만족하고, 준구형 계량에서의 포물선 진화를 통해 날카운 상한을 제공함을 증명한다.

ABSTRACT

Physicists believe, with some justification, that there should be a correspondence between familiar properties of Newtonian gravity and properties of solutions of the Einstein equations. The Positive Mass Theorem (PMT), first proved over twenty years ago \cite{SchoenYau79b,Witten81}, is a remarkable testament to this faith. However, fundamental mathematical questions concerning mass in general relativity remain, associated with the definition and properties of quasi-local mass. Central themes are the structure of metrics with non-negative scalar curvature, and the role played by minimal area 2-spheres (black holes).

연구 동기 및 목표

• 비음성 스칼라 곡률을 가진 점근적으로 평탄한 3차원 다양체에서 국소 질량을 정의하고 계산하기 위한 엄밀한 프레임워크를 수립하기 위해.
• 주어진 경계 기하학을 가진 컴팩트 영역의 질량 최소화 확장을 특성화하는 열린 문제를 다루기 위해.
• 양의 질량 정리, 아인슈타인 방정식의 정적 해, 그리고 고립 표면(블랙홀)의 존재 간의 연결 고리를 탐색하기 위해.
• 기하학적 및 해석적 기법을 사용하여 국소 질량에 대한 구축 가능한 상한과 하한을 제공하기 위해.
• 질량 최소화 수열이 적절한 위상에서 정적 계량으로 수렴하는지 조사하기 위해, 국소 질량을 계산하는 데 있어 계산적 경로를 제공하기 위해.

제안 방법

• 점근적으로 평탄한 3차원 다양체에서 $ R(g) \geq 0 $ 를 만족할 경우 ADM 질량이 음이 아니며, 오직 $ \mathbb{R}^3 $ 가 평탄할 때에만 0이 되는 양의 질량 정리를 기초로 사용한다.
• 질량 최소화 확장을 모델링하기 위해 경계 $ \Sigma = \{V=0\} $ 를 가진 정적 계량 방정식 $ \text{Ric}_g = V^{-1} \nabla^2 V $ 과 $ \Delta_g V = 0 $ 을 적용한다.
• 경계에서 스칼라 곡률가 유계이자 분포적으로 정의되도록 보장하기 위해 $ g|_{T\Sigma} = g|_{T\partial\Omega} $ 과 $ H_\Sigma = H_{\partial\Omega} $ 를 경계 조건으로 도입한다.
• 스칼라 곡률가 0이 되는 적합한 확장을 구성하기 위해 $ g = u^2 dr^2 + (r d\vartheta + \beta^1 dr)^2 + (r \sin\vartheta d\varphi + \beta^2 dr)^2 $ 의 형태를 가진 준구형 계량을 사용한다.
• 제2변분 공식 (4.1) 에서 유도된 $ S^2 $ 에서의 포물선 방정식을 통해 반경 방향으로 계량을 진화시킬 수 있다.
• 두 개의 $ (M,g) $ 복제체를 $ \Sigma $ 에 따라 접합하고, $ \tilde{g} = \tilde{\phi}^4 g $ 와 같이 등각적으로 스케일링하여, 스칼라 곡률가 0이고 ADM 질량이 0인 완전하고 점근적으로 평탄한 다양체를 생성함으로써, 양의 질량 정리에 의해 강성 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 비음성 스칼라 곡률을 가진 3차원 다양체에서 컴팩트 영역 $ \Omega $ 의 질량 최소화 확장이 정적 계량이 되기 위한 조건은 무엇인가?
• RQ2 준구형 계량과 같은 명시적 기하 구조를 사용하여 국소 질량 $ m_{QL}(\Omega) $ 의 상한을 구할 수 있는가?
• RQ3 점근적으로 평탄한 다양체에 포함되었을 때 $ m_{ADM} < 1 $ 이고 $ m_{QL}(\Omega) = 1 $ 이면, 영역 $ \Omega $ 는 반드시 사건의 지평선을 포함하는가?
• RQ4 경계 조건 쌍 $ (g|_{T\Sigma}, H_\Sigma) $ 는 정적이고 점근적으로 평탄한 확장을 유일하게 결정하는 데 충분한가?
• RQ5 질량 최소화 수열은 어떻게 행동하며, 적절한 위상에서 정적 계량으로 수렴하는가?

주요 결과

• 논문은 국소 질량 정의에서 하한을 실현하는 계량 $ (M,g) $ 가 존재할 경우, $ M \setminus \Omega $ 에서 $ \text{Ric}_g = V^{-1} \nabla^2 V $ 과 $ \Delta_g V = 0 $ 을 만족하는 매끄러운 함수 $ V $ 가 존재함을 증명한다.
• 국소 질량에 대한 날카운 상한이 확립된다: $ m_{QL}(\Omega) \leq \frac{1}{2}r\left(1 - \frac{1}{4}r^2 \min_{\partial\Omega} H^2\right) $, 이는 $ \Omega $ 가 평탄한 구 또는 색워즈실드 지평선일 때에 도달된다.
• 접합과 등각 스케일링을 통한 완전하고 점근적으로 평탄하며 스칼라 곡률가 0인 다양체의 구성은, 그러한 다양체가 반드시 평탄해야 하며, 따라서 정적이며 질량이 0인 경우 $ (M,g) $ 는 색워즈실드여야 한다는 것을 의미한다.
• $ g|_{T\Sigma} = g|_{T\partial\Omega} $ 와 $ H_\Sigma = H_{\partial\Omega} $ 라는 경계 조건이 정적 방정식에 대해 타원형임이 입증되었으며, 이는 이러한 조건이 확장을 유일하게 결정할 것이라는 추측을 뒷받침한다.
• 질량 최소화 수열이 정적 계량으로 수렴함을 보여주는 증거를 제시하며, 예를 들어 $ m_{ADM}(g_k) \to 0 $ 일 때 $ g_k \to \delta $ 가 가중 카르람스퍰이터 공간에서 강한 수렴성 결과를 기반으로 한다.
• $ m_{QL}(\Omega) = 1 $ 이고 $ \Omega $ 가 완전하고 점근적으로 평탄한 다양체에 등장하는 등장시키는 경우, $ m_{ADM} < 1 $ 이면 그 다양체는 반드시 지평선을 포함해야 한다고 주장하며, 극도로 질량이 집중된 상황에서 블랙홀 형성이 발생한다는 물리적 기대를 강화한다.