[논문 리뷰] Time functions on Lorentzian length spaces

Annegret Burtscher, Leonardo García-Heveling|arXiv (Cornell University)|2021. 08. 05.

Advanced Differential Geometry Research참고 문헌 68인용 수 11

한 줄 요약

이 논문은 매끄러운 다양체나 로르체프트계 미터리조트가 필요 없는, 미분가능성이나 계량구조에 의존하지 않는 레이저시안(pre-)길이 공간에서 시간 함수의 기본 존재 결과를 확립한다. 이는 전역적 비틀림성(global hyperbolicity)을 캐시 시간 함수를 통해, $K$-인과성(K-causality)을 일반적인 시간 함수를 통해, 그리고 수정된 제로흐 체적 함수를 통해 인과적 연속성(causal continuity)을 기술하는 방식으로 이루어진다. 핵심 기여는 시간 함수가 존재하고 잘 행동함이 보장되는 것은 인과적 구조가 최소한의 정규성 조건을 만족할 때에만 가능하며, 이는 미분 가능성이나 계량 구조와는 독립적이라는 것이다.

ABSTRACT

In general relativity, time functions are crucial objects whose existence and properties are intimately tied to the causal structure of a spacetime and also to the initial value formulation of the Einstein equations. In this work we establish all fundamental classical existence results on time functions in the setting of Lorentzian (pre-)length spaces (including causally plain continuous spacetimes, closed cone fields and even more singular spaces). More precisely, we characterize the existence of time functions by $K$-causality, show that a modified notion of Geroch's volume functions are time functions if and only if the space is causally continuous, and lastly, characterize global hyperbolicity by the existence of Cauchy time functions, and Cauchy sets. Our results thus inevitably show that no manifold structure is needed in order to obtain suitable time functions.

연구 동기 및 목표

• 부드러운 시공간에서의 고전적 시간 함수 존재 정리들을 더 일반적인 레이저시안(pre-)길이 공간의 맥락으로 확장한다.
• 시간 함수의 존재를 보장하는 인과 조건들—예를 들어 $K$-인과성, 인과적 연속성, 전역적 비틀림성 등—이 무엇인지 규명한다.
• 이 추상적 프레임워크에서 캐시 시간 함수의 존재가 전역적 비틀림성을 특성화함을 보여준다.
• 수정된 제로흐 체적 함수가 인과적 연속성인 경우에만 시간 함수가 되며, 이를 증명한다.
• 잘 행동하는 시간 함수의 존재를 위해 매끄러운 다양체나 계량 구조가 전혀 필요 없음을 보이며, 오직 인과적 및 위상적 구조에 의존함을 보여준다.

제안 방법

• 시간 함수를 인과 계단(causal ladder)을 통해 특성화하며, 존재 조건으로서 $K$-인과성이 필수적이고 충분함을 보인다.
• 완전한 지지 집합을 가진 Borel 확률 측도를 사용하고, 연속적 과거에 대한 평균 체적을 활용하여 제로흐의 체적 함수의 수정된 형태를 도입한다.
• 극한 곡선 정리와 적절한 거리 공간 성질을 적용하여 인과 곡선의 수렴성과 컴팩턴스를 확보한다.
• 전역적 비틀림성 공간에서 $J^\pm(p)$의 닫힘성과 푸시업 성질(push-up property)을 이용해, 체적 함수의 극한이 0이 아닐 경우 모순을 도출한다.
• 레베그의 지배 수렴 정리를 적용하여, 비가역 인과 곡선을 따라 체적 함수의 행동을 분석한다.
• 나흐비노의 순서 공간 이론 및 이전의 레이저시안 길이 공간 연구 결과를 활용하여 고전적 인과 이론을 일반화한다.

실험 결과

연구 질문

• RQ1 매끄러운 다양체의 구조가 없는 레이저시안 프리-길이 공간에서 어떤 인과 조건이 시간 함수의 존재를 보장하는가?
• RQ2 레이저시안 계량이 없는 상황에서 수정된 제로흐 체적 함수가 스스로 시간 함수가 되는 조건은 무엇인가?
• RQ3 인과적 연속성은 체적 기반 시간 함수의 정규성과 어떻게 관련되는가?
• RQ4 추상적 인과 공간에서 캐시 시간 함수의 존재로 전역적 비틀림성을 특성화할 수 있는가?
• RQ5 인과 이론은 어느 정도까지 미분 가능성이나 계량 텐서의 정규성 없이 발전시킬 수 있는가?

주요 결과

• 시간 함수가 레이저시안 프리-길이 공간에 존재하는 것은 그 공간이 $K$-인과성일 때이고, 오직 그 때에만 가능하며, 이는 인과성과 시간 함수 존재성 간의 기본적인 연결 고리를 확립한다.
• 수정된 제로흐 체적 함수가 시간 함수가 되는 것은 공간이 인과적 연속성일 때에만 가능하며, 이는 고전적 결과를 특이적이고 비가역적 공간으로 일반화한 것이다.
• 전역적 비틀림성은 캐시 시간 함수의 존재로 특성화되며, 이 경우 수준 집합은 모든 이중으로 비가역적인 인과 곡선과 정확히 한 번만 만난다.
• 전역적 비틀림성을 가진 레이저시안 프리-길이 공간에서, 평균 체적 함수 $t^\pm$ 는 임의의 이중으로 비가역적인 인과 곡선 $\gamma$ 에 대해 $\lim_{s\to b}t^+(\gamma(s)) = \lim_{s\to a}t^-(\gamma(s)) = 0$ 을 만족하며, 이는 시간 함수의 성질을 확인한다.
• 체적 함수 극한 행동의 증명은 $J(q,\gamma(b))$ 의 컴팩턴스와 푸시업 성질을 이용한 모순에 기반하며, 이는 비영인 극한이 존재할 경우 인과적 갇힘(causal imprisonment)이 발생함을 보여준다.
• 결과는 매끄러운 다양체나 레이저시안 계량을 가정하지 않으며, 오직 인과적 구조, 위상 구조, 그리고 전지적 지지 집합을 가진 측도를 갖춘 적절한 거리 구조에 의존한다.