Ein Killing-Vektorfeld (benannt nach dem deutschen Mathematiker Wilhelm Killing) ist ein Vektorfeld auf einer Riemann'schen Mannigfaltigkeit, das die Metrik erhält. Killing-Vektorfelder sind die infinitesimalen Generatoren von Isometrien (siehe auch Lie-Gruppe).
Entsprechendes gilt für pseudo-riemannsche Mannigfaltigkeiten, zum Beispiel in der Allgemeinen Relativitätstheorie.
Ein Vektorfeld X ist ein Killing-Vektorfeld, wenn die Lie-Ableitung der Metrik g bezüglich X verschwindet:
Mit Hilfe des Levi-Civita-Zusammenhangs bedeutet dies punktweise
für alle Vektoren Y und Z, beziehungsweise dass $ \nabla _{\bullet }X $ ein bezüglich $ g $ schiefsymmetrischer Endomorphismus auf dem Tangentialraum ist.
In lokalen Koordinaten führt dies zur sogenannten Killing-Gleichung
Ein Killing-Feld ist auf der ganzen Mannigfaltigkeit eindeutig bestimmt durch einen Vektor an einem Punkt und die kovarianten Ableitungen des Vektors an diesem Punkt.
Die Lie-Klammer zweier Killing-Felder ist wieder ein Killing-Feld. Die Killing-Felder einer Mannigfaltigkeit M bilden also eine Lie-Algebra auf M. Dies ist die Lie-Algebra der Isometrie-Gruppe der Mannigfaltigkeit (falls M vollständig ist).
Ein Vektorfeld ist genau dann ein Killing-Vektorfeld, wenn es entlang jeder Geodätischen ein Jacobi-Vektorfeld ist.
Da Killing-Vektorfelder Isometrien generieren, gibt es in der Physik zu jedem Killing-Vektorfeld eine Erhaltungsgröße der entsprechenden Raumzeit. In der Allgemeinen Relativitätstheorie sind Killing-Vektorfelder daher von großer Bedeutung bei der Charakterisierung von Lösungen der Einstein'schen Feldgleichungen. Die Erhaltungsgröße $ Q_{X} $ zu einem Killing-Vektorfeld X berechnet sich dabei als
wobei T der Energie-Impuls-Tensor und $ |g| $ der Betrag der 4x4-Determinante des metrischen Tensors ist. In der Formel wurde Einsteins Summenkonvention verwendet.
Die Raumzeit selbst ist eine vierdimensionale pseudo-riemannsche Mannigfaltigkeit mit einer Zeitkoordinate $ x^{0} $ („obere Indizes“) und drei Raumkoordinaten $ x^{1} $, $ x^{2} $ und $ x^{3} $, mit gemischter Signatur, zum Beispiel entsprechend dem Schema (-,+,+,+). Das Killing-Vektorfeld hat ebenfalls vier Komponenten; die g-Matrix („4x4“) hat zum Beispiel einen negativen und drei positive Eigenwerte. Die Lorentz-Transformationen im flachen pseudo-riemannschen Minkowskiraum können als Pseudo-Drehungen aufgefasst werden und haben als Determinante den Wert Eins. Die Ergebnisse gelten aber auch in nicht-flachen Räumen.
Die Frage des Integrationsbereichs in Formeln der obigen Art ist u. a. deshalb diffizil – nicht zufällig fehlen oben genaue Angaben –, weil man i. A. die Begrenztheit der ursächlich in Frage kommenden Raumbereiche (siehe Ursache und Wirkung oder Kausalstruktur) sowie den zeitlichen Vorlauf („Retardation“) der Ursachen berücksichtigen und bei allen Größen i. A. die jeweiligen Argumente und die Summationsbereiche explizit angeben muss. Auch das ist oben absichtlich nicht der Fall.
In der Tat ist bei obiger Formel der Integrationsbereich der räumlichen Koordinaten der volle $ \mathbb {R} ^{3}, $ unter der Voraussetzung, dass Ursache und Wirkung zeitlich unendlich weit auseinanderliegen. Man kann aber statt des $ \mathbb {R} ^{3} $ eine beliebige dreidimensionale Hyperfläche wählen, die kausal ähnlich strukturiert ist. Das bedeutet zugleich, dass die Formel nicht für Schwarze Löcher gilt.
Genau dann wenn die Koeffizienten $ g_{\mu \nu } $ der Metrik $ g $ in der Basis $ dx^{\mu }\otimes dx^{\nu } $ unabhängig von einer lokalen Koordinate $ x^{k} $ sind, ist $ X={\tfrac {\partial }{\partial x^{k}}} $ ein Killing-Vektorfeld. In ebendiesen lokalen Koordinaten lautet es dann $ X_{\mu }=\delta _{\mu }^{k} $, wobei $ \delta _{\mu }^{k} $ das Kroneckerdelta ist.[1]
Ein Satz unabhängiger Killing-Vektorfelder der Einheitssphäre $ S^{2} $ mit der induzierten Metrik $ \mathrm {d} s^{2}=\mathrm {d} \theta ^{2}+\sin ^{2}(\theta )\mathrm {d} \phi ^{2} $ in Kugelkoordinaten sind:
Das entspricht den Drehungen um die x- bzw. y- bzw. z-Achse und in der Quantenmechanik, abgesehen von einem Faktor 1/i, den Komponenten der Drehimpulsoperatoren.
Alle Linearkombinationen dieser Vektorfelder stellen wieder Killing-Vektorfelder dar. Die induzierten Isometrien sind genau die Elemente der Drehgrupppe $ \mathrm {SO} (3) $. Der zugehörige Erhaltungssatz ist der Drehimpulssatz.