The trace-free Einstein tensor is not variational for the metric as field variable

Deze paper toont aan dat de spoorvrije Einstein-tensor, zelfs zonder de aanname van diffeomorfisme-invariantie, niet kan worden afgeleid uit een variatie van een lokale actie met de metriek als veldvariabele.

De kern

De onvindbare formule: Waarom de "spoorloze" zwaartekracht niet uit een simpele wet kan komen

Stel je voor dat je een enorme, ingewikkelde machine bouwt: het heelal. Om te begrijpen hoe deze machine werkt, hebben natuurkundigen een soort "handleiding" nodig. In de algemene relativiteitstheorie van Einstein is deze handleiding de Einstein-vergelijking. Deze vergelijking vertelt ons hoe massa en energie (zoals sterren en planeten) de ruimte en tijd vervormen, en hoe die vervorming op zijn beurt de beweging van die objecten bepaalt.

Deze handleiding is afgeleid van iets dat we een actie noemen. Denk aan een actie als een universele "energierekening" of een "optimale route" die de natuur altijd probeert te volgen. Als je deze route berekent (wiskundig gezien: variëren), krijg je precies de Einstein-vergelijkingen. Het is alsof je zegt: "De natuur kiest altijd de weg met de minste moeite."

Het mysterie van de "Spoorloze" vergelijking

Nu hebben sommige wetenschappers een alternatief bedacht. Ze zeggen: "Misschien is de volledige vergelijking van Einstein niet helemaal juist. Misschien moeten we alleen kijken naar het deel dat de 'sporen' (de totale kromming) verwijdert."

Ze noemen dit de spoorloze Einstein-vergelijking (trace-free Einstein equations).

• De analogie: Stel je voor dat je een foto van een landschap hebt. De volledige Einstein-vergelijking kijkt naar elke pixel, inclusief de helderheid van het hele beeld. De spoorloze versie kijkt alleen naar de verschillen in het beeld (waar het lichter of donkerder is), maar negeert de totale helderheid.
• Het voordeel: In deze spoorloze versie verschijnt de kosmologische constante (die verantwoordelijk is voor de uitdijing van het heelal) niet als een vooraf ingestelde knop, maar als een geheim getal dat uit de berekening zelf naar voren komt, afhankelijk van de oplossing. Het is alsof de machine zijn eigen instellingen bedenkt in plaats van dat wij ze moeten programmeren.

Het probleem: De "onvindbare" handleiding

De auteurs van dit artikel, Arian von Blanckenburg, Domenico Giulini en Philip Schwartz, hebben een heel vervelend nieuws voor deze alternatieve theorie. Ze zeggen: "Je kunt deze spoorloze vergelijking niet afleiden uit een simpele, universele 'energierekening' (actie)."

Hoe kunnen ze dat bewijzen? Laten we een creatieve analogie gebruiken:

De Analogie van de Balansschaal
Stel je voor dat elke natuurkundige wet die uit een "actie" (zoals de energie-rekening) komt, moet voldoen aan een speciale wet van de balans.

• Als je een balansschaal hebt die perfect in evenwicht is (een symmetrische actie), dan moet elke beweging die je maakt, ook in evenwicht blijven.
• De auteurs tonen aan dat de "spoorloze Einstein-vergelijking" zich gedraagt als een scheve balans. Als je probeert deze vergelijking te maken door te variëren aan een simpele energie-functie, krijg je een resultaat dat niet klopt. Het is alsof je probeert een rechtlijnig pad te vinden in een bos, maar het pad dat je vindt, is een spiraal die nergens naartoe leidt.

De Wiskundige "Truc" (De Vainberg-Tonti Lagrangiaan)
De auteurs gebruiken een slimme wiskundige techniek (de methode van variële voltooiing) om dit te testen. Ze zeggen:

1. "Laten we aannemen dat er een handleiding (actie) bestaat die leidt tot deze spoorloze vergelijking."
2. "Dan moeten we kunnen berekenen wat die handleiding zou zijn."
3. "Als we die berekening doen, blijkt dat de handleiding leeg is. Het is een blanco vel papier."

Als je een blanco vel papier gebruikt om de beweging van het heelal te beschrijven, krijg je niets. Je krijgt geen zwaartekracht, geen sterren, niets. Omdat de berekende handleiding nul oplevert, maar de vergelijking die we willen (de spoorloze Einstein-vergelijking) wel degelijk iets doet, is er een tegenspraak.

Conclusie: De spoorloze vergelijking kan niet het resultaat zijn van een simpele, lokale energie-rekening waarbij de ruimte-tijd zelf het enige variabele is.

Wat betekent dit voor ons?

