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

Technische Samenvatting: Een isoperimetrische karakterisering van een nieuwe ADM-achtige massa voor $C^0$-asymptotisch vlakke variëteiten

Probleemstelling
Het artikel behandelt de relatie tussen twee verschillende concepten van massa in de context van algemene relativiteitstheorie op Riemanniaanse 3-variëteiten met lage regulariteit. De klassieke ADM-massa, hoewel fundamenteel, vereist sterke asymptotische verval en differentieerbaarheid van de metriek om goed gedefinieerd en coördinaat-invariant te zijn. In contrast hiermee is de isoperimetrische massa, geïntroduceerd door G. Huisken, puur gedefinieerd in termen van volumes en oppervlakten, wat het robuust maakt onder $C^0$-regulariteitsveronderstellingen.

Onlangs hebben Mazurowski en Yao een nieuwe "ADM-achtige" massa ($m_{MY}$) geïntroduceerd voor continue metrieken met niet-negatieve scalaire kromming, gedefinieerd via een integraal met een specifieke symmetrische tensor en een testfunctie $\psi$. Hoewel $m_{MY}$ welpositief is voor $C^\tau$-asymptotisch vlakke variëteiten met $\tau > 1/2$, bleef de equivalentie met Huiskens isoperimetrische massa ($m_{iso}$) in het gladde geval een open vraag. De auteurs beogen te bewijzen dat deze twee grootheden samenvallen onder optimale vervalveronderstellingen ($\tau > 1/2$) voor gladde metrieken.

Methodologie
Het bewijs steunt op een niet-lineair potentiaaltheoretisch kader gecentreerd rond de $p$-inverse gemiddelde kromming flow ($p$-IMCF) en de bijbehorende $p$-Hawking massa's. De methodologie verloopt via enkele cruciale stappen:

1. $p$-IMCF en regularisatie: De auteurs maken gebruik van de $p$-capacitaire potentiaal $u_p$ en de bijbehorende flow $w_p = -(p-1)\log u_p$. Om de lage regulariteit van de niveausets $\Sigma^{(p)}_t$ in de limiet aan te pakken, gebruiken zij een elliptische regularisatie ($w_{p,\varepsilon}$) om de flow te benaderen met gladde oppervlakken, waardoor de toepassing van standaard geometrische analyse-instrumenten mogelijk wordt.
2. Asymptotische analyse: Een kritische technische component is het vaststellen van het asymptotische gedrag van de $p$-IMCF onder louter $C^0$-asymptotische vlakheid. De auteurs passen een blow-down procedure aan en maken gebruik van de Kinnunen–Zhou gradiëntschatting voor $p$-harmonische functies. Deze schatting, die standhoudt onder $C^0$-convergentie van metrieken, stelt hen in staat om sterke $W^{1,q}_{loc}$ convergentie van de geschaalde potentialen naar de Euclidische fundamentele oplossing af te leiden.
3. Monotoniciteit en vergelijking: De auteurs stellen monotoniciteitseigenschappen vast voor een gemodificeerde $p$-Hawking massa langs de flow. Zij bewijzen dat de limiet van de $p$-Hawking massa wanneer $t \to \infty$ begrensd is door de Mazurowski–Yao massa ($m_{MY}$). Dit wordt bereikt door het asymptotische gedrag van de $p$-Hawking massa te relateren aan de integrale definitie van $m_{MY}$ (Propositie 2.14).
4. Verbinding met de isoperimetrische massa:
   • Bovengrens ($m_{iso} \leq m_{MY}$): Door aan te tonen dat de Hawking massa van naar buiten minimaliserende domeinen begrensd is door $m_{MY}$, en gebruikmakend van de machinerie van Jauregui en Lee, concluderen zij dat de isoperimetrische massa ook begrensd wordt door $m_{MY}$.
   • Ondergrens ($m_{iso} \geq m_{MY}$): Zij demonstreren dat $m_{MY}$ berekend kan worden als de limiet in de oneindigheid van de 2-Hawking massa. Met behulp van asymptotische vergelijkingsargumenten begrenzen zij deze limiet van bovenaf door de isocapacitaire massa (een capacitaire versie van de isoperimetrische massa). De auteurs citeren vervolgens hun eerdere werk (Benatti [Ben25]) dat de equivalentie tussen de isocapacitaire massa en de isoperimetrische massa in deze setting vaststelt.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1: Het primaire resultaat stelt dat voor een gladde, verbonden, volledige, $C^\tau$-asymptotisch vlakke Riemanniaanse 3-variëteit ($\tau > 1/2$) met niet-negatieve scalaire kromming en minimale rand, de Mazurowski–Yao massa samenvalt met de isoperimetrische massa ($m_{MY} = m_{iso}$).
• Asymptotische Vergelijking: Het artikel verfijnt asymptotische vergelijkingsargumenten voor $p$-Hawking massa's, waarbij bewezen wordt dat de $p$-Hawking massa convergeert naar de klassieke Hawking massa wanneer $p \to 1$ en dat deze grootheden gecontroleerd worden door de isoperimetrische massa onder $C^0$-asymptotische vlakheid.
• Corollary 3.9 (Schwarzschild-variëteiten): Voor variëteiten die asymptotisch Schwarzschild-achtig zijn (waar de metriekafwijking een leidende term $2m/|x|$ bezit), wordt de parameter $m$ geïdentificeerd met zowel $m_{MY}$ als $m_{iso}$.
• Corollary 3.10 (Penrose-ongelijkheid): Door de identificatie van massa's met de isoperimetrische Penrose-ongelijkheid te combineren, leiden de auteurs een Riemannse Penrose-ongelijkheid af voor asymptotisch Schwarzschild-achtige 3-variëteiten: $\sqrt{|N|/16\pi} \leq m$, waarbij $N$ een component van de buitenste minimale rand is. Gelijkheid geldt dan en slechts dan als de variëteit is isometrisch aan een ruimtelijke Schwarzschild-variëteit.

Betekenis en Claims
Het artikel claimt een verenigd kader te bieden voor verschillende concepten van massa in de gladde 3-dimensionale setting met verval $\tau > 2/3$ (en $\tau > 1/2$ voor de specifieke bewezen equivalentie). Door te bewijzen dat $m_{MY} = m_{iso}$, beantwoorden de auteurs bevestigend een vraag over de equivalentie van de massa geïntroduceerd door Burkhardt-Guim en de isoperimetrische massa in dit regime.

De betekenis ligt in het overbruggen van de kloof tussen analytische definities van massa (gebaseerd op afgeleiden en integralen van de metriek) en geometrische definities (gebaseerd op volume en oppervlakte). Deze equivalentie valideert het gebruik van de isoperimetrische massa als een robuuste surrogaat voor ADM-achtige massa's, zelfs wanneer de metriek slechts continu is, mits de scalaire kromming op een geschikte benaderende wijze niet-negatief is. De resultaten breiden tevens de geldigheid van de Riemannse Penrose-ongelijkheid uit naar een bredere klasse van asymptotisch vlakke variëteiten gedefinieerd door hun afwijking van de Schwarzschild-metriek.

De auteurs merken op dat hoewel de equivalentie is vastgesteld voor gladde metrieken, de uitbreiding naar continue asymptotisch vlakke metrieken een open vraag blijft, hoewel het huidige werk de noodzakelijke instrumenten (met name de $W^{1,q}$ asymptotica voor $p$-IMCF onder $C^0$-vlakheid) biedt om dit in de toekomst mogelijk te adresseren.