[论文解读] Lightlike sets with applications to the rigidity of null geodesic incompleteness

I. P. Costa e Silva, José Luis Flores|arXiv (Cornell University)|Aug 19, 2014

Geometric Analysis and Curvature Flows参考文献 19被引用 4

一句话总结

本文引入了类光集——针对低正则性类光子流形而定制的无时序集的推广——并利用它们证明了包含最大紧致曲面的全局双曲时空中的类光测地线不完满性刚性定理。关键结果表明，在满足温和拓扑与几何假设下，具有两个端点且标量曲率为零的渐近平坦3–7维初始数据的真空柯西发展要么是类光测地线不完满的，要么存在分叉视界。

ABSTRACT

An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified concusions may arise, showing that those conclusions will fail only in special cases, at least some of which may be described. These are the so-called rigidity theorems, and have many important examples in the especialized literature. In this paper, we prove rigidity results for generalized plane waves and certain globally hyperbolic spacetimes in the presence of maximal compact surfaces. Motivated by some general properties appearing in these proofs, we develop the theory of lightlike sets, entities similar to achronal sets, but more appropriate to deal with low-regularity null submanifolds.

研究动机与目标

• 通过分析当关键假设（如闭 trapped 表面的存在性）被弱化或消除时，奇点定理的结论如何变化，以理解奇点定理的鲁棒性。
• 研究包含极限外 trapped 表面（MOTS）或最大紧致曲面的时空在何种条件下仍保持测地线完备，识别出完备性发生的例外情况。
• 发展类光集的一般理论，这是洛伦兹几何中一类新的子集，其为无时序集的推广，更适合分析低正则性类光子流形。
• 建立刚性定理，描述尽管存在 MOTS 或最大曲面，但时空仍为类光测地线完备时的几何结构。
• 证明在温和的拓扑与几何假设下，具有零标量曲率的渐近平坦初始数据的真空柯西发展必须要么是类光测地线不完满的，要么包含一个分叉视界。

提出的方法

• 引入并形式化类光集的概念——即在受控方式下，类光测地线不会进入时序过去或未来的时空子集——将无时序集理论推广至低正则性类光子流形。
• 利用高斯–柯达齐方程将初始数据超曲面的内蕴几何与外曲率及能量-动量张量联系起来，将真空情形约化为标量曲率为零的黎曼流形。
• 应用极小曲面理论的结果（例如，Eichmair 关于 MOTS 存在性的定理），证明在由两个渐近平坦端点所围成的紧致区域内，初始数据流形中存在一个极小（平均曲率为零）超曲面。
• 利用全局双曲时空中原空间 Cauchy 超曲面的非因果性，将初始数据的几何性质传递至整个时空演化。
• 利用初始数据中紧致嵌入极小曲面的存在性，应用定理 VII.1，该定理将测地线完备性与分叉视界的存在性或不完满性联系起来。
• 结合拓扑论证（例如基本群映射的满射性）与渐近平坦端点处平均曲率的几何估计，以确保紧致区域被平均凸球面所包围。

实验结果

研究问题

• RQ1 在何种条件下，时空中极限外 trapped 表面（MOTS）或最大紧致曲面的存在性会蕴含类光测地线不完满性？
• RQ2 若一个全局双曲时空尽管包含 MOTS 或最大曲面，但仍是类光测地线完备的，则其必须具备何种几何或拓扑特征？
• RQ3 无时序集的概念应如何推广以处理低正则性类光子流形？此类推广集合的基础性质是什么？
• RQ4 能否在具有渐近平坦初始数据的真空时空中建立测地线不完满性的刚性？其例外情况是什么？
• RQ5 初始数据的标量曲率与渐近几何在决定柯西发展是否测地线完备或是否包含分叉视界方面起什么作用？

主要发现

• 本文建立了一个刚性定理：若一个真空柯西发展源自一个具有两个端点且标量曲率为零的3–7维渐近平坦初始数据集，则该时空要么是类光测地线不完满的，要么存在一个分叉视界。
• 初始数据流形中紧致极小（平均曲率为零）超曲面的存在性，由渐近平坦端点的拓扑与几何结构以及 MOTS 存在性定理的应用所保证。
• 在每个渐近平坦端点中构造平均凸球面，确保满足 Eichmair（2013）定理 1.1 的条件，从而在由端点所围成的紧致区域内部存在一个 MOTS。
• 类光集的理论被发展为分析低正则性类光子流形的基础工具，其推广了无时序集，并为未来在低正则性奇点定理中的应用提供了框架。
• 该结果适用于任意大于二的时空维度，且不依赖于任何场方程（如爱因斯坦方程）的假设，因此在不同几何设定下均具有鲁棒性。
• 关键几何洞见在于：渐近平坦性、零标量曲率与两个端点的组合强制形成一种拓扑与几何结构，该结构要么导致测地线不完满，要么在时空中形成分叉视界。