Sitio donde se realizó el Servicio Social:

Instituto de Ciencias Nucleares

Universidad Nacional Autónoma de México

Ciudad Universitaria, Cd.Mx., a 2 de octubre de 2017

Comisión de Servicio Social

Licenciatura en Fı́sica
Facultad de Ciencias
Universidad Nacional Autónoma de México

A quien corresponda:

Sirva la presente para informar las actividades realizadas por mi, Johas David Morales Barroso en
el desarrollo de mi Servicio Social. Durante el periodo comprendido entre febrero y septiembre trabajé la
construcción de una teorı́a modificada de relatividad general, esta nueva teorı́a surge de la idea de relajar
la condición de metricidad del operador derivada de la teorı́a.
∇
e a gbc = 0, (1)
donde g es el tensor métrico.
La premisa principal fue aceptar cualquier operador derivada libre de torsión como el operador derivada
de la teorı́a, usando la ecuación, [1]
 
e a ωb = −C cab ωc ,
∇a − ∇ (2)

la condición de no torsión implica que el tensor C es simétrico en sus ı́ndices de abajo.

La principal motivación para tomar en cuenta estas situaciones viene de considerar casos no triviales
como fuente de materia, partiendo de una formulación lagrangiana, en la cual separamos la acción de la
teorı́a en una acción gravitacional y una acción de materı́a,
S = Sg + SM , (3)
la parte no trivial aparece al tomar acciones y en general lagrangianos de materia que dependen de la
conexión, el tensor C. Dicha situación no ocurre en los casos más conocidos o usuales, por citar algunos
ejemplos, campos escalares o campos de Maxwell.

Como acción gravitacional usé la de Einstein-Hilbert,

√
Z
SEH = dx4 −gR(g, C), (4)

nótese que el escalar de Ricci puesto como lagrangiano gravitacional depende tanto de la métrica como de
C, en contraparte del caso usual de relatividad general, donde la variable dinámica es exclusicamente el
tensor métrico. Este formalismo se conoce como el enfoque Palatini y en el caso usual se puede recuperar
relatividad general [2] partiendo de la acción (4), tomando a la métrica y a la conexión (en este contexto
denotada como Γ) como dos grados de libertad independientes, dicho en otras palabras, sin considerar la
relación entre Γ y g ası́ como las derivadas de g, de la siguiente manera
1 cd
Γcab = g [∂a gbd + ∂b gad − ∂d gab ] . (5)
2

1
Las ecuaciones de movimiento se obtienen pidiendo que la acción sea estacionaria, i,e. δS = 0, dichas
ecuaciones de movimiento pueden obtenerse para un lagrangiano de materia LM en principio arbitrario.
La variación con respecto al tensor métrico nos regresa las ecuaciones de Einstein.
1
Rab − gab R = 8πTab , (6)
2
donde,
1 1 δSM
Tab = − √ , (7)
8π −g δg ab
en el caso estándar del enfoque Palatini las ecuaciones de movimiento resultan ser (6) y (5), recuperando
relatividad general, como lo he ya mencionado.
Por otro lado la variación respecto a C de la acción (4) nos lleva a
(c |de| a)
16πΣcab = C de g δc + C ddc g ab − 2C (bce g |e|a) , (8)

donde,
δSM
16πΣcab = , (9)
δC cab
como consecuencia, Σ es simétrico en sus ı́ndices superiores.

Observemos como la ecuación de movimiento en este caso resulta ser una ecuación algebraica, además, en
este formalismo podemos tomar fuentes de materia arbitrarias escribiendo su variación como un tensor
no determinado Σ. No resulta evidente pero cuando la acción de materia no depende de la conexión, es
decir, Σcab = 0 y resolviendo la ecuación (8) para C, obtenemos C cab = 0, lo cual implica ∇a = ∇
e a , dicho
de otra manera, volvemos a relatividad general.

