Introduction to the ADM formalism

Zwaartekracht, zoals Albert Einstein het beschreef, is niet een kracht die objecten naar elkaar toe trekt, maar een kromming van het weefsel van de ruimte en de tijd zelf. Stel je een zware bal voor die op een trampoline wordt geplaatst; deze creëert een kuil, en kleinere ballen die in de buurt rollen, zullen erheen buigen, niet vanwege een onzichtbare ruk, maar omdat het oppervlak waarop ze reizen is verbogen. In Einsteins theorie vertelt materie de ruimte hoe deze moet krommen, en die gekromde ruimte vertelt de materie hoe deze moet bewegen. Deze beschrijving is prachtig en wiskundig nauwkeurig, maar het is ook berucht moeilijk te gebruiken wanneer men probeert te voorspellen hoe het universum in de loop van de tijd verandert. De vergelijkingen die deze kromming beheersen, zijn geschreven op een manier die ruimte en tijd als één onscheidbaar blok behandelen, waardoor het bijna onmogelijk is om het "nu" te isoleren van het "toen", of om te zien welke delen van de vergelijking de huidige staat van het universum beschrijven en welke delen beschrijven hoe die staat zich zal ontwikkelen.

Decennialang worstelden natuurkundigen met dit probleem. Ze wisten dat de wetten correct waren, maar ze misten een praktische manier om de toekomst van het kosmos te simuleren of om de kwantummechanica van de zwaartekracht te begrijpen. Om dit op te lossen, hadden ze een nieuw perspectief nodig, een perspectief dat de vierdimensionale blok van de ruimtetijd kon snijden in een reeks driedimensionale momentopnames, vergelijkbaar met hoe een filmrol een reeks stilstaande beelden is. Dit is de uitdaging waar een team van onderzoekers, Alejandro Corichi en Darío Núñez, zich mee bezighield in hun werk over het ADM-formalisme. Oorspronkelijk geschreven in 1991 en aanzienlijk uitgebreid in een revisie uit 2026, dient dit artikel als een uitgebreide gids voor een wiskundig kader dat Einsteins statische vergelijkingen verandert in een dynamisch verhaal van verandering. Het biedt de instrumenten om de complexe, vierdimensionale geometrie van het universum te nemen en deze af te breken in hanteerbare stukken die bestudeerd, berekend en zelfs op een computer gesimuleerd kunnen worden.

De kern van dit werk is het idee om het universum niet te zien als één enkel, onveranderlijk object, maar als een opeenvolging van driedimensionale ruimtes die evolueren in de tijd. De onderzoekers laten zien hoe men de ruimtetijd in lagen kan snijden, waarbij elke laag het gehele universum op een specifiek moment vertegenwoordigt. Om dit te doen, introduceren zij twee nieuwe concepten die fungeren als de besturingselementen voor deze evolutie. Het eerste is een "lapse"-functie (verloopfunctie), die bepaalt hoeveel tijd er verstrijkt tussen de ene laag en de volgende. Het tweede is een "shift"-vector (verschuivingsvector), die beschrijft hoe de coördinaten op één laag verschuiven of driften ten opzichte van de laag eronder. Door de geometrie van de ruimte op deze manier te scheiden van de stroom van de tijd, transformeren de auteurs het probleem. In plaats van te werken met een enkele, ondoordringbare set vergelijkingen, leiden zij een nieuwe set regels af die duidelijk onderscheid maken tussen de variabelen die veranderen naarmiddens de tijd vordert en de variabelen die fungeren als beperkingen, of vaste regels, waar het universum zich altijd aan moet houden.

Dit onderscheid is cruciaal. Het artikel laat zien dat van de tien componenten van het zwaartekrachtsveld er slechts zes werkelijk dynamisch zijn; dit zijn de delen die evolueren en de energie van het systeem dragen. De andere vier componenten zijn geen onafhankelijke variabelen, maar worden bepaald door de beperkingen. De auteurs leiden expliciet de wiskundige uitdrukkingen af voor deze beperkingen, bekend als de Hamiltonian-beperking en de momentumbeperking. Dit zijn niet louter abstracte regels; het zijn de voorwaarden waaraan elke geldige momentopname van het universum moet voldoen. Als een momentopname van de ruimte niet aan deze voorwaarden voldoet, kan deze niet bestaan in een universum dat door de wetten van Einstein wordt beheerst. Het artikel construeert zorgvuldig de energie van het systeem, waarbij wordt aangetoond dat deze volledig wordt bepaald door deze beperkingen en de randvoorwaarden aan de rand van het systeem. Sterker nog, de totale energie van een geïsoleerd systeem, zoals een ster of een sterrenstelsel, blijkt een specifieke waarde te zijn die wordt berekend uit hoe de ruimte aan de uiterste rand ervan kromt, een concept dat bekend staat als de ADM-energie.

