Ich versuche zu verstehen, wie man Differentialformen verwenden würde, um die Komponenten der Verbindung und den Krümmungstensor bei einer gegebenen Metrik zu berechnen. Kann mir jemand auf entsprechende Ressourcen verweisen? Ich habe ein grundlegendes Verständnis der Differentialgeometrie.
Es gibt ein Beispiel für die Ableitung der Schwarzschild-Metrik unter Verwendung des Tetradenformalismus in Walds Allgemeiner Relativitätstheorie. Beachten Sie, dass er die abstrakte Indexnotation anstelle der differentiellen Formnotation verwendet, dies ist jedoch ein rein notationeller Unterschied seinerseits, das Verfahren ist völlig analog.
Die allgemeine Methodik ist jedoch wie folgt:
1) Cartans erste Strukturgleichung ist
Wenn die Verbindung auch metrisch kompatibel ist, dann haben wir
Aus der pseudo-riemannschen Geometrie wissen wir, dass die Bedingung der Torsionslosigkeit und der metrischen Kompatibilität die Verbindung eindeutig bestimmen, sodass zusammen mit der Antisymmetriebedingung die erste Strukturgleichung von Cartan zur Berechnung der Verbindung verwendet werden kann.
2) Die Gleichung
3) Zur Berechnung der Krümmung wird direkt die zweite Strukturgleichung von Cartan verwendet:
Im Grunde ist hier alles bekannt, man kann also einfach alles einstecken und separat kalkulieren Und . Du bist fertig.
Anmerkungen:
Es ist vorzuziehen, die Differentialform mit der Koordinatenbasis auszudrücken, was Sie also zum Beispiel für die Verbindungsform erhalten .
Die Berechnung der Verbindungsform ist hier der "schwierige" Teil - es ist nur geringfügig einfacher / schneller als die Verwendung der Koordinatenbasisformel für die Christoffel-Symbole - die Berechnung der Krümmung ist jedoch VIEL einfacher. Beim Ansatz auf Koordinatenbasis müssen Sie alle unabhängigen Komponenten manuell aufzählen und berechnen, was mühsam ist, während Sie hier nur sechs 2-Formen berechnen müssen, bündeln Sie im Wesentlichen mehrere Berechnungen effizient zu Zeichenfolgen von Komponenten.
Sammy Rennmaus