Elektromagnetismus und allgemeine Relativitätstheorie können beide als Eichtheorien betrachtet werden, in diesem Fall gibt es eine natürliche Analogie zwischen ihnen:
(Genau genommen ist die Eichsymmetrie der Diffeomorphismus-Invarianz der Metrik reduziert sich auf die globale Symmetrie in der Newtonschen Grenze.)
Die Theorien können auch beide als Verbindungen auf Faserbündeln betrachtet werden, in diesem Fall gibt es eine andere natürliche Analogie zwischen ihnen:
Hier (tiefer Atemzug) ist das elektromagnetische Vektorpotential, ist die Metrik, ist das Newtonsche Gravitationspotentialfeld, ist der Tensor der elektromagnetischen Feldstärke, ist die Christoffel-Verbindung, ist das Newtonsche Gravitationsfeld, ist der elektrische Vierstrom, ist der Einstein-Tensor, ist der Stress-Energie-Tensor, ist die räumliche Massendichte, steht für "Länge", und ist der Riemann-Krümmungstensor (puh!).
Wie in Dimensionsanalyse des metrischen Tensors erwähnt , stimmen diese beiden Analogien leider nicht überein! Das elektromagnetische Vierpotential und Feldstärketensor entsprechen der Metrik und Christoffel-Verbindung jeweils in der ersten Analogie und auf die Christoffel-Verbindung und den Riemann-Krümmungstensor jeweils im zweiten. Das scheint nicht richtig zu sein - sicherlich sollte es eine einzige einheitliche Formulierung jeder Theorie geben, in der die Eichtheorie und die Faserbündelgeschichten natürlich kompatibel sind. Also, was zum Teufel ist los?
Hier ist eine zusätzliche Struktur im Spiel. Je nachdem, welche Ebene Sie betrachten, ist dies entweder die Tatsache, dass die tangentiale Verbindung erlaubt den Austausch von Argumenten (falls gut definiert ist, dann ist es auch ) oder dass es eine Lötform gibt auf dem Hauptpaket von Rahmen für GR, während es für den Anschluss in EM keine solche Lötform gibt.
Beides bedeutet jedenfalls, dass es einen Unterschied zwischen den Eichsymmetrien gibt.
Bei lokalen Lorentz-Symmetrien besteht der Unterschied darin, dass die lokale Lorentz-Symmetrie eine "externe" Symmetrie ist, während die Symmetrie ist eine innere. Wir können die "äußere" Symmetrie in eine innere umwandeln, indem wir genau die vielbeins verwenden: . Aber dann müssen wir eine Dynamik für das Vielbein finden auch. Dieses Vielbein ist genau das örtliche Erscheinungsbild der oben erwähnten Lötform.
Bei diffeomorphen Symmetrien ist dies völlig anders. Die lokale Lorentz-Symmetrie und die Symmetrie sind beide lokalisierbar. Sie können eine LL-Transformation oder eine machen Verwandlung an einem Punkt . Sie können an einem bestimmten Punkt kein Diffeo machen . Ich bin kein Experte in diesem Bit, ehrlich gesagt, ich habe es immer nicht gemocht, wenn Leute sagen, dass GR eine Eichtheorie mit ist die Gauge-Gruppe sein. Sicher, man kann es so sehen, aber das wird einen unüberbrückbaren Unterschied zu dem schaffen Eichtheorien des Standardmodells.
Die einzige einigermaßen einheitliche Sprache ist, wenn Sie die Eichgruppe als die Lorentz-Gruppe betrachten. Darüber hinaus scheint auch die Existenz von Spinorfeldern die Interpretation der Lorentz-Gruppe zu bevorzugen.
Wenn Sie eine tiefgründige Antwort wünschen, kann ich Ihnen keine geben. Es liegt eine Verletzung dieser Eichanalogie vor, gerade weil die Lorentz-Symmetrie eine externe Raum-Zeit-Symmetrie ist.
Eine innere Symmetrie mit Eichgruppe wird dir eine Verbindung geben die auf Abschnitte der zugeordneten Vektorbündel wirkt (die dem Prinzipal zugeordnet sind -bundle wo die Verbindung wohnt).
Die Tatsache, dass dies ein -Verbindung statt a -Verbindung besteht darin, dass die Form des Lagrange für das Materiefeld normalerweise eine Fasermetrik beinhaltet (für skalare QED ist dies das "innere Produkt") ), normalerweise eine hermitesche Metrik, was, weil wir wollen, dass die Verbindung metrisch kompatibel ist, ergibt auf eine einheitliche Gruppe reduzierbar.
Danach spezifizieren wir auch für die Verbindung einen Lagrange, weil es ein dynamisches Feld sein muss (für unitäre Verbindungen ist dies der Yang-Mills-Lagrange), und dann haben wir unsere klassische Eichtheorie.
Für die Schwerkraft brauchen wir zuerst ein Vielbein, um die äußere Symmetrie innerlich zu machen. Das Vielbein muss Dynamik haben, denn wie würden Sie es sonst spezifizieren? Aber ignorieren wir das jetzt mal. Jetzt haben wir eine interne Lorentz-Symmetrie mit Fasermetrik , also haben wir eine -kompatible Verbindung.
Wir müssen die Dynamik von beiden spezifizieren und . Metrische Kompatibilität und Torsionsfreiheit erzwingen dies muss nichtdynamisch sein, also müssen wir eine Lagrangedichte für erfinden . Aber die Ostrogradsky-Instabilität zwingt uns, nach Feldgleichungen zweiter Ordnung zu suchen, sodass die Krümmung (Ausdruck zweiter Ordnung) keine dynamische Variable sein kann (im Gegensatz zu Yang-Mills, wo die Ostrogradsky-Instabilität dies nicht verhindert, da dort die Krümmung erster Ordnung ist).
Auch wenn Sie nicht versuchen, Kompatibilität und Torsionsfreiheit durchzusetzen, wird es nichts ändern. Wenn Sie Torionsfreiheit, aber keine Kompatibilität erzwingen, erhalten Sie den Palatini-Formalismus, der gleichwertig ist. Wenn Sie die Torsionslosigkeit nicht erzwingen, erhalten Sie Unterschiede (Einstein-Cartan-Theorie), die nur Spinoren spüren. Selbst dann kann man nicht loswerden als das "Potenzial" für die Theorie.
Die Schlussfolgerung ist , dass das Vielbein ein notwendiges dynamisches Objekt ist, um die Schwerkraft zu erreichen, und es ruiniert die Analogie.
*: Wenn ich sage, dass die Krümmung nicht dynamisch sein kann, meine ich, dass sie nicht in differenzierter Form in den Feldgleichungen auftreten kann.
Die in der Frage präsentierten Analogien sind meines Erachtens fehlerhaft. Ich stimme Weinberg zu, wie in @tparkers Antwort erwähnt, dass die Analogie zwischen den Christoffel-Symbolen ( ) und das und das Eichpotential ( ). Diese Parallele wird deutlicher, wenn wir die Schwerkraft mit nicht-abelschen Eichtheorien vergleichen und die Gruppenindizes nicht unterdrücken. Vergleichen Sie insbesondere die kovarianten Ableitungen (aus Gründen der Konkretheit auf "Rang 1" -Tensoren angewendet):
Anders ausgedrückt, die Basisvektoren der Vektorräume an einem Punkt in der Raumzeit, , steht in einem Punkt mit den Basisvektoren in Beziehung Erstbestellung per:
All dies gesagt, hier sind die nicht notierten Unterschiede zwischen gewöhnlichen Eichtheorien und der Schwerkraft:
Die Metrik in Yang-Mills-Theorien wird normalerweise nicht einmal diskutiert, da sie normalerweise isomorph zu einer konstanten euklidischen Metrik ist. Sogar die abelsche Yang-Mills-Theorie, Elektromagnetismus, hat eine Metrik. Die bestimmende Darstellung der Gruppe sind zum Beispiel die Transformationen, die die Norm komplexer Zahlen bewahren, . Das Schreiben dieser Norm in Form einer Metrik ergibt einen Vektor , a -dimensionaler Vektor ( ), und die Metrik ordnet dies dem Covektor zu ( ). Angesichts der Multiplikationsregeln komplexer Zahlen ordnet dies die Metrik a zu - Identitätsmatrix, .
Der Punkt ist: Soweit ich weiß, wurde nicht untersucht, ob eine Yang-Mills-Theorie eine Metrik hat, die eine Funktion der Raumzeit ist.
Die Schwerkraft ist in gewissem Sinne auch etwas Besonderes für die Gruppe, die eine Transformation darstellt, die die Mannigfaltigkeit berührt. Mit anderen Worten, es ist wichtig, dass sich die Gruppenindizes (Indizes außerhalb der eckigen Klammern oben) im selben Raum befinden wie die Symmetrien auf der Mannigfaltigkeit, wodurch sie den Raum so tangieren, dass sogar eine Gruppe, die nur isomorph zu diesen ist Symmetrien nicht. Dies hängt in gewisser Weise mit der Idee zusammen, dass die Schwerkraft an Diffeomorphismen der Raum-Zeit-Mannigfaltigkeit selbst gebunden ist und mehr als nur eine Messung ist Gruppe.
Aus diesem Grund fordern wir, dass die Verbindung "metrisch kompatibel" in der Schwerkraft ist. Durch Hinzufügen der torsionsfreien Bedingung werden alle Freiheitsgrade von der Verbindung in die Metrik verschoben. Deshalb erscheint dort das Newtonsche Gravitationspotential.
Als Folge all dessen wird die Krümmung in der Metrik quadratisch statt linear in der Verbindung. Von besonderer Bedeutung ist, dass es zwei Ableitungen anstelle von einer hat. Dies ist einer der Hauptgründe für die Verwendung eines Lagrange-Operators, der in der Krümmung linear ist – es gibt ungelöste theoretische Schwierigkeiten mit Theorien, die mehr als zwei Ableitungen im Lagrange-Operator haben; Diese Übersicht von Woodard (2007) gibt einen guten Überblick über die damit verbundenen Schwierigkeiten Gravitationstheorien.
Ich wünschte, ich könnte dies mit Beispielen deutlicher machen, aber meine Erfahrung mit Yang-Mills-Theorien ist tiefer und ich habe meine Gedanken zu diesem Thema und die Auswirkungen noch nicht vollständig herauskristallisiert.
Weinberg diskutiert diese Analogien ein wenig in Vol. II seiner QFT-Reihe:
Die Analogie bricht in einer wichtigen Hinsicht zusammen: In der allgemeinen Relativitätstheorie wird die affine Verbindung selbst aus ersten Ableitungen des metrischen Tensors konstruiert, während in Eichtheorien die Eichfelder nicht in Form von fundamentaleren Feldern ausgedrückt werden ... [S. 7]
also scheint er an die Christoffel-Verbindung zu denken, nicht an die Metrik, als Eichfeld, als zweite Analogie. Aber dann auf S. 13, sagt er ist analog zu , wie in der ersten Analogie.
Es scheint, dass die beiden obigen Analogien entgegen meinem ersten Eindruck wirklich nur Analogien sind, und keine der Korrespondenzen ist besonders eng. Yang-Mills-Theorie und GR sind wirklich qualitativ unterschiedliche Arten von ,,Eichtheorien'', weil in der Yang-Mills-Theorie der eichinvariante Feldstärketensor wird aus ersten Ableitungen der Grundfelder gebildet, während in GR der eichinvariante Feldstärketensor wird aus zweiten Ableitungen der Grundfelder gebildet. Die beiden obigen Analogien sind also in verschiedenen Kontexten nützlich, aber bei weitem nicht perfekt.
Wir können jedoch die zweite Analogie straffer machen, indem wir den Palatini-Formalismus von GR betrachten, wo wir die Metrik und die Verbindung als unabhängige Felder behandeln und die Aktion in Bezug auf jedes separat variieren. Unter diesem Formalismus ist die Faserbündelverbindung selbst ein grundlegendes Feld, genau wie in der Yang-Mills-Theorie. (Aber es gibt immer noch einen großen Unterschied zwischen den Theorien, der darin besteht, dass Abschnitte des Faserbündels explizit in GR als erscheinen aber nicht im klassischen Elektromagnetismus.)
Bearbeiten: Der allgemeine Konsens scheint zu sein, dass dies die "beste" Analogie ist, bei der nach unten zeigende Pfeile Ableitungen und nach rechts zeigende Pfeile Tensorkontraktionen bezeichnen:
Das Merkwürdige an dieser Analogie ist, dass die Gleichungen, die den „Feldstärketensor“ mit dem „Materiequellfeld“ in Beziehung setzen, in beiden Fällen sehr unterschiedlich sind: die Yang-Mills-Bewegungsgleichung ist eine dynamische Differentialgleichung, während die analoge allgemeine Relativitätsgleichung der Bewegung ist nur eine algebraische Beziehung ohne Ableitungen. Ich bin mir nicht sicher, was ich davon halten soll.
XXTT