Extensions of spacetime Bartnik data and estimates for the Bartnik mass outside of time-symmetry

1. Probleemstelling en Context

Het artikel behandelt het probleem van het definiëren en schatten van de quasi-lokale massa in de algemene relativiteitstheorie, specifiek de Bartnik-massa.

• De Bartnik-massa: Dit is een functioneel dat de totale massa of energie binnen een gesloten oppervlak $\Sigma$ (meestal een 2-sfeer) kwantificeert. Het wordt gedefinieerd als het infimum van de ADM-massa over de verzameling van alle "toelaatbare uitbreidingen" (admissible extensions) van de gegeven randdata. Een toelaatbare uitbreiding is een asymptotisch vlakke initieel data-set $(M, g, K)$ die voldoet aan de Einstein-vergelijkingen, de dominante energieconditie (DEC), en geen verzonken oppervlakken (zoals MOTS) bevat die $\Sigma$ omhullen.
• De Randdata (Bartnik Data): Bestaat uit een tuple $(\Sigma, \gamma, H, P, \omega_\perp)$, waarbij $\gamma$ de geïnduceerde metriek is, $H$ de gemiddelde kromming, $P = \text{tr}_\Sigma K$ de spoor van de tweede fundamentele vorm, en $\omega_\perp$ een 1-vorm gerelateerd aan $K$.
• Het Onderzoeksgap: De meeste bestaande resultaten en schattingen voor de Bartnik-massa zijn beperkt tot het tijd-symmetrische geval, waarbij de tweede fundamentele vorm $K \equiv 0$ (en dus $P=0$ en $\omega_\perp=0$). In dit geval is de fysica eenvoudiger, maar het is niet representatief voor dynamische ruimtetijden.
• Het Doel: De auteurs willen schattingen voor de Bartnik-massa verkrijgen buiten het tijd-symmetrische regime, waarbij $P \neq 0$ (en dus $K \not\equiv 0$), terwijl de dominante energieconditie (DEC) behouden blijft en er geen verzonken oppervlakken ontstaan.

2. Methodologie

De auteurs gebruiken een constructieve aanpak die bestaat uit het bouwen van specifieke initieel data-sets die de gegeven Bartnik-data als randvoorwaarde hebben. De methode omvat de volgende stappen:

1. Constructie van een "Kraag" (Collar):

   • Ze construeren een initieel data-set op een cilinder $M = \Sigma \times [0, 1]$.
   • De metriek $g$ en de tensor $K$ worden zo ontworpen dat ze de randdata $(\gamma, H, P, 0)$ op $\Sigma \times \{0\}$ reproduceren en glad overgaan in een sferisch symmetrische metriek op $\Sigma \times \{1\}$.
   • Ze gebruiken een specifieke vorm voor de data, geïnspireerd door sferisch symmetrische grafen in de Schwarzschild-ruimtetijd. De data wordt geparametriseerd door functies $f(s)$ (voor de metriek) en $x(f(s))$ (voor de tensor $K$).
   • Een cruciale stap is het garanderen dat de Dominante Energieconditie (DEC) strikt geldt ($\mu > |J|$) in de kraag, niet alleen de niet-negativiteit van de scalair kromming.

2. Kleef- en Buig-Lemma's (Gluing and Bending Lemmas):

   • Kleef-Lemma: Om de kraag te verbinden met een externe oplossing (een sferisch symmetrische graf in een Schwarzschild-ruimtetijd met massa $m$), gebruiken ze een aangepast kleef-lemma. Dit lemma zorgt ervoor dat twee initieel data-sets glad kunnen worden samengevoegd terwijl de energieconditie behouden blijft.
   • Buig-Lemma: Om de energieconditie strikt te maken en mogelijke problemen bij de overgang te voorkomen, gebruiken ze een buig-lemma. Dit lemma "buigt" de metriek in een kleine ringvormige regio om de energie-dichtheid ($\mu$) lokaal te verhogen, zodat deze positief blijft na het samenvoegen.

3. Vermijden van Verzonken Oppervlakken:

   • Een essentieel vereiste voor de Bartnik-massa is dat de uitbreiding geen "verzonken oppervlakken" (trapped surfaces) bevat die de rand $\Sigma$ omhullen. De auteurs tonen aan dat hun constructie, onder bepaalde voorwaarden aan de data, garandeert dat er geen zwak verzonken oppervlakken ($H^2 \leq 0$) ontstaan in de uitbreiding.

4. Reductie naar Tijd-Symmetrie (Alternatieve Methode):

   • In Sectie 6 presenteren ze een tweede methode, geïnspireerd door het werk van Lin. Ze construeren een familie van initieel data-sets die de niet-tijd-symmetrische data deformeert naar tijd-symmetrische data (waarbij $P \to 0$ en de gemiddelde kromming constant wordt). Hierdoor kunnen ze bestaande schattingen voor tijd-symmetrische data toepassen op het niet-tijd-symmetrische geval.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert drie hoofdresultaten op, geformuleerd als stellingen en corollaria:

