Canonical Vielbeins for General Relativity: D + 1 Decomposition and Constraint Analysis

Dieser Artikel präsentiert eine in sich geschlossene Herleitung der hamiltonschen Formulierung der Allgemeinen Relativitätstheorie in Vielbein-Variablen über $D+1$ Dimensionen, etabliert die Constraint-Algebra, stellt einen Bezug zur metrischen Formulierung her und konstruiert den Boost-Generator, um die volle lokale Lorentz-Symmetrie innerhalb eines $\mathrm{SO}(D)$-kovarianten Rahmens wiederherzustellen.

Das Wesentliche

Stellen Sie sich das Universum als einen riesigen, flexiblen Stoff vor. Seit langem beschreiben Physiker diesen Stoff mit einer einzigen, glatten Karte, die als Metrik bezeichnet wird. Diese Karte gibt Ihnen den Abstand zwischen zwei beliebigen Punkten an. Manchmal jedoch, insbesondere beim Umgang mit winzigen Teilchen wie Elektronen (Spinoren), ist diese glatte Karte zu starr. Physiker bevorzugen es, den Stoff mit einer Reihe lokaler „Lineale" und „Kompassnadeln" zu beschreiben, die an jedem Punkt platziert sind. Diese werden Vielbeine (oder Rahmenfelder) genannt. Betrachten Sie sie nicht als eine einzige Karte, sondern als ein Gitter aus winzigen, beweglichen Koordinatensystemen, die sich an jedem Ort im Raum unabhängig voneinander drehen und neigen können.

