Bessel-Hagen currents, reducibility charges, and local gravitational energy

In het universum is zwaartekracht de kracht die sterren bij elkaar houdt en de beweging van sterrenstelsels stuurt. Al meer dan een eeuw gebruiken natuurkundigen een reeks regels genaamd de algemene relativiteitstheorie om deze kracht te beschrijven. Deze regels behandelen zwaartekracht niet als een aantrekkingskracht, maar als een kromming van het weefsel van de ruimte en de tijd zelf. Hoewel deze theorie prachtig werkt bij het beschrijven van hoe planeten in een baan draaien of hoe licht buigt rond massieve objecten, loopt ze tegen een diep raadsel aan wanneer wetenschappers proberen een simpele vraag te beantwoorden: waar precies bevindt de energie van het zwaartekrachtsveld zich? In andere natuurkundige theorieën, zoals elektromagnetisme, heeft energie een duidelijk adres; je kunt naar een specifieke plek wijzen en zeggen: "de energie is hier." Maar voor de zwaartekracht is het antwoord altijd frustrerend vaag geweest. De energie lijkt uitgesmeerd of verborgen te zijn, waardoor het onmogelijk is om deze vast te pinnen op een enkel punt in de ruimte zonder in tegenstrijdigheden te vervallen. Dit probleem is cruciaal voor het begrijpen van hoeveel energie wordt meegevoerd door zwaartekrachtsgolven, de rimpelingen in de ruimtetijd die door moderne observatoria zijn gedetecteerd.

Een team van onderzoekers heeft dit langlopende raadsel nu aangepakt door een zeer specifieke vraag te stellen: is het mogelijk, zelfs in principe, om een formule op te stellen die de energie van de zwaartekracht beschrijft op een manier die zowel strikt lokaal als strikt invariant is? Om te begrijpen wat dit betekent, stel je voor dat je probeert de energie van een golf in een vijver te beschrijven. Als je je gezichtspunt licht verandert, of je coördinatensysteem verschuift, zou de beschrijving van de energie van de golf niet op een manier moeten veranderen die de natuurwetten schendt. In de taal van de onderzoekers zoeken ze naar een "strikt gauge-invariante" beschrijving. Dit is een technische manier om te zeggen dat de beschrijving waar en consistent moet blijven, ongeacht hoe je de ruimte eromheen meet of labelt. Ze richtten hun onderzoek op de eenvoudigste versie van zwaatskracht, bekend als lineaire zwaartekracht, die zwakke zwaartekrachtsvelden beschrijft, zoals die ver weg van een zwart gat, waar de wiskunde beter beheersbaar is. Ze keken ook naar complexere versies van zwaartekracht die betrokken zijn bij de kromming van de ruimtetijd in het kwadraat, wat theorieën zijn voorgesteld om problemen in het standaardmodel op te lossen, maar die nog steeds worden getest.

De onderzoekers zetten zich in om uit te zoeken of een specifiek type wiskundig object, een tensor die fungeert als een kaart van energiedichtheid, kan bestaan voor deze theorieën. Ze stelden strikte regels op voor hoe deze kaart eruit kon zien: deze moest gemaakt zijn van eenvoudige, lokale onderdelen, het moest een polynomiale expressie zijn (wat betekent dat het gebruikmaakt van standaard vermenigvuldiging en optelling van veldwaarden), en het moest de symmetrieën van de ruimte en de tijd respecteren. Ze begonnen met het controleren van de meest voor de hand liggende kandidaten. Voor de eenvoudigste theorie van de zwaartekracht, bekend als Fierz-Pauli, vereist de wiskunde dat de energiemap wordt opgebouwd uit het veld zelf en de eerste veranderingen ervan. Echter, de onderzoekers ontdekten dat de enige manier om een gauge-invariante object te bouwen van deze ingrediënten, vereist dat men kijkt naar de tweede veranderingen, of de kromming, van het veld. Dit creëert een mismatch: de energiemap heeft meer "afgeleiden" of veranderingen nodig dan de theorie toestaat aanwezig te zijn in een eenvoudige, lokale formule. Het is alsof je probeert een huis te bouwen met alleen maar bakstenen, terwijl de blauwdruk een fundering van beton vereist; de materialen passen simpelweg niet bij het ontwerp.

