[论文解读] Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems

Stephanie Alexander, Melanie Graf+2 more|arXiv (Cornell University)|Sep 20, 2019

Geometric Analysis and Curvature Flows参考文献 50被引用 11

一句话总结

本文将广义锥面引入为洛伦兹长度空间——即区间与度量空间的扭曲积，其中扭曲函数为正连续函数——展示了其最优的因果结构以及与纤维空间度量曲率直接关联的合成曲率界。论文证明了奇点定理，表明非正的下界类时曲率界意味着类时测地线不完满，将经典结果推广至一种合成的、低正则性设定。

ABSTRACT

We study generalizations of Lorentzian warped products with one-dimensional base of the form $I imes_f X$, where $I$ is an interval, $X$ is a length space and $f$ is a positive continuous function. These generalized cones furnish an important class of Lorentzian length spaces in the sense of [Kunzinger, Sämann; Ann. Glob. Anal. Geom. 54(3):399--447, 2018], displaying optimal causality properties that allow for explicit descriptions of all underlying notions. In addition, synthetic sectional curvature bounds of generalized cones are directly related to metric curvature bounds of the fiber $X$. The interest in such spaces comes both from metric geometry and from General Relativity, where warped products underlie important cosmological models (FLRW spacetimes). Moreover, we prove singularity theorems for these spaces, showing that non-positive lower timelike curvature bounds imply the existence of incomplete timelike geodesics.

研究动机与目标

• 建立广义锥面作为一类洛伦兹长度空间，具备良好行为的因果性与合成曲率界。
• 将广义锥面中的合成截面曲率界与纤维空间的度量曲率界联系起来。
• 通过在非正下界类时曲率界下证明测地线不完满，将奇点定理推广至低正则性时空。
• 为研究奇点或非光滑时空中的因果性与曲率提供一种合成框架，适用于宇宙学模型与广义相对论。

提出的方法

• 将广义锥面定义为扭曲积 $I \times_f X$，其中 $I$ 为区间，$X$ 为长度空间，$f$ 为正连续函数。
• 为广义锥面配备洛伦兹长度结构，通过时间分离函数 $\tau$ 定义类时与因果曲线。
• 通过公理 (C1)–(C3) 建立因果性，确保 $\ll$ 与 $\leq$ 关系的传递性及其与 $\tau$ 的相容性。
• 证明时间分离函数 $\tau$ 为内在的，即 $\mathcal{T}(x,y) = \tau(x,y)$，使该空间成为基本洛伦兹长度空间。
• 利用三角形比较与纤维 $X$ 上的度量曲率界，推导广义锥面的合成曲率界。
• 将这些结构应用于证明奇点定理：在非正下界类时曲率界下，广义锥面中所有类时测地线均不完满。

实验结果

研究问题

• RQ1 广义锥面如何被表述为具备良好定义因果性与合成曲率的洛伦兹长度空间？
• RQ2 纤维空间 $X$ 的度量曲率与广义锥面的合成截面曲率之间存在何种关系？
• RQ3 能否在合成的、低正则性设定下，利用广义锥面建立奇点定理？
• RQ4 在低正则性假设下，广义锥面中的因果性性质在多大程度上保持稳健？
• RQ5 这些构造与弗里德曼-勒梅特-罗伯逊-沃尔克（FLRW）时空等宇宙学模型以及强宇宙封闭性猜想有何关联？

主要发现

• 广义锥面 $I \times_f X$ 构成洛伦兹长度空间，具备最优因果性，所有因果与类时曲线均良好定义，且时间分离函数 $\tau$ 为内在函数。
• 广义锥面的合成截面曲率界由纤维空间 $X$ 的度量曲率界直接决定。
• 本文证明了一个奇点定理：在非正下界类时曲率界下，广义锥面中所有类时测地线均不完满。
• 时间分离函数 $\tau$ 满足反向三角不等式且为下半连续，确保与因果公理的一致性。
• 该构造为研究低正则性时空（包括史瓦西解的 $\mathcal{C}^0$-不可延拓性）提供了合成框架。
• 结果将经典奇点定理推广至非光滑、基于度量的设定，支持在低正则性广义相对论与度量几何中的应用。