[論文レビュー] Mass and 3-metrics of non-negative scalar curvature

Robert Bartnik|ArXiv.org|Apr 18, 2003

Cosmology and Gravitation Theories参考文献 31被引用数 12

ひとこと要約

本稿は、非負のスカラー曲率をもつ3次元リーマン多様体における準局所的質量の研究を進め、質量を最小化する拡張の存在と性質に注目する。正の質量定理、静的計量、境界条件を結びつけるフレームワークを提案し、準局所的質量を推定する。質量を最小化する拡張が静的方程式を満たし、準球面計量における放物型発展を用いて鋭い上界を与えることを証明する。

ABSTRACT

Physicists believe, with some justification, that there should be a correspondence between familiar properties of Newtonian gravity and properties of solutions of the Einstein equations. The Positive Mass Theorem (PMT), first proved over twenty years ago \cite{SchoenYau79b,Witten81}, is a remarkable testament to this faith. However, fundamental mathematical questions concerning mass in general relativity remain, associated with the definition and properties of quasi-local mass. Central themes are the structure of metrics with non-negative scalar curvature, and the role played by minimal area 2-spheres (black holes).

研究の動機と目的

• 非負のスカラー曲率をもつ漸近的に平坦な3次元多様体における準局所的質量の定義と計算の厳密なフレームワークを確立すること。
• 与えられた境界幾何の下で、コンパクト領域の質量を最小化する拡張を特徴づける未解決問題に取り組むこと。
• 正の質量定理、アインシュタイン方程式の静的解、および事象の地平面（ブラックホール）の存在との関係を調査すること。
• 幾何学的・解析的技法を用いて、準局所的質量の構成的上界と下界を提供すること。
• 質量を最小化する系列が適切な位相で静的計量に収束するかどうかを検討し、準局所的質量を計算するための計算的手順を提示すること。

提案手法

• 正の質量定理を基盤とし、$ R(g) \geq 0 $ を満たす漸近的に平坦な3次元多様体ではADM質量が非負であり、かつ $ \mathbb{R}^3 $ が平坦である場合に限り0であると主張する。
• 質量を最小化する拡張をモデル化するため、静的計量方程式 $ \text{Ric}_g = V^{-1} \nabla^2 V $ および $ \Delta_g V = 0 $ を適用し、境界 $ \Sigma = \{V=0\} $ を定義する。
• 境界上のスカラー曲率が有界であり、分布的に定義されうるように、境界条件 $ g|_{T\Sigma} = g|_{T\partial\Omega} $ および $ H_\Sigma = H_{\partial\Omega} $ を課す。
• 計量 $ g = u^2 dr^2 + (r d\vartheta + \beta^1 dr)^2 + (r \sin\vartheta d\varphi + \beta^2 dr)^2 $ の形をとる準球面計量を用いて、$ R(g) = 0 $ を満たす許容的拡張を構成する。
• 第2変分公式 (4.1) から $ S^2 $ 上の $ u $ に関する放物型方程式を導出し、径方向への計量の発展を可能にする。
• 2つの $ (M,g) $ のコピーを $ \Sigma $ に沿って貼り合わせ、$ \tilde{g} = \tilde{\phi}^4 g $ のように共形スケーリングを施すことで、完全で漸近的に平坦かつスカラー曲率が0でADM質量が0の多様体を構成し、正の質量定理による剛性を導く。

実験結果

リサーチクエスチョン

• RQ1 非負のスカラー曲率をもつ3次元多様体におけるコンパクト領域 $ \Omega $ の質量を最小化する拡張が静的計量であるための条件は何か？
• RQ2 準球面計量のような明示的な幾何的構成を用いて、準局所的質量 $ m_{QL}(\Omega) $ の上界をとることができるか？
• RQ3 $ m_{QL}(\Omega) = 1 $ である領域 $ \Omega $ が、$ m_{ADM} < 1 $ を満たすより大きな漸近的に平坦な多様体に埋め込まれるとき、どのような条件下で事象の地平面を含む必要があるか？
• RQ4 境界条件のペア $ (g|_{T\Sigma}, H_\Sigma) $ は、一意に静的かつ漸近的に平坦な拡張を決定できるか？
• RQ5 質量を最小化する系列はどのように振る舞い、適切な位相で静的計量に収束するか？

主な発見

• 本稿は、準局所的質量の定義における下界を実現する計量 $ (M,g) $ が存在する場合、$ M \setminus \Omega $ 上で $ g $ と $ V $ が静的方程式 $ \text{Ric}_g = V^{-1} \nabla^2 V $ および $ \Delta_g V = 0 $ を満たす滑らかな関数 $ V $ が存在することを証明する。
• 準局所的質量の鋭い上界が確立された：$ m_{QL}(\Omega) \leq \frac{1}{2}r\left(1 - \frac{1}{4}r^2 \min_{\partial\Omega} H^2\right) $ であり、これは $ \Omega $ が平坦な球またはシュバルツシルトの事象の地平面である場合に等号で成立する。
• 貼り合わせと共形スケーリングを用いた完全で漸近的に平坦かつスカラー曲率が0でADM質量が0の多様体の構成は、その多様体が平坦でなければならないことを示唆し、静的かつ質量が0の多様体であれば $ (M,g) $ はシュバルツシルトでなければならない。
• 境界条件 $ g|_{T\Sigma} = g|_{T\partial\Omega} $ および $ H_\Sigma = H_{\partial\Omega} $ が静的方程式に対して楕円型であることが示され、それらが一意に拡張を決定すると予想する根拠が得られた。
• 重み付きソボレフ空間における強い収束結果（例：$ m_{ADM}(g_k) \to 0 $ のとき $ g_k \to \delta $ が $ W^{1,2} $ で成立）に基づき、質量を最小化する系列が静的計量に収束する証拠が提供された。
• もし $ m_{QL}(\Omega) = 1 $ であり、$ \Omega $ が $ m_{ADM} < 1 $ を満たす完全で漸近的に平坦な多様体に等長埋め込み可能であれば、その多様体は事象の地平面を含まなければならないと主張され、極端な質量集中下でのブラックホール形成の物理的期待を強化する。