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

Die Arbeit zeigt, dass der spurfreie Einstein-Tensor auch ohne die Annahme der Diffeomorphismusinvarianz nicht als Variation einer lokalen Wirkungsfunktion bezüglich der Metrik hergeleitet werden kann.

Das Wesentliche

Das Geheimnis der „fehlenden Spur": Warum eine bestimmte Art von Gravitation nicht aus einem Bauplan entsteht

Stellen Sie sich vor, Sie sind ein Architekt, der ein riesiges Universum bauen möchte. In der klassischen Physik (der Allgemeinen Relativitätstheorie von Einstein) gibt es einen perfekten Bauplan (ein sogenanntes „Wirkungsfunktional"). Wenn Sie diesen Plan nehmen und ihn leicht verändern (mathematisch: variieren), erhalten Sie automatisch die Gesetze, die beschreiben, wie sich Materie und Raumzeit verhalten. Es ist wie ein Rezept: Zutaten mischen, backen, und schon haben Sie den perfekten Kuchen.

Die Autoren dieses Papers untersuchen nun eine alternative Version dieses Rezepts, die sogenannte „spurfreie Einstein-Gleichung".

1. Was ist das Problem? (Die „spurfreie" Gleichung)

In der normalen Physik gibt es eine wichtige Regel: Alles hat eine „Spur" (eine Art Summe aller Teile). Die Autoren schauen sich eine Version der Gravitationsgesetze an, bei der man diese Spur einfach weglässt.

• Die Idee: Wenn man die Spur weglässt, taucht die berühmte „kosmologische Konstante" (eine Art Dunkle Energie) nicht als fest eingestellter Parameter auf, sondern wie ein Geldbetrag, der sich aus dem Endergebnis der Rechnung ergibt. Das klingt sehr elegant, weil es erklärt, warum dieser Wert in unserem Universum genau so ist, wie er ist.

2. Die große Frage: Gibt es einen Bauplan dafür?

Die Forscher fragen sich: Können wir diese „spurfreien" Gesetze aus einem einzigen, eleganten Bauplan (einer Wirkung) ableiten?

Bisher wusste man: Nein, wenn man strikt an den alten Regeln der Symmetrie (Diffeomorphismus-Invarianz) festhält. Aber die Autoren gehen einen Schritt weiter. Sie sagen: „Okay, egal ob Symmetrie oder nicht – gibt es überhaupt irgendeinen Bauplan, der zu diesen Gesetzen führt, wenn wir die Metrik (das Maßband des Raumes) als Variable nehmen?"

3. Die Methode: Der „Vainberg-Tonti-Test" (Der Koch-Test)

Um das herauszufinden, benutzen die Autoren eine mathematische Methode, die man sich wie einen Koch-Test vorstellen kann:

• Wenn Sie eine Gleichung haben, die aus einem Rezept (einer Wirkung) stammt, dann muss diese Gleichung bestimmte Eigenschaften haben, wenn man die Zutaten (die Metrik) skaliert (also alles vergrößert oder verkleinert).
• Die Autoren nehmen ihre „spurfreie Gleichung" und testen, wie sie sich verhält, wenn man das Universum theoretisch auf die Hälfte oder das Doppelte seiner Größe schraubt.

Das Ergebnis des Tests:
Die Gleichung verhält sich merkwürdig. Wenn man sie in den „Kochtopf" (die mathematische Formel für den Bauplan) wirft, passiert etwas Seltsames:

• Der mathematische „Kochtopf" (die Vainberg-Tonti-Lagrangefunktion) verschwindet komplett. Er wird zu Null.
• Wenn Sie versuchen, aus einem leeren Topf (Null) zu kochen, erhalten Sie am Ende nichts als Null. Nichts anderes.

4. Die Schlussfolgerung: Kein Rezept möglich

Da der „Kochtopf" leer ist, kann man die ursprüngliche Gleichung (die spurfreien Gesetze) nicht durch das „Backen" eines solchen Rezepts erhalten.

Die einfache Analogie:
Stellen Sie sich vor, Sie haben eine perfekte Musikmelodie (die spurfreien Gleichungen). Sie versuchen nun, herauszufinden, ob diese Melodie aus einem bestimmten Musikstück (dem Bauplan) entsteht, indem Sie die Noten leicht verändern.
Die Mathematik zeigt ihnen: Wenn Sie das Musikstück nehmen und es verändern, entsteht Stille (Null), nicht die Melodie.
Das bedeutet: Es gibt kein Musikstück, aus dem diese Melodie direkt entsteht. Man kann die Melodie nicht als „Folge" eines einfachen Bauplans erklären, wenn man nur die üblichen Werkzeuge (die Metrik als Variable) benutzt.

5. Was bedeutet das für die Physik?

• Kein Ende der Theorie: Das bedeutet nicht, dass die spurfreien Gleichungen falsch oder nutzlos sind. Sie sind immer noch eine gültige Beschreibung der Physik.
• Ein neuer Weg: Es bedeutet nur, dass man für diese spezielle Beschreibung der Gravitation keinen einfachen, direkten Bauplan finden kann, der nur die Raumzeit-Metrik benutzt.
• Die Lösung: Um einen Bauplan dafür zu finden, müsste man entweder die Spielregeln ändern (andere Variablen einführen) oder zusätzliche „Hilfs-Kräfte" (auxiliäre Felder) in das Rezept mischen.

Zusammenfassend:
Die Autoren haben bewiesen, dass die „spurfreie" Version der Gravitationsgesetze so eigenartig ist, dass sie sich nicht wie ein normales physikalisches Gesetz aus einem einzigen, einfachen Bauplan ableiten lässt. Es ist, als ob man versuchen würde, ein komplexes Bild zu malen, indem man nur einen einzigen Pinselstrich macht – es funktioniert einfach nicht, egal wie man den Pinsel führt. Man braucht mehr Werkzeuge oder eine andere Herangehensweise, um dieses spezielle Bild zu erschaffen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers auf Deutsch, strukturiert nach Problemstellung, Methodik, Kernbeiträgen, Ergebnissen und Bedeutung.

1. Problemstellung

Das Paper adressiert ein fundamentales Problem in der theoretischen Physik, speziell in der allgemeinen Relativitätstheorie und deren Modifikationen: Die Frage, ob die spurfreie Einstein-Gleichungen (Trace-Free Einstein Equations) aus einem Variationsprinzip abgeleitet werden können.

Die spurfreien Einstein-Gleichungen lauten:
$$R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa \left( T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu} \right)$$
wobei $n \ge 3$ die Raumzeit-Dimension ist, $R_{\mu\nu}$ der Ricci-Tensor, $R$ der Ricci-Skalar und $T_{\mu\nu}$ der Energie-Impuls-Tensor ist.

Es ist bereits bekannt, dass der spurfreie Einstein-Tensor $G^{tf}_{\mu\nu}$ nicht aus einer diffeomorphismusinvarianten lokalen Wirkung abgeleitet werden kann, wenn die inverse Metrik $g^{\mu\nu}$ als Feldvariable gewählt wird. Der Grund liegt darin, dass die kovariante Divergenz einer solchen Variation aufgrund der Diffeomorphismusinvarianz identisch verschwinden müsste, der spurfreie Einstein-Tensor jedoch (für $n \ge 3$) nicht identisch divergenzfrei ist.

Die offene Frage: Gilt diese Nicht-Variabilität auch dann, wenn man die Annahme der Diffeomorphismusinvarianz aufgibt? Das Paper untersucht, ob der spurfreie Einstein-Tensor überhaupt aus irgendeiner lokalen Wirkungsfunktion (lokal im Sinne von Abhängigkeit von Feldern und endlich vielen Ableitungen) bezüglich der inversen Metrik als Variablen hervorgehen kann.

2. Methodik

Die Autoren verwenden Methoden aus der inversen Variationsrechnung, speziell das Verfahren der (kanonischen) Variations-Vervollständigung (Variational Completion), wie von Vainberg und Tonti entwickelt.

Der Kern der Methode besteht darin, einem gegebenen tensor-dichtewertigen Ausdruck $E_A[y^B]$ (hier der spurfreie Einstein-Tensor, abhängig von der inversen Metrik $g^{\mu\nu}$) einen sogenannten Vainberg-Tonti-Lagrangian $\mathcal{L}[y^A]$ zuzuordnen. Dieser wird definiert durch ein eindimensionales Integral:
$$\mathcal{L}[y^A] := y^B \int_a^1 E_B[u y^A] \, du$$
wobei $a$ so gewählt wird, dass der Grenzwert $\lim_{u \to a} u E_B[u y^A] = 0$ existiert.

Das logische Argument (Theorem 3):

• Wenn der Ausdruck $E_A$ lokal variational ist (d.h. aus einer lokalen Wirkung stammt), dann muss die Variation des Vainberg-Tonti-Lagrangians genau den ursprünglichen Ausdruck $E_A$ ergeben.
• Kontraposition: Wenn die Variation des Vainberg-Tonti-Lagrangians einen Ausdruck liefert, der nicht dem ursprünglichen $E_A$ entspricht (insbesondere wenn er verschwindet), dann kann $E_A$ nicht lokal variational sein.

Die Autoren wenden dies auf den dichtemachten spurfreien Einstein-Tensor $\tilde{G}^{tf}_{\mu\nu} = \sqrt{|\det g|} G^{tf}_{\mu\nu}$ an, da Variationen bezüglich eines Tensors (Gewicht 0) immer zu einem Tensor-Dichte (Gewicht 1) führen.

3. Schlüsselbeiträge und Herleitung

Der Hauptbeitrag des Papers ist der Beweis, dass die Nicht-Variabilität auch ohne Diffeomorphismusinvarianz gilt.

Schritt-für-Schritt-Herleitung:

1. Skalierungsverhalten: Die Autoren analysieren das Verhalten des dichtemachten spurfreien Einstein-Tensors unter einer Skalierung der inversen Metrik $g^{\mu\nu} \to u g^{\mu\nu}$ (mit $u \in \mathbb{R} \setminus \{0\}$).

   • Die Metrik skaliert mit $u^{-1}$.
   • Christoffel-Symbole und Ricci-Tensor bleiben invariant.
   • Der Ricci-Skalar $R = g^{\mu\nu}R_{\mu\nu}$ skaliert mit $u$.
   • Der Determinantenfaktor $\sqrt{|\det g|}$ skaliert mit $|u|^{-n/2}$.
   • Daraus folgt für den gesamten Ausdruck: $\tilde{G}^{tf}_{\mu\nu}[u g^{\rho\sigma}] = |u|^{-n/2} \tilde{G}^{tf}_{\mu\nu}[g^{\rho\sigma}]$.

2. Bestimmung des Integrationslimits: Um das Vainberg-Tonti-Integral zu definieren, muss ein $a$ gefunden werden, sodass $\lim_{u \to a} u \cdot \tilde{G}^{tf}_{\mu\nu}[u g] = 0$.

   • Der Skalierungsfaktor ist $u |u|^{-n/2} = \text{sgn}(u) |u|^{-(n-2)/2}$.
   • Für $n \ge 3$ geht dieser Term nur für $u \to \infty$ gegen Null. Also ist $a = \infty$.

3. Berechnung des Lagrangians:
   $$\mathcal{L}[g_{\mu\nu}] = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[u g_{\mu\nu}] \, du$$
   Durch Einsetzen der Skalierungsfunktion und Ausführen des Integrals (unter Verwendung von $n \ge 3$) ergibt sich:
   $$\mathcal{L} \propto g^{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}$$
   Da der spurfreie Einstein-Tensor per Definition spurfrei ist ($g^{\mu\nu} G^{tf}_{\mu\nu} = 0$), verschwindet das Skalarprodukt und somit der gesamte Lagrangian:
   $$\mathcal{L} = 0$$

4. Schlussfolgerung: Die Variation der Wirkung $S = \int \mathcal{L} \, d^nx$ (die hier identisch Null ist) bezüglich der inversen Metrik ergibt Null. Da dies nicht dem ursprünglichen Ausdruck $\tilde{G}^{tf}_{\mu\nu}$ entspricht, ist dieser Ausdruck nicht lokal variational.

4. Ergebnisse

• Hauptsatz (Theorem 1): Für $n \ge 3$ kann der dichtemachte spurfreie Einstein-Tensor $\tilde{G}^{tf}_{\mu\nu}$ nicht durch Variation einer beliebigen lokalen Wirkungsfunktion bezüglich der inversen Metrik $g^{\mu\nu}$ als Feldvariable erhalten werden.
• Dies gilt unabhängig davon, ob die Wirkung diffeomorphismusinvariant ist oder nicht.
• Das Ergebnis gilt auch für den kontravarianten spurfreien Einstein-Tensor, wenn die Metrik $g_{\mu\nu}$ als Variable gewählt wird (hier ist das Integrationslimit $a=0$, das Ergebnis bleibt jedoch Null).

5. Bedeutung und Interpretation

• Klarstellung der Variationsproblematik: Das Paper schließt eine theoretische Lücke, indem es zeigt, dass die Nicht-Variabilität keine Folge der Diffeomorphismusinvarianz ist, sondern eine intrinsische Eigenschaft des spurfreien Einstein-Tensors in Bezug auf die Metrik als Variable.
• Unterscheidung von Unimodularer Gravitation: Die Autoren betonen, dass dies die Spurfreien-Einstein-Gleichungen nicht als physikalisch ungültig entlarvt. Es bedeutet lediglich, dass sie nicht direkt als Euler-Lagrange-Gleichungen einer lokalen Wirkung bezüglich der Metrik entstehen.
  • Es existieren bereits alternative Formulierungen (z.B. durch Einführung zusätzlicher dynamischer Felder oder Umformulierung der Variablen), die eine Variationsformulierung ermöglichen (zitiert als Ref. [5–7]).
  • Im Kontext der Unimodularen Gravitation (wo das Volumenelement fixiert wird) führt die Variation bezüglich der Metrik typischerweise zu den vollen Einstein-Gleichungen, wobei die kosmologische Konstante als Lagrange-Multiplikator auftritt. Die spurfreien Gleichungen ergeben sich daraus nur als Äquivalenz, nicht direkt aus der Variation.
• Methodischer Beitrag: Die Arbeit demonstriert die Effektivität der Methode der Variations-Vervollständigung (Vainberg-Tonti) als Werkzeug, um die Nicht-Existenz von Wirkungsfunktionen für bestimmte Feldgleichungen nachzuweisen, selbst wenn die üblichen Symmetrie-Argumente (wie Divergenzfreiheit) nicht ausreichen oder nicht vorausgesetzt werden sollen.

Zusammenfassend beweist das Paper, dass der spurfreie Einstein-Tensor eine "nicht-variational" Struktur besitzt, die tief in der algebraischen Struktur der Gleichungen und der Wahl der Feldvariablen (Metrik) begründet liegt, und nicht nur in äußeren Symmetriebedingungen.