Dit klinkt misschien als een teleurstelling, maar het is eigenlijk heel belangrijk voor de wetenschap:

1. Het is geen doodlopende weg: De vergelijkingen zelf zijn nog steeds interessant en kunnen misschien de natuur beschrijven. Het betekent alleen dat we ze niet kunnen vinden door te zeggen "De natuur zoekt de weg van de minste energie" op de gebruikelijke manier.
2. We moeten creatiever zijn: Als we toch een handleiding willen voor deze theorie, moeten we iets anders toevoegen. Misschien moeten we extra "geheime ingrediënten" (hulpvelden) toevoegen aan de theorie, of de ruimte-tijd op een heel andere manier beschouwen (zoals in de "unimodulaire zwaartekracht").
3. De natuur is complex: Het feit dat deze vergelijking niet uit een simpele actie komt, suggereert dat de werkelijkheid misschien nog complexer is dan we dachten. De natuur volgt niet altijd de meest simpele "minste-energie-regel" als we alleen naar de ruimte-tijd kijken.

Samengevat in één zin:
De auteurs hebben bewezen dat je de "spoorloze" versie van Einstein's zwaartekrachtswet niet kunt maken door simpelweg te zoeken naar de meest efficiënte route in de ruimte-tijd; je hebt daarvoor een veel complexer systeem nodig, of je moet accepteren dat deze wet gewoon een regel is die losstaat van de gebruikelijke energie-berekeningen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "The trace-free Einstein tensor is not variational for the metric as field variable" van Arian L. von Blanckenburg, Domenico Giulini en Philip K. Schwartz, geschreven in het Nederlands.

Titel: De spoorvrije Einstein-tensor is niet variationeel voor de metriek als veldvariabele

1. Het Probleem

Het artikel adresseert een fundamenteel vraagstuk binnen de algemene relativiteitstheorie en de variatierekening: kan de spoorvrije Einstein-tensor ($G^{tf}_{\mu\nu}$) worden afgeleid uit een lokaal actieprincipe waarbij de (inverse) metriek $g_{\mu\nu}$ de enige veldvariabele is?

De spoorvrije Einstein-vergelijkingen worden gegeven door:
$$R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa \left(T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu}\right)$$
waarbij $n \geq 3$ het aantal ruimtetijd-dimensies is. Deze vergelijkingen zijn van belang omdat ze, onder de aanname van behoud van energie-impuls ($\nabla_\mu T^{\mu\nu} = 0$), leiden tot de standaard Einstein-vergelijkingen met een kosmologische constante $\Lambda$ die optreedt als een integratieconstante. Dit verschilt van de standaard theorie waar $\Lambda$ een vaste parameter is.

Hoewel bekend is dat de spoorvrije Einstein-tensor niet voortkomt uit een variatie van een diffeomorfisme-invariante actie (vanwege de covariante divergentie-eigenschappen), was het tot nu toe niet strikt bewezen of dit ook geldt voor algemene lokale acties zonder de eis van diffeomorfisme-invariantie. De auteurs willen dit laatste punt verduidelijken.

2. Methodologie

De auteurs gebruiken methoden uit de inverse variatierekening (inverse calculus of variations), specifiek de methode van de (canonieke) variationele voltooiing (variational completion).

De kern van hun aanpak is gebaseerd op de Vainberg-Tonti Lagrangiaan:

1. Definitie: Voor een tensor-dichtheidsexpressie $E_A[y^B]$ (afhankelijk van een veld $y^B$ en zijn afgeleiden) wordt een geassocieerde Lagrangiaan $L[y^A]$ gedefinieerd via een integraal:
   $$L[y^A] := y^B \int_a^1 E_B[u y^A] du$$
   waarbij $a$ zo wordt gekozen dat $\lim_{u \to a} u E_B[u y^A] = 0$.
2. Logica (Stelling 3): Als de Vainberg-Tonti Lagrangiaan bestaat en de variatie van de bijbehorende actie een uitdrukking oplevert die verschilt van de oorspronkelijke expressie $E_A$, dan kan $E_A$ niet lokaal variationeel zijn (d.w.z. het kan niet voortkomen uit een variatie van een lokaal actieprincipe).
3. Toepassing: De auteurs passen dit toe op de gedensiteerde spoorvrije Einstein-tensor $\tilde{G}^{tf}_{\mu\nu} = \sqrt{|g|} (R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu})$, waarbij de veldvariabele de inverse metriek $g^{\mu\nu}$ is. Ze analyseren het schaalgedrag van deze tensor onder een schaling van de inverse metriek met een factor $u$.

3. Belangrijkste Bijdragen en Berekeningen

