[论文解读] Existence of standard splittings for conformally stationary spacetimes

Miguel Ángel Javaloyes, Miguel Sánchez|arXiv (Cornell University)|Jun 4, 2008

Advanced Differential Geometry Research参考文献 19被引用 3

一句话总结

该论文证明，具有完整类时共形基灵向量场 K 的时空 (M, g) 当且仅当其为可区分时空时，会相对于 K 具有全局标准分裂——这意味着因果连续性。该证明依赖于时间函数和平滑时间函数的最新进展，解决了共形静态时空结构中长期存在的问题。

ABSTRACT

Let (M, g) be a spacetime which admits a complete timelike conformal Killing vector field K. We prove that (M, g) splits globally as a standard conformastationary spacetime with respect to K if and only if (M, g) is distinguishing (and, thus causally continuous). Causal but non-distinguishing spacetimes with complete stationary vector fields are also exhibited. For the proof, the recently solved “folk problems” on smoothability of time functions (moreover, the existence of a temporal function) are used.

研究动机与目标

• 确定具有完整类时共形基灵向量场的时空在何种条件下可实现全局标准共形静态分裂。
• 阐明因果结构（特别是可区分性和因果连续性）在该类分裂存在性中的作用。
• 解决长期悬而未决的问题（即‘民间问题’），涉及共形静态时空中时间函数的平滑性与时间函数的存在性。
• 构造具有完整静态向量场的因果但不可区分时空的显式例子，以说明主定理的紧致性。

提出的方法

• 以完整类时共形基灵向量场 K 的存在作为基础几何结构。
• 应用时间函数平滑性与时间函数存在性的最新结果，以建立全局正则性条件。
• 运用因果结构理论，特别是可区分性和因果连续时空的定义及其含义。
• 分析由 K 导出的共形几何，推导出分裂结构（M ≅ ℝ × Σ）及其标准度量形式。
• 构造因果但不可区分时空的反例，以证明可区分性条件的必要性。
• 依赖微分几何技巧与共形变换，将问题约化为时间函数已知结果。

实验结果

研究问题

• RQ1 在何种条件下，具有完整类时共形基灵向量场的时空可实现全局标准共形静态分裂？
• RQ2 可区分性是否为该类分裂存在的必要且充分条件？
• RQ3 时间函数平滑性方面的最新进展如何与共形静态时空的几何结构相关联？
• RQ4 能否构造出具有完整静态向量场的因果但不可区分时空？它们揭示了分裂定理的何种极限？
• RQ5 关于时间函数的‘民间问题’在共形静态时空分类中的影响程度如何？

主要发现

• 具有完整类时共形基灵向量场 K 的时空 (M, g) 当且仅当其为可区分时空时，可实现全局标准共形静态分裂。
• 可区分性条件对于全局标准分裂的存在而言，既是必要也是充分的，确立了精确的结构判据。
• 存在具有完整静态向量场的因果但不可区分时空，表明仅靠因果性不足以实现分裂。
• 对‘民间问题’中时间函数平滑性与时间函数存在性问题的解决，是证明主定理的关键。
• 该结果证实，在此背景下因果连续性等价于可区分性，强化了这些因果条件的几何意义。
• 该证明通过其因果与几何结构，对共形静态时空实现了完整刻画，其中 K 为共形基灵向量场。