Bij de complexere theorieën waarbij de energiemap direct wordt opgebouwd uit de kromming van de ruimtetijd, voerden de onderzoekers een massale, systematische zoektocht uit. Ze stelden elke mogelijke manier op om de kromming van de ruimtetijd te combineren tot een vorm die energie zou kunnen vertegenwoordigen, en controleerden elk van hen op de vereiste eigenschappen. Ze zochten naar combinaties die hetzelfde zouden blijven, ongeacht hoe de ruimtetijdcoördinaten werden verschoven of geroteerd. Ze ontdekten dat in vier dimensies de enige combinatie die aan de behoudswetten voldeed (wat betekent dat energie niet wordt gecreëerd of vernietigd), een specifieke wiskundige structuur was die toevallig identiek nul bleek te zijn. In gewone taal: de enige "oplossing" die ze vonden, was een blanco pagina. De andere potentiële kandidaten faalden omdat ze energie niet conserveerden of omdat ze veranderden wanneer de coördinaten werden verschoven. Ze controleerden ook voor meer exotische, "oneven" combinaties die anders reageren onder reflectie, maar ook deze verdwenen bij het testen tegen specifieke, eenvoudige zwaartekrachtsgolven. Het resultaat was een definitief bewijs dat geen dergelijke lokale energiemap bestaat voor deze theorieën onder de gestelde omstandigheden.

Deze bevinding is significant omdat het de deur sluit voor een langgekoesterde hoop dat een perfecte, lokale beschrijving van gravitationele energie gevonden kan worden binnen deze specifieke kaders. De onderzoekers toonden aan dat de obstructie niet slechts het falen van een specifieke gok is, maar een fundamentele eigenschap van de theorie zelf. Ze demonstreerden dat de translatiesymmetrie van de ruimtetijd, die normaal gesproken leidt tot een geconserveerde energiestroom, anders werkt in de zwaathekracht dan in het elektromagnetisme. In het elektromagnetisme leidt een eenvoudige verschuiving in positie tot een duidelijke energiedichtheid. In de zwaartekracht werkt diezelfde verschuiving als een "redundantie" in de beschrijving van het veld, een kenmerk dat de vorming van een lokale energiedichtheid verhindert. In plaats van een lokale energiemap, biedt de theorie een "oppervlaktelading", een grootheid die alleen gemeten kan worden door naar de grens van een gebied te kijken, en niet naar een punt binnenin. Deze oppervlaktelading is echt en niet nul, maar het is een ander soort object dan de lokale energiedichtheid waar wetenschappers naar op zoek zijn.

De studie verduidelijkte ook waarom een truc die werkt voor het elektromagnetisme, faalt voor de zwaartekracht. In het elektromagnetisme, als een berekening lijkt af te hangen van een willekeurige keuze van coördinaten, kan er een compenserende aanpassing worden gedaan om de fout te elimineren en de ware, invariante energie te onthullen. De onderzoekers toonden aan dat voor de zwaartekracht een dergelijke compenserende aanpassing onmogelijk te construeren is. De wiskundige structuur van het zwaartekrachtsveld bevat een verborgen, antisymmetrische component die niet kan worden gecorrigeerd door een lokale aanpassing van de veldvariabelen. Dit verklaart waarom de "compensator"-methode, die succesvol de energietensor voor licht produceert, tegen een muur aanloopt wanneer deze op de zwaartekracht wordt toegepast. Het falen komt niet door een gebrek aan inspanning of een ontbrekend stukje van de puzzel, maar omdat de stukjes van de zwaartekrachtspuzzel anders gevormd zijn.

De onderzoekers adresseerden ook twee speciale gevallen die vaak voorkomen in discussies over de zwaartekracht: de Gauss-Bonnet-term en pure R-kwadraat zwaartekracht. Ze toonden aan dat deze theorieën buiten de reikwijdte van hun belangrijkste resultaat vallen omdat ze "gedegenereerd" zijn. De één is een topologische term die geen echte, voortplantende golven beschrijft, en de andere beschrijft een veld dat niet op de gebruikelijke manier beweegt. Omdat deze theorieën wiskundig singulier of triviaal zijn, vormen zij geen tegenvoorbeeld voor de belangrijkste bevinding. De conclusie blijft robuust voor de standaardtheorieën van de zwaartekracht die echte, fysieke golven beschrijven.

Uiteindelijk biedt dit werk een duidelijke grens voor wat mogelijk is in ons begrip van gravitationele energie. Het bevestigt dat voor de theorieën van de zwaartekracht die de echte wereld beschrijven, er geen strikt lokale, gauge-invariante formule voor energiedichtheid bestaat. De energie van de zwaartekracht is niet iets dat je op een specifieke locatie kunt aanwijzen op dezelfde manier als je naar de energie van een lichtstraal kunt wijzen. In plaats daarvan is het een eigenschap die pas betekenis krijgt wanneer je naar het gehele gebied of de grens ervan kijkt. Dit betekent niet dat de energie niet echt is; het betekent alleen dat de aard ervan fundamenteel anders is dan de energie van andere krachten. De zoektocht naar een lokale energiedichtheid in deze theorieën is geen kwestie van het vinden van de juiste formule, maar van het erkennen dat de formule niet bestaat. De energie van de zwaartekracht is echt, maar het is een globale eigenschap, die pas aan de randen van het universum wordt onthuld, en niet in de kern ervan.