• Stelling A (Bestaansresultaat voor Uitbreidingen):
  Voor Bartnik-data $(\Sigma, \gamma, H_o, P_o, 0)$ met constante $H_o, P_o$ (waarbij $H_o \geq |P_o| > 0$) en positieve scalair kromming, bestaat er een uitbreiding die voldoet aan de DEC en geen verzonken oppervlakken bevat, mits een bepaalde ongelijkheid wordt voldaan. Deze ongelijkheid relateert de data aan geometrische constanten ($\alpha, \beta$) die de "rondheid" van de metriek $\gamma$ meten.

  • Technische voorwaarde: $H_o^2 < \frac{4}{r_o^2} \frac{\beta}{\alpha}$ (waarbij $r_o$ de straal is).

• Stelling B (Bovenkant Schatting voor de Bartnik-massa):
  De auteurs geven een expliciete bovengrens voor de Bartnik-massa $m_B$ voor de gegeven data. Deze schatting wordt afgeleid door de ADM-massa van de geconstrueerde uitbreiding te berekenen.
  $$m_B \leq m_H + \text{correctieterm}$$
  Waarbij $m_H$ de Hawking-massa is en de correctieterm afhangt van $H_o, P_o, r_o$ en de geometrische constanten $\alpha, \beta$. Dit is de eerste expliciete bovengrens voor de Bartnik-massa buiten het tijd-symmetrische geval.

• Stelling C (Reductie-methode):
  Door de data te deformeert naar tijd-symmetrische data, kunnen ze de Bartnik-massa schatten met behulp van bekende resultaten voor tijd-symmetrische data (zoals die van Mantoulidis en Schoen). Dit leidt tot een alternatieve bovengrens die de relatie tussen de niet-tijd-symmetrische massa en de Hawking-massa kwantificeert.

Specifieke Randvoorwaarden:

• De auteurs beperken zich tot het geval $\omega_\perp = 0$. Dit is een echte restrictie, maar ze merken op dat dit voor MOTS (Marginally Outer Trapped Surfaces) data vaak vanzelfsprekend is of opgelost kan worden.
• Ze vereisen dat $H_o$ en $P_o$ constant zijn. Dit vereenvoudigt de constructie aanzienlijk, maar ze noteren dat variabele data benaderd kan worden via de positieve massa-stelling met hoeken.

4. Technische Nuances en Innovaties

• Behoud van DEC in de Kraag: In tegenstelling tot eerdere werken die zich richtten op de scalair kromming ($R \geq 0$), moeten de auteurs hier de volledige DEC ($\mu \geq |J|$) handhaven. Dit vereist een zorgvuldige keuze van de functies $x(r)$ en de parameters in de ODE's die de uitbreiding definiëren.
• Omgaan met $P \neq 0$: De aanwezigheid van $P$ (de trace van $K$) introduceert extra termen in de constraint-vergelijkingen. De auteurs tonen aan hoe deze termen kunnen worden "gecompenseerd" door de keuze van de massa-parameter $m$ in de externe Schwarzschild-oplossing en door specifieke relaties tussen $H_o$ en $P_o$ te handhaven (bijv. vergelijking 4.6 in de tekst).
• Geometrische Constanten $\alpha$ en $\beta$: Deze constanten, geïntroduceerd door Miao en Xie, meten hoe dicht de metriek $\gamma$ bij een ronde metriek staat. De geldigheid van de schattingen hangt sterk af van deze waarden; hoe "ronder" de oppervlakte, hoe scherper de schattingen.

5. Betekenis en Impact

• Doorbraak buiten Tijd-Symmetrie: Dit werk is een van de eerste systematische pogingen om de Bartnik-massa te schatten voor dynamische ruimtetijden (waar $K \not\equiv 0$). Het breekt het paradigma dat men zich moest beperken tot tijd-symmetrische gevallen om wiskundig hanteerbare resultaten te krijgen.
• Fysieke Relevantie: Omdat echte fysieke systemen (zoals samenvallende zwarte gaten of sterren) dynamisch zijn, is de mogelijkheid om de massa te schatten zonder $K=0$ aan te nemen, cruciaal voor een realistischere fysica.
• Verbinding met Bestaande Theorie: Het artikel verbindt succesvol de recente ontwikkelingen in de tijd-symmetrische theorie (zoals het werk van Mantoulidis en Schoen) met het niet-tijd-symmetrische domein, zowel via directe constructie als via reductie.
• Toekomstperspectief: De auteurs geven aan dat het geval $\omega_\perp \neq 0$ nog open is en dat dit een richting is voor toekomstig onderzoek.

Samenvattend bieden McCormick en Wolff een robuust wiskundig raamwerk om de Bartnik-massa te benaderen voor een breder scala aan fysieke situaties dan voorheen mogelijk was, door het construeren van expliciete uitbreidingen die voldoen aan de fundamentele energiecondities van de algemene relativiteitstheorie.