[논문 리뷰] On the final definition of the causal boundary and its relation with the conformal boundary

José Luis Flores, Jónatan Herrera외 1명|arXiv (Cornell University)|2010. 01. 19.

Black Holes and Theoretical Physics참고 문헌 3인용 수 5

한 줄 요약

이 논문은 강한 인과성 시공간에 대한 인과 경계(causal boundary, c-boundary)의 오랫동안 지속된 모순을 해결하여, 점집합, 연속성, 위상 기준을 만족하는 유일하고 적합한 완비화를 확립한다. 일반 조건 하에서 c-boundary가 호환 경계(conformal boundary)의 접근 가능한 부분과 일치함을 증명함으로써, 라이만 기하학에서 두 핵심 접근 방식을 조율하고, 둘 다 시공간 분석에서 상호보완적인 도구로 검증한다.

ABSTRACT

The notion of causal boundary $\partial M$ for a strongly causal spacetime $M$ has been a controversial topic along last decades: on one hand, some attempted definitions were not fully consistent, on the other, there were simple examples where an open conformal embedding $i:M\hookarrow M_{0}$ could be defined, but the corresponding conformal boundary $\partial_{i}M$ disagreed drastically with the causal one. Nevertheless, the recent progress in this topic suggests a definitive option for $\partial M$, which is developed here in detail. Our study has two parts: (I) To give general arguments on a boundary in order to ensure that it is admissible as a causal boundary at the three natural levels, i.e., as a point set, as a chronological space and as a topological space. Then, the essential uniqueness of our choice is stressed, and the relatively few admissible alternatives are discussed. (II) To analyze the role of the conformal boundary $\partial_{i}M$. We show that, in general, $\partial_{i}M$ may present a very undesirable structure. Nevertheless, it is well-behaved under certain general assumptions, and its accessible part $\partial_{i}^{*}M$ agrees with the causal boundary. This study justifies both boundaries. On one hand, the conformal boundary $\partial_{i}^{*}M$, which cannot be defined for a general spacetime but is easily computed in particular examples, appears now as a special case of the causal boundary. On the other, the new redefinition of the causal boundary not only is free of inconsistencies and applicable to any strongly causal spacetime, but also recovers the expected structure in the cases where a natural conformal boundary is available. The cases of globally hyperbolic spacetimes and asymptotically conformally flat ends are especially studied.

연구 동기 및 목표

• 강한 인과성 시공간에 대한 인과 경계(c-boundary) 정의의 지속적인 모순을 해결하여 일반 상대성 이론에서의 활용을 저해하는 요인을 제거한다.
• 점집합적 구조, 연속성 순서, 위상 기준이라는 세 가지 자연스러운 기준을 만족하는 엄밀하고 유일하며 적합한 시공간 완비화를 확립한다.
• c-boundary와 호환 경계 사이의 관계를 명확히 하며, 이전에 서로 다름을 보였던 경우에 특히 초점을 맞춘다.
• 일반 조건 하에서 호환 경계의 접근 가능한 부분($\partial_i^*M$)이 c-boundary와 일치함을 보이며, 양쪽 구조의 타당성을 입증한다.
• c-boundary가 호환 불변성, 내재성, 그리고 전역적으로 하이퍼볼릭적이고 점점이 호환되는 시공간을 포함한 모든 강한 인과성 시공간에 적용 가능함을 보여준다.

제안 방법

• 점집합적 구조, 연속성 순서, 위상 기준이라는 세 수준의 적합성 프레임워크를 제안하여 일관된 c-boundary를 정의한다.
• TIPs(TIPs)와 TIFs(TIFs)의 동치류 집합으로서의 c-boundary의 새로운 정의를 도입하며, 과거-미래 식별 문제를 해결하기 위한 개선된 식별 규칙을 제시한다.
• 연속성 위상(chr-topology)과 MR 위상을 사용하여 완비화에서 인과 곡선의 수렴성과 극한 행동을 비교한다.
• 타임라이크 곡선으로 도달 가능한 부분으로서의 접근 가능한 호환 경계$\partial_i^*M$을 정의하여 c-boundary와의 호환성을 확보한다.
• $C^1$ 및 $C^0$ 경계를 가진 예시를 분석하여, $\pi: \partial M \to \partial_i M$의 사영이 항상 잘 정의되지 않음을 보이며, 연속성 위상과 호환 위상 간의 극한 행동 불일치를 드러낸다.
• 연속성 위상에서 $L$-연산자와 수렴 기준을 적용하여 c-boundary 내의 수열의 극한 행동을 검증한다.

실험 결과

연구 질문

• RQ1 모든 강한 인과성 시공간에 대해 고유하고 일관되며 적합한 인과 경계 정의를 설정할 수 있는가?
• RQ2 이전의 인과 경계 정의가 단순한 예시에서 왜 호환 경계와 일치하지 않는가?
• RQ3 어떤 조건에서 호환 경계의 접근 가능한 부분($\partial_i^*M$)이 인과 경계와 일치하는가?
• RQ4 어떤 경우에 자연스러운 사영 $\pi: \partial M \to \partial_i M$이 잘 정의되지 않는가?
• RQ5 전역적으로 하이퍼볼릭적이고 점점이 평탄한 시공간에서 c-boundary는 어떻게 호환 경계와 조율될 수 있는가?

주요 결과

• 제안된 c-boundary는 소수의 대안을 제외하고는 고유하게 정의되며, 점집합, 연속성, 위상 적합성이라는 세 기준을 모두 만족한다.
• 일반 조건 하에서 호환 경계의 접근 가능한 부분 $\partial_i^*M$이 c-boundary와 위상동형(isomorphic)임을 보이며, 특히 호환 경계가 $C^1$이면서 강하게 접근 가능한 경우에 특히 그렇다.
• $C^1$ 또는 $C^0$ 경계를 가진 예시에서, 연속성 위상과 호환 위상 간의 극한 행동 불일치로 인해 $\pi: \partial M \to \partial_i M$의 사영이 잘 정의되지 않는다는 점이 드러났다.
• c-boundary는 타임라이크 점을 노출된 특이점으로 올바르게 식별하고, 전역적으로 하이퍼볼릭 시공간에서 물리적 기대와 일치한다.
• c-boundary는 호환 불변성과 내재성을 지니며, 자연스러운 호환 완비화가 없는 시공간을 포함한 모든 강한 인과성 시공간에 적용 가능하다.
• 연구는 호환 경계가 존재하고 잘 정의된 경우 c-boundary의 특수한 경우로 간주될 수 있음을 입증하며, 오랫동안 지속된 개념적 갈등을 해결한다.