Simetrias , Leyes de Conservación y no localización de la Energı́a

Gravitacional en Relatividad General

Teorı́a Clasica de Campos

Luis Giraldo Durand Bernald

Resumen
Hacemos una revisión a la formulacion Lagrangeana de la Relatividad General para encontrar las
ecuaciones de campo de la teorı́a. Analizamos el concepto de Diffeomorfismos desde el punto de vista
de la geometrı́a moderna y su papel en la Relatividad General. Finalmente discutimos el concepto de
la no localización de la energı́a gravitacional

1
Indice de Notación
1. M, N Variedades Diferenciales
2. Tp (M ) Espacio Tangente a la variedad M en el punto p
3. T M = ∪p Tp (M ) Fibrado Tangente

4. Tsr (M ) Producto Tensorial de Espacios Tangentes de la variedad M

r
5. Tsr Componetes de un campo tensorial de rango (s )
6. T o h−1 Representacion coordenada de un campo tensorial , usualmente denotado T (x)

7. x(i) i-ésima función coordenada ∈ F(M )

8. xi i-ésima componente de las coordenadas locales de un punto p ∈ M en el sistema coordenado {x}
9. F(M ) Conjunto de las funciones de M a <
10. X, Y, K Campos vectoriales definidos en TM

11. X (i) i-ésimo campo vectorial (de igual forma para los duales)
12. X i i-ésima componente del campo vectorial X (de igual forma para los duales)
13. h, hα , hβ Homeomorfismos

14. (V, h); (Vα , hα ); (Vβ , hβ ) Cartas o sistemas coordenados locales

15. Uα Imagen de Vα vı́a hα
   
∂ ∂
16. , Base canónica asociado a los sistemas coordenados {x} y {y} de los
∂xµ p ∂y µ p
campos vectoriales X y Y en el punto p
17. ω 1-formas
18. (dxµ )p , (dy µ )p Base dual a la base canónica

19. ψ A Campos de materia (Pertenecen a Tsr (M ))

20. φ, φt Diffeomorfismos
21. Diff(M) Grupo de Diffeomorfismos de M a si mismo
22. φ∗ Pullback

23. φ∗ Aplicación Tangente

24. LX Derivada de Lie con respecto al campo vectorial X

2
1. Formulacion lagrangeana de la Relatividad General
En el formalismo Lagrangeano obtenemos las ecuaciones de campo de Einstein a partir de un principio
variacional, esto nos permite dar una fórmula general para el tensor de energia-momento y mostrar que
su divergencia covariante se anula como consecuencia de las ecuaciones para los campos de materia

1.1. Medida Canónica

Para poder formular nuestro principio variacional necesitamos construir una integral de acción que
sea independiente del sistema coordenado
Sea f ∈ F(M ) una función contı́nua y cuyo dominio de definicion está contenido en V ⊂ M
Z Z
f dΩ = f (x)[W (x)d4 x] (1)
M hoV
La medida dΩ es naturalmente definida como sigue:
Sea g la metrica de la variedad M , entonces en coordenadas locales tenemos

, ∂xα ∂xβ
gµν (x, ) = gαβ (x) (2)
∂x, µ ∂x,ν
al tomar determinante a esta ecuación tenemos
 2
, ∂x
g = det g (3)
∂x,
Donde g denota el determinante de la metrica.
Por otro lado tenemos:
∂x,
 
4 ,
d x = det d4 x (4)
∂x
p
Luego se ve fácilmete que el producto −g(x)d4 x es invariante y da la definición de la medida
canónica de una variedad M en una representación local , es decir
p
REPRESENTACIÓN (dΩ) = −g(x)d4 x (5)
COORDENADA

1.2. La Acción de Einstein-Hilbert

Definimos la accion de Einstien-Hilbert por
√
Z
SEH [g] = R(g) −g d4 x R : escalar de Riemann (6)
U
Ahora encontremos la ecuaciones de campo por medio de una variación de S inducida por variaciones
de la métrica
√ √
R −g = −gg ik [ Γlik,l − Γlil,k +Γlik Γm l m
lm − Γkm Γil ]
| {z }
(∗∗)

(∗∗) : Notemos que este termino contiene derivadas de la metrica de segundo orden , sin embargo
mediante una manipulación adecuada de la expresion pueden eliminarse.

√ √ √
−gg ik Γlik,l = ( −gg ik Γlik ),l − Γlik ( −gg ik ), l
√ √ √
−gg ik Γlil,k = ( −gg ik Γlil ),k − Γlil ( −gg ik ), k
Trabajemos en la ultima parte de ambas expresiones:
√ m √
Γm ik
im ( −gg ),k = −Γim −gΓkl g
i kl
√ √
−Γlik ( −gg ik ),l = −g(2Γlik Γiml g mk − g ik Γlik Γm
lm )

3
Con esto encontramos;
√ √ √
−gR = −gg ik (Γlmk Γm l m s
il − Γki Γlm ) + ( −gω ), s

Entonces el último término no contribuye a la acción . Luego tenemos que hallar la variación:
√
Z
δS = δ −gg ik (Γlmk Γm l m
 4
il − Γki Γlm ) d x (7)
| {z }
F

√ ik √ lk √ ik √
−gg ik Γm l l
−g , l ) − Γm −g)], k − Γm l

