An isoperimetric characterization of a new ADM-like mass for $C^0$-asymptotically flat manifolds

技術的要約：$C^0$漸近平坦多様体における新しいADM型質量の一様等周的特徴付け

問題設定
本論文は、低レギュラーリティのリーマン3次元多様体における一般相対性理論の文脈において、2つの異なる質量の概念の関係を扱っている。古典的なADM質量は基本的ではあるが、定義されるためには強い漸近的減衰と計量の微分可能性を必要とする。対照的に、G. Huiskenによって導入された等周的質量（isoperimetric mass）は、体積と面積のみに基づいて定義されるため、$C^0$のレギュラーリティ仮定の下でも頑健である。

近年、MazurowskiとYaoは、非負のスカラー曲率を持つ連続的な計量に対して、特定の対称テンソルとテスト関数$\psi$を用いた積分によって定義される新しい「ADM型」質量（$m_{MY}$）を導入した。$m_{MY}$は$C^\tau$漸近平坦多様体（$\tau > 1/2$）に対しては良好に定義されるが、滑らかな場合におけるそれがHuiskenの等周的質量（$m_{iso}$）と一致するかどうかは未解決の問題であった。著者らは、最適な減衰仮定（$\tau > 1/2$）の下で、これら2つの量が一致することを証明することを目的としている。

手法
証明は、$p$-逆平均曲率流（$p$-IMCF）および関連する$p$-ホーキング質量を中心とした、非線形ポテンシャル論的枠組みに基づいている。手法は以下の主要なステップを経て進行する：

1. $p$-IMCFと正則化： 著者らは、$p$-容量ポテンシャル$u_p$とそれに関連するフロー $w_p = -(p-1)\log u_p$を利用する。極限におけるレベル集合$\Sigma^{(p)}_t$の低レギュラーリティを扱うため、フローを滑らかな曲面で近似する楕円正則化（$w_{p,\varepsilon}$）を採用し、標準的な幾何学的解析手法の適用を可能にする。
2. 漸近解析： 単なる$C^0$漸近平坦性の下での$p$-IMCFの漸近挙動を確立することは、極めて重要な技術的要素である。著者らはブローダウン（blow-down）の手順を適応させ、Kinnunen–Zhouの$p$-調和関数の勾配評価を利用する。この評価は計量の$C^0$収束の下でも成立するため、スケーリングされたポテンシャルのユークリッド基本解への強$W^{1,q}_{loc}$収束を導出することを可能にする。
3. 単調性と比較： 修正された$p$-ホーキング質量に関する単調性を、フローに沿って確立する。$t \to \infty$における$p$-ホーキング質量の極限がMazurowski–Yao質量（$m_{MY}$）によって上から抑えられることを証明する。これは、$p$-ホーキング質量の漸近的挙動を$m_{MY}$の積分定義に関連付けることによって達成される（命題2.14）。
4. 等周的質量への接続：
   • 上界 ($m_{iso} \leq m_{MY}$): 外向き最小領域のホーキング質量が$m_{MY}$によって抑えられることを示すことで、JaureguiとLeeの仕組みを援用し、等周的質量も$m_{MY}$によって抑えられることを導き出す。
   • 下界 ($m_{iso} \geq m_{MY}$): $m_{MY}$が2-ホーキング質量の無限遠における極限として計算できることを示す。漸近比較議論を用いることで、この極限を等容量的質量（isocapacitary mass：等周的質量の容量版）によって上から抑える。著者らは、等容量的質量と等周的質量がこの設定において同値であることを確立した自身の先行研究（Benatti [Ben25]）を引用している。

主要な貢献と結果

• 定理 1.1: 主要な結果は、滑らかで連結な、完全な$C^\tau$漸近平坦リーマン3多様体（$\tau > 1/2$）であり、非負のスカラー曲率と極小境界を持つ場合、Mazurowski–Yao質量と等周的質量が一致する（$m_{MY} = m_{iso}$）ことを確立している。
• 漸近比較: $p$-ホーキング質量の漸近比較議論を洗練させ、$p$-ホーキング質量が$p \to 1$のとき古典的なホーキング質量に収束すること、およびこれらの量が$C^0$漸近平坦性の下で等周的質量によって制御されることを証明している。
• 系 3.9 (シュヴァルツシルト多様体): 計量の偏差が主要項として$2m/|x|$を持つ漸近的シュヴァルツシルト多様体の場合、パラメータ$m$は$m_{MY}$および$m_{iso}$の両方と同一視される。
• 系 3.10 (ペネローズ不等式): 質量の同一視と等周的ペネローズ不等式を組み合わせることで、著者らは漸近的シュヴァルツシルト多様体に対するリーマン的ペネローズ不等式を導出する：$\sqrt{|N|/16\pi} \leq m$（ここで$N$は、最も外側の極小境界の成分である）。等号成立は、多様体が空間シュヴァルツシルト多様体に等長写像による場合のみである。

意義と主張
本論文は、減衰 $\tau > 2/3$（および特定の同値性の証明については $\tau > 1/2$）の滑らかな3次元設定において、異なる質量の概念に対する統一的な枠組みを提供すると主張している。$m_{MY} = m_{iso}$を証明することで、Burkhardt-Guimによって導入された質量と等周的質量との間の同値性に関する問いに肯定的に答えている。

その意義は、解析的な質量の定義（計量の微分と積分に依存する）と、幾何学的な質量の定義（体積と面積に依存する）の間の溝を埋めることにある。この同 equivalence（同値性）は、適切な近似的な意味でスカラー曲率が非負であるならば、等周的質量がADM型の質量に対する頑健な代替物として機能することを検証している。また、本結果は、シュヴァルツシルト計量からの偏差によって定義される、より広いクラスの漸近平坦多様体へのリーマン的ペネローズ不等式の妥当性を拡張するものである。

著者らは、同値性は滑らかな計量に対して確立されているものの、連続的な漸近平坦計量への拡張は依然として未解決の課題であると述べている。ただし、現在の研究は（$p$-IMCFにおける$C^0$平坦性の下での$W^{1,q}$漸近挙動などの）将来的に対処するための必要なツールを提供している。