Un campo vectorial proyectivo ( proyectivo ) es un campo vectorial suave en una variedad semiriemanniana (p. ej. espacio-tiempo ) cuyo flujo preserva la estructura geodésica sin preservar necesariamente el parámetro afín de ninguna geodésica. De manera más intuitiva, el flujo de los campos proyectivos transforma las geodésicas suavemente en geodésicas sin preservar el parámetro afín.
Al tratar con un campo vectorial en una variedad semiriemanniana (por ejemplo, en relatividad general ), a menudo es útil descomponer la derivada covariante en sus partes simétricas y antisimétricas:
dónde
y
Nótese que son los componentes covariantes de .
Matemáticamente, la condición para que un campo vectorial sea proyectivo es equivalente a la existencia de una forma única que satisfaga
que es equivalente a
El conjunto de todos los campos vectoriales proyectivos globales sobre una variedad conexa o compacta forma un álgebra de Lie de dimensión finita denotada por (el álgebra proyectiva ) y satisface para variedades conexas la condición: . Aquí un campo vectorial proyectivo se determina de forma única especificando los valores de , y (equivalentemente, especificando , , y ) en cualquier punto de . (Para variedades no conexas, debe especificar estos 3 en un punto por componente conexo). Los proyectivos también satisfacen las propiedades:
Pueden darse varios casos especiales importantes de campos vectoriales proyectivos y formar subálgebras de Lie de . Estas subálgebras son útiles, por ejemplo, para clasificar los espaciotiempos en la relatividad general.
Los campos vectoriales afines (afines) satisfacen (equivalentemente, ) y, por lo tanto, cada afín es proyectivo. Los afines preservan la estructura geodésica de la semivariedad de Riem. (léase espacio-tiempo) mientras que también preservan el parámetro afín. El conjunto de todos los afines en forma una subálgebra de Lie de denotada por (el álgebra afín ) y satisface para M conexo , . Un vector afín se determina de manera única especificando los valores del campo vectorial y su primera derivada covariante (equivalentemente, especificando , y ) en cualquier punto de . Los afines también preservan los tensores de Riemann, Ricci y Weyl, es decir
Los campos vectoriales homotéticos (homotecias) conservan la métrica hasta un factor constante, es decir . Como , toda homotecia es afín y el conjunto de todas las homotecias en forma una subálgebra de Lie de denotada por (el álgebra homotética ) y satisface para M conexos
Un campo vectorial homotético se determina de forma única especificando los valores del campo vectorial y su primera derivada covariante (de manera equivalente, especificando , y ) en cualquier punto de la variedad.
Los campos vectoriales de Killing (Killings) conservan la métrica, es decir , . Si tomamos la propiedad definitoria de una homotecia, se ve que cada Killing es una homotecia (y, por lo tanto, afín) y el conjunto de todos los campos vectoriales de Killing en forma una subálgebra de Lie de denotada por (el álgebra de Killing ) y satisface para M conexos
Un campo vectorial de Killing se determina de forma única especificando los valores del campo vectorial y su primera derivada covariante (equivalentemente, especificando y ) en cualquier punto (para cada componente conectado) de .
En la relatividad general, muchos espacio-tiempos poseen ciertas simetrías que pueden caracterizarse mediante campos vectoriales en el espacio-tiempo. Por ejemplo, el espacio de Minkowski admite el álgebra proyectiva máxima, es decir .
Se pueden encontrar muchas otras aplicaciones de los campos vectoriales de simetría en la relatividad general en Hall (2004), que también contiene una extensa bibliografía que incluye muchos artículos de investigación en el campo de las simetrías en la relatividad general .