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

技术摘要：关于 $C^0$-渐近平坦流形上一种新型类 ADM 质量的等周刻画

问题陈述
本文研究了在低正则性黎曼 3-流形背景下，两种不同质量概念之间的关系。经典的 ADM 质量虽然基础，但需要极强的渐近衰减和度量的可微性才能定义良好且具有坐标不变性。相比之下，由 G. Huisken 引入的等周质量（isoperimetric mass）纯粹基于体积和面积进行定义，这使得它在 $C^0$-正则性假设下具有鲁棒性。

最近，Mazurowski 和 Yao 引入了一种针对具有非负标量曲率的连续度量的全新“类 ADM”质量（$m_{MY}$），其定义涉及一个特定的对称张量和一个测试函数 $\psi$。虽然 $m_{MY}$ 对于 $C^\tau$-渐近平坦流形（$\tau > 1/2$）是适定的，但在光滑情形下，它与 Huisken 的等周质量（$m_{iso}$）是否等价仍是一个开放问题。作者旨在证明在最优衰减假设（$\tau > 1/2$）下，这两种量对于光滑度量是相等的。

方法论
证明依赖于一个以 $p$-反平均曲率流（$p$-IMCF）及相关的 $p$-霍金质量（$p$-Hawking masses）为核心的非线性势论框架。该方法通过以下关键步骤进行：

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$-渐近平坦（$\tau > 1/2$）黎曼 3-流形，若其具有非负标量曲率且具有极小边界，则 Mazurowski–Yao 质量与等周质量相等（$m_{MY} = m_{iso}$）。
• 渐近比较： 本文完善了 $p$-霍金质量的渐近比较论证，证明了当 $p \to 1$ 时，$p$-霍金质量收敛至经典霍金质量，并且在 $C^0$-渐近平坦条件下，这些量受控于等周质量。
• 推论 3.9（Schwarzschild 流形）： 对于渐近 Schwarzschild 流形（即度量偏差具有领先项 $2m/|x|$），参数 $m$ 被识别为 $m_{MY}$ 和 $m_{iso}$。
• 推论 3.10（Penrose 不等式）： 通过将质量的识别与等周 Penrose 不等式结合，作者导出了适用于渐近 Schwarzschild 3-流形的黎曼 Penrose 不等式：$\sqrt{|N|/16\pi} \leq m$，其中 $N$ 是最外层极小边界的一个分量。当且仅当流形与空间 Schwarzschild 流形等距时，等号成立。

意义与主张
本文声称在衰减 $\tau > 2/3$（以及对于所证明的特定等价性而言的 $\tau > 1/2$）的平滑 3 维设定下，提供了一个统一的各类质量概念的框架。通过证明 $m_{MY} = m_{iso}$，作者肯定地回答了关于 Burkhardt-Guim 引入的质量与在该正则性下等周质量是否等价的问题。

其意义在于架起了解析定义质量（依赖于度量的导数和积分）与几何定义质量（依赖于体积和面积）之间的桥梁。这种等价性验证了即使在度量仅为连续的情况下，等周质量也可以作为 ADM 类质量的鲁棒替代物，前提是标量曲率在适当的近似意义下是非负的。这些结果还将黎曼 Penrose 不等式的适用范围扩展到了更广泛的一类由其相对于 Schwarzschild 度量的偏差定义的渐近平坦流形。

作者指出，虽然该等价性已在光滑度量下得到确立，但将其推广到连续渐近平坦度量仍是一个开放性问题，尽管目前的工作（特别是 $p$-IMCF 在 $C^0$ 平坦下的 $W^{1,q}$ 渐近性质）为未来解决这一问题提供了必要的工具。