[논문 리뷰] Globally Hyperbolic Lorentzian Manifolds with Special Holonomy Groups

Yaroslav Bazaikin|ArXiv.org|2009. 09. 20.

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

한 줄 요약

이 논문은 특수 호로노미 군을 가진 전역적으로 초과한 로렌츠 다양체를 구성하기 위해 호로노미 대칭의 직교 부분을 활용한다. 이 직교 부분은 리만 다양체의 호로노미 군이어야 한다. 핵심 결과는 직교 부분이 랭크 >1 카플러 대칭 공간의 등장 표현을 포함하지 않는 한, 해당 특수 호로노미 군을 가진 전역적으로 초과한 로렌츠 다양체가 존재한다는 것을 증명하며, 로렌츠 기하학에서 특수 호로노미의 전역 실현 문제를 해결한다.

ABSTRACT

We prove that each special Lorentzian holonomy group (with the exception of those including the isotropy groups of Kähler symmetric spaces with rank greater than one) can be realized as the holonomy group of a globally hyperbolic Lorentzian manifold.

연구 동기 및 목표

• 특수 호로노미 군을 가진 전역적으로 초과한 로렌츠 다양체를 구성하는 데 열려 있는 문제를 해결하기 위해.
• 특수 호로노미 대수의 국소적 실현을 전역적이고 인과적으로 잘 정의된 시공간으로 확장하기 위해.
• 그들의 직교 부분에 기반한 특수 로렌츠 호로노미 군에 대한 전역 존재 결과를 수립하기 위해.
• 직교 부분이 이러한 시공간의 전역적 구조를 결정하는 데서 수행하는 역할을 명확히 하기 위해.
• 구축된 계량이 강한 인과성 및 전역 초과성 조건을 만족하는지 확인하기 위해.

제안 방법

• 구성은 원하는 로렌츠 호로노미 군 G의 직교 부분인 호로노미 군 H를 가진 리만 다양체로부터 시작한다.
• 계량은 ℝ²⁺ⁿ⁻² × Mⁿ⁰ × Cₘ₁ × ⋯ × Cₘᵣ의 곱 공간 위에 정의되며, 계량의 구조는 좌표와 리만 계량에 의존하는 함수 F에 의해 결정된다.
• 비공간적 곡선의 행동과 ℝ²에 대한 그들의 투영을 분석함으로써 계량이 안정적으로 인과적이고 강하게 인과적임을 보였다.
• 원인 다이아몬드 J⁺(p₁) ∩ J⁻(p₂)의 컴팩턴스를 보여줌으로써 전역 초과성을 증명하였으며, 미분 부등식으로부터 유도된 함수 F의 경계를 사용하였다.
• 원인 곡선을 따라 F의 성장률을 |dF/dξ| 및 |dF/dη|를 포함하는 미분 추정치로 제한함으로써 F의 渐진적 통제를 이룩하였다.
• 최종적으로, 시공간은 전역적으로 초과한 2+n−2차원 로렌츠 공간과 완전한 리만 공간의 직접 곱으로서 전역적으로 초과함을 보였다.

실험 결과

연구 질문

• RQ1 로렌츠 다양체의 특수 호로노미 군 G에 대해, 전역적으로 초과한 실현이 존재하는가?
• RQ2 로렌츠 호로노미 대수의 직교 부분 H ⊂ SO(n)에 대해 어떤 조건이 전역적으로 초과한 계량이 존재하는 데 보장하는가?
• RQ3 특수 호로노미 대수의 국소적 실현은 전역적이고 인과적으로 잘 정의된 시공간으로 확장될 수 있는가?
• RQ4 계량 구성에서 함수 F의 행동에 따라 구축된 계량의 인과적 성질은 어떻게 달라지는가?
• RQ5 완전한 리만 인자와의 곱 구조에서 결과 시공간의 전역 초과성이 유지되는가?

주요 결과

• 논문은 랭크 >1 카플러 대칭 공간의 등장 표현을 포함하지 않는 모든 리만 호로노미 군 H에 대해, 그 직교 부분이 H인 특수 호로노미 군 G를 가진 전역적으로 초과한 로렌츠 다양체가 존재함을 증명한다.
• ℝ²⁺ⁿ⁻² × Mⁿ⁰ × Cₘ₁ × ⋯ × Cₘᵣ 위에 구축된 계량은 원인 다이아몬드 J⁺(p₁) ∩ J⁻(p₂)의 닫힘 집합이 컴팩트하므로 전역적으로 초과함을 보였다.
• 계량 내 함수 F는 최대 |ξ|²/³ 또는 η²의 비율로 성장함을 보였으며, 이는 원인 곡선이 ℝ² 내 유계 영역에 머무름을 의미하고, 원인 다이아몬드의 컴팩턴스를 암시한다.
• 시공간 (N, g₀)은 전역적으로 초과한 로렌츠 공간과 완전한 리만 공간의 곱으로 등급이 같으므로 자체적으로 전역적으로 초과함을 보였다.
• 계량 (N, ̃g)은 안정적으로 인과적이고 강하게 인과적이며, 그 원인 다이아몬드는 전역적으로 초과한 모델 (N, g₀)의 원인 다이아몬드에 포함되어 있어 전역 초과성을 보장한다.
• 증명은 원인 구조에 기반한 F에 대한 미분 경계에 의존하며, F가 비공간적 곡선을 따라 너무 빠르게 성장할 수 없음을 보였다.