[論文レビュー] Relativity and Singularities - A Short Introduction for Mathematicians

José Natário|arXiv (Cornell University)|Mar 8, 2006

Advanced Differential Geometry Research参考文献 13被引用数 16

ひとこと要約

この論文は、Lorentz幾何と一般相対性理論の明快で数学的に厳密な入門を提供し、最も単純なHawking-Penrose特異性定理の証明に焦点を当てる。強エネルギー条件とグローバルな因果的構造を満たすとき、時空内の時的測地線は不完全になることが示され、物理的に妥当な時空モデルにおいて特異性が避けられないことを示している。

ABSTRACT

We summarize the main ideas of General Relativity and Lorentzian geometry, leading to a proof of the simplest of the celebrated Hawking-Penrose singularity theorems. The reader is assumed to be familiar with Riemannian geometry and point set topology.

研究の動機と目的

• 微分幾何とトポロジーに熟達した数学者がRiemann幾何とLorentz幾何の間のギャップを埋めることを目的とする。
• 物理的導出よりも深い幾何学的定理に焦点を当てた、洗練された数学的入門を提供することを目的とする一般相対性理論への入り口を提示すること。
• 因果的理論、共役点、および時的曲線の空間のコンパクト性を用いて、最も単純なHawking-Penrose特異性定理を証明すること。
• 強エネルギー条件とグローバルな因果的構造を満たす時空において、測地線の不完全性が一般的な性質であることを示すこと。
• 特異性が曲率の発散から生じるのではなく、グローバルに因果的構造と幾何的制約が原因で生じることを示すこと。

提案手法

• Riemann幾何に類似するように、Lorentz多様体上のLevi-Civita接続を用いて測地線を定義する。
• 計量の符号$(-, +, \dots, +)$に基づき、時的・空間的・光的ベクトルおよび曲線を定義し、因果的構造を確立する。
• 因果的理論を適用：歴史的および因果的未来・過去、依存領域、グローバルな因果的構造を定義する。
• Hausdorff距離における曲線空間のコンパクト性を用いて、グローバルに因果的構造を持つ時空において距離を最大化する時的測地線の存在を証明する。
• インデックス形式とJacobi場を用いて、測地線に沿う共役点が最大性を破ることを確立する。
• 強エネルギー条件（共役点の存在を示唆）と最大測地線の存在を組み合わせることで、測地線の不完全性を導出する。

実験結果

リサーチクエスチョン

• RQ1 Lorentz多様体が測地線の不完全性を必然的に示す幾何的および物理的条件は何か？
• RQ2 共役点と測地線の最大性の相互作用が、時空における特異性をどのように生じさせるか？
• RQ3 グローバルな因果的構造が、Cauchy超曲面から点$p$へ至る最大測地線の存在を保証する役割を果たすのはなぜか？
• RQ4 なぜRiemann幾何では特異性定理が成り立たないのか？これはLorentz幾何の独自性を何を示唆するか？
• RQ5 Friedmann-Lemaître-Robertson-Walkerモデルにおけるビッグバン特異性は、小さな摂動のもとでも一般に成立するのか？

主な発見

• 最も単純なHawking-Penrose特異性定理が証明された：強エネルギー条件を満たし、負の発散を示すCauchy超曲面を含むグローバルに因果的構造を持つ時空は測地線的に不完全である。
• 測地線の不完全性は、強エネルギー条件により保証される共役点を過ぎると、時的測地線が距離を最大化できなくなることによって生じる。
• Hausdorff距離における時的曲線の空間のコンパクト性と長さ汎関数の上半連続性を用いて、Cauchy超曲面から任意の点$p$への長さ最大化測地線の存在が確立された。
• Milne宇宙は曲率を持たないが、その因果的構造と拡張する時間断面のおかげで測地線的に不完全である。これは特異性が曲率に起因するとは限らないことを示している。
• Friedmann-Lemaître-Robertson-Walkerモデルは過去に特異性を持つが、これは一般的である：強エネルギー条件を保ちつつ小さな摂動を加えても不完全性は依然として生じる。
• シュバルツシルト内部（$r < r_s$）はグローバルに因果的構造を持ち、強エネルギー条件を満たし、Cauchy超曲面上での負の発散のおかげで未来の測地線的不完全性を示す。これはブラックホール特異性の避けがたい性質を確認している。