[論文レビュー] 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

ひとこと要約

本稿では、区間と距離空間のワーピング積として定義される一般化された円錐（generalized cones）を、正の連続ワーピング関数を持つローレンツ型長さ空間として導入し、因果構造が最適であり、ファイバー空間の距離曲率に直接関係する合成的曲率境界が得られることを示している。非正の下界を持つ時間的曲率境界が成り立つ場合、特異性定理により時間的測地線が不完全であることが証明され、古典的結果が低正則性の合成的設定へと拡張されている。

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$、距離空間 $X$、正の連続関数 $f$ を用いて、一般化された円錐を $I \times_f X$ として定義する。
• 時間分離関数 $\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$-拡張不可能性に関連する時空を研究するための合成的枠組みを提供する。
• 結果として、古典的特異性定理が滑らかでない、距離論的設定へと拡張され、低正則性一般相対性理論や距離幾何への応用を支持する。