[論文レビュー] Projective differential geometry and asymptotic analysis in General Relativity

Jack Borthwick|arXiv (Cornell University)|Sep 13, 2021

Black Holes and Theoretical Physics被引用数 5

ひとこと要約

本稿では、既に確立された共形トレイクター微分幾何学に類似した、2階射影的コンパクト化されたローレンツ多様体に対する射影的外部微分トレイクター微分幾何学を構築する。これは一般相対性理論における古典的場の不変な漸近的解析を可能にし、境界に幾何構造を拡張する。主な結果として、射影的コンパクト化は、特に時的無限遠を超曲面として保存するというより豊かな境界構造を保つことが示され、質量のある場の解析において共形コンパクト化よりも優位性を示す。

ABSTRACT

In this text, we explore the tools that Projective Differential Geometry can provide for the asymptotic analysis of classical fields on projectively compact manifolds. We emphasise on the case of order 2-compactifications and develop, in this case, a projective exterior differential tractor calculus that is analogous to that existing for conformally compact manifolds.

研究の動機と目的

• ローレンツ多様体上の古典的場の漸近的解析に、射影微分幾何学の道具を拡張すること。
• 共形コンパクト化が時的無限遠を点に縮退させてしまうという制限を克服し、それを超曲面として保存する射影的コンパクト化を提案すること。
• 2階コンパクト化に特化した、共形の場合に類似した射影的外部微分トレイクター微分幾何学を構築すること。
• 偏微分方程式（例：クライン＝ゴルドン方程式）の解の漸近的挙動を、不変微分作用素を用いて幾何的枠組みで研究するための枠組みを提供すること。

提案手法

• 射影的コンパクト化された多様体上に射影的トレイクター bundle を導入することで、トレイクター微分幾何学の形式的枠組みを射影幾何学に適応する。
• トレイクター値形式における射影的外部微分と接続を定義し、共形の場合を射影的設定に一般化する。
• リーマン接続の射影的類を用いて、射影空間をモデルとするカルタン幾何学を定義し、境界で不変微分計算を可能にする。
• 形式的枠組みを用いてクライン＝ゴルドン方程式の解の漸近的挙動を解析し、プロジェクト変数 $ x/t $ に依存することを示す。
• クライン＝ゴルドン作用素をフーリエ空間で対角化することで、射影的不変量と漸近的データの間の対応を確立する。
• 得られる漸近展開が射影変換に関して不変であることを証明し、枠組みの幾何的整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 射影微分幾何学を用いて、一般相対性理論における古典的場のための一貫した漸近的解析枠組みを定義するにはどうすればよいか？
• RQ2 共形コンパクト化が時的無限遠を退化させてしまうのに対し、なぜ質量のある場の研究には射影的コンパクト化がより適しているのか？
• RQ3 2階コンパクト化に特化した、既に確立された共形トレイクター微分幾何学に類似した射影的外部微分トレイクター微分幾何学を構築できるか？
• RQ4 プロジェクト変数 $ x/t $ は、クライン＝ゴルドン方程式の解の漸近展開において果たす役割は何か？
• RQ5 射影的トレイクター上の不変微分作用素は、双曲型偏微分方程式の解の境界挙動とどのように関係するか？

主な発見

• 2階射影的コンパクト化されたローレンツ多様体に対して、共形の場合に類似した射影的外部微分トレイクター微分幾何学が成功裏に構築された。
• この枠組みにより、境界に滑らかに拡張される不変微分作用素を定義でき、厳密な漸近的解析が可能になった。
• 射影的コンパクト化は、時的無限遠を超曲面として保存するが、共形コンパクト化ではそれが点に縮退するため、質量のある場の解析に適している。
• クライン＝ゴルドン方程式の解の漸近展開は、プロジェクト変数 $ x/t $ のみに依存することが判明し、プロジェクト不変量の幾何的関連性が裏付けられた。
• 微分形式の外積におけるホッジスター作用素が、$ ´\bigstar(Υ \wedge \xi) = (-1)^k \u03a5^{\sharp} \lrcorner \bigstar \xi $ を満たすことが示され、形式的枠組みの重要な恒等式となった。
• 射影変換に対して形式的枠組みが一貫しており、トレイクター接続と曲率が共変的に変換され、幾何的不変性が保証された。