δ lm Γki = Γki δ(g lm [δ(g lm Γki δ(g −g)...(1)
√ ik l m
 l ik √ m m l ik √
δ −gg Γmk Γil = 2δ(Γmk g −g)Γil − Γil Γmk δ(g −g)...(2)

Ahora (2) − (1)

√ √ √
δF = (Γm l m l ik m lk l ik
lm Γki − Γil Γkm )δ( −gg ) + Γlm [δ( −gg )], k − Γki [δ( −gg )], l
√ √ √
= (Γm l m l ik l ik m ik
lm Γki − Γil Γkm )δ( −gg ) + Γki ,l δ( −gg ) − Γim ,k δ( −gg )
√
= Γlki, l − Γm m l m l ik


im, k + Γlm Γki − Γil Γkm δ( −gg )
√
= −Rik δ( −gg ik )

Finalmente
√
Z
δS = − Rik δ( −gg ik )d4 x
√
Z
1
= Rik (g il g ks − g ik g ls ) −gδgls d4 x
2
√
Z  
ik 1 ik
= R − g R −gδgik d4 x = 0
2
Puesto que estamos considerando variaciones arbitrarias de la métrica :
1
Rµν − g µν R = 0 (8)
2
Que es la ecuación de Einstein en el vacı́o

1.3. El Tensor de Energı́a-Momento

Sea L la densidad Lagrangeana para un conjunto de N campos ψ (i) i = 1, ..., N en ausencia de un
campo gravitacional y donde por simplicidad vamos a considerar campos tensoriales. Asumamos que
conocemos la forma de L en este espacio plano, entonces el principio de equivalencia nos muestra cómo
debemos implementar este sistema a un espacio que posee un campo gravitaqcional. Para esto debemos
escribir gµν en lugar de ηµν y reemplazar las derivadas ordinarias por la derivada covariante

L(ψ, ∂µ ψ) −→ L(ψ, ∇µ ψ, g)
Fı́sica Local Relatividad General
Luego las ecuaciones para los campos de materia se obtienen a partir de un principio variacional para
:
√
Z
Smat [ψ, g] = Lmat (ψ A , ∇µ ψ A , gµν ) −gd4 x (9)

Donde el caracter tensorial de los campos está denotado en forma compacta por un solo ı́ndice A. La
variación de Smat con respecto a los campos es:

√
Z
δS mat −gLmat d4 x


δψ = δ
Z  √ √ 
∂( −gLmat ) A ∂( −gLmat ) A
= δψ + δ∇µ ψ d4 x
∂ψ A ∂∇µ ψ A

4
 Es fácil ver que la derivada covariante conmuta con la variación: δ∇ν ψ A = ∇ν δψ A

Para reducir esta expresión trabajaremos en el segundo término del paréntesis

√  √   √ 
∂( −gLmat ) A ∂( −gLmat ) A ∂( −gLmat )
∇ µ δψ = ∇ µ δψ − ∇ µ δψ A (10)
∂∇µ ψ A ∂∇µ ψ A ∂∇µ ψ A

A continuación vamos a probar que el primer término en esta expresión es realmente un término de
divergencia y por lo tanto no contribuye a la acción
 √
√ ∂Lmat A √
  
∂( −gLmat ) A ∂Lmat A
∇µ δψ = (∇µ −g) δψ + −g∇µ δψ (11)
∂∇µ ψ A ∂∇µ ψ A ∂∇µ ψ A
√
El primer término se anula debido a que ∇µ −g es cero (lo cual es una consecuencia de que la derivada
covariante de la metrica sea nula). Para probar que el término restante sea en verdad un término de
divergencia bastará probar que la expresión entre paréntesis se transforme como un vector contravariante.
Veamos:
0
∂Lmat ∂Lmat ∂Lmat ∇ν ψ A
0 0 A = 0 0 A = (12)
∂∇µ ψ ∂∇µ ψ ∂∇ν ψ A ∇0µ ψ 0 A
Ahora vamos a utilizar una notación compacta para la ley de transformacion de los campos ψ A
0 0
A A
ψ =  ... ψ
0 0
A
δψ =  ... δψ A
0 0
A ∂xν 0
A
∇µ ψ = 0 µ  ...  ∇ν ψ
∂x
Reemplazando todo esto en la expresión anterior tenemos
0 0
∂Lmat 0
A
∂Lmat  ... 
0 0 A δψ = × ν δψ A
∂(∇µ ψ ) A
∂(∇ν ψ ) ∂x
 ... 
∂x0 µ
∂Lmat
Por lo tanto se transforma de la siguiente manera:
∂(∇µ ψ A )
0 !  0
∂Lmat ∂x µ

0
A ∂Lmat A
δψ = δψ × (13)
∂(∇0µ ψ 0 A ) ∂(∇ν ψ A ) ∂xν

Que es la ley de transformación de un vector contravarinate, entonces:

√ √ √
 
∂Lmat A
−g∇µ δψ = −g∇µ B µ = ( −gB µ )µ (14)
∂(∇µ ψ A )
es un término de divergencia y no aporta a la acción.

Finalmente la expresión para las ecuaciones de Euler-Lagrange de los campos de materia queda:
 
∂Lmat ∂Lmat
− ∇ µ =0 (15)
∂ψ A ∂(∇µ ψ A )

Por otro lado si consideramos la variación de la integral inducida por una variación de la métrica
definimos una expresión para el tensor de enregia momento de la materia:
√
Z
mat 1
δS δg = T µν δgµν −gd4 x (16)
2
Es decir  √ 
µν 2 δ(Lmat −g)
T =√ (17)
−g δgµν

5
En componentes covariantes tiene la siguinete expresión:
√ 1 µν √
Z Z
1
T µν δgµν −gd4 x = T −g(−gαµ gβν δg αβ )d4 x
2 2
√
Z
1
=− Tαβ −gδg αβ d4 x
2
Z  √ 
δ(Lmat −g)
= δg αβ d4 x
δg µν

Entonces  √ 
2 δ(Lmat −g)
Tµν = − √ (18)
−g δg µν

Ejemplo 1.1
En algunos casos luego de implementar el langrageano a un espacio curvo éste tiene la siguiente forma:
Lmat = Lmat (ψ, ∂µ , gµν ) por lo que la expresion del tensor energia-momento queda:
 √ 
2 δ(Lmat −g)
T µν = √
−g δgµν
√
√ δLmat
 
2 δ( −g)
=√ −g + Lmat
−g δgµν δgµν
δLmat
=2 + g µν Lmat
δgµν

Y en componentes covariantes:
δLmat
Tµν = gµν Lmat − 2 (19)
δg µν

1.4. Ejemplo 1.2

Sea
1
L=− Fµν Fαβ g µα g νβ
16π
el lagrangeano del campo electromagnético, el tensor de energı́a momento es:

1 ∂(g µα g νβ )
T ργ = gργ L − 2[− Fµν Fαβ ]
16π g ργ
1
= gργ L + Fµν Fαβ (δρµ δγα g νβ + δρν δγβ g µα )
 8π 
1 1
= Fρµ Fγ ν − gργ Fµν F µν
4π 4

1.5. Principio Variacional para sistemas acoplados

Para un sistema acoplado la accion total es :
√
Z  
R
Stotal [ψ, g] = + Lmat −gd4 x
R 16πG

Donde al variar la métrica obtenemos:

Z Z
µν 4 1 µν
δStotal = −G δgµν d x + T δgµν d4 x
R R 2

Finalmente
Gµν = 8πGTµν (20)

6
2. El concepto de Diffeomorfismo
Sea φ una aplicación entre dos variedades M y N

φ :M → N
p 7→ φ(p)

Si tomamos una carta (Uα , hα ) en M y otra (Uβ , hβ ) en N , φ tiene la siguiente representación coor-
denada:

hβ o φ o h−1 m
α :< →<
n

Si hβ o φ o h−1
α es invertible y tanto ella como su inversa son de clase C
∞
, entonces φ es llamdo un diffeo-
morfismo, además M se dice que es diffeomorfo a N y ambas representan la misma variedad abstracta.
Tambien se muestra que ambas variedades deben de tener la misma dimensión

Figura 1: Representación coordenada de un diffeomorfismo

Si M = N , entonces el conjunto de Diffeomorfismos φ : M → M forman un grupo denotado por

Diff(M )

Tomemos un punto p en una carta (Vα , hα ), tal que hα (p) = (x), bajo la acción de φ ∈ Diff(M ), p
es mapeado a φ(p) cuyas coordenadas son hα (φ(p)) = (x, ). Podemos luego ver a x, como una función
diferenciable de x. Este enfoque es conocido como una transformación de cooordenas activa.

Figura 2: Transformación de coordenadas activa

Por otro lado si (Vα , hα ) y (Vβ , hβ ) son dos cartas que se intersectan tenemos dos valores para las
coordenadas de un mismo punto p (que pertenece a Vα ∪ Vβ ): hα (p) = (x) y hβ (p) = (y). Luego la
aplicación xµ = xµ (y) es diferenciable por el carácter suave de la variedad. A este enfoque se le conoce
como una transformación de coordenada pasiva.

7
 Figura 3: Transformación de coordenadas pasiva

3. Aplicaciones Inducidas: El Pullback y la Aplicación Tangente

Consideremos dos variedades M y N , si tenemos un diffeomorfismo φ : M → N y una aplicación
f ∈ F(N ) , el conjunto de todas las funciones que van de N a los reales, φ induce naturalmente la
aplicación φ∗ : F(N ) → F(M ), φ∗ f es denominado el pullback de f definido por :

φ∗ f = f oφ (21)

Figura 4: El pullback de una función f

La aplicación φ no solo induce el pullback, sino también la aplicación lineal φ∗ : Tp M → Tφ(p) N

denominada la aplicación tangente (o aplicación diferencial) y definida por :

φ∗ : Tp M → Tφ(p) N (22)
∗
X → φ∗ X = Xoφ (23)

Por lo tanto la accion de la aplicación tangente sobre una función f ∈ F(N ) es:

(φ∗ X)φ(p) [f ] = X(p) oφ∗ [f ] (24)

(φ∗ X)φ(p) [f ] = X(p) [f oφ] (25)

8
     
∂ ∂
φ∗ [f ] = [f oφ]
∂xµ φ(p) ∂xµ (p)
= Dêµx [f o φ o ψα−1 ](ψα (p))
= Dêµx [f o φ o ψα−1 ](x)
= Dêµx [f o ψβ−1 o ψβ o φ o ψα−1 ](x)

Pero:

ψβ o φ o ψα−1 : Uα ⊂ <n → <n ≡ φi (x) = y i (26)

f o ψβ−1 n
: Uβ ⊂ < → < ≡ F = F (y ) = F (φ (x)) i i
(27)

luego tenemos:
∂φν ∂y ν
  
∂
φ∗ µ
[f ] = Dêµx F (φi (x)) = Dêνy F µ = Dêνy F µ
∂x φ(p) ∂x ∂x
ν
    
∂ ∂y ∂
φ∗ µ
[f ] = µ
[f ]
∂x φ(p) ∂x ∂y ν φ(p)

Por lo tanto encontramos que

∂y ν
    
∂ ∂
φ∗ = (28)
∂xµ φ(p) ∂xµ ∂y ν φ(p)

Ahora si V ∈ Tp M , entonces
"   #  
µ ∂ µ ∂
φ∗ Vφ(p) = φ∗ V(p) = V(p) φ∗
∂xµ (p) ∂xµ (p)
ν
      
∂ µ ∂ µ ∂y ∂
(φ∗ V )νφ(p) = V(p) φ∗ = V(p)
∂y ν φ(p) ∂x µ
φ(p) ∂xµ ∂y ν φ(p)

Finalmente:
µ ∂y ν
(φ∗ V )νφ(p) = V(p) (29)
∂xµ

Figura 5: la aplicación tangente

Tambien es posible definir el pullback de una 1−forma por:

φ∗ : Tφ(p)
∗
N → Tp∗ M
ω → φ∗ ω

9
donde la acción del pullback sobre un vector es:

(φ∗ ω)(p) [V(p) ] = ωφ(p) [(φ∗ V )φ(p) ] = hω , φ∗ V i (30)

En particular si ω = (dy µ )φ(p) y V = ( ∂x∂ ν )(p) tenemos:

   
∂ ∂
(φ∗ dy µ )(p) [ ] = hdy µ
, φ ∗ i
∂xµ (p) ∂xν
∂y ρ ∂y µ
   
∗ µ ν ∂ µ ∂ ∗ µ
(φ dy )ν (dx )(p) [ ] = hdy , i(φ dy ) ν =
∂xµ (p) ∂xµ6 ∂y ρ ∂xν

Entonces

φ∗ ω = φ∗ (ωα φ(p) (dy α )φ(p) )

∗ α
= ωα φ(p) φ (dyφ(p) )
∂y µ
= ωα φ(p) (p)(dxν )(p)
∂xν
Por otro lado

φ∗ ω = (φ∗ ω)µ (p) (dxν(p) )

Por lo tanto encontramos

∂y µ
(φ∗ ω)µ
ων φ(p) (p) = (31)
∂xν
Finalmente podemos extender la definición de pullback a un campo tensorial arbitrario(Esto solo
puede hacertse cuando φ es un diffeomorfismo, en general si φ fuera una aplicación entre variedades
podemos generalizar el pullback a tensores del tipo Tl0 mas no a un tensor mixto).

Sea T ∈ Tsr (N ) un campo tensorial arbitrario ,la aplicación

φ∗ : Tsr (N ) → Tsr (M )
t → (φ∗ T )

es denominada el pullback y se define mediante :

(φ∗ T )(p) (X (1) , ... , X (s) , ω (1) , ... , ω (r) ) = Tφ(p) (φ∗ X (1) , ... , φ∗ X (s) , [φ−1 ]∗ ω (1) , ... , [φ−1 ]∗ ω (r) ) (32)

En particular , si:

∂y κi
   
(i) ∂ (i) ∂
X = → φ∗ X =
∂xµi (p) ∂xµi ∂y κi φ(p)
∂xνi
ω (i) = (dxνi )(p) → [φ−1 ]∗ ω (i) = (dy λi )φ(p)
∂y λi
Entonces tenemos:
    
∂ ∂ ν1 νr
[campos] = , ... , , (dx ), ... , (dx )
∂xµ1 ∂xµs
   
∂ ∂
∗
(φ T )(p) [campos] = (φ ∗
T )α1 ,... ,αr β1
β1 ,... ,βs (p) (dx )(p) ⊗ ... ⊗ (dx )(p) ⊗βs
⊗ ... ⊗ [campos]
∂xµi (p) ∂xµi (p)

= (φ∗ T )α1 ,... ,αr β1 βs ν1 νr ∗ ν1 ,... ,νr

β1 ,... ,βs (p)δµ1 ...δµs δα1 ...δαr = (φ T )µ1 ,... ,µs (p)

10
Por otro lado , de la definición también se tiene:
 κ1 
∂y κs ∂xν1 ∂xνr
   
∂y ∂ ∂
[campos∗ ] = , ... , , ... , (dy λ1
), ... (dy λr
)
∂xµ1 ∂y κ1 ∂xµs ∂y κs ∂y λ1 ∂y λr
   
∂ ∂
(φ∗ T )(p) [campos] = Tργ11...ρ
...γr
(φ(p))(dy ρ1
)(p) ⊗ ... ⊗ (dy ρs
) (p) ⊗ ⊗ ... ⊗ [campos∗ ]
s
∂y γi (p) ∂y γi (p)
∂y κ1 ∂y κs ∂xν1 ∂xνr
= Tργ11...ρ
...γr
(φ(p)) × ... ... × δκρ11 ...δκρss δγλ11 ...δγλrr
s
∂xµ1 ∂xµs ∂y λ1 ∂y λr
∂y κ1 ∂y κs ∂xν1 ∂xνr
= Tκλ11...κ
...λr
(φ(p)) × µ
... µ λ
...
s
∂x 1 ∂x s ∂y 1 ∂y λr
Finalmente las componentes del pullback quedan:
∂y κ1 ∂y κs ∂xν1 ∂xνr
(φ∗ T )νµ11,... ,νr λ1 ...λr
,... ,µs (p) = Tκ1 ...κs (φ(p)) × ... ... (33)
∂xµ1 ∂xµs ∂y λ1 ∂y λr
De forma similar es posible generalizar la aplicación tangente de la siguiente manera:

φ∗ : Trs (M ) → Trs (N ) verifica

(φ∗ T )φ(p) (X (1) , ... , X (s) , ω (1) , ... , ω (r) ) = T(p) ([φ−1 ]∗ X (1) , ... , [φ−1 ]∗ X (s) , φ∗ ω (1) , ... , φ∗ ω (r) )

Si en particular tenemos:

∂xθi
   
∂ ∂
X (i) = → [φ−1 ]∗ X (i) =
∂y µ1 φ(p) ∂y µ1 ∂xθi (p)
∂y νi
ω (i) = (dy νi )φ(p) → φ∗ ω (i) = (dxλi )(p)
∂xλi
Y por un procedimiento análogo al anterior encontramos las componentes de la aplicación tangente:
∂xκ1 ∂xκs ∂y ν1 ∂xνr
(φ∗ T )νµ11,... ,νr λ1 ...λr
,... ,µs (φ(p)) = Tκ1 ...κs (p) × µ
... µ λ
... (34)
∂y 1 ∂y s ∂x 1 ∂y λr

Ahora si φ ∈ Diff(M ), entonces la inversa φ−1 tambien pertenece al grupo de diffeomorfismos e induce
una aplicacion tangente que actúa en los campos tensoriales de M , en particular para un punto q = φ(p)
tenemos
∂xκ1 ∂xκs ∂y ν1 ∂xνr
([φ]−1 ν1 ...νr
∗ T )µ1 ...µs [φ
−1
(q) = p] = T (q = φ(p))λκ11 ...κ
...λr
× µ
... µ λ
... = (φ∗ T )µν11...ν
...µs (p)
r
(35)
s
∂y 1 ∂y s ∂x 1 ∂y λr

Lo cual muestra que si φ ∈ Diff(M ) entonces φ∗ = [φ−1 ]∗

Figura 6: Ilustración gráfica de la relación φ∗ = [φ−1 ]∗

11
 Un aspecto importante del grupo Diff(M ) es que nos permite comparar campos tensoriales en cada
punto de la variedad. Dado un diffeomorfismo φ ∈ Diff(M ) y un campo tensorial T podemos tomar
la diferencia entre el valor del tensor en algún punto p y φ∗ [Tφ(p) ] = (φ∗ T )(p) , es decir el valor del
campo tensorial en φ(p) y llevado hacia atras hasta el punto p. Esto sugiere que podemos definir otra
clase de operador derivada, el cual categoriza la taza de cambio de un campo tensorial bajo la acción
de diffeomorfismos. Sin embargo para que esta operación esté bien definida un diffeomorfismo discreto
es insuficiente .En su lugar vamos a requerir una familia uniparamétrica de diffeomorfismos la cual
definiremos a continuación

4. Flujo y curvas integrales

Una curva en una variedad diferenciable M es una aplicación γ : J(0) ⊂ < → M . Para dicha curva
existe un vector tangente en cada punto γ(t) , ∀t ∈ J(0) definido por :

d
γ̇(t)[f ] = (f oγ)(t) , f ∈ F(M ) (36)
dt
Además si X es un campo vectorial entonces γ es llamada una curva integral de X con punto de partida
p ∈ M si verifica :
γ̇(t) = X(γ(t)) para ∀ t ∈ J(0) y γ(0) = p (37)
Los teoremas de existencia y unicidad para ecuaciones diferenciales ordinarias nos garantizan que para
cualquier p ∈ M , existe una única curva integral(inextensible) que pasa por p y que vamos a denotar
por φp : J(0) → M . Si además cosideramos variedades compactas la curva integral existe para todo t , es
decir J(0) = <.

La aplicación φ definida por:

φ:<×M →M
(t, p) → φ(t, p) = φp (t)

es llamada el flujo de X y tiene las siguientes propiedades:

1. Si mantemos fijo p formamos la aplicación φp : < → M , es decir la curva integral de X con punto
de partida p , entonces:
φ̇p (t) = X(φp (t)) (38)

2. Ahora si mantenemos fijo t formamos la aplicación

φt : M → M
p → φt (p)

la cual es un diffeomorfismo.
3. Si t, s ∈ < y p ∈ M entonces se cumple :

φs+t (p) = φs (φt (p)) es decir φs+t = φs o φt (39)

Esta última afirmacion puede probarse de la siguiente forma:

φt o φs (p) = φ(t, φ(s, t)) y por definición verfica:

d
φ(t, φ(s, p)) = X(φ(t, φ(s, p))) ...(∗)
dt
Con la condición inicial φ(0, φ(s, p)) = φ(s, p)

Por otro lado :

φs+t (p) = φ(t + s, p) y por definición verfica:

12
 d d
φ(t + s, p) = φ(t + s, p) = X(φ(t + s, p)) ...(∗∗)
dt d(t + s)
Con la condición inicial φ(0 + s, p)) = φ(s, p)

Tanto (∗) y (∗∗) cumplen la misma ecuación diferencial con la misma condición inicial, luego por la
unicidad de la solución se sigue:
φt o φs = φt+s (40)

Figura 7: El flujo de un campo vectorial X

Es fácil ver que los diffeomorfismos φt forman un grupo denomindado grupo uniparamétrico de
diffeomorfismos
φs o φt = φ(s+t)

φ(0) = Id (elemento neutro)

φs o φ−s = φ(0) entonces [φs ]−1 = φ−s

Figura 8: Acción de un diffeomorfismo infinitesimal

Ahora sea x(µ) la µ-esima función coordenada, es decir x(µ) (p) = xµ donde xµ es la µ-esima componete
de la coordenada de p en un sistema coordenado local {x}. Vamos a estudiar la acción de un diffeomorfismo
infinitesimal φ ( parámetro infinetesimal)

13
 x(µ) o φ (p) = x(µ) o φ(, p) = x(µ) o φp () donde x(µ) o φp : < → <
Dado que x(µ) o φp es una función real de variable real podemos realizar una expansion de taylor para
ella alrededor de cero:
d (µ)
x(µ) o φp () = x(µ) o φp (0) +  x o φp (0)
dt
x(µ) [φ (p)] = x(µ) (p) + X(φp (0))[x(µ) ]
 
µ ∂
recordemos que X(p) = X (p) entonces X(p)[x(µ) ] = X ν (p) δνµ
∂xµ p
x(µ) [φ (p)] = x(µ) (p) + X µ (p)

Por esta razón el campo vectorial X es llamado el generador de φt

Con esto hemos completado todas las herramientas necesarias par podr definir un nuevo operador de
derivada el cual veremos a continuación

5. La Derivada de Lie
Sea X un campo vectorial y φ el flujo de X, definimos la derivada de Lie del campo tensorial T con
respecto a X como:
φ∗ T − T
LX T = lı́m t (41)
t→0 t

Figura 9: Derivada de Lie

Veamos ahora la expresión de las componentes de la derivada de Lie. De la definición tenemos:

∂y ν1 ∂y νs ∂xν1 ∂xνr
lı́m (φ∗t T )νµ11...νr λ1 ...λr
...µs (p) = Tκ1 ...κs (φ(p)) ... ...
t→0 ∂xµ1 ∂xµs ∂y λ1 ∂y λr

Donde y µ = xµ +tX µ o h−1 (x), debido a que estamos tomando lı́mite para t. En adelante vamos a cometer
un abuso de notación y omitiremos escribir h para las representaciones coordenadas de los campos.

Como y µ = xµ + X µ (x) , tenemos las expresiones para las derivads parciales:

∂y µ µ ν ∂xµ
= δ µ + tX ,ν y = δµν − tX,νµ (42)
∂xν ∂y ν

14
 Luego las componentes del pullback de T (en el lı́mite) quedan:
      
(φ∗t T )νµ11...ν λ1 ...λr κ1 ν1
...µs (x) = Tκ1 ...κs (x + tX) δµ1 + tX, λ1 ... δµr + tX, λr
r κr νr
δλν11 − tX,νλ11 ... δλνrr − tX,νλr r
 h κ1 κ2 ν
= Tκλ11...κ
...λr
(x) + tTκλ11...κ
...λr
(x)X ρ δµ1 δµ2 ... δµκs−1 δµκss δλν11 δλν22 ... δλr−1 δλνrr +
 s−1
s s ,ρ r−1
ν
t X,κµ11 δµκ22 ... δµκs−1
s−1
δµκss δλν11 δλν22 ... δλr−1
r−1
δλνrr +
ν
t δµκ11 X,κµ22 ... δµκs−1
s−1
δµκss δλν11 δλν22 ... δλr−1
r−1
δλνrr +
.. .. .. .. .. .. .. ..
. . . . . . . .
ν
t δµκ11 δµκ22 ... δµκs−1
s−1
X,κµss δλν11 δλν22 ... X, λr−1
r−1
δλνrr −
ν
t δµκ11 Xµκ22 ... δµκs−1
s−1
δµκss X,νλ11 δλν22 ... δλr−1
r−1
X,νλr r −
.. .. .. .. .. .. .. ..
. . . . . . . .
ν
t X,κµ11 δµκ22 ... δµκs−1
s−1
δµκss δλν11 δλν22 ... X, λr−1
r−1
δλνrr −
i
ν
t δµκ11 Xµκ22 ... δµκs−1
s−1
δµκss δλν11 δλν22 ... δλr−1
r−1
X νr
, λr + O(t 2
)

Finalmente las componentes de la derivada de Lie quedan:

 ∗ ν1 ...νs
(φt T )µ1 ...µr (x) − Tµν11...µ
...νs
(x)

LX Tµν11...µ
...νs
(x) = lı́m r
r
t→0 t
ν1 ...νs
= Tµν11...µ
...νs
r ,ρ
(x)X ρ + Tλ...µ r
(x)X,λµ1 + (todos los ı́ndices inferiores de T)
− Tµλ...ν s
1 ...µr
(x)X,νλ1 − (todos los ı́ndices superiores de T)

Ejemplo 5.1
1. Campo Escalar φ(x)

LX φ(x) = ∂µ φ(x)X µ (x)

2. Campo Vectorial Aµ (x)

LX Aµ (x) = ∂ν Aµ (x)X ν (x) − Aν (x)∂ν X µ (x)

3. Campo Tensorial covariante de rango 2 (por ejemplo la métrica)

LX gµν (x) = ∂λ gµν (x)X λ (x) + gλν (x)∂µ X λ (x) + gµλ (x)∂ν X λ (x)

5.1. Propiedades de la derivada de Lie

1. LX (T1 + T2 ) = LX T1 + LX T2
2. LX (T ⊗ S) = (LX T ) ⊗ S + T ⊗ (LX S)

3. LX f = X[f ] , si f ∈ F(M ) = T00 (M )

4. L(X1 +X2 ) = LX1 + LX2
5. LX Y = [X, Y ] donde [X, Y ] es el bracket de Lie definido por: [X, Y ] = X o Y − Y o X

6. L[X,Y ] = LX o LY − LY o LX

15
6. Simetrı́as y Cantidades Conservadas
Diremos que φ ∈ Diff(M ) es una simetrı́a de algun campo tensorial T si el campo es invariante bajo
la acción del pullback de φ, es decir :
φ∗ T = T (43)
Aunque las simetrı́as puden ser discretas , es mas común tener una familia uniparamétrica de simetrı́as
φt . Si la familia es generada por un campo vectorial X esto implica :

LX T = 0 (44)

Esto implica que si T posee una simetrı́a bajo alguna familia de diffeomorfismos siempre podemos
hallar un sistema coordenado local(ver sección 6.2) en el cual las componentes de la representación co-
ordenada de T son todas independientes de una de las coordenadas (la cual es el parámetro de la curva
integral definida por el campo vectorial X). Lo inverso también es verdadero , si todas las componentes
son independientes de una de las coordenadas entonces el campo vectorial asociado a esa coordenada
genera una simetrı́a.

De todas las simetrı́as, la más importante es la de la métrica y motiva la siguiente definición.

Sea (M, g) una variedad , un diffeomorfismo φ es una isometrı́a si preserva la métrica , es decir:

φ∗ [gφ(p) ] = (φ∗ g)(p) = g(p) (45)

Esto es , si X (1) , X (2) ∈ Tp M tenemos gφ(p) (φ∗ X (1) , φ∗ X (2) ) = g(p) (X (1) , X (2) ) y si en particular X, Y
son elementos de la base canónica la expresión en componentes queda:

∂y α ∂y β
gαβ (φ(p)) = gµν (p) (46)
∂xµ ∂xν
Donde {x} y {y} son las coordenadas de p y φ(p) respectivamente.

La aplicacion identidad , la composición de isometrı́as y la inversa de una isometrı́a son todas

isometrı́as, entonces las isometrı́as forman un grupo

6.1. Ecuacion de Killing

Si la isometrı́a φ es el flujo de un campo vectorial K entonces la ecuación (41) adopta la forma

LK gµν = ∂λ gµν K λ + gλν ∂µ K λ + gµλ ∂ν K λ

= Kµ;ν + Kν;µ = 0

Esta última ecuación es conocida como la ecuación de Killing y muestra que la geometrı́a local no
cambia mientras nos movamos a lo largo de las lı́neas del flujo φ. En este sentido los vectores K (denom-
inados vectores Killing) representan la dirrección de la simetrı́a en una variedad

Una de las aplicaciones de los campos Killing es que implican cantidades conservadas asociadas con
el movimiento de particulas libres. Si γ(t) es una geodésica vamos a mostrar que la cantidad γ̇.K se
conserva a lo largo de la geodésica

∇γ̇ (K · γ̇) = (∇γ̇ γ̇) · K + γ̇ · (∇γ̇ K)

 
ν ∂
= γ̇ · (∇γ̇ X) = γ̇ · ∇(x˙µ ( ∂
)) K ( )
∂xµ ∂xµ
= ẋν ẋµ Kν; µ
= 2ẋν ẋµ K(ν; µ) = 0

16
 Otra importante aplicación es la siguiente: Si K es un campo Killing T es el tensor de Energı́a-Momento
entonces J µ = T µν Kν es una cantidad conservada

J µ = T µν Kν → J;µµ = (T µν Kν ),µ
µν
= T ;µ Kν +T µν Kν;µ
| {z }
0
1
= T µν X(µ ; ν) = 0
2

Ejemplo 6.1: Vectores Killing en el espacio de Minkoski

La ecuación de Killing en el espacio-tiempo de Minkowsky , es:

∂µ Xν + ∂ν Xµ = 0 (47)
 
∂
Es facil ver que los campos X (i) = , cuyas componentes son X (i) µ = δiµ , cumplen la ecuación de
∂xi
Killing y generan las traslaciones espacios temporales.

Para estos campos las correspondientes cantidades conservadas son

P µ (i) = T µν Xν(i) = T µi (48)

Esto corresponde a la conservación del tensor de energı́a momento.

Ahora sea Xµ = aµν xν , entonces la ecuación de Killing implica que aµν es antisimétrica, por lo tanto
existen 6 soluciones independientes de esta forma, tres de las cuales son
(j)
Y0 = 0 ; Ym(j) = jmn xn (j, m, n = 1, 2, 3) (49)

Las cuales generan las rotaciones espaciales alrededor del eje xj , mientras las otras tres son:
(k)
Z0 = xk , Z m
(k)
= −δkm x0 (k, m = 1, 2, 3) (50)

que son los que generan los lorentz boost.

Estos seis vectores Killing se pueden escribir en forma compacta como:
   
(αβ) γ ∂ γ ∂
M = ηαγ x − ηβγ x (51)
∂xβ ∂xα

Que generan las transformaciones homogéneas de Lorent, y las correspondientes cantidades conservadas
son:

J µ(αβ) = T µν Mν(αβ)
= T µβ ηαγ xγ − T µα ηβγ xγ
= T µβ xα − T µα xβ

Que corresponden a la bien conocida densidad de momento angular.

Los vectores Killing tambien nos permiten clasificar los espacio-tiempos como veremos enseguida.

6.2. Espacio-tiempos Estacionarios y Estáticos

Un espacio-tiempo es estacionario
si y solo si admite un campo vectorial Killing K el cual es tipo-
∂
tiempo (la dirección temporal es ∂t )
Esta definición implica la existencia de coordenadas locales para las cuales las componentes de la métrica
son independientes del tiempo . La construcción de este sistema es como sigue: Elijamos una hypersuperfi-
cie tipo-espacio S de M y consideremos las curvas integrales de K que pasan a través de S e introducimos

17
 Figura 10: Sistema coordenado adaptado a un campo Killing K

coordenadas locales en M de la siguiente manera:

Si p = φt (p0 ) donde p0 ∈ S y φt es el flujo de K las coordenadas para p son: h−1 o p = (t, l(1) (p) =
x0 , l(2) (p) = y0 , l(3) (p) = z0 ). Debemos mencionar que aquı́ no estamos interesados en la forma de la
función l ya que lo importante es que las coordenadas espaciales para todos los puntos que se encuentran
en una misma curva integral son constantes (ver gráfico).
Sabemos que :

φ̇po (t) = K(φpo (t)) −→ φ̇po (t)[x(µ) ] = K(φpo (t))[x(µ) ]

d (µ)
[x o φpo (t)] = K µ (φpo (t))
dt
Pero por construcción tenemos:

x(0) o φpo (t) = t

x(i) o φpo (t) = l(i) (po ) = cte

Por lo tanto  
d (µ) ∂
[x o φpo ] = δ0µ luego K =
dt ∂t
que como vemos es un vector tipo-tiempo. Ahora , dado que K es un campo Killing encontramos que las
componentes de la métrica son todas independientes del tiempo.

LK gµν , = K ρ gµν , ρ + gµρ K,ρν + gνρ K,ρµ

= gµν ,0 = 0

Un espacio-tiempo se denomina estático si es estacionario y además cumple algunas de las siguientes

condiciones(las cuales son todas equivalentes)
∂ ∂



1. Es invariante bajo inversion temporal ∂t → − ∂t
∂


2. K = ∂t es ortogonal a una familia de hipersuperficies tipo-espacio.
3. g0i = 0 i = 1, 2, 3

18
6.3. Invariancia de la Relatividad General bajo Diffeomorfismos
La Relatividad general es una teorı́a invariante bajo diffeomorfismos , esto significa que si los elementos
de nuestro universo están representados por una variedad (M, gµν ) y campos de materia ψ, entonces si
φ ∈ diff(M ) los conjuntos (M, gµν , ψ) y (M, φ∗ gµν , φ∗ ψ) son fı́sicamentes equivalentes. Esto trae como
consecuencia el siguiente hecho importante: Si Stotal denota la accion total del sistema entonces ésta
debe ser invariante bajo diffeomorfismos, ahora si consideramos el caso de ausencia de materia la acción
de Einstein-Hilbert debe ser invariante. Esto último es verdad puesto que la variación de la acción EH
con respecto a cualquier variación arbitraria de la métrica es idénticamente nula y por lo tanto válido
para δg = φ∗ g − g. Entonces por consistencia necesariamente la acción de la materia Smat debe ser por
sı́ sola invariante bajo diffeomorfismos también. Esto significa que:

Smat [gµν , ψ] = Smat [φ∗ gµν , φ∗ ψ] (52)

√
Z p Z
δSmat = Lmat [φ∗ gµν , φ∗ ψ] φ∗ (−g)d4 x − Lmat [gµν , ψ] −gd4 x
R R

Obs: La región de integración R no cambia ya que los diffeomorfismos no tocan el sistema coordenado
en el cual estamos representando los campos.

En particular si φ puede ser el flujo de algún campo vectorial X (el cual es arbitrario), por lo tanto
es lı́cito escribir:
√ √
Lmat −g[φ∗ gµν , φ∗ ψ] − Lmat −g[gµν , ψ] 4
Z  
δSmat = lı́m d x
t→0 R t
√
Z
= LX (Lmat −g)d4 x
ZR  √ √ 
δ(Lmat −g) (δLmat −g)
= LX ψ + LX gµν d4 x
R δψ δgµν
1 µν √
Z
= (T −g)LX gµν d4 x
2
ZR
1 µν √ √
Z
= (T −g)(Xµ;ν + Xν;µ )d4 x = T µν −gXµ;ν d4 x
2
ZR R
√ √
Z
= −g(T µν Xµ ;ν )d4 x − −gXµ T;νµν d4 x
R R
√ √
Z Z
= [ −gT µν Xµ ], ν d4 x − −gXµ T;νµν d4 x
|R {z } R
0
√
Z
=− −gXµ T;νµν d4 x = 0
R

Y debido a la arbitrariedad de X finalmente hallamos:

T µν;ν = 0 (53)

Luego el hecho de que la ”conservacion covariante” del tensor energia-momento de la materia es más que
una simple consecuencia del principio de equivalencia ya que descansa en la invariancia de la teoria bajo
diffeomorfismos.

6.4. No localización de la Energı́a Gravitacional

Sin embargo T µν;ν = 0 en verdad no expresa una ley de conservación y a menos que nuestro espacio-
tiempo admita vectores Killing, no podemos formar cantidades conservadas conservadas a partir de esta
relación .

19
 En ausencia de un campo gravitacional (Relatividad Restringida) , La ley de conservación del tensor
de Energia-Momento es expresado por la ecuación T µν,ν y es consecuencia de la invariancia con respecto
a traslaciones en el tiempo y espacio. Excepto para soluciones especiales, las traslaciones no actúan como
isometrı́as en una variedad y por esta razón una ley general de conservación para la energı́a y momento
no existe en relatividad general. Una forma de atacar este problema es introducir cantidades τ µν [1] de
tal manera que
√ ∂Ψµνλ
−g(T µν + τ µν ) = (54)
∂λ
De esta definicion se ve que la cantidad τ µν no se transforma como un tensor por esta razón es denominado
pseudotensor. Landau mostro que es posible encontrar una cantidad τ µν simétrica [ver 1] Sin embargo no
hay una forma única de definir estas cantidades pero son útiles porque nos permiten construir cantidades
conservadas Z p
µ
P = (−g)(T µν + τ µν )dSν (55)
R
µν
Estas cantidades τ tienen una interpretación asociadas a la energı́a del campo gravitacional y se habla
de una conservación total de la energı́a de la materia y el campo gravitacional.

Si el tensor T µν es cero en algun punto del espacio tiempo, entonces sigue siendo nulo para cualquier
sistema de referencia y podemos hablar con seguridad que en este punto no existen campos de materia.
¿ Sucede lo mismo para τ µν ? La respuesta es no , puesto que τ µν no posee un caracter tensorial , esto
es, si en cierto sistema de referencia τ µν se anula en algún punto no implica que éste siga siendo nulo en
cualquier sistema arbitrario y por lo tanto no tiene significado el preguntarnos si en dicho punto existe o
no energı́a gravitacional.

Aunque esto parezca extraño , es una consecuencia directa del principio de equivalencia ya que éste
nos permite siempre eliminar localmente (mediante una eleccion apropiada de coordenadas) el campo
gravitacional (identificado con los sı́mbolos de Christoffel).Por lo tanto no existe un tensor de energı́a-
momento para el campo gravitacional y no hay manera de localizar su energı́a.

Finalmente desde un enfoque matemático debemos mencionar que esto esta relacionado con la identi-
ficación de los campos con entidades geometricas ya que de todos los campos el gravitacional( identificado
con Γµνα ) es el único que se interpreta distinto al resto (los campos de materia se identifican con campos
tensoriales de la variedad)

7. bibliografia
1. The Classical Theory of Fields ; L.D. Landau, E.M.Lifshitz ;4ta Ed. Pergamon Press
2. Geometry, Topology and Physics ; M. Nakahara; Graduate Student Series in Physics

3. Problem Book in Relativity and Gravitation ; Alan P. Lightman, Willian H. Press, Richard H.
Price, Saul A. Teukolsky
4. Classical Fields: General Relativity and Gauge Theory ; M.Carmelli ; Willey-Intersciencie Publi-
cation

5. General Theory of Relativity ; P.A.M. Dirac ;Willey-Intersciencie Publication

6. General Relativity: With Applications to Astrophysics ; N. Straumann
7. Tensors and Manifolds ; Wasserman
8. Lectures Notes on General Relativity ; Sean M. Carroll ; http://itp.ucsb.edu/ carroll/notes/.

20
Apéndice
Relaciones útiles
1. δg = gg µρ δgµρ = −ggµρ δg µρ
2. g,κ = gg µρ gµρ, κ
√
3. δ( −g) = − 12 √δg −g
√
4. Γµαµ = 21 g µγ gµγ , α = (ln −g),α
√
5. g µγ Γω √1 ωρ
µγ = − −g ( −g)g ,ρ
√
6. Aµ; µ = Aµµ + (ln −g)µ,µ
√ √
7. (Aµ −g), µ = −gAµµ
R√ √
−gAµ; µ d4 x = Aµ −gdSµ
R
8.

21