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

Résumé Technique : Une caractérisation isopérimétrique d'une nouvelle masse de type ADM pour les variétés $C^0$-asymptotiquement plates

Énoncé du Problème
Le papier traite de la relation entre deux notions distinctes de masse dans le contexte de la relativité générale sur des variétés riemanniennes de dimension 3 à faible régularité. La masse ADM classique, bien que fondamentale, nécessite une décroissance asymptotique forte et la différentiabilité de la métrique pour être bien définie et invariante par changement de coordonnées. En revanche, la masse isopérimétrique, introduite par G. Huisken, est définie purement en termes de volumes et de surfaces, ce qui la rend robuste sous des hypothèses de régularité $C^0$.

Récemment, Mazurowski et Yao ont introduit une nouvelle masse de « type ADM » ($m_{MY}$) pour les métriques continues à courbure scalaire non négative, définie via une intégrale impliquant un tenseur symétrique spécifique et une fonction de test $\psi$. Bien que $m_{MY}$ soit bien posée pour les variétés $C^\tau$-asymptotiquement plates avec $\tau > 1/2$, son équivalence avec la masse isopérimétrique de Huisken ($m_{iso}$) dans le cas lisse est restée une question ouverte. Les auteurs visent à prouver que ces deux quantités coïncident sous des hypothèses de décroissance optimales ($\tau > 1/2$) pour les métriques lisses.

Méthodologie
La preuve repose sur un cadre de théorie de la potentiel non linéaire centré sur le flux de courbure moyenne $p$-inverse ($p$-IMCF) et les masses de Hawking-$p$ associées. La méthodologie procède à travers plusieurs étapes clés :

1. $p$-IMCF et Régularisation : Les auteurs utilisent le potentiel capacitaire $p$ ($u_p$) et le flux associé $w_p = -(p-1)\log u_p$. Pour gérer la faible régularité des ensembles de niveau $\Sigma^{(p)}_t$ dans la limite, ils emploient une régularisation elliptique ($w_{p,\varepsilon}$) pour approximer le flux par des surfaces lisses, permettant l'application des outils classiques de l'analyse géométrique.
2. Analyse Asymptotique : Un composant technique critique consiste à établir le comportement asymptotique de la $p$-IMCF sous une condition d'aplatissement asymptotique purement $C^0$. Les auteurs adaptent une procédure de « blow-down » et utilisent l'estimation de gradient de Kinnunen–Zhou pour les fonctions $p$-harmoniques. Cette estimation, qui tient sous la convergence $C^0$ des métriques, leur permet de dériver une convergence forte $W^{1,q}_{loc}$ des potentiels rescalés vers la solution fondamentale euclidienne.
3. Monotonie et Comparaison : Les auteurs établissent des propriétés de monotonie pour une masse de Hawking-$p$ modifiée le long du flux. Ils prouvent que la limite de la masse de Hawking-$p$ quand $t \to \infty$ est majorée par la masse de Mazurowski–Yao ($m_{MY}$). Ceci est réalisé en reliant le comportement asymptotique de la masse de Hawking-$p$ à la définition intégrale de $m_{MY}$ (Proposition 2.14).
4. Connexion à la Masse Isopérimétrique :
   • Borne Supérieure ($m_{iso} \leq m_{MY}$) : En montrant que la masse de Hawking des domaines à minimisation extérieure est bornée par $m_{MY}$, et en invoquant la machinerie de Jauregui et Lee, ils déduisent que la masse isopérimétrique est également bornée par $m_{MY}$.
   • Borne Inférieure ($m_{iso} \geq m_{MY}$) : Ils démontrent que $m_{MY}$ peut être calculée comme la limite à l'infini de la masse de Hawking-2. En utilisant des arguments de comparaison asymptotique, ils bornent cette limite par le haut par la masse isocapacitaire (une version capacitaire de la masse isopérimétrique). Les auteurs citent ensuite leur travail précédent (Benatti [Ben25]) qui établit l'équivalence entre la masse isocapacitaire et la masse isopérimétrique dans ce cadre.

Contributions Clés et Résultats

• Théorème 1.1 : Le résultat principal établit que pour une variété riemannienne de dimension 3, lisse, connexe, complète et $C^\tau$-asymptotiquement plate ($\tau > 1/2$) avec courbure scalaire non négative et bord minimal, la masse de Mazurowski–Yao coïncide avec la masse isopérimétrique ($m_{MY} = m_{iso}$).
• Comparaison Asymptotique : Le papier affine les arguments de comparaison asymptotique pour les masses de Hawking-$p$, prouvant que la masse de Hawking-$p$ converge vers la masse de Hawking classique quand $p \to 1$, et que ces quantités sont contrôlées par la masse isopérimétrique sous un aplatissement asymptotique $C^0$.
• Corollaire 3.9 (Variétés Schwarzschildiennes) : Pour les variétés qui sont asymptotiquement schwarzschildiennes (où la déviation de la métrique admet un terme dominant $2m/|x|$), le paramètre $m$ est identifié à la fois avec $m_{MY}$ et $m_{iso}$.
• Corollaire 3.10 (Inégalité de Penrose) : En combinant l'identification des masses avec l'inégalité de Penrose riemannienne, les auteurs dérivent une inégalité de Penrose riemannienne pour les variétés asymptotiquement schwarzschildiennes : $\sqrt{|N|/16\pi} \leq m$, où $N$ est une composante du bord minimal extérieur. L'égalité est atteinte si et seulement si la variété est isométrique à une variété de Schwarzschild spatiale.

Signification et Revendications
Le papier prétend fournir un cadre unifié pour différentes notions de masse dans le cadre de la dimension 3 lisse avec une décroissance $\tau > 2/3$ (et $\tau > 1/2$ pour l'équivalence spécifique prouvée). En prouvant $m_{MY} = m_{iso}$, les auteurs répondent affirmativement à une question concernant l'équivalence de la masse introduite par Burkhardt-Guim et la masse isopérimétrique dans ce régime.

La signification réside dans le pont jeté entre les définitions analytiques de la masse (reposant sur les dérivées et les intégrales de la métrique) et les définitions géométriques (reposant sur le volume et la surface). Cette équivalence valide l'utilisation de la masse isopérimétrique comme un substitut robuste des masses de type ADM, même lorsque la métrique n'est que continue, à condition que la courbure scalaire soit non négative dans un sens approprié. Les résultats étendent également la validité de l'inégalité de Penrose riemannienne à une classe plus large de variétés asymptotiquement plates définies par leur déviation par rapport à la métrique de Schwarzschild.

Les auteurs notent que bien que l'équivalence soit établie pour les métriques lisses, l'extension aux métriques asymptotiquement plates continues reste une question ouverte, bien que le présent travail fournisse les outils nécessaires (spécifiquement les asymptotiques $W^{1,q}$ pour la $p$-IMCF sous un aplatissement $C^0$) pour potentiellement l'aborder à l'avenir.