Rahmengeometrie

Rahmengeometrie ist die geometrische Beschreibung von Mannigfaltigkeiten mittels Rahmen statt einer reinen Koordinatenbasis. Ein Rahmen besteht aus n linear unabhängigen Vektorfeldern, die eine lokale Basis des Tangentialraums bilden; das entsprechende Ko-Frame liefert die dualen 1-Formen e^a. Die Gesamtheit aller Rahmen ergibt das Rahmenbündel, ein Trägerbündel mit Strukturgruppe GL(n) bzw. bei einer gegebenen Metrik SO(n) bzw. SO(p,q). Eine lokale Auswahl von Rahmen, also ein Rahmenfeld, ermöglicht es, die Geometrie unabhängig von Koordinaten zu beschreiben.

Aus einem Rahmen lässt sich die Metrik durch g = η_ab e^a ⊗ e^b rekonstruieren, wobei η die kanonische Metrik (z. B. diag(1,...,1) oder diag(−1,1,...) für Lorentzian) darstellt. Die Veränderung der Rahmenfelder entlang der Mannigfaltigkeit wird durch eine Verbindungsform ω^a_b beschrieben. Zugehörig definieren sich Torsion T^a = de^a + ω^a_b ∧ e^b und Krümmung R^a_b = dω^a_b + ω^a_c ∧ ω^c_b. Diese Größen bilden die Grundlage der Cartan- oder bewegten Rahmenmethode.

Anwendungsbeispiele umfassen die Tetrad- oder Vierbeinfomalis in der Allgemeinen Relativitätstheorie, bei der die Metrik aus orthonormalen Rahmenfeldern konstruiert wird und lokale Lorentz-Symmetrie eine zentrale Rolle spielt. Der Rahmenansatz bietet zudem eine Gauge-Theorie-Perspektive auf die Gravitation und erleichtert die Kopplung von Spinoren an die Geometrie. In der differentialgeometrischen Praxis dient Rahmengeometrie als leistungsfähiges Werkzeug zur Beschreibung von Verbindungen, Strukturen auf Bundeln und der Entwicklung von Bewegungs- und Orientierungsgrößen, zum Beispiel in der Robotik oder der Computervision.