Differentiability and Other Properties of the Cosmological Volume Function

技術的要約：宇宙論的体積関数の微分可能性およびその他の性質

問題提起
一般相対性理論において、観測者から独立した時間座標の欠如は根本的な課題である。特異点は時に自然な時間座標を提供し得るが、標準的な構成法には限界がある。Andersson, Galloway, および Howard によって導入された正則な宇宙論的時間関数 $\tau$ は、特異点（ビッグバン）以来の観測者が経験し得る最大固有時を測定するものである。しかし、$\tau$ は一般に局所リプシッツ連続であり、ほとんど至る所で微分可能であるものの、タイムライクなカット・ローカス（切断集合）の存在により、$C^1$ 級にはならないことが多い。

代替案として、過去のクロノロジー的過去（chronological past）の標準的な体積を用いて時間を測定する、宇宙論的体積関数 $\tau_V(p) := \text{vol}_g(I^-(p))$ が近年導入された。$\tau_V$ は $\tau$ と同様の構造的特性（グローバルな双曲型分割を定義するなど）を共有しているが、その微分可能性の性質についてはこれまで不明であった。主要な問題は、標準的な体積測度 $\text{vol}_g$ が無限大になり得ることであり、Chruściel, Grant, および Minguzzi が示したように、重み付き測度を選択することで微分可能性を確保することは可能だが、そのような選択は恣意的である。本論文で取り組む中心的な問題は、物理的に関連のある設定において、標準的な（重みなしの）宇宙論的体積関数 $\tau_V$ が、任意の選択肢を介さずに、連続微分可能（$C^1$）な時間関数となるかどうかである。

方法論
本論文は、重み付き測度に関する Chruściel, Grant, および Minguzzi の議論を、標準的な体積測度の場合へと適応させることで、ローレンツ幾何学と測度論の手法を用いている。

1. 積分の微分: $\tau_V(p) = \int_{I^-(p) \cap I^+(S)} d\text{vol}_g$ を定義する積分の微分を行う。著者は、微分形式に関するライプニッツの積分規則を利用し、積分領域（クロノロジー的過去）の変分を分析する。
2. 境界の幾何学的分析: クロノロジー的過去の境界 $\partial I^-(p)$ は、過去方向の零測地線によって構成されている。著者は、これらの零測地線に沿ったヤコビ場を用いて、この境界の「速度」を分析する。
3. 特異点の処理: 零カット・ローカス（null cut locus）への特別な配慮を行う。本論文は、零カット・ローカスが測度ゼロであることを確立し、それが $\tau$ の微分可能性に影響を与えるタイムライクなカット・ローカスとは異なり、体積積分の微分に寄与しないことを保証する。
4. 連続性の証明: 候補となる微分を $\mathring{E}^-(p)$（カット・ローカスを除いた境界）上の積分として構成し、指数写像の性質とコーシー面のコンパクト性を用いて、これらの写像の連続性を証明する。

主な貢献と結果

• 主要定理 (Theorem 1.1): $(M, g)$ がコーシー面 $S$ の未来のコーシー展開である場合（すなわち、時間が特異点ではなく初期データから測定されている場合）、制限された宇宙論的体積関数 $\tau_V$ は正則な $C^1$ 時間関数であることを証明する。
• 系 1.2 (宇宙論的設定): 時空が過去の体積が不完全であり、かつ過去の観測者地平線を持たない（すべての過去非延長的な因果曲線が時空全体を見る、すなわち $I^+(\gamma) = M$ である）という条件下では、$\tau_V$ は正則な $C^1$ 時間関数である。
• 標準的な計量分割: $\tau_V$ の $C^1$ 正則性は、計量テンソルの標準的な分解を可能にする：
  $$g = -\beta(d\tau_V)^2 + h$$
  ここで $\beta$ は連続関数であり、$h$ は $\tau_V$ のレベル集合上に連続なリーマン計量を誘導する。これにより、恣意的な重み付けの選択なしに、ローレンツ計量 $g$ のみから導出される「ウィック回転された」リーマン計量 $g_R := \beta(d\tau_V)^2 + h$ の構成が可能となる。
• 反例と限界:
  • 例 3.8: コーシー面 $S$ が光的な部分を持つ場合、$\tau_V$ が $C^1$ 級にならないことを示す。
  • 例 3.9: 時空が（特定の共形因子を持つ空間的境界のために）コーシー面の未来の依存領域として構成できない場合に、$\tau_V$ が局所リプシッツ連続ですらなくなるケースを示す。
  • 例 3.10: $\tau_V$ が $C^1$ 級ではあるが $C^2$ 級ではない事例を示し、高次の微分可能性は保証されないことを強調する。
• 宇宙論的時間 ($\tau$) との比較:
  • $\tau$ の正則性（有限であり、過去非延長的な曲線に沿ってゼロに収束すること）が、必ずしも $\tau_V$ の正則性を意味しないことを確立するが、コンパクトなコーシー面とリッチ曲率の境界に関する条件（Proposition 4.1）によって、それを保証できる場合がある。
  • $\tau$ とは異なり、$\tau_V$ のレベル集合は、$\tau_V$ が正則であっても、必ずしもコーシー面になるとは限らない（Example 4.4）。
  • $\tau$ の宇宙論的カット・ローカスは、標準的なリーマン的カット・ローカスとは対照的に、閉集合にならないことがある（Example 4.7）。

意義と主張
本論文は、二つの具体的かつ重要な設定――初期データから生じる時空、および観測者地平線のない特定の宇宙論的モデル――において、宇宙論的体積関数 $\tau_V$ が標準的な $C^1$ 時間関数を提供することを主張している。これは以下の理由から重要である：

1. 標準性（Canonicity）: 微分可能性を確保するために重み関数という恣意的な選択を必要とした従来のアプローチとは異なり、$\tau_V$ は計量 $g$ と標準的な体積測度のみに依存している。
2. 計量分割: $C^1$ 性により、計量テンソルの連続的な分割が可能となり、ウィック回転されたリーマン計量 $g_R$ の定義を容易にする。
3. 収束の研究: 構築された $g_R$ は、恣意的な測量による非微分性の問題を回避しているため、確立された距離空間の収束概念（例：グロモフ・ハウスドルフ収束）を用いた時空の列 $(M_i, g_i)$ の収束研究に適している。

著者は、$\tau_V$ がこれらのケースにおいて $C^1$ 級である一方で、一般には $C^2$ 級ではなく、そのレベル集合が $\tau$ のコーシー的性質を常に共有するわけではないことを明示的に述べている。結果は、すべての時空に対して普遍的であることを示すのではなく、「関心の高い多くのケース」において $\tau_V$ の微分可能性を確立するものとして提示されている。