Dieser Artikel ist ein detailliertes Anleitungsbuch darüber, wie man die Gesetze der Schwerkraft (Allgemeine Relativitätstheorie) vollständig in Bezug auf diese lokalen Lineale und Kompassnadeln neu formuliert, wobei das Universum speziell in Raum und Zeit zerlegt wird (eine „D+1"-Aufspaltung).

Hier ist eine Aufschlüsselung dessen, was die Autoren getan haben, unter Verwendung einfacher Analogien:

1. Das Setup: Den Kuchen schneiden

Um zu untersuchen, wie sich die Schwerkraft im Laufe der Zeit entwickelt, muss man den 4D-Raumzeit-Kuchen in 3D-Schichten schneiden (wie beim Schneiden eines Laibs Brot).

• Der metrische Ansatz: Traditionell schneiden Physiker den Kuchen und messen die Form jeder Schicht.
• Der Vielbein-Ansatz: Die Autoren schneiden den Kuchen, verfolgen aber auch die Ausrichtung der lokalen Lineale auf jeder Schicht. Sie zeigen, wie man die „Form" der Schicht in die Sprache dieser Lineale übersetzt.

2. Die zwei Arten, die Lineale zu schneiden

Die Autoren untersuchen zwei verschiedene Möglichkeiten, diese lokalen Lineale zu organisieren, was wie das Betrachten eines Kreisel von zwei verschiedenen Winkeln ist:

• Ansatz A: Die „Voll-Drehung"-Sicht (Lorentz-kovariant)
  Stellen Sie sich vor, die Lineale können sich in jede Richtung im 4D-Raum (einschließlich der Zeit) drehen und neigen. Die Autoren leiten die Regeln dafür ab, wie sich diese Lineale bewegen, während sie die Fähigkeit beibehalten, sie in jede Richtung zu drehen. Sie identifizieren „Spielregeln" (Nebenbedingungen), die besagen: „Sie können die Lineale nicht willkürlich drehen; ihre Bewegung ist an die Form des Raums gebunden."

  • Das Ergebnis: Sie fanden eine Reihe von Gleichungen, die die Energie und den Impuls des Universums beschreiben und sicherstellen, dass die Physik gleich bleibt, wenn Sie Ihre Lineale drehen.

• Ansatz B: Die „Flacher Boden"-Sicht (SO(D)-kovariant)
  Stellen Sie sich vor, Sie zwingen die Lineale, auf dem Boden jeder Zeitscheibe senkrecht zu stehen, wobei Sie ihnen nur erlauben, sich um die vertikale Achse zu drehen (wie ein Kreisel, der nicht kippen kann). Dies wird als „Zeit-Eichung" bezeichnet.

  • Das Problem: Indem Sie sie zwingen, senkrecht zu stehen, verlieren Sie die Fähigkeit, das Neigen (Boosts) natürlich zu beschreiben. Es ist wie ein Auto nur danach zu beschreiben, wie es vorwärts fährt, und dabei zu ignorieren, dass es sich auch auf einer überhöhten Kurve neigen kann.
  • Die Lösung: Die Autoren zeigen, dass Sie selbst wenn Sie mit dieser „flachen Boden"-Sicht beginnen, die Fähigkeit zum „Neigen" mathematisch rekonstruieren können. Sie bauten einen speziellen „Boost-Generator" – ein mathematisches Werkzeug, das wie ein Hebel wirkt, um die Lineale wieder in eine 4D-Neigung zu kippen und die volle Symmetrie des Universums wiederherzustellen.

3. Die „Geister"-Regeln (Nebenbedingungen)

In diesem System ist nicht jeder Teil des Lineals frei beweglich. Einige Teile sind „Geister" – sie haben keine eigene unabhängige Energie, sondern sind an die anderen gebunden.

• Die Autoren identifizierten diese „Geister"-Regeln (primäre Nebenbedingungen). Sie zeigten, dass diese Regeln wie die Zahnräder in einer Uhr sind: Wenn sich ein Zahnrad (eine Rotation) bewegt, müssen sich die anderen auf eine bestimmte Weise bewegen, damit die Uhr funktioniert.
• Sie bewiesen, dass alle diese Regeln in einer „Algebra erster Klasse" perfekt zusammenpassen. Auf Deutsch bedeutet dies, dass die Regeln konsistent sind. Wenn Sie einer Regel folgen, brechen Sie nicht versehentlich eine andere. Das System ist stabil und in sich konsistent.

4. Das „Übersetzungs"-Problem

Eine der wichtigsten Erkenntnisse des Artikels betrifft die Translation.

• Wenn Sie versuchen, das gesamte Universum nach links zu bewegen (eine räumliche Verschiebung), bewegen sich die „flachen Boden"-Lineale nicht nur; sie müssen sich auch leicht drehen, um mit der neuen Position ausgerichtet zu bleiben.
• Die Autoren zeigten, dass der Standard-„Bewegen"-Knopf in der Mathematik eine „Dreh"-Anweisung vermisste. Sie korrigierten dies, indem sie einen Term hinzufügten, der besagt: „Wenn Sie den Raum bewegen, drehen Sie auch die lokalen Lineale." Dies stellt sicher, dass die Mathematik korrekt beschreibt, wie das Universum aus einer sich bewegenden Perspektive aussieht.

5. Das große Ganze

Der Artikel ist im Wesentlichen ein rigoroser Beweis dafür, dass:

1. Sie die Schwerkraft mit lokalen Linealen (Vielbeinen) genauso gut beschreiben können wie mit der glatten Karte (Metrik).
2. Sie Zeit und Raum trennen können, um zu untersuchen, wie sich das Universum entwickelt.
3. Selbst wenn Sie mit einer vereinfachten Sichtweise beginnen, bei der sich die Lineale nur drehen (nicht neigen), Sie sie mathematisch „entsperren" können, um die volle, komplexe Fähigkeit zum Neigen und Drehen im 4D-Raum wiederherzustellen.
4. Alle mathematischen Regeln, die diese Bewegungen steuern, widerspruchsfrei zusammenpassen.

Zusammenfassend: Die Autoren haben eine komplexe, abstrakte Art, die Schwerkraft zu beschreiben (unter Verwendung lokaler Rahmen statt einer globalen Karte), in Zeit und Raum geschnitten und ein vollständiges, in sich konsistentes Regelbuch darüber verfasst, wie sich diese lokalen Rahmen bewegen, drehen und neigen. Sie haben ein paar fehlende „Anweisungen" in der Mathematik korrigiert, um sicherzustellen, dass die Bewegung durch den Raum automatisch die notwendigen Rotationen einschließt, und sie bewiesen, dass Sie die volle 4D-Symmetrie wiederherstellen können, selbst wenn Sie mit einer vereinfachten 3D-Sicht beginnen.

Technische Zusammenfassung

Problemstellung
Der Artikel behandelt die Notwendigkeit einer in sich geschlossenen, detaillierten Herleitung der Hamiltonschen Formulierung der Allgemeinen Relativitätstheorie unter Verwendung von Vielbein-Feldvariablen (Frame-Field) in $d = D + 1$ Dimensionen. Während die metrikbasierte Arnowitt-Deser-Misner (ADM)-Zerlegung gut etabliert ist, ist die Vielbein-Formulierung für die Kopplung an Spinoren unerlässlich und bietet distincte geometrische Einsichten. Die Autoren stellen fest, dass die bestehende Literatur zur Vielbein-$D+1$-Zerlegung (z. B. Arbeiten von Schwinger, Kibble, Isham und Deser) oft knapp, unvollständig ist oder Zwischenschritte enthält, denen die erforderliche Detailtiefe fehlt oder die fehlerhaft sind. Darüber hinaus wurden technische Nuancen bezüglich der Constraint-Algebren und Symmetriegeneratoren weitgehend übersehen. Die spezifische Herausforderung besteht darin, die primären Constraints korrekt zu identifizieren, die mit den nicht-dynamischen Lorentz-Freiheitsgraden verbunden sind, und Generatoren zu konstruieren, die korrekt auf den gesamten Phasenraum wirken, einschließlich der internen Lorentz-Indizes.

Methodik
Die Autoren wählen eine direkte feldtheoretische Perspektive und vermeiden die Sprache der Differentialformen und Faserbündel, um die pädagogische Klarheit zu wahren. Sie arbeiten in $d = D + 1$ Dimensionen mit Einheiten $c = \hbar = 1$ und der Konvention „mostly-plus" für die Signatur. Die Methodik verläuft auf zwei parallelen Pfaden:

1. Lorentz-kovariante Formulierung: Ausgehend von der Einstein-Hilbert-Wirkung führen die Autoren eine $D+1$-Foliierung der Raumzeit durch. Sie zerlegen das Vielbein $e^A_\mu$ in eine Lapse-Funktion $N$, eine Shift-Funktion $N^i$, ein räumliches Vielbein $E^A_i$ und einen unitären zeitartigen Lorentz-Vektor $X^A$, der orthogonal zu den räumlichen Hyperebenen steht. Sie leiten die konjugierten Impulse $\pi^i_A$ her und identifizieren die primären Constraints, die aus der lokalen Lorentz-Invarianz resultieren. Die Hamilton-Funktion wird konstruiert, und die Constraint-Algebra wird unter Verwendung des Dirac-Bergmann-Algorithmus berechnet.
2. SO(D)-kovariante Formulierung: Die Autoren führen eine Zerlegung im „Zeit-Eich"-Rahmen ein, bei der der interne Lorentz-Raum in eine zeitliche Richtung und einen räumlichen $SO(D)$-Bereich aufgeteilt wird. Dies beinhaltet die Parametrisierung des allgemeinen Vielbeins durch einen Lorentz-Boost, der auf ein unteres-triangular (ADM) Vielbein wirkt. Sie leiten die Phasenraum-Wirkung her, die manifest invariant unter $SO(D)$-Rotationen ist. Entscheidend erweitern sie diesen Phasenraum, indem sie die Boost-Parameter als kanonische Variablen wieder einführen, um die volle lokale Lorentz-Symmetrie ($SO(1, D)$) wiederherzustellen.

Während der gesamten Herleitung nutzen die Autoren die Moore-Penrose-Pseudoinverse, um die Inversion der Geschwindigkeit-Impuls-Beziehung zu handhaben, die aufgrund der Constraints singulär ist. Sie konstruieren zudem explizit die Castellani-Generatoren, um sicherzustellen, dass die Eichtransformationen korrekt auf die Lapse- und Shift-Variablen wirken und nicht nur auf die räumlichen Felder.

Hauptbeiträge und Ergebnisse

• Herleitung von Phasenraum-Wirkungen: Der Artikel liefert explizite Herleitungen sowohl der Lorentz-kovarianten als auch der $SO(D)$-kovarianten Phasenraum-Wirkungen. Die Autoren zeigen, dass diese Wirkungen zwar auf der Constraint-Oberfläche äquivalent zur standardmäßigen metrischen Phasenraum-Wirkung sind, sich jedoch in ihrer Off-Shell-Struktur und ihrer Wirkung auf die internen Lorentz-Freiheitsgrade unterscheiden.
• Constraint-Identifikation: Die primären Constraints $J^{AB} = \pi^i_{[A}E^B_{i]} = 0$ (Lorentz-kovariant) und $J^{ab} = \pi^i_{[a}E^b_{i]} = 0$ ($SO(D)$-kovariant) werden als die Impulse identifiziert, die zu den nicht-dynamischen Lorentz-/Rotationsfeldern konjugiert sind. Die sekundären Constraints werden als Hamilton-Constraint $R \approx 0$ und Impuls-Constraint $R_i \approx 0$ identifiziert.
• Constraint-Algebra: Die Autoren berechnen die vollständige Algebra der ersten Klasse. Sie zeigen, dass die Algebra schwach schließt und die lokale Lorentz-kovariante Diffeomorphismus-Algebra reproduziert. Ein zentrales Ergebnis ist die explizite Konstruktion des räumlichen Diffeomorphismus-Generators $R_i$. Die Autoren zeigen, dass der naive Generator $\tilde{R}_i$, der direkt aus der Wirkung abgeleitet wird, keine reinen Diffeomorphismen auf dem Vielbein erzeugt; er muss durch einen Term proportional zum Lorentz-Generator modifiziert werden, $R_i = \tilde{R}_i + {}^{(D)}\omega_{iAB}J^{AB}$, um die internen Indizes korrekt zu transformieren.
• Konstruktion des Boost-Generators: In der $SO(D)$-Formulierung konstruieren die Autoren den Boost-Generator $K[\vec{\zeta}]$ explizit durch Erweiterung des Phasenraums. Sie zeigen, dass die Wiederherstellung der vollen $SO(1, D)$-Symmetrie erfordert, dass der Boost-Generator einen Term enthält, der von der Thomas-Wigner-Rotation abhängt, um die korrekte Transformation des räumlichen Vielbeins unter Boosts sicherzustellen.
• Algebraischer Abschluss: Der Artikel verifiziert, dass die Algebra der Rotations- und Boost-Generatoren schwach schließt, wobei der Kommutator zweier Boosts nur auf der Oberfläche der primären Constraints eine Rotation ergibt.

Bedeutung und Behauptungen
Die Autoren behaupten, dass ihre Arbeit Lücken in der bestehenden Literatur schließt, indem sie eine detaillierte, schrittweise Herleitung liefert, die häufige Verwirrungsquellen bezüglich der Vielbein-Hamilton-Formulierung klärt. Insbesondere heben sie Folgendes hervor:

• Die Notwendigkeit, den räumlichen Diffeomorphismus-Generator zu modifizieren, um Lorentz-Rotationsterme einzuschließen, damit er korrekt auf den gesamten Vielbein-Phasenraum wirkt.
• Die explizite Beziehung zwischen der metrischen und der Vielbein-Formulierung, die klärt, warum verschiedene Constraint-Repräsentanten für die korrekte Transformation der internen Freiheitsgrade notwendig sind.
• Die Wiederherstellung der vollen lokalen Lorentz-Symmetrie in der $SO(D)$-Formulierung durch die Konstruktion des Boost-Generators, ein Schritt, der in anderen Arbeiten oft weggelassen oder unvollständig behandelt wird.

Der Artikel kommt zu dem Schluss, dass die abgeleitete Algebra der ersten Klasse den erwarteten $d(d-3)$ Dimensionen des physikalischen Phasenraums für ein masseloses Spin-2-Feld entspricht, was die Konsistenz der Vielbein-Formulierung mit der Allgemeinen Relativitätstheorie bestätigt. Die Arbeit wird als pädagogische und technische Referenz präsentiert, die darauf abzielt, Klarheit in den Formalismus zu bringen, ohne neue physikalische Anwendungen oder experimentelle Vorschläge einzuführen.