[논문 리뷰] Strong cosmic censorship for T^2-symmetric cosmological spacetimes with collisionless matter

Mihalis Dafermos, Alan D. Rendall|ArXiv.org|2006. 10. 14.

Cosmology and Gravitation Theories참고 문헌 6인용 수 17

한 줄 요약

이 논문은 충돌하지 않는 물질을 가진 $T^2$-대칭 우주론적 시공간에서 강력한 우주적 검열을 증명한다. 이를 위해, 아인슈타인-브라소프 시스템의 일반적인 $C^2$-확장 불가능한 해가 최대 발전 이외로 연장될 수 없음을 보여준다. 증명은 칼링 대칭성에서 유도된 캐우시 호라이즌의 강성 성질과, 호라이즌에서 리치 곡률이 0이 되는 것과, 브라소프 장의 비유한 지지부에 의해 유도되는 양의 리치 곡률 사이의 모순에 기반한다.

ABSTRACT

We prove strong cosmic censorship for T^2-symmetric cosmological spacetimes (with spatial topology T^3 and vanishing cosmological constant Lambda) with collisionless matter. Gowdy symmetric spacetimes constitute a special case. The formulation of the conjecture is in terms of generic C^2-inextendibility of the metric. Our argument exploits a rigidity property of Cauchy horizons, inherited from Killing fields.

연구 동기 및 목표

• 충돌하지 않는 물질이 있는 $T^2$-대칭 시공간에서 강력한 우주적 검열을 확립하여, 고투의 대칭성에 대한 이전 결과를 확장한다.
• 비유한 지지부의 존재로 인해 점 渐진 분석이 해결 불가능한 더 일반적인 $T^2$-대칭 클래스에서 캐우시 호라이즌 형성 문제를 해결한다.
• 브라소프 장의 구조와 칼링 벡터 장 대칭성을 활용하여, 일반적으로 $C^2$-확장 불가능성이 성립함을 보인다.
• 비유한 운동량 지지부를 가진 충돌하지 않는 물질이 존재할 경우, 캐우시 호라이즌을 넘어서서 $C^2$ 확장이 불가능함을 보여준다.

제안 방법

• 웨이버 [19]의 최대 발전의 과거 경계에 대한 특성화를 비유한 지지부를 가진 브라소프 장에 맞게 조정한다.
• 캐우시 호라이즌의 강성 성질을 적용한다: 만약 영향을 받는 영향선이 칼링 장의 스칼라에 속해 있다면, $\mathrm{Ric}(K,K) \leq 0$이다.
• 지오데식선을 따라 속도와 칼링 벡터 장 사이의 내적을 보존하여, 초기 데이터에서 호라이즌으로 정보를 전파한다.
• 브라소프 장의 양의 지지부가 있는 영역에서 초기 조건을 가진 지오데식선을 구성하여, 캐우시 호라이즌의 점들에서 $\mathrm{Ric}(K,K) > 0$임을 보인다.
• 호라이즌에서 $\mathrm{Ric}(K,K) \leq 0$임과, 물질 지지부로부터 유도된 $\mathrm{Ric}(K,K) > 0$ 사이의 모순을 유도함으로써, $C^2$-확장 불가능성을 증명한다.
• 피타우의 보조정리와 곡률 텐서의 연속성을 이용하여, 극한 점들에서 리치 곡률의 양의 성질을 보장한다.

실험 결과

연구 질문

• RQ1 비유한 지지부의 존재로 인해 점 渐진 분석이 해결 불가능한 상황에서, 충돌하지 않는 물질이 있는 $T^2$-대칭 클래스에서 강력한 우주적 검열을 확립할 수 있는가?
• RQ2 비유한 운동량 지지부를 가진 브라소프 장이 존재할 경우, 캐우시 호라이즌을 넘어서서 $C^2$ 확장이 불가능한가?
• RQ3 칼링 대칭성에 의해 유도된 캐우시 호라이즌의 강성은 물질 장으로부터 기인하는 리치 곡률의 양성과 어떻게 상호작용하는가?
• RQ4 과거 경계의 세밀한 점 渐진 분석 없이도, $C^2$-확장 불가능성 추측을 증명할 수 있는가?

주요 결과

• 충돌하지 않는 물질이 있는 일반적인 $T^2$-대칭 초기 조건의 최대 발전은 $C^2$-확장 불가능하며, 이는 이 클래스에서 강력한 우주적 검열을 확인한다.
• 캐우시 호라이즌 $\mathcal{H}^{-}$에서, 칼링 대칭성 강성에 의해, 영향선 $K$를 따라 리치 곡률이 $\mathrm{Ric}(K,K) \leq 0$임을 만족한다.
• 운동량 공간에서 브라소프 장의 비유한 지지부로 인해, $\mathcal{H}^{-}$의 조밀한 점 집합에서 $\mathrm{Ric}(K,K) > 0$임을 유도할 수 있다. 이는 이전 부등식과 모순된다.
• 이 모순은 $\mathcal{H}^{-}$를 넘어서서의 $C^2$-확장이 불가능함을 시사하며, 따라서 일반적으로 $C^2$-확장 불가능성이 증명된다.
• 이 결과는 브라소프 장이 충분히 작은 탄성 운동량 영역의 모든 열린 집합과 교차하는 지지부를 가진다는 가정 하에 성립한다. 이는 전체 공간적 지지부보다 더 약한 조건이다.
• 이 방법은 추가 물질 장이 존재하는 시스템으로도 확장 가능하며, 조건은 영역에서의 영에너지 조건을 만족하고, 브라소프 장이 관련 영역에서 0이 아님을 유지하는 것이다.