Het nut van deze aanpak strekt zich veel verder uit dan theoretische elegantie. Het artikel legt uit hoe dit formalisme de basis werd voor de numerieke relativiteit, het vakgebied dat supercomputers gebruikt om de meest gewelddadige gebeurtenissen in het kosmos te simuleren. Voordat dit kader volledig ontwikkeld en begrepen was, was het bijna onmogelijk om de botsing van twee zwarte gaten te modelleren. Het ADM-formalisme bood de noodzakelijke structuur om de beginvoorwaarden voor een dergelijke simulatie op te stellen en deze stap voor stap in de tijd te laten evolueren. De auteurs beschrijven in detail hoe deze methode wetenschappers in staat stelt om de beperkingen op een initiële snede van de ruimte op te lossen en vervolgens de evolutie-vergelijkingen te gebruiken om te voorspellen wat er daarna gebeurt. Deze mogelijkheid heeft de simulatie van zwart gat-fusies veranderd van een theoretische droom in een routinematige berekening, wat de waveforms (golfvormen) opleverde die essentieel waren voor de eerste directe detectie van zwaartekrachtgolven.

Naast de praktische toepassing op zwarte gaten, verkent het artikel de diepere implicaties voor de aard van de realiteit. Het bespreekt het concept van "superspace" (superspante), een uitgestrekt wiskundig landschap waar elke mogelijke vorm van een driedimensionaal universum een enkel punt is. In dit visie is de geschiedenis van ons universum niet een lijn die door de tijd beweegt, maar een pad dat door dit landschap van geometrieën wordt getrokken. De auteurs laten zien hoe de vergelijkingen van de algemene relativiteitstheorie kunnen worden geherinterpreteerd als de beweging van een deeltje door deze superspante, onderworpen aan specifieke krachten en beperkingen. Dit perspectief heeft nieuwe deuren geopend voor de kwantumgravitatie, de poging om de wetten van het zeer grote te verenigen met de wetten van het zeer kleine. Door de ware vrijheidsgraden van het zwaartekrachtsveld te isoleren, biedt het formalisme een helderder pad voor natuurkundigen om kwantummechanica toe te passen op de geometrie van de ruimte zelf.

De herziene editie van dit werk, bijgewerkt in 2026, herhaalt niet louter de oorspronkelijke bevindingen, maar breidt deze uit door de beperkingsalgebra, de randtermen die energie definiëren, en de ontwikkelingen die sinds het begin van de jaren 1990 hebben plaatsgevonden, op te nemen. Het verheldert de wiskundige structuur die het gehele veld onderbouwt, waardoor de verbinding tussen de abstracte theorie en de concrete simulaties transparant wordt. De auteurs corrigeren zorgvuldig eerdere fouten en presenteren het materiaal in een moderne notatie die aansluit bij de huidige standaarden, waardoor het een definitieve bron wordt voor iedereen die wil begrijpen hoe het universum evolueert. Zij tonen aan dat hoewel de vergelijkingen van de zwaartekracht complex zijn, ze niet chaotisch zijn; ze bezitten een rigide structuur die, eenmaal begrepen, ons in staat stelt het gedrag van het kosmos met opmerkelijke precisie te voorspellen.

Uiteindelijk gaat dit artikel over het zichtbaar maken van het onzichtbare. Het neemt de abstracte, vierdimensionale kromming van Einsteins theorie en vertaalt deze naar een taal van verandering, evolutie en berekening. Door een heldere, stapsgewijze constructie van de Hamiltonian-formulering te bieden, hebben de auteurs de wetenschappelijke gemeenschap een krachtig instrument gegeven om de dynamiek van het universum te verkennen. Of het nu gaat om het berekenen van de energie van een ver sterrenstelsel, het simuleren van de fusie van twee zwarte gaten, of het onderzoeken van de kwantumnatuur van de ruimte, het ADM-formalisme staat als de brug tussen de statische schoonheid van Einsteins vergelijkingen en de dynamische realiteit van ons evoluerende universum. Het is een getuigenis van de kracht van wiskundige helderheid, die aantoont dat zelfs de meest complexe wetten van de natuur kunnen worden afgebroken tot begrijpelijke delen, waardoor we de machinerie van het kosmos in beweging kunnen zien.