[論文レビュー] On mass-minimizing extensions of Bartnik boundary data

Zhongshan An|arXiv (Cornell University)|Jul 10, 2020

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

ひとこと要約

本稿では、固定されたBartnik境界データをもつ初期データセットの空間がBanach多様体をなすこと、および質量最小化拡張がADMエネルギー運動量ベクトルに漸近的に比例する一般化されたキリングベクトル場をもつこと、一般相対性理論におけるBartnikの予想（質量最小化拡張が静的である）を支持することを確立している。

ABSTRACT

We prove that the space of initial data sets which have fixed Bartnik boundary data and solve the constraint equations is a Banach manifold. Moreover, on this constraint manifold the critical points of the ADM mass are exactly the initial data sets which admit generalised Killing vector fields with asymptotic limit proportional to the ADM energy-momentum vector.

研究の動機と目的

• 固定されたBartnik境界データをもつ初期データセットの制約多様体をBanach多様体として確立すること。
• 固定されたBartnik境界条件下でのADM全質量の変分構造を調査すること。
• この多様体上でADM質量の臨界点が、ADMエネルギー運動量ベクトルに漸近的に比例する一般化キリングベクトル場をもつ拡張に対応することを証明すること。
• Bartnikの予想（質量最小化拡張が静的真空時空である）を支持する変分的枠組みを提供すること。

提案手法

• Sobolev空間およびH"older空間の枠組みを用いて、固定されたBartnik境界データをもつ初期データセットの空間をBanach多様体として形式化する。
• 制約写像に対して陰関数定理を適用し、制約多様体がBanach部分多様体であることを示す。
• 線形化された制約写像とその随伴を分析し、ADM質量汎関数の臨界点を特徴付ける。
• 漸近的減衰推定と$C^{m,\alpha}$正則性の議論を用いて、キリングベクトル場を境界を越えて拡張し、無限遠における挙動を分析する。
• $L^2$内積と重み付きSobolevノルムを用いた背理法により、キリング場の非減衰成分が発散積分を引き起こすことを示す。
• 楕円型理論および関数解析の結果を適用し、キリング場の唯一の可能な漸近的挙動は、ゼロへの減衰であるか、ADMエネルギー運動量ベクトルに比例する場合に限られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 適切な関数空間位相のもとで、固定されたBartnik境界データをもつ初期データセットの空間はBanach多様体をなすか？
• RQ2 この多様体上でADM質量汎関数の臨界点が、一般化キリングベクトル場の存在によって特徴づけられる条件は何か？
• RQ3 このようなキリングベクトル場の漸近的挙動は一意に定まるか？ また、それはADMエネルギー運動量ベクトルと整合するか？
• RQ4 質量最小化拡張の存在は、ADMエネルギー運動量ベクトルに漸近的に比例するキリングベクトル場の存在を示唆するか？ これによりBartnikの予想が支持されるか？
• RQ5 境界の正則性と減衰条件は、このようなキリングベクトル場の存在性および一意性にどのような役割を果たすか？

主な発見

• 固定されたBartnik境界データをもつ初期データセットの空間はBanach多様体であり、質量最小化を厳密に幾何学的に扱うための枠組みを提供する。
• この多様体上でADM全質量汎関数の臨界点は、すべてADMエネルギー運動量ベクトルに漸近的に比例する一般化キリングベクトル場をもつ。
• 一般化キリングベクトル場は境界に滑らかにまで延長され、境界近傍で$C^{m,\alpha}$正則性をもつ。
• キリングベクトル場の漸近的挙動は制限を受ける：非減衰成分は$L^2$内積を発散させるため、ゼロへの減衰またはADMエネルギー運動量ベクトルに比例する場合に限られる。
• 解析により、質量最小化拡張は一般化された意味で静的であることが確認され、Bartnikの予想を支持する。
• この結果は、質量最小化拡張が静的真空時空であるという予想に対する変分的根拠を提供し、時間対称な場合の先行結果を拡張する。