[논문 리뷰] Lightlike sets with applications to the rigidity of null geodesic incompleteness

I. P. Costa e Silva, José Luis Flores|arXiv (Cornell University)|2014. 08. 19.

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

한 줄 요약

이 논문은 저규율 영광선 부분다양체에 적합한 아chrono적 집합의 일반화인 빛의 성질을 띤 집합(lightlike sets)을 도입하고, 이를 통해 최대 컴팩트 표면을 포함하는 전역적으로 하이퍼볼릭 시공간에서 영광선 불완전성에 대한 강성 정리(rigidity theorems)를 증명한다. 주요 결과는 두 개의 끝을 가지며 스칼라 곡률이 0인 점근적으로 평탄한 3–7차원 초기 자료의 진공 코시 발전체는 영광선 불완전하거나 분열된 시공간 경계(bifurcate horizon)를 갖는다.

ABSTRACT

An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified concusions may arise, showing that those conclusions will fail only in special cases, at least some of which may be described. These are the so-called rigidity theorems, and have many important examples in the especialized literature. In this paper, we prove rigidity results for generalized plane waves and certain globally hyperbolic spacetimes in the presence of maximal compact surfaces. Motivated by some general properties appearing in these proofs, we develop the theory of lightlike sets, entities similar to achronal sets, but more appropriate to deal with low-regularity null submanifolds.

연구 동기 및 목표

• 주어진 가정(예: 폐쇄된 포식 표면의 존재)이 약화되거나 제거될 경우 그 결과가 어떻게 변화하는지 분석하여, 특이점 정리의 강건성(robustness)을 이해하는 것.
• 모서리 외부 포식 표면(MOTS) 또는 최대 컴팩트 표면을 포함하는 시공간이 지선적으로 완전한 조건을 규명하고, 완전성이 성립하는 예외적인 경우를 식별하는 것.
• 저규율 영광선 부분다양체를 분석하는 데 더 적합한, 아chrono적 집합을 일반화한 새로운 종류의 부분집합인 빛의 성질을 띤 집합의 일반 이론을 개발하는 것.
• MOTS 또는 최대 표면이 존재하더라도 영광선적으로 완전한 시공간의 기하학적 구조를 묘사하는 강성 정리를 수립하는 것.
• 점근적으로 평탄한 초기 자료에서 스칼라 곡률이 0인 진공 코시 발전체는 약간의 위상적 및 기하학적 가정 하에 항상 영광선 불완전하거나 분열된 시공간 경계를 갖는다.

제안 방법

• 빛의 성질을 띤 집합—일부 조건 하에서 영광선 지선이 제어 가능한 방식으로 과거 또는 미래의 역학적 과거에 들어가지 않는 시공간의 부분집합—의 개념을 도입하고, 이론을 저규율 영광선 부분다양체로 확장한다.
• 가우스–코다치 방정식을 사용하여 초기 자료 초평면의 내재 기하학을 외재 곡률과 에너지-모멘텀 텐서와 연결함으로써, 진공의 경우를 스칼라 곡률가 0인 리만 기하학으로 환원한다.
• 최소 표면 이론의 결과(예: Eichmair의 MOTS 존재 정리)를 적용하여, 두 개의 점근적으로 평탄한 끝에 둘러싸인 컴팩트 영역 내에서 최소(평균 곡률가 0) 초평면이 존재함을 보인다.
• 전역적으로 하이퍼볼릭 시공간에서 시공간적 코시 초평면의 비인과성(causality)을 활용하여, 초기 자료의 기하학적 성질을 전체 시공간 진화로 이 trasfer한다.
• 초기 자료에 컴팩트하고 임베딩된 최소 표면이 존재함을 이용하여, 지선 완전성과 분열된 시공간 경계의 존재 또는 불완전성 사이의 연결 고리를 제공하는 정리 VII.1을 적용한다.
• 위상적 추론(예: 기본군 사상의 전사성)과 점근적으로 평탄한 끝에서 평균 곡률에 대한 기하학적 추정치를 조합하여, 컴팩트 영역을 둘러싸는 평균 볼록 구(sphere)의 존재를 확보한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 시공간 내에 모서리 외부 포식 표면(MOTS) 또는 최대 컴팩트 표면이 존재할 경우 영광선 불완전성이 유도되는가?
• RQ2 전역적으로 하이퍼볼릭 시공간이 MOTS 또는 최대 표면을 포함하고 있음에도 불구하고 영광선적으로 완전한 경우, 어떤 기하학적 또는 위상적 특성을 가져야 하는가?
• RQ3 아chrono적 집합의 개념은 저규율 영광선 부분다양체를 다룰 수 있도록 어떻게 일반화할 수 있으며, 이러한 일반화된 집합의 기본 성질은 무엇인가?
• RQ4 점근적으로 평탄한 초기 자료를 갖는 진공 시공간에서 지선 불완전성의 강성이 확립될 수 있는가? 그리고 예외적인 경우는 무엇인가?
• RQ5 초기 자료의 스칼라 곡률과 점근 기하학이 코시 발전체가 지선적으로 완전한지 또는 분열된 시공간 경계를 갖는지를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 이 논문은 진공 코시 발전체가 두 개의 끝과 스칼라 곡률이 0인 3–7차원 점근적으로 평탄한 초기 자료로부터 유도될 경우, 시공간이 영광선 불완전하거나 분열된 시공간 경계를 갖는다는 강성 정리를 수립한다.
• 점근적으로 평탄한 끝의 위상적 및 기하학적 구조와 MOTS 존재 정리의 적용으로, 초기 자료 다양체 내에 컴팩트하고 최소(평균 곡률가 0) 초평면이 존재함이 보장된다.
• 각 점근적으로 평탄한 끝에서 평균 볼록 구의 구성은 Eichmair(2013)의 정리 1.1의 조건을 충족시키며, 이로 인해 두 끝에 의해 둘러싸인 컴팩트 영역 내부에 MOTS의 존재가 유도된다.
• 저규율 영광선 부분다양체를 분석하기 위한 기초 도구로 빛의 성질을 띤 집합 이론이 개발되었으며, 아chrono적 집합을 일반화하고 향후 저규율 특이점 정리에의 응용을 위한 프레임워크를 제공한다.
• 결과는 두 이상의 시공간 차원에서 성립하며, 아인슈타인 방정식과 같은 어떤 장 방정식의 가정도 필요로 하지 않아 다양한 기하학적 설정에서 강건하다.
• 핵심 기하학적 통찰은 점근적 평탄성, 스칼라 곡률 0, 그리고 두 개의 끝의 조합이 시공간의 위상적 및 기하학적 구조를 강제하며, 이는 지선 불완전성 또는 분열된 시공간 경계의 형성을 초래한다.