Planteado el problema y en vista de que en las formulaciones usuales ambas teorı́as, relatividad general
y el enfoque palatini llevan a las mismas ecuaciones de movimiento, me enfoqué en calcular el tensor de
Einstein para la nueva teorı́a, en la cual la fuente de materia es no trivial en el sentido ya mencionado,
para todo ello partimos de un operador derivada en principio arbitrario, el cual siempre puede relacionarse
con el operador derivada de Levi-Civita, mediante la ecuación (2).
Una vez que se tiene el nuevo tensor de Einstein la idea es resolver la ecuación de movimiento para
C, ecuación (8), e introducir C como función de Σ en el tensor de Einstein, buscando ası́ salir de la
equivalencia antes mencionada entre relatividad general y el enfoque Palatini.
Ası́, utilizando las siguientes convenciónes,

1
A(ab) = (Aab + Aba ) , (10a)
2
1
A[ab] = (Aab − Aba ) . (10b)
2
El nuevo tensor de Einstein se ve como,

e [a C d + 2C g
e ab − 2∇ h cd e h cd g h
Gab = G d]b [a|b| C h]g + gab g ∇[c C h]d − gab g C [c|d| C h]g , (11)

aquı́ G
e ab es el tensor de Einstein usual de relatividad general.

Una vez obtenida esta expresión resultó conveniente, para relacionar con Σ, hacer el cálculo de la des-
composición irreduciblemente de C en sus trazas y su parte sin trazas.

(D + 1)τ c − 2λc
 
c 2
δ c Dλb) − τb) + ∆C cab ,
 
C ab = gab + (12)
D(D + 1) − 2 D(D + 1) − 2 (a

2
donde ∆C cab es simétrico en los dos ı́ndices de abajo, dado que C cumple con la misma simetrı́a. Ob-
servemos que nuestra descomposición deja de hacer sentido cuando D=1, siendo D la dimensión del
espacio-tiempo. En consecuencia tenemos las siguientes igualdades,

g ab C cab = τ c , (13a)
C ddb = λb , (13b)
g ab ∆C cab = 0. (13c)
∆C ddb = 0. (13d)

Cuando tomamos D=4.

10τ c − 4λc
 
1 1 c 
C cab 4λb) − τb) + ∆C cab

= gab + δ(a (14)
4 9 9

El siguiente paso fué escribir el tensor de Einstein en estas nuevas variables i,e. τ, λ, ∆C, dicho cálculo
es,
 d
7λ − 4τ d g ik
  
1e g h 1 g 11 g 1 g
Gab = Gab + gab ∇d
e + ∆C hi ∆C gk + τg τ − 2 τ λg − λg λ
2 9 2 4 · 92 9 2 · 92
 
e d ∆C dab + 1 ∇e (a 4λb) − τb) + ∆C hab τh − 5λh + 11 λa λb − 1 τ(a λb) − 22 τa τb


− ∇ e a λb + ∇
9 9 92 92 4 · 92
1
− gh(b ∆Ca)gh
(10τ g − 4λg ) − ∆C ghb ∆C hag . (15)
2·9
La razón para hacer la descomposición de C es principalmente debido a que la ecuación de movimiento pa-
ra C (ecuación 8), es difı́cil de resolver de manera directa, por ello también utilizamos una descomposicón
para Σ dada por,  
ab 1 ab 10σc − 4ρc 1 h i
Σc = g + δc(a 4ρb) − σ b) + ∆Σcab , (16)
4 9 9
como consecuencia, la descomposición cumple las ecuaciones,

Σcab gab = σc , (17a)

ab b
Σa =ρ , (17b)
ab
gab ∆Σc = 0, (17c)
∆Σaab = 0. (17d)

De esta manera, utilizando la ecuación de movimiento para Σ relacionamos las trazas de C y Σ y la parte
sin trazas. Relacionar las trazas de ambos tensores resulta sencillo y se obtienen los siguientes resultados,

16πρc = 2λc + τc , (18a)

3
16πρb = τ b , (18b)
2
las ecuaciones para τ y λ en términos de las trazas de Σ se ven de esta manera.
2
τc = 16πρc , (19a)
3
16π
λc = 8πσc − ρc . (19b)
3
Para hacer la identificación de la parte sin trazas resultó necesario resolver la ecuación,

16π∆Σcab = −2∆C (bce g a)e , (20)

3
la ecuación (20), no puede resolverse de una manera sencilla, por lo que se resolvió con base en un par
de educated guesses, la primera de ellas,
0 0 0
∆C cab = −8πgaa0 gbb0 g cc ∆Σc0 b a , (21)

