En matemáticas, un tensor de Killing o campo tensorial de Killing es una generalización de los vectores de Killing, para campos tensoriales simétricos en lugar de únicamente para campos vectoriales.
Es un concepto propio de la geometría riemanniana y de las variedades seudoriemannianas, y se utiliza principalmente en la teoría de la relatividad general.
Los tensores de Killing satisfacen una ecuación similar a la ecuación de Killing para los vectores de Killing.
Al igual que los vectores Killing, cada tensor de Killing corresponde a una cantidad que se conserva a lo largo de las líneas geodésicas.
Sin embargo, a diferencia de los vectores de Killing, que están asociados con las simetrías (isometrías) de una variedad, generalmente carecen de una interpretación geométrica tan directa.
Llevan el nombre del matemático alemán Wilhelm Killing (1947-1923).
En la siguiente definición, los paréntesis alrededor de los índices tensoriales son una notación utilizada para visualizar las propiedades de simetría.
Por ejemplo: Un tensor de Killing es un campo tensorial
(de algún orden m) sobre una variedad seudoriemanniana que es simétrica (es decir,
Otro ejemplo simple de un tensor de Killing es el propio tensor métrico.
[1] Cada tensor de Killing corresponde a una constante de movimiento sobre una línea geodésica.
Más específicamente, para cada geodésica con vector tangente
Los siguientes ejemplos se centran en tensores de Killing que no se obtienen simplemente a partir de vectores de Killing.
La métrica de Friedman-Lemaître-Robertson-Walker, ampliamente utilizada en cosmología, emplea vectores de Killing espaciales correspondientes a sus simetrías espaciales, en particular rotaciones alrededor de ejes arbitrarios y en el caso plano para las traslaciones de
es el vector base de coordenadas t y se utiliza la convención de signatura métrica −+++.
[3] La métrica de Kerr, que describe un agujero negro en rotación, posee dos vectores de Killing independientes.
Un vector de Killing corresponde al simetría de traslación del tiempo de la métrica y otro corresponde a la simetría axial alrededor del eje de rotación.
Además, como demostraron Walker y Penrose (1970), existe un tensor de Killing no trivial de orden 2.
[4][5][6] La constante de movimiento correspondiente a este tensor de Killing se llama constante de Carter.
Un tensor antisimétrico de orden p,
, es un tensor de Killing-Yano si satisface la ecuación Si bien es así mismo una generalización del vector de Killing, se diferencia del tensor de Killing habitual en que la derivada covariante solo se contrae con un índice de tensor.
Los tensores de Killing conformes son una generalización de los tensores de Killing y del vector de Killing conforme.
Un tensor de Killing conforme es un campo tensorial
(de algún orden m) que es simétrico y satisface[4] para algún campo tensorial simétrico
Esto generaliza la ecuación para los vectores de Killing conformes, que establece que para algún campo escalar
Cada tensor de Killing conforme corresponde a una constante de movimiento a lo largo de geodésicas nulas.
Más específicamente, para cada geodésica nula con vector tangente
[4] La propiedad de ser un tensor de Killing conforme se conserva bajo transformaciones conformes en el siguiente sentido.
es un tensor de Killing conforme con respecto a una métrica
es un tensor de Killing conforme con respecto a la métrica