[论文解读] Relativity and Singularities - A Short Introduction for Mathematicians

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

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

一句话总结

本文提供了对洛伦兹几何和广义相对论的简洁、数学上严谨的导论，重点在于证明最简单的霍金-彭罗斯奇点定理。它表明，在强能量条件和全局双曲性条件下，时空中的类时测地线必然变得不完整，这意味着在物理上合理的时空模型中，奇点是不可避免的。

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.

研究动机与目标

• 弥合熟悉微分几何与拓扑学的数学家在黎曼几何与洛伦兹几何之间的知识鸿沟。
• 提供一条精炼、数学导向的广义相对论入门路径，强调深刻的几何定理而非物理推导。
• 利用因果理论、共轭点以及类时曲线空间的紧致性，证明最简单的霍金-彭罗斯奇点定理。
• 证明在满足强能量条件和全局双曲性的时空中，测地线不完整是普遍特征。
• 表明奇点不仅源于曲率发散，也源于全局双曲时空中的因果结构与几何约束。

提出的方法

• 利用洛伦兹流形上的列维-奇维塔联络定义测地线，类比黎曼几何。
• 基于度量符号 $(-, +, \dots, +)$ 定义类时、类空和类光向量与曲线，建立因果结构。
• 应用因果理论：定义历时间接未来/过去、依赖域以及全局双曲性。
• 通过类时曲线空间在Hausdorff度量下的紧致性，证明在全局双曲时空中原长度最大化的类时测地线的存在性。
• 通过指标形式与雅可比场，证明测地线上的共轭点会破坏其最大性。
• 将强能量条件（意味着共轭点存在）与最大测地线的存在性相结合，推导出测地线不完整。

实验结果

研究问题

• RQ1 在何种几何与物理条件下，洛伦兹流形必然表现出测地线不完整？
• RQ2 共轭点与测地线最大性之间的相互作用如何导致时空中奇点的产生？
• RQ3 全局双曲性在确保从柯西超曲面到某点的最长测地线存在中起什么作用？
• RQ4 为何奇点定理在黎曼几何中不成立？这又如何体现洛伦兹几何的独特性？
• RQ5 在小扰动下，弗里德曼-勒梅特-罗伯逊-沃尔克模型中的大爆炸奇点在多大程度上是普遍的？

主要发现

• 最简单的霍金-彭罗斯奇点定理已得证明：满足强能量条件、具有负扩张柯西超曲面的全局双曲时空是测地线不完整的。
• 测地线不完整源于类时测地线在共轭点之后不再保持距离最大化，而强能量条件保证了共轭点的存在。
• 通过类时曲线空间在Hausdorff度量下的紧致性以及长度泛函的上半连续性，确立了从柯西超曲面到任意点 $p$ 的长度最大测地线的存在性。
• 米勒内宇宙虽无曲率，却因因果结构及膨胀的时间片而表现出测地线不完整，说明奇点未必源于曲率。
• 弗里德曼-勒梅特-罗伯逊-沃尔克模型在时间上溯为奇点，且该奇点具有普遍性：在保持强能量条件的小扰动下，仍导致不完整。
• 史瓦西黑洞内部（$r < r_s$）是全局双曲的，满足强能量条件，且由于柯西超曲面上的负扩张导致未来测地线不完整，从而证实了黑洞奇点的不可避免性。