la ecuación (9), y la ecuación (16), nos imponen una condición sobre el tipo de soluciones que podemos
proponer a la ecuación (20), pues ∆Σ ası́ como ∆C deben ser simétricos en sus ı́ndices respectivos. La
propuesta de la ecuación (21), cumple con dichas simetrı́as pero no resuelve la ecuación (20), por ello
consideramos,
∆C cab = −16πgd(a ∆Σb)dc = −16π∆Σ(ab)c , (22)
la ecuación (22) también satisface las simetrı́as que debe cumplir, sin embargo, tampoco resuelve por si
sola la ecuación (20). Finalmente, la solución a la ecuación (20) resulta de una combinación particular de
(21) y (22), dada por,
0 0
∆C cab = −16πgd(a ∆Σb)dc + 8πgad gbb0 g cc ∆Σc0 db . (23)
Como parte final del trabajo, con las ecuaciones (19) y (23) podemos introducirlas en el tensor de Einstein
(ecuación 15) y obtener finalmente el tensor de Einstein en términos de variaciones de la acción de materia.

Después de dicho cálculo el tensor de Einstein queda de la sigueinte manera,

" 2
21 (16π)2

4π e d d 5 16π
ρc ρc − σc ρc


Gab = Gab + gab
e ∇d 7σ − 10ρ +
9 2·9 3 2 · 92 3
1 2 c (8π)2 h ja0 b0 k a0 b0 dg eh
i
− (8π) σc σ + 2ga0 b0 δΣk ∆Σj − ghd geg g ∆Σa0 ∆Σb0
2 · 92 2
 2
e a σb + 16π ∇ e a ρb + 32π ∇ e (a σb) − ρb) − 1 16π 11 2
 
− 8π ∇ ρa ρb + 2 (8π) σa σb
3 9 9 3 9
12 (16π)2 h
e d −16πge(a ∆Σ ed + 8πgae gbb0 g dc0 ∆Σc0 eb0
i
− 2
σ(a ρb) + ∇ b)
9 3
1 h i 0 0

− (16π)2 ghb gd(a ∆Σg)dh + (a ↔ b) (σ g − 4ρg ) + ggg0 ga0 (a ∆Σb)a g (4ρg − σ g )
2·9 
(8π)2
   
dh 14 hc0 db0 14
+ 2gd(a ∆Σb) 5σh − ρh + gad gbb0 g ∆Σc0 ρh − 5σh
9 3 3
0
h 0 0 0 0
i
2
− (8π) 2gaa0 gbb0 ∆Σkja ∆Σj b k − 2gaa0 geb ghh0 g gg ∆Σg0 h a ∆Σgeh + ghd geg ∆Σadg ∆Σbeh .(24)

El siguiente paso consiste en trabajar esta expresión (ecuación 24) para lagrangianos particulares de
materia y el objetivo último reside en trabajar con el lagrangiano de Dirac en este formalismo, para el
cual esperamos el tensor de Einstein se simplifique, pero eso formará parte de mi trabajo de tesis, y
adicionalmente una posterior comparación con el caso sı́mil de torsión buscando equivalencias entre las
teorı́as.

Se anexa un apéndice en el cual se desarrollan de manera explı́cita todos los cálculos.

Adicionalmente a las actividades anteriormente mencionadas, participé en seminarios formal e informal

del Departamento de Gravitación y Teorı́a de Campos del Instituto de Ciencias Nucleares de la UNAM,
ası́ como asistencia al curso de relatividad general del Posgrado en Ciencias Fı́sicas con clave 66728,
impartido por Dr. Yuri Bonder y Dr. Daniel Sudarsky Saionz.

Sin más por el momento, le envı́o un cordial saludo.

4
 Asesor (Vo.Bo.) Firma del Alumno

Dr. Yuri Bonder Grimberg Johas David Morales Barroso

Investigador Asociado C de TC.

Referencias
[1] R.M. Wald. General Relativity. University of Chicago Press, 2010.
[2] M.P. Hobson, G.P. Efstathiou, and A.N. Lasenby. General Relativity: An Introduction for Physicists.
Cambridge University Press, 2006.