Foliations by critical surfaces of the Hawking energy in asymptotically flat initial data sets

Technische Samenvatting: Foliaties door Kritische Oppervlakken van de Hawking-energie in Asymptotisch Vlakke Initiële Datasets

Probleemstelling
Een centrale uitdaging in de klassieke algemene relativiteitstheorie is het definiëren van een fysiek betekenisvolle "quasi-lokale energie" voor willekeurige begrensde regio's binnen een initiële dataset $(M, g, k)$. Hoewel de ADM-energie succesvol de totale energie van een geïsoleerd systeem in het oneindige karakteriseert, bestaat er geen canonieke functionaal die een energie aan een willekeurig gesloten 2-oppervlak $\Sigma$ toekent en daarbij voldoet aan vijf cruciale fysieke criteria: (1) niet-negativiteit, (2) rigiditeit (alleen verdwijnend voor vlakke regio's), (3) monotoniciteit onder expansie, (4) convergentie naar de ADM-energie in het groot-bol-limiet, en (5) convergentie naar de lokale energiedichtheid in het klein-bol-limiet.

De Hawking-energie, gedefinieerd voor een oppervlak $\Sigma$ als $E(\Sigma) = \sqrt{\frac{|\Sigma|}{16\pi}} \left( 1 - \frac{1}{16\pi} \int_\Sigma (H^2 - P^2) d\mu \right)$ (waarbij $H$ de gemiddelde kromming is en $P = \text{tr}_\Sigma k$), vertoont het juiste lokale gedrag, maar is niet noodzakelijkerwijs niet-negatief op willekeurige oppervlakken. Vorig werk heeft vastgesteld dat in tijdsymmetrische settings ($k=0$), oppervlakken met een oppervlakte-geconstraineerde kritische waarde van de Willmore-functional (Willmore-oppervlakken) een unieke foliatie in het oneindige vormen met gewenste eigenschappen. Dit artikel breidt dat kader uit naar de dynamische setting ($k \neq 0$), waarbij wordt onderzocht of oppervlakken met een oppervlakte-geconstraineerde kritische waarde van de volledige Hawking-functional (getypeerd als "Hawking-oppervlakken") een foliatie in het oneindige kunnen vormen die positiviteit, rigiditeit en monotoniciteit herstelt.

Methodologie
De auteur hanteert een variationele benadering binnen het kader van asymptotisch Schwarzschild initiële datasets. De kernmethodologie omvat:

1. Variationeel Kader: De studie richt zich op oppervlakte-geconstraineerde kritische punten van de Hawking-functional $\mathcal{H}(\Sigma) = \int_\Sigma (H^2 - P^2) d\mu$. Deze oppervlakken voldoen aan een specifieke Euler-Lagrange vergelijking die de gemiddelde kromming, de spoorloze tweede fundamentele vorm, de Ricci-kromming en termen afgeleid van de tweede fundamentele vorm $k$ van de initiële data bevat.
2. Lyapunov–Schmidt Reductie: Volgend de strategie van Eichmair en Koerber [13] voor Willmore-oppervlakken, construeert de auteur de foliatie door grote coördinatensferen te verstoren. Het oneindig-dimensionale probleem van het vinden van kritische oppervlakken wordt gereduceerd tot een eind-dimensionaal kritisch puntprobleem voor een gereduceerde functional $G_r(\xi)$, waarbij $\xi$ het centrum van de bol representeert.
3. Asymptotische Analyse: Het artikel analyseert het asymptotische gedrag van de gereduceerde functional $G_r(\xi)$ onder specifieke vervalcondities op de scalaire kromming $Sc$ en de tensor $k$. De auteur versoepelt de "little-o" vervalveronderstellingen die in eerdere statische werken werden gebruikt naar "big-O" grenzen met kleine constanten, wat een bredere klasse van initiële datasets toestaat (inclusclusief die met harmonische of York-asymptotica).
4. Geometrische Schattingen: Het bewijs maakt gebruik van gedetailleerde expansies van geometrische grootheden (gemiddelde kromming, spoor van $k$, etc.) op verstoorde sferen. Cruciale schattingen omvatten het controleren van de translatieparameter $\xi(r)$ om te waarborgen dat de oppervlakken een niet-snijdende foliatie vormen, en het analyseren van het coördinatencentrum van de resulterende familie.

Belangrijkste Bijdragen en Resultaten