De centrale bijdrage is het rigoureuze bewijs dat de spoorvrije Einstein-tensor niet variationeel is, zelfs zonder de aanname van diffeomorfisme-invariantie.

• Schaalanalyse:
  De auteurs onderzoeken hoe $\tilde{G}^{tf}_{\mu\nu}$ verandert als de inverse metriek wordt geschaald: $g^{\mu\nu} \to u g^{\mu\nu}$.

  • De metriek schaalt als $g_{\mu\nu} \to u^{-1} g_{\mu\nu}$.
  • De Christoffel-symbolen en de Ricci-tensor $R_{\mu\nu}$ zijn invariant onder deze schaling.
  • De Ricci-schaal $R = g^{\mu\nu}R_{\mu\nu}$ schaalt als $u^{-1}$.
  • De determinantfactor $\sqrt{|g|}$ schaalt als $|u|^{-n/2}$.
  • De totale schaling van de tensor wordt:
    $$\tilde{G}^{tf}_{\mu\nu}[u g^{\rho\sigma}] = |u|^{-n/2} \tilde{G}^{tf}_{\mu\nu}[g^{\rho\sigma}]$$

• Bepaling van de Vainberg-Tonti Lagrangiaan:
  Om de Lagrangiaan te berekenen, moet de integraal $\int_a^1 u \cdot (\text{geschaalde expressie}) du$ worden geëvalueerd.

  • De limiet voor $u \to a$ moet nul zijn. Voor $n \geq 3$ is de enige mogelijke limiet $a = \infty$ (aangezien de factor $u|u|^{-n/2}$ alleen naar nul gaat als $u \to \infty$).
  • De Lagrangiaan wordt dan:
    $$L = g_{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[u g^{\mu\nu}] du$$
  • Na invullen van de schaling en integreren (waarbij de integraal convergeert voor $n \geq 3$), blijkt dat de uitdrukking evenredig is met de spoor van de tensor: $g_{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}$.
  • Per definitie is de spoorvrije Einstein-tensor spoorvrij ($g^{\mu\nu} G^{tf}_{\mu\nu} = 0$).
  • Resultaat: De Vainberg-Tonti Lagrangiaan is identiek nul.

4. Resultaten

• Stelling 1: Voor $n \geq 3$ kan de gedensiteerde spoorvrije Einstein-tensor $\tilde{G}^{tf}_{\mu\nu}$ niet voortkomen uit de variatie van een lokaal actieprincipe met betrekking tot de inverse metriek als veldvariabele.
• Omdat de geassocieerde Vainberg-Tonti Lagrangiaan verdwijnt, levert de variatie van de actie $S = \int L d^nx$ de nul-uitdrukking op, en niet de oorspronkelijke tensor. Volgens de logica van de inverse variatierekening betekent dit dat de tensor niet variationeel is.
• Het resultaat geldt ook voor de contravariante versie van de tensor als de metriek (in plaats van de inverse metriek) als veldvariabele wordt gekozen; de Lagrangiaan verdwijnt daar eveneens.

5. Betekenis en Conclusie

• Verduidelijking van de theorie: Het artikel sluit een theoretische lacune door aan te tonen dat de niet-variationaliteit van de spoorvrije Einstein-vergelijkingen een fundamenteel eigenschap is van de tensor in relatie tot de metriek, en niet slechts een gevolg van de eis van diffeomorfisme-invariantie.
• Implicaties voor Unimodulaire Zwaartekracht: De resultaten zijn relevant voor de interpretatie van unimodulaire zwaartekracht. Hoewel deze theorieën vaak worden geformuleerd via variatieprincipes, tonen de auteurs aan dat de spoorvrije Einstein-vergelijkingen daar niet direct als Euler-Lagrange-vergelijkingen uit de variatie van de metriek voortkomen. In plaats daarvan ontstaan de volledige Einstein-vergelijkingen (met een kosmologische constante als Lagrange-multiplicator), die equivalent zijn aan de spoorvrije vergelijkingen, maar de variatie zelf levert niet direct de spoorvrije vorm op.
• Alternatieve Formuleringen: Het artikel bevestigt dat als men de spoorvrije Einstein-vergelijkingen toch als variatieprincipes wil beschouwen, men de veldvariabelen moet veranderen (bijvoorbeeld door hulpvelden toe te voegen of de metriek anders te parametriseren), zoals recentelijk is gedaan in andere werken [5-7]. Zolang de inverse metriek de enige dynamische variabele blijft, is een lokaal actieprincipe onmogelijk.

Kortom, het papier levert een wiskundig strikt bewijs dat de spoorvrije Einstein-tensor inherent niet variationeel is voor de standaard metriek-variabele, ongeacht de symmetrie-eisen van de actie.