Differentiability and Other Properties of the Cosmological Volume Function

기술 요약: 우주론적 부피 함수의 미분 가능성 및 기타 성질

문제 정의
일반 상대성 이론에서 관찰자 독립적인 시간 좌표의 부재는 근본적인 과제이다. 특이점(singularity)은 때때로 자연스러운 시간 좌표를 제공할 수 있지만, 표준적인 구성들은 한계에 직면한다. Andersson, Galloway, 그리고 Howard가 도입한 정규 우주론적 시간 함수 $\tau$는 관찰자가 특이점(빅뱅) 이후 경험할 수 있는 최대 고유 시간(proper time)을 측정하지만, $\tau$는 일반적으로 국소적 리프시츠(locally Lipschitz) 연속이며 거의 모든 곳에서 미분 가능할 뿐, 시공간의 타임라이크 컷 로커스(timelike cut locus)로 인해 많은 경우 $C^1$ 급이 되지 못한다.

대안으로서, 최근 도입된 우주론적 부피 함수 $\tau_V$는 연대기적 과거(chronological past)의 정준 부피(canonical volume)를 통해 시간을 측정한다: $\tau_V(p) := \text{vol}_g(I^-(p))$. $\tau_V$는 $\tau$와 유사한 구조적 성질(글로벌 하이퍼볼릭 분할을 정의하는 등)을 공유하지만, 그 미분 가능성 성질은 이전에 불분명했다. 핵심적인 문제는 정준 부피 측도 $\text{vol}_g$가 무한할 수 있다는 점이며, 가중치 부피(weighted measures)를 선택함으로써 미분 가능성을 확보할 수 있음이 Chruściel, Grant, 그리고 Minguzzi에 의해 보여졌으나, 이러한 선택은 임의적이다. 본 논문이 다루는 핵심 문제는, 물리적으로 유의미한 설정에서 정준(unweighted) 우주론적 부피 함수 $\tau_v$가 임의의 선택 없이 메트릭 텐서의 정준적인 분할을 제공할 수 있는 $C^1$ 시간 함수인지 여부이다.

방법론
본 논문은 로렌츠 기하학(Lorentzian geometry)과 측도론(measure theory)의 기법을 사용하여, 가중 부피 측도에 관한 Chruściel, Grant, 그리고 Minguzzi의 논증을 정준 부피 측도의 특정 사례에 적용한다.

1. 적분의 미분: $\tau_V(p) = \int_{I^-(p) \cap I^+(S)} d\text{vol}_g$를 정의하는 적분을 미분하는 것이 핵심적인 기술적 접근이다. 저자는 적분 영역(연대기적 과거)의 변화를 분석하기 위해 미분 형식(differential forms)에 대한 라이프니츠 적분 규칙(Leibniz integral rule)을 활용한다.
2. 경계의 기하학적 분석: 연대기적 과거의 경계 $\partial I^-(p)$는 과거 방향의 널 지오데식(null geodesics)들에 의해 규정된다. 저자는 이 널 지오데식들을 따라 자코비 필드(Jacobi fields)를 사용하여 경계의 "속도"를 분석한다.
3. 특이점 처리: 널 컷 로커스(null cut locus)에 대한 특별한 주의가 필요하다. 본 논문은 널 컷 로커스가 측도 0(measure zero)을 가짐을 입증하며, 이는 $\tau$의 미분 가능성에 영향을 주는 타임라이크 컷 로커스와 달리 부피 적분의 미분에 기여하지 않음을 보장한다.
4. 연속성 증명: 후보 미분 함수를 $\mathring{E}^-(p)$(컷 로커스를 제외한 과거의 경계) 상의 적분으로 구성하고, 지수 사상(exponential map)의 성질과 코시 곡면(Cauchy surfaces)의 컴팩트성을 사용하여 이 사상들의 연속성을 입증한다.

주요 기여 및 결과

• 주요 정리 (정리 1.1): 본 논문은 $(M, g)$가 코시 곡면 $S$의 미래 카우시 발달(future Cauchy development)인 경우(즉, 시간이 초기 데이터로부터 측정되는 경우), $I^+(S)$에 제한된 우주론적 부피 함수 $\tau_V$가 정규 $C^1$ 시간 함수임을 증명한다.
• 따름정리 1.2 (우주론적 설정): 시공계가 과거 부피 불완전(past volume incomplete)하고 과거 관측자 지평선이 없는 조건(즉, 모든 과거 비연장 인과 곡선이 전체 시공계를 봄, $I^+(\gamma) = M$) 하에서, $\tau_V$가 유한하다면 $\tau_V$는 정규 $C^1$ 시간 함수이다.
• 정준 메트릭 분할: $\tau_V$의 $C^1$ 정규성은 메트릭 텐서의 정준적 분해를 가능하게 한다:
  $$g = -\beta(d\tau_V)^2 + h$$
  여기서 $\beta$는 연속 함수이고, $h$는 $\tau_V$의 레벨 셋(level sets) 위에 연속 리만 메트릭을 유도한다. 이를 통해 임의의 가중치 선택 없이 오직 로렌츠 메트릭 $g$로부터 유도된 "윅 회전(Wick-rotated)" 리만 메트릭 $g_R := \beta(d\tau_V)^2 + h$를 구성할 수 있다.
• 반례 및 한계:
  • 예제 3.8: 코시 곡면 $S$가 광선형(lightlike) 부분을 가질 경우 $\tau_V$가 $C^1$이 되지 않을 수 있음을 보여준다.
  • 예제 3.9: 시공계가 (특정 공형 인자(conformal factors)를 가진 스페이셜 경계로 인해) 코시 곡면의 미래 의존 영역으로 구성될 수 없을 때, $\tau_V$가 로컬 리프시츠조차 되지 않는 사례를 보여준다.
  • 예제 3.10: $\tau_V$가 $C^1$이지만 $C^2$는 아닌 사례를 예시하며, 고차 미분 가능성이 보장되지 않음을 보여준다.
• 우주론적 시간($\tau$)과의 비교:
  • 본 논문은 $\tau$의 정규성(유한하며 과거 비연장 곡선을 따라 0으로 수렴함)이 $\tau_V$의 정규성을 자동으로 보장하지 않음을 확립하지만, 컴팩트 코시 곡면과 리치 곡률 하한을 포함하는 조건(명제 4.1)은 이를 보장할 수 있음을 밝힌다.
  • $\tau$와 달리, $\tau_V$의 레벨 셋은 $\tau_V$가 정규인 경우에도 반드시 코시 곡면이 아닐 수 있다(예제 4.4).
  • $\tau$의 우주론적 컷 로커스는 표준 리만 컷 로커스와 대조적으로 닫혀 있지 않을 수 있다(예제 4.7).

의의 및 주장
본 논문은 두 가지 구체적이고 중요한 설정—초기 데이터로부터 발생하는 시공계와 관측자 지평선이 없는 특정 우주론적 모델—에서 우주론적 부피 함수 $\tau_V$가 정준적인 $C^1$ 시간 함수를 제공한다고 주장한다. 이는 다음과 같은 이유로 중요하다:

1. 정준성(Canonicity): 미분 가능성을 확보하기 위해 임의의 가중 함수 선택을 요구했던 이전의 접근 방식들과 달리, $\tau_V$는 오직 메트릭 $g$와 정준 부피 측도에 의존한다.
2. 메트릭 분할: $C^1$ 성질은 메트릭 텐서의 연속적인 분할을 허용하여, 윅 회전된 리만 메트릭 $g_R$의 정의를 용이하게 한다.
3. 수렴 연구: 구성된 $g_R$은 임의의 가중치 문제를 피함으로써, 확립된 메트릭 공간 수렴 개념(예: 그로모프-하우스도르프 수렴)을 사용하여 시공계 수열 $(M_i, g_i)$의 수렴을 연구하는 데 적합하다.

저자는 $\tau_V$가 이러한 경우에 $C^1$이지만 일반적으로 $C^2$는 아니며, 그 레벨 셋이 $\tau$의 레벨 셋과 동일한 코시 성질을 공유하지 않을 수 있음을 명시적으로 언급한다. 결과는 $\tau_V$가 모든 시공계에 대해 보편적으로 적용되는 것이 아니라, "관심 있는 많은 사례"에서 미분 가능성을 확립하는 것으로 제시된다.