[論文レビュー] Gluing constructions for Lorentzian length spaces

Tobias Beran, Felix Rott|PubMed|Jan 24, 2022

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

ひとこと要約

本稿は、Lorentz型長さ空間に対する接着構成を導入し、メトリックの併合をLorentz型設定に拡張する。特に、商時間分離関数を注意深く定義することで実現される。主な結果は、Reshetnyakの接着定理のLorentz型類似定理であり、上界付き曲率を持つ強く因果的である2つの時空を、凸で等長的に整合性を持つ境界に沿って接着しても、結果として得られる空間においても曲率の上界が保たれることを示している。

ABSTRACT

We introduce an analogue to the amalgamation of metric spaces into the setting of Lorentzian pre-length spaces. This provides a very general process of constructing new spaces out of old ones. The main application in this work is an analogue of the gluing theorem of Reshetnyak for CAT(<i>k</i>) spaces, which roughly states that gluing is compatible with upper curvature bounds. Due to the absence of a notion of spacelike distance in Lorentzian pre-length spaces we can only formulate the theorem in terms of (strongly causal) spacetimes viewed as Lorentzian length spaces.

研究の動機と目的

• Riemannian幾何学やメトリック幾何学におけるメトリック空間の併合に類似した、合成的でメトリックに基づくLorentz型前長さ空間の接着構成を開発すること。
• 特に、Riemannianやメトリック設定とは異なり、商空間における因果性と時間分離関数の保存がより複雑であるため、その課題に対処すること。
• 上記の曲率上界（CAT(k)）が保存されるLorentz型のReshetnyakの接着定理を確立すること。
• 合成的曲率条件と因果的構造を維持したまま、既存の時空から新しい時空を構成するための枠組みを提供すること。
• Riemannian幾何学やメトリック幾何学で標準的であるが、合成的Lorentz幾何学では不足している、基本的なメトリック的構成（例えば、接着）を統合することで、理論的ギャップを埋めること。

提案手法

• メトリック空間の併合プロセス（直和の直後、同値関係による商）をLorentz型設定に適応し、特に時間分離関数に注意を払う。
• 因果性とLorentz構造を尊重する商時間分離関数を定義し、結果として得られる空間がLorentz型前長さ空間のままであることを保証する。
• Lorentz型のAlexandrovの補題と、因果的三角形のための接着補題を導入し、接着空間における比較幾何学を扱う。
• 接着境界の凸性と等長的整合性に基づき、接着空間が元の時空からの上界付き曲率（CAT(k)）を引き継ぐ条件を確立する。
• 時空内の時空的測地線の存在と時間分離関数の連続性を用いて、接着空間における三角形比較条件を検証する。
• 時空的三角形が接着境界を横切る場合に、それを元の時空内に含まれる部分三角形に分解する議論を用いる。

実験結果

リサーチクエスチョン

• RQ1 Riemannian幾何学やメトリック幾何学におけるメトリック併合構成を、因果的構造と曲率上界を保つ形でLorentz型前長さ空間に一般化できるか？
• RQ2 因果的構造とLorentz構造を保ちつつ、商空間における因果的整合性を維持する形で、商時間分離関数をどのように定義できるか？
• RQ3 上界付き曲率（CAT(k)）を持つ2つの時空を、どのような条件下で接着すると、結果として得られる時空も同じ曲率上界を満たすようになるか？
• RQ4 接着境界の凸性と符号付き距離の保存が、接着定理の妥当性を保証するために果たす役割は何か？
• RQ5 Lorentz型設定において、三角形の接着補題を定式化し、証明できるか。また、それが曲率比較議論をどのように支援するか？

主な発見

• 本稿は、商空間上での整合性のある時間分離関数を定義することで、2つの時空から商Lorentz型前長さ空間を構成し、結果として得られる空間がwell-definedなLorentz型長さ空間のままであることを成功裏に示している。
• 因果的三角形の比較を、接着境界を横切る三角形を元の時空内に含まれる部分三角形に分解することで可能にするLorentz型の接着補題が確立された。
• 主な結果、定理5.2.1は、上記の曲率上界（CAT(k)）を持つ強いて因果的である2つの時空が、符号付き距離を保存する凸で等長的に整合性を持つ境界に沿って接着された場合、結果として得られる空間も同じCAT(k)曲率上界を満たすことを証明している。
• 証明は、接着境界を横切る三角形を、それぞれの時空に完全に含まれる部分三角形に分解し、そこでは曲率上界が仮定されていることを利用し、その後で接着補題を用いて再構成することで成り立っている。
• この構成はやや弱い正則性仮定のもとで有効であり、先行研究の技術を応用すれば、$ C^{1,1} $計量へも拡張可能と予想される。
• この枠組みは、合成的でメトリックに基づいた方法により、既存の時空から新しい時空を構成するものであり、Lorentz型長さ空間の理論におけるギャップを埋めている。