[논문 리뷰] Positive mass theorems for asymptotically hyperbolic Riemannian manifolds with boundary

Piotr T. Chruściel, Gregory J. Galloway|arXiv (Cornell University)|2021. 07. 12.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 9

한 줄 요약

이 논문은 차원 3 ≤ n ≤ 7인 경계가 컴acts한 점근적으로 하이퍼볼릭 및 점근적으로 국소 하이퍼볼릭 리만다이내어의 양의 질량 정리를 수립한다. 각 구형 컨フォ르멀 무한대 성분의 에너지-운동량 벡터가 스칼라 곡률 및 평균 곡률 경계 조건 하에서 미래 원추적임을 증명한다. 이 결과는 이전 연구를 확장하여 스핀 구조의 가정을 제거하고, 컷-앤퍼스트 및 변형 기법을 사용하여 단순연결되지 않거나 다중 끝을 가진 다양체로 일반화한다.

ABSTRACT

We prove positive mass theorems for asymptotically hyperbolic and asymptotically locally hyperbolic Riemannian manifolds with black-hole-type boundaries.

연구 동기 및 목표

• 점근적으로 하이퍼볼릭 및 점근적으로 국소 하이퍼볼릭 다양체에 대한 양의 질량 정리를 경계가 있고 다중 끝을 가진 경우로 일반화한다.
• 이러한 다양체에 대한 이전의 양의 질량 정리에서 스핀 구조의 가정을 제거한다.
• 스칼라 곡률 R(h) ≥ −n(n−1) 및 경계 평균 곡률 H ≤ n−1 조건 하에서 각 구형 컨포르멀 무한대 성분의 에너지-운동량 벡터가 미래 원추적임을 확립한다.
• 비단순연결된 컨포르멀 무한대를 가진 다양체 및 곱 위상 구조를 가진 ALH 다양체의 합성으로 이루어진 다양체로 결과를 확장한다.

제안 방법

• 무한대에서의 점근적 행동을 분석하기 위해 컨포르멀 컴acts이션을 사용하며, 컨포르멀 무한대에서 0이 되는 컨포르멀 인자 Ω를 도입한다.
• Ω의 등치수를 통해 점근적 끝을 잘라내어 평균 곡률가 조절된 새로운 경계를 만들고, 이를 통해 경계 조건을 적용할 수 있도록 한다.
• 문헌 [2] 및 [4]의 변형 기법을 적용하여 일정한 음의 질량 비율 함수와 아래로 유계인 스칼라 곡률을 가진 새로운 계량을 구성한다.
• 마스크잇 접합 절차를 사용하여 다양체를 두 배로 만들고, 주어진 에너지 조건을 만족하는 일반 상대성 이론의 초기 데이터 세트를 구성한다.
• 하이퍼볼릭 끝을 민코프스키 시공간에 매립하고 큰 구체 외부에서 평탄하게 만들어, 외부 영역이 평탄한 컴acts한 초기 데이터 세트를 생성한다.
• 논문 [8]의 정리 1.2를 적용하여 에너지-운동량 벡터가 수평 또는 과거 원추적일 경우 모순을 이끌어내어, m의 미래 원추적임을 증명한다.

실험 결과

연구 질문

• RQ1 경계가 있고 다중 끝을 가진 점근적으로 하이퍼볼릭 다양체에서 에너지-운동량 벡터가 미래 원추적일 조건은 무엇인가?
• RQ2 양의 질량 정리는 경계가 있고 구형 컨포르멀 무한대를 가진 비스핀 다양체로 확장될 수 있는가?
• RQ3 점근적으로 하이퍼볼릭 다양체에 경계가 있을 경우 질량의 양성에 있어 평균 곡률 제한 H ≤ n−1 는 최적인가?
• RQ4 다양체의 위상적 가정(예: 곱 위상)을 유지하면서도 양의 질량 결과를 보존할 수 있는가?
• RQ5 컨포르멀 경계와 경계 평균 곡률은 에너지-운동량 벡터의 원추적 성격을 결정하는 데 어떤 역할을 하는가?

주요 결과

• R(h) ≥ −n(n−1) 및 H ≤ n−1 조건 하에서, 컨포르멀로 컴acts된 점근적으로 국소 하이퍼볼릭 다양체의 각 구형 경계 성분에 대해 에너지-운동량 벡터 m는 미래 원추적이다.
• H ≤ n−1 조건은 최적임이 입증되었으며, 음의 질량을 가진 버밍햄-코틀러 메트릭스에서 H가 n−1를 초과함으로써 이를 보여준다.
• 다중 끝과 비단순연결된 컨포르멀 무한대를 가진 다양체에 대해서도 결과가 성립하며, 이는 이전 연구가 스핀 또는 곱 위상 구조 다양체로 국한되었던 것을 확장한다.
• 증명은 주어진 에너지 조건을 만족하고 외부 포착 경계를 가진 컴acts한 초기 데이터 세트를 구성하는 데 의존하며, m이 수평 또는 과거 원추적일 경우 모순이 발생한다.
• 이 모순은 [8]의 정리 1.2의 위상적 결론을 위반함으로써 발생하며, 이는 다양체가 [0,1]×T^{n−1}와 미분동형이 되어야 하므로, 초기 데이터 세트의 비연결성과 모순된다.
• 결과는 닫힌 다양체, 컨포르멀로 컴acts된 ALH 다양체, 곱 위상 [0,1]×(S^{n−1}/Γ)를 가진 ALH 다양체의 연결합으로 이루어진 다양체로 일반화되며, ALH 성분의 질량은 비음수이다.