Intuition für Austauschsymmetrie des Riemann-Tensors

Gibt es ein intuitives/geometrisches Bild für die Austauschsymmetrie des Riemann-Tensors? Ich habe viele algebraische Ableitungen gesehen, würde aber gerne verstehen, ob die Symmetrie etwas Intuitives oder Offensichtliches ausdrückt (zumindest im Nachhinein).

Hier ist, was ich bisher ausgearbeitet habe (bitte lass es mich wissen, wenn ich es falsch gemacht habe!)

Ich weiß nicht, ob diese Notation Standard ist (ich kann die Vielfalt der Konventionen nicht ganz nachvollziehen), also entschuldige ich mich, wenn sie deaktiviert ist. Arbeiten Sie mit einer torsionsfreien, metrischen Verbindung, nämlich der Levi-Civita Connection.

Definieren Sie den Reimann-Krümmungstensor als die infinitesimale Rotationsmatrix, die sich aus dem parallelen Transport eines Vektors ergibt Z um eine parallelogrammförmige Schleife definiert durch X Und Y .

R ( X , Y ) Z = R μ v λ σ X μ Y v Z λ
(1) Antisymmetrie in den ersten beiden Indizes. Wenn Sie die Richtung der Schleife umkehren, wird der Effekt umgekehrt. Deshalb ( R μ v ) λ σ = ( R v μ ) λ σ . (Diese Klammern machen die Matrix explizit). Mit anderen Worten R ( X , Y ) = R ( Y , X ) .
R μ v λ σ = R v μ λ σ

(2) Antisymmetrie in den zweiten beiden Indizes. Eine infinitesimale Rotationsmatrix (wie eine Lorentz-Transformation) ist antisymmetrisch, wenn ihre Indizes verringert werden. Setzen Sie den oberen Index in die letzte Position,

G σ τ R μ v λ τ = R μ v λ σ = R v μ σ λ

(3) Erste Bianchi-Identität (über diese Frage auf Math Stack Exchange). Die torsionsfreie Verbindung zwingt die Seitenflächen eines Würfels zum Schließen. Die Bianchi-Identität drückt aus, dass sie ein Dreieck bilden.

R [ μ v λ ] σ = 0

(4) Austauschsymmetrie. Aus diesen drei Eigenschaften können wir die Austauschsymmetrie ableiten. Zum Beispiel in diesen Notizen . Sie können es auch erhalten, wie ich gesehen habe, indem Sie die Levi-Civita-Verbindung in Bezug auf die Metrik erweitern.

Ich suche etwas anderes als reine Indexjonglage! Zum Beispiel eine Art Bild ähnlich dem in der obersten Antwort auf diesen Math Stack Exchange-Beitrag.

(5) Bonus: Danach werde ich zur zweiten Bianchi-Identität kommen, stelle ich mir vor. Gibt es dafür eine gute Intuition? Wikipedia gibt es wie folgt, obwohl ich wetten möchte, dass die Indizes in einer anderen Reihenfolge sind, als ich sie angegeben habe.

R A B [ C D ; e ] = R A B C D ; e + R A B D e ; C + R A B e C ; D = 0

Antworten (2)

Ich kann eine andere Perspektive auf den Riemann-Tensor erläutern. Es ist hilfreich, es nicht so zu schreiben R μ v λ σ sondern eher als R J μ v ich um damit zu beginnen, die beiden Arten von Indizes zu unterscheiden, obwohl sie über die gleiche Spanne laufen.

Dies liegt daran, dass, wenn wir das Rahmenbündel betrachten, das tatsächlich a ist G L ( D , R ) Hauptbündel, der Verbindung, zu der eine Form (um einen Abschnitt zurückgezogen) gehört Ω 1 ( M ) T e G , dh es ist eine Lie-Algebra-wertige Form.

Die Lie-Algebra ist matrixbewertet, wenn wir also die Krümmung nehmen, die eine zweiwertige Lie-Algebra ist, haben wir zwei Indizes ich J dafür und zwei weitere μ v Indizes, da es sich um eine Zwei-Form auf dem Grundraum handelt.

Als solches muss es eindeutig antisymmetrisch sein μ v Indizes, durch das, was wir über Formen wissen. Aber warum auch antisymmetrisch in ich J ? Erinnern Sie sich, dass wir uns mit der Existenz einer Metrik auf orthogonale Frames beschränken können, und dann ich J sind genau wegen der antisymmetrischen Matrizen, die die Lie-Algebra der orthogonalen Gruppe darstellen, antisymmetrisch.

Natürlich werden die Identitäten nicht viel bedeuten, es sei denn, Sie sind von Riemann-Art oder Sie beginnen zu verstehen, wo es Sinn macht; in Kontexte von, sagen wir, Raumzeit in GR gesetzt und weiter darauf beschränkt, nur auf Vektoren mit physikalischer Bedeutung einzuwirken. Beginnen Sie beispielsweise mit der Bel-Zerlegung. Dann führe es auf bloßes Indexjonglieren zurück.

Ein weiterer offensichtlicher erster Schritt ist die Gleichung R u v = 0 im leeren Raum halten.

Ein weiterer ist, dass der Einstein-Tensor gleich dem Stress-Energie-Tensor ist, der die einzige Möglichkeit ist, das Prinzip der allgemeinen Kovarianz in eine Gleichung zu bringen.

Zum Kontext: Wie wäre es mit regulärer Riemannscher Geometrie in 2, 3 oder 4 Dimensionen (keine Zeitdimensionen). Die von mir verlinkten Visualisierungen halten in diesem Zusammenhang.
Abgesehen von den Grundlagen der verbindungsmetrischen Eigenschaften fand ich es persönlich schwierig, die verschiedenen Krümmungstensor- / Skalargrößen im 4-dimensionalen Fall (die zufällig alle von Riemann prozedural gegeben sind) mental zu visualisieren. Gravitationsweg und tatsächliche Kurven von Krümmungsarten sind " 2 / 3 " der Physik und daher am wichtigsten. Nicht durch räumliche mentale Fähigkeiten, sondern durch physikalische Phänomene. Sie benötigen normalerweise die Werkzeuge, die in den Links bereitgestellt werden, wenn Sie Symmetrien / Isometrien lokalisieren und das Ziel darin besteht, die Metrik überhaupt zu finden.