[论文解读] Smooth globally hyperbolic splittings and temporal functions

Antonio Bernal, Miguel Sánchez|ArXiv.org|Apr 20, 2004

Black Holes and Theoretical Physics参考文献 10被引用 9

一句话总结

该论文通过在稳定因果时空中证明光滑类空柯西超曲面和时间函数的存在性，解决了洛伦兹几何中一个长期悬而未决的开放问题，实现了全局双曲时空的光滑全局分解 ℝ × S，且各截面正交。关键贡献在于提供了全局双曲时空具有光滑度量分解及时间函数（其梯度为类时）的构造性证明。

ABSTRACT

Geroch's theorem about the splitting of globally hyperbolic spacetimes is a central result in global Lorentzian Geometry. Nevertheless, this result was obtained at a topological level, and the possibility to obtain a metric (or, at least, smooth) version has been controversial since its publication in 1970. In fact, this problem has remained open until a definitive proof, recently provided by the authors. Our purpose is to summarize the history of the problem, explain the smooth and metric splitting results (including smoothability of time functions in stably causal spacetimes), and sketch the ideas of the solution.

研究动机与目标

• 解决全局双曲时空是否可光滑分解为 ℝ × S 且具有类空柯西超曲面、无交叉项度量的开放问题。
• 在稳定因果时空中建立光滑时间函数（梯度为类时）的存在性，将 Geroch 的拓扑分解结果推广至光滑范畴。
• 为时间函数和柯西超曲面的光滑化问题提供构造性解决方案，该问题自 Geroch 1970 年定理以来一直未解决。
• 通过确保全局双曲时空具有光滑结构，使数学相对论中的应用（如初值问题、莫尔斯理论和变分方法）成为可能。
• 通过提供严格且完全构造性的方法，弥补早期尝试中的漏洞（特别是 Seifert 1977 年的光滑化方法），实现光滑时间函数和分解的构建。

提出的方法

• 利用时空中局部有限覆盖，通过在存在连续时间函数的邻域中实现时间函数的光滑正则化，借助稳定因果时空中的连续时间函数存在性。
• 在紧致子集上定义局部时间步函数 τ_t，使其光滑、沿因果曲线严格递增，且梯度为类时，使用单位分解和精心控制的截断函数。
• 通过局部时间步函数的加权和构造全局时间函数 T，系数选择确保其在整个时空上光滑且梯度非零。
• 利用全局时间函数 T 的梯度定义全局光滑分解 M ≅ ℝ × S，其中每个截面 {t₀} × S 为光滑类空柯西超曲面，且与 ∇T 正交。
• 采用基于具有类时梯度函数（如 h⁺ 和 h⁻）的凸组合的正则化技术，确保构造函数在目标区域具有非零、类时梯度。
• 利用任意稳定因果时空均存在连续时间函数的事实，通过单位分解和紧致 exhaustion 将此类函数的局部光滑化扩展为全局光滑时间函数。

实验结果

研究问题

• RQ1 全局双曲时空能否被光滑分解为 ℝ × S，其中包含类空柯西超曲面且度量无交叉项？
• RQ2 每个稳定因果时空是否都存在光滑时间函数（即梯度为类时的光滑函数）？
• RQ3 是否可能在存在连续时间函数的时空中，构造一个光滑、全局定义的时间函数？
• RQ4 Geroch 定理中全局双曲时空的拓扑分解能否升级为光滑、度量相容的分解？
• RQ5 全局双曲时空中的柯西超曲面能否被光滑化为类空且光滑的超曲面，即使其初始仅为拓扑意义的？

主要发现

• 全局双曲时空存在光滑类空柯西超曲面 S，这是对双曲型偏微分方程进行光滑初值问题的必要条件。
• 每个稳定因果时空均存在光滑时间函数 T，其梯度为类时，解决了因果理论中长期悬而未决的开放问题。
• 所构造的全局时间函数 T 为全局时间函数，即 ∇T 处处为类时且非零，确保时空可光滑分解为 ℝ × S。
• 光滑分解 M ≅ ℝ × S 是度量相容的，各截面 {t₀} × S 与 ∇T 正交，因此度量在乘积结构下形式为 dt² + g_S。
• 该构造完全为构造性，依赖单位分解和利用具有类时梯度函数的局部时间函数正则化。
• 该方法不仅适用于全局双曲时空，也适用于任何存在连续时间函数的稳定因果时空，从而得到全局光滑时间函数。