• Bestaan en Uniciteit van Foliaties:
  Het artikel bewijst het bestaan van een globale foliatie door stabiele, oppervlakte-geconstraineerde Hawking-oppervlakken in het asymptotische uiteinde van $C^4$-asymptotisch Schwarzschild initiële datasets. Onder specifieke vervalcondities op de scalaire kromming (radiale afgeleidengrenzen en pariteitcondities) en de tensor $k$, bestaat er een unieke familie van oppervlakken $\{\Sigma(\lambda)\}$ die het exterieur van een compacte verzameling folieert. Een uniciteitstheorema wordt eveneens vastgesteld, waarbij wordt aangetoond dat elk oppervlakte-geconstraineerd kritisch oppervlak met een voldoende grote oppervlakte en een kleine spoorloze tweede fundamentele vorm tot deze foliatie behoort.

• Verzwakte Veronderstellingen voor Niet-gefolieerde Families:
  Onder zwakkere aannames (specifiek het versoepelen van de radiale afgeleide conditie op de scalaire kromming) construeert de auteur een "on-center" familie van Hawking-oppervlakken. Hoewel deze familie niet gegarandeerd een foliatie is (oppervlakken kunnen elkaar snijden), voldoet deze nog steeds aan het groot-bol-limiet en de positiviteitseigenschappen.

• Fysieke Eigenschappen van de Hawking-energie:

  • Groot-Bol Limiet: De Hawking-energie geëvalueerd langs de geconstrueerde foliatie convergeert naar de ADM-energie $m$ wanneer de oppervlakte-radius naar oneindig gaat.
  • Positiviteit en Rigiditeit: Onder de dominantie-energieconditie is de Hawking-energie niet-negatief op de bladeren van de foliatie. Een rigiditeitsstelling wordt bewezen: indien de Hawking-energie op een blad verdwijnt en de scalaire kromming buiten dat blad niet-negatief is, dan is de dataset isometrisch aan een ruimtelijke doorsnede in de Minkowski-ruimte.
  • Monotoniciteit: Het artikel stelt vast dat de Hawking-energie monotoon niet-dalend is langs de foliatie, mits een expliciete integraalrestrictie die de tensor $k$ en zijn afgeleiden betreft, wordt voldaan. Deze restrictie wordt geverifieerd als zij voldoet voor initiële datasets met harmonische asymptotica en York-asymptotica, twee significante klassen oplossingen van de Einstein-constraintvergelijkingen.

• Coördinatencentrum Analyse:
  Het artikel onderzoekt het coördinatencentrum van de foliatie. Het demonstreert dat, in tegenstelling tot de tijd-symmetrische Willmore-foliatie die samenvalt met het Hamiltoniaanse zwaartepunt onder sterke symmetrie, het centrum van de Hawking-foliatie gevoelig is voor de asymptotische distributie van zowel de scalaire kromming als de tweede fundamentele vorm $k$. Het centrum verschilt over het algemeen van het ruimtetijd-zwaartepunt (STCMC) geïntroduceerd door Cederbaum en Sakovich, tenzij specifieke pariteit- en vervalcondities worden vervuld.

Betekenis en Claims
Het artikel claimt aan te tonen dat Hawking-oppervlakken robuust zijn als instrument voor quasi-lokale energie in dynamische ruimtetijden. Door het Eichmair–Koerber foliatiekader uit te breiden naar de dynamische setting ($k \neq 0$), laat de auteur zien dat, onder technische aannames (met name met betrekking tot het verval en de pariteit van $Sc$ en $k$), de Hawking-energie aan de primaire fysieke criteria voor een quasi-lokale energie voldoet:

1. Positiviteit en Rigiditeit worden hersteld op de kritische oppervlakken.
2. De Groot-Bol Limiet herstelt de ADM-energie.
3. Monotoniciteit houdt stand voor een brede klasse van fysiek relevante data (harmonische en York-asymptotica).

Het werk benadrukt dat hoewel de Hawking-energie op deze oppervlakken goed presteert, de monotoniciteitseigenschap afhankelijk is van een integrabiliteitsconditie die niet automatisch wordt voldaan door alle kritische oppervlakken, maar wel door de specifieke asymptotische modellen die veelvuldig worden gebruikt in de algemene relativiteitstheorie. Het artikel concludeert dat deze resultaten, gecombineerd met bestaande klein-bol-limietresultaten, Hawking-oppervlakken positioneren als een levensvatbare kandidaat voor het definiëren van quasi-lokale energie in dynamische initiële datasets, mits de data voldoet aan de vereiste asymptotische verval- en symmetriecondities.