[논문 리뷰] On the foliation of space-time by constant mean curvature hypersurfaces

Claus Gerhardt|ArXiv.org|2003. 04. 27.

Geometric Analysis and Curvature Flows참고 문헌 5인용 수 6

한 줄 요약

이 논문은 시간지속성 조건이 성립하고, 전체적으로 초과한 시공간에서의 완전히 지오데식적이지 않은 최대 슬라이스나 조건에서 엄격한 부등식이 존재하지 않는 경우, 컴acts Cauchy 표면를 가진 전역적으로 초과한 루프시안 다양체에서 일정 평균곡률(CMC) 초표면의 평균곡률 $\tau$가 비영인 기울기를 가진 부드러운 시간 함수가 됨을 증명한다. 결과적으로 자연적인 기하적 제약 조건 하에서 $\tau$는 전역적으로 유효한 시간 함수로 정립된다.

ABSTRACT

We prove that the mean curvature $τ$ of the slices given by a constant mean curvature foliation can be used as a time function, i.e. $τ$ is smooth with non-vanishing gradient.

연구 동기 및 목표

• CMC 초표면의 평균곡률 $\tau$가 시공간에서 전역적으로 부드러운 시간 함수로 작용할 수 있는 조건을 확립하는 것.
• 최대 슬라이스 존재 시 $\tau$가 부드럽고 기울기가 영이 아닌지 여부를 해결하는 것.
• 완전히 지오데식적인 최대 슬라이스에서 기울기가 0이 되는 경우 $\tau$가 시간 함수로 실패하는 이유를 설명하기 위해 반례를 구성함으로써 가정의 날카로움을 명확히 하는 것.
• 가우스-코다지-베인거턴 방정식과 가우시안 좌표를 사용하여 전역적으로 초과한 시공간에서의 CMC 분할에 대한 엄밀한 기하 분석을 제공하는 것.
• 시간지속성 조건이 $\tau$가 시간 함수임을 보장하는 데 충분함을 검증하고, 구성된 반례를 통해 그 날카로움을 입증하는 것.

제안 방법

• 루프시안 다양체에서 시공간 초표면의 내재 기하와 외재 기하 간의 관계를 유도하기 위해 가우스-코다지-베인거턴 방정식을 사용한다.
• 시공간 계량이 $d\bar{s}^2 = e^{2\psi}(-dx^0{}^2 + \sigma_{ij}dx^i dx^j)$ 형태를 가지는 가우시안 좌표계를 적용하여, CMC 슬라이스를 그래프 $x^0 = u(x)$ 형태로 표현한다.
• CMC 방정식의 해들 $u - \bar{u}$의 차이에 최대 원리를 적용하여, 어떤 부드러운 함수 $c$에 대해 $\tau - \bar{\tau} \leq c[u(x_0) - \bar{u}(x_0)]$의 추정을 유도함으로써 $\tau$가 엄격하게 증가함을 증명한다.
• 그래프 형태의 CMC 방정식을 통해 제2 기본형과 평균곡률의 진화를 유도하여, $\{\tau \neq 0\}$에서 $\tau$가 부드럽다는 것을 보인다.
• 시간이 $I \times S^n$인 다양체 위에서, 계량 $d\bar{s}^2 = -dt^2 + e^{2f}\sigma_{ij}dx^i dx^j$와 $f(t) = -\int_0^t \frac{s^3}{\epsilon^2 - s^2}ds$를 사용하여, 완전히 지오데식적인 최대 슬라이스에서 $D\tau = 0$임을 보여주는 반례를 구성한다.
• 동형 변환과 리치 텐서 항등식을 사용하여 $\bar{R}_{\alpha\beta}\eta^\alpha\eta^\beta \geq 0$를 계산함으로써 시간지속성 조건을 검증하여, 주어진 구성 조건 하에서 조건이 성립함을 확인한다.

실험 결과

연구 질문

• RQ1 CMC 분할에서 평균곡률 $\tau$가 기울기가 영이 아닌 부드러운 시간 함수가 되기 위한 조건은 무엇인가?
• RQ2 시간지속성 조건과 완전히 지오데식적이지 않은 최대 슬라이스의 부재가 $\tau$가 전역적으로 시간 함수가 되도록 보장할 수 있는가?
• RQ3 기울기가 0이 아닌 조건이 날카로운가, 아니면 자연적인 기하적 가정 하에서 실패할 수 있는가?
• RQ4 단 하나의 완전히 지오데식적인 최대 슬라이스 존재가 $\tau$가 시간 함수로 실패하게 하는가?
• RQ5 $\tau$가 부드럽지만 최대 슬라이스에서 $D\tau = 0$인 시공간을 구성할 수 있는가, 이는 시간 함수 성질을 위반하게 되는가?

주요 결과

• 평균곡률 $\tau$는 $\{\tau \neq 0\}$ 영역에서 기울기가 영이 아니며 부드럽기 때문에, 그 영역에서 유효한 시간 함수임을 보장한다.
• 시간지속성 조건이 엄격한 부등식을 포함하거나, 완전히 지오데식적이지 않은 최대 슬라이스가 존재하는 경우, $\tau$는 전역적으로 부드러운 시간 함수가 된다.
• 시간이 $I \times S^n$인 다양체에서 반례를 구성하였으며, $\tau = -n \dot{f} = n \frac{t^3}{\epsilon^2 - t^2}$이고, $t = 0$에서 $D\tau = 0$임을 보여, 유일한 완전히 지오데식적인 최대 슬라이스에서 기울기가 0이 됨을 확인한다.
• 반례에서 리치 텐서 계산을 통해 시간지속성 조건이 검증되었으며, 모든 시간지속성 벡터에 대해 $\bar{R}_{\alpha\beta}\eta^\alpha\eta^\beta \geq 0$가 성립함을 보였다.
• 추정 $\tau - \bar{\tau} \leq c[u(x_0) - \bar{u}(x_0)]$는 $\tau$가 분할을 따라 엄격하게 증가함을 의미하며, 이는 단조성과 부드러움을 확인한다.
• 결과적으로 $\tau$가 시간 함수가 되기 위한 가정은 날카로움을 보여주며, 만약 최대 슬라이스에서 $D\tau = 0$이면 $\tau$는 전역적으로 시간 함수로 실패한다.