Tesis

n
Universidad de Concepcio
ticas
Facultad de Ciencias Fsicas y Matema
lgebras
Partcula libre con simetras descritas por las a
Generalizada B4 y B5
de Poincare
Tesis presentada por Alexander Ian Smith Clark

n en
para obtener el grado de Magister en Ciencias con Mencio
Fsica
2016
Departamento de Fsica
Director de Tesis : Dr. Patricio Salgado Arias

Comision
Dr. Patricio Salgado Arias
Dr. Julio Oliva Zapata

Dr. Luis Roa Oppliger
Agradecimientos
En primer lugar me gustara agradecer el apoyo que me ha brindado mi familia,
en especial a mi madre, mi hermano y mi abuela, por su amor incondicional a lo
largo de esta gran travesa. Esta tesis no hubiese sido posible sin el apoyo de mi
profesor gua, Dr. Patricio Salgado quien me ha brindado una ayuda inestimable
y muy valiosos consejos a lo largo de mi carrera, ademas de ser una persona con
una profunda conviccion y temple al entendimiento y la ense
nanza. Adicionalmente
quiero agradecer el apoyo que he recibido de muchos docentes de la Universidad de
Concepcion por su dedicacion y entusiasmo, destacando al profesor Dr. Luis Roa, Dr.
Julio Oliva, Dr. Guillermo Rubilar, Dr. Ricardo Troncoso, Dr. Fernando Izaurieta
y Dr. Juan Crisostomo. Agradezco tambien el apoyo de mis colegas, en especial a
Nataly Ibarra, por sus comentarios sabios, solidaridad e inspiradora vocacion.
ii
Resumen
En la primera parte de esta tesis presentaremos la construccion de una accion para
la partcula libre definida sobre el espacio coseto B5 /SO(3, 1), siendo B5 el algebra
de Poincare generalizada. Las algebras de Poincare generalizadas Bn consituyen una
S-expansion del algebra AdS usando para ello una eleccion bien definida de un semigrupo. Teniendo en cuenta que el algebra de Maxwell constituye el algebra B4 cuya
realizacion dinamica en el espacio coseto B4 /SO(3, 1) representa a una partcula
moviendose en un campo electromagnetico constante, resulta interesante plantearse
el caso del algebra B5 y estudiar su realizacion dinamica. Para llevar a cabo esto, en
los primeros cuatro captulos expondremos el material necesario para la comprension
de esta tesis, luego en los captulos posteriores expondremos el uso del mecanismo de
las realizaciones no lineales con el fin de comprender la construccion de la accion para una partcula libre en B4 /SO(3, 1) y con ello llevar a cabo el objetivo de esta tesis.
Por u
ltimo en la segunda parte, expondremos un trabajo en desarrollo que busca
interpretar la constante de acoplamiento del algebra de Maxwell en terminos de un
lmite apropiado aplicado sobre una teora gravitacional invariante bajo el grupo
AdSL4 , tomando como punto de partida la interpretacion de la constante de acoplamiento del algebra AdS como la constante gravitacional al tomar un lmite apropiado
que reproduzca la accion de Einstein-Hilbert.
iii
Indice general
Agradecimientos
Resumen
La partcula libre y las

algebra B4 y B5
II
III
1. Introducci
on
2. Preliminares Matem
aticos
2.1. Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Vectores Tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Vectores Cotangentes . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.4. Formas Diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
2.4.1. Producto Cu
na . . . . . . . . . . . . . . . . . . . . . . . . . .
13
2.4.2. Operador Diferencial o Derivada Exterior . . . . . . . . . . . .
14
2.4.3. Operador de Contraccion . . . . . . . . . . . . . . . . . . . . .
15
2.5. Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
2.5.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
3. Grupo de Poincar
e Generalizado B4
18
3.1. Definicion de B4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Algebra
de Poincare Generalizada B4 . . . . . . . . . . . . . . . . . .
18
3.3. Operadores de Casimir . . . . . . . . . . . . . . . . . . . . . . . . . .
24
20

Indice
general
4. Teoras de Gauge
28
4.1. Teora de Gauge Invariante Bajo U (1) Local . . . . . . . . . . . . . .
28
4.2. Teoras de Gauge No-Abelianas . . . . . . . . . . . . . . . . . . . . .
29
4.2.1. Ejemplo: Teora de Gauge invariante SU(2) . . . . . . . . . . .
30
5. Realizaciones No-Lineales
32
5.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
5.2. Realizaciones No-Lineales . . . . . . . . . . . . . . . . . . . . . . . .
33
5.3. Invariante izquierdo de Maurer-Cartan . . . . . . . . . . . . . . . . .
38
5.4. Un ejemplo esferico . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
5.5. Transformaciones de simetra . . . . . . . . . . . . . . . . . . . . . .
43
5.5.1. Definiendo una nueva notacion . . . . . . . . . . . . . . . . . .
43
5.5.2. Transformaciones de Simetra . . . . . . . . . . . . . . . . . .
45
6. Partcula libre con simetras descritas por el

algebra B4
47
6.1. Partcula libre Relativista . . . . . . . . . . . . . . . . . . . . . . . .
47
6.1.1. Simetras y Operadores de Casimir . . . . . . . . . . . . . . .
50
6.2. Deformacion del lagrangiano de la partcula libre relativista . . . . . .
51
6.2.1. Simetrias y operadores de Casimir . . . . . . . . . . . . . . . .
55
6.3. Sustituyendo el espaciotiempo de Minkowski por B4 /Lorentz . . . . .
59
7. La Partcula Libre y el
algebra de Poincar
e Generalizada B5
63
7.1. El algebra de Poincare generalizada B5 . . . . . . . . . . . . . . . . .
63
7.2. El Lagrangiano invariante bajo B5 . . . . . . . . . . . . . . . . . . . .
64
7.3. Simetras y Cargas de Noether . . . . . . . . . . . . . . . . . . . . . .
69
7.3.1. Simetras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3.2. Cargas de Noether y la Realizacion del Algebra

. . . . . . . .
69
72
II El origen de las constantes de acoplamiento entre el
algebra de Maxwell y AdSL4

73
8. Fundamentos de la Relatividad General
8.1. Relatividad General: Fundamentos . . . . . . . . . . . . . . . . . . .
74
74

Indice
general
8.2. Relatividad General: Formulacion de Palatini . . . .

8.3. Relatividad General: Formulacion de Cartan: . . . . .
8.3.1. Torsion y Curvatura . . . . . . . . . . . . . .
8.3.2. Accion Invariante Bajo el Grupo de Poincare .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
76
80
82
83
9. La escala microsc
opica del espaciotiempo como el origen de la constante gravitacional
86
9.1. Accion invariante bajo el grupo dS . . . . . . . . . . . . . . . . . . . 87
10.Las constantes de acoplamiento entre el
algebra de Maxwell y
algebra AdSL4
10.1. Accion Invariante Bajo El Grupo de Maxwell . . . . . . . . . . . . .
10.2. Accion invariante Bajo El Grupo AdSL4 . . . . . . . . . . . . . . .
10.2.1. Comentarios Adicionales . . . . . . . . . . . . . . . . . . . .
11.Conclusiones
la
90
. 90
. 91
. 92
93
Parte I
La partcula libre y las
algebra B4
y B5
Captulo 1
Introducci
on
En esta tesis se tiene como principal objetivo, estudiar a la partcula libre con
simetras descritas por el algebra B5 utilizando como marco teorico, el analisis detallado de la partcula libre en el algebra B4 descrito en las refs. [14]. A partir de esta
realizacion dinamica del algebra B5 , resulta instructivo caracterizar los generadores
del algebra en termino de las coordenadas asociadas al espacio coseto B5 /Lorentz.
En ref. [5], fue encontrado que las algebras B4 y B5 y sus generalizaciones pueden ser obtenidas a partir de una contraccion de Inon
u-Wigner generalizada sobre
L
las algebra so(d 1, 1) so(d 2, 2) generalizadas, denotadas por AdSLd . As surge
una observacion importante. Si se aplica dicha contraccion sobre el algebra AdSLm ,
para cada m, surgen extensiones directas del algebra de Poincare. Las algebras obtenidas para cada m 3 reciben el nombre de algebras de Poincare generalizadas y
se denotan por Bm , siendo B3 y B4 las algebras de Poincare y Maxwell respectivamente. Por u
ltimo, usando las definiciones de [6] aplicadas tal como se se
nala en la
ref. [5] cabe destacar que las algebras de Poincare generalizadas Bm tambien pueden
ser obtenidas como una S-expansion del algebra so(d 1, 2) usando como semigrupo
(m2)
SE
, lo cual simplifica en gran medida la obtencion de sus propiedades.
Por u
ltimo, como segundo objetivo, se desea comparar de manera analoga a [7],
las acciones construidas a partir del grupo B4 y el grupo AdSL4 , permitiendo una
identificacion fsica entre sus constantes de acomplamiento.
Captulo 2
Preliminares Matem
aticos
En este captulo revisaremos las herramientas matematicas que se usaran a lo
largo de esta tesis. Se revisaran los conceptos de variedad, formas diferenciales y
grupos de Lie entre otros, basados en las refs. [812].
2.1.
Variedades
Una variedad n-dimensional diferenciable corresponde a un espacio topologico

de Haussdorf 1 , tal que para cada punto p M , existe un abierto U 2 y un
homeomorfismo invertible x : U Rn , tal que sobre dos abiertos U U 6= , la
aplicacion
x x1
(2.1)
: x (U U ) x (U U ),
es suave, como funcion definida sobre Rn . Notese que al pertenecer M a la topologa
, M puede escribirse como una union finita o infinita de abiertos
M=
U .
Se dice que un espacio topologico es de Haussdorf si para dos puntos distintos cualesquiera
p, q M existen dos abiertos Up y Uq tal que Up Uq = .
2
Para este captulo reservaremos la letra para denotar a una topologa. Una topologa corresponde a un conjunto de conjuntos =: {U } (que puede ser no numerable) tal que todos sus
uniones (que pueden ser finitas o infinitas) e intersecciones (que solo pueden ser finitas) tambien
son elementos de .
Captulo 2. Preliminares Matematicos
Los abiertos U en conjunto con los homeomorfismos x forman pares, denotados por
(U , x ) denominados cartas coordenadas. El conjunto de todas las cartas coordenadas definidas sobre una variedad se denomina Atlas. Una vez definido el concepto de
variedad, surge la necesidad de construir otras variedades a partir de aquellas conocidas, una forma de hacerlo es mediante el producto cartesiano. Supongamos que M
es una variedad m-dimensional diferenciable y N es una variedad n-dimensional diferenciable, cuyas cartas coordenadas son (U , x ) y (UA , y A ) respectivamente. Luego
el producto cartesiano X = M N es una variedad n + m-dimensional. En efecto, basta definir las cartas coordenadas por V ,A = U W A y el homeomorfismo
z,A : U W A Rn+m por z,A (p, q) = (x (p), yA (q)).
Veamos ahora algunos ejemplos de variedades
Rn , en efecto basta escoger U = Rn y el homeomorfismo identidad x : Rn Rn
definido por I(x) = x.
La circunferencia unitaria S1 definido por S1 = {(x1 , x2 ) : x21 + x22 = 1},
en efecto escogiendo el abierto U 1 = S1 {(0, 1)} y el homeomorfismo 1 :
S1 {(0, 1)} R {0} definido por
X=
x
,
1y
(2.2)
donde X R {0} y (x, y) S1 . Adicionalmente escogiendo el abierto U 2 =

S1 {(0, 1)}, definiendo el homeomorfismo 2 : S1 {(0, 1)} R {0}
definido por
x
X=
.
(2.3)
1+y
El cilindro S1 R, en efecto corresponde a un producto cartesiano de variedades.
El toroide S1 S1 .
La circunferencia unitaria S1 constituye un ejemplo interesante, puesto que es
imposible cubrirlo con una u
nica carta. Sin embargo en la practica resulta u
til cubrir
a S1 mediante una solo, a traves de la coordenada (x, y) definida por
(x, y) = (cos , sin ),
(2.4)
sin embargo esta aplicacion no es inyectiva, puesto que = 0 y = 2 identifica un

mismo punto (x, y). Una opcion tentativa de solucionar este defecto sera restringir
al intervalo [0, 2), pero este tipo de intervalos no pertenece a la topologa usual
definida sobre R y si sustituimos todos los abiertos = (a, b) por intervalos = [a, b)
entonces la topologa resultante sera la topologa discreta, de modo que tendriamos
infinitos abiertos definidos sobre R en contradiccion con el u
nico supuesto. A partir
de esta consideracion y considerando que dos abiertos U 1 y U 2 cubren la esfera, es
posible inferir que son dos, la cantidad mnima de abiertos necesarios para cubrir la
circunferencia unitaria.
2.2.
Vectores Tangentes
Supongamos que (U, x) es una carta de coordenadas, definida sobre una variedad
n-dimensional M . Se define la curva como la aplicacion x : (a, b) M definida
por
p = (x )(t),
(2.5)
donde p U y t es un parametro definido en el intervalo (a, b) R. El interes de
definir una curva radica en la posibilidad que nos ofrece para definir direcciones. Sea
ahora una carta de coordenadas (U, x) definida sobre una variedad n-dimensional,
y una curva que pasa sobre un punto (t0 ) = p U . De esta forma se define el
vector tangente sobre p, denotado por p , como una aplicacion que mapea campos
escalares reales y suaves f : R R por

d
1
.
p (f ) = (f x x )
dt
t=t0
(2.6)
Luego, utilizando la regla de la cadena es posible reescribir esta definicion por

p (f ) =
=

d
1
(f x x )
,
dt
t=t0

d
1
i
(f x )
(x )
i
x
dt
x(p)
,
t=t0
(2.7)
donde al definir las componentes de p (f ) por

pi

d
i
= (x )
,
dt
t=t0
(2.8)
es posible escribir (2.7) por

1
p (f ) =
(f
x
)
pi .

xi
x(p)
(2.9)
Hasta ahora hemos definido la aplicacion vector tangente sobre (t0 ) = p, sin embargo una de las propiedades mas importante de esta aplicacion es la posibilidad
de definirla sobre cada curva que pasa sobre (t0 ) = p, en particular escogiendo n
curvas diferentes es posible construir un espacio vectorial.
Proposici
on 2.2.1 El conjunto de todos los vectores tangentes definidos en p, denotado por Tp (M ), constituye un espacio vectorial n-dimensional.
En efecto, supongamos que p yace sobre una carta (U, x) y que V, W Tp son los
vectores tangentes a las curvas : (a, b) M y : (a, b) M en (t0 ) = (t0 ) = p.
Luego a partir de las curvas y , es posible definir para a, b R la curva en Rn
(t) = a(x )(t) + b(x )(t) (a + b 1)x(p),
(2.10)
donde (t0 ) = x(p). As es posible definir la curva en U por (t) = x1 , tal que
al actuar sobre una funcion suave f : U R

d
,
(f
) = (f )
dt
t=t0

d
1
= (f x x )
,
dt
t=t0

d
1
i
=
(f x )
(x )
i
x
x(p) dt
t=t0

d
1
1
i
=
(f
x
)
(x
)
,

xi
x(p) dt
t=t0

d
1
i
=
(f
x
)
(
)
,

xi
x(p) dt
t=t0
(2.11)
10
y sustituyendo (2.10) en (2.11)

d
i
1
p (f ) =
(
)
,
(f
x
)
p

xi
t=t0
x(p) dt

d
d
i
i
1
1
(x p )
+ b i (f x )
(x p )
,
= a i (f x )
x
x
t=t0
t=t0
x(p) dt
x(p) dt
= a p (f ) + b p (f )
= aV (f ) + aW (f ),
(2.12)
se observa que la combinacion lineal de dos vectores tangentes corresponde a un

vector tangente, esto es p (f ) Tp (M ) y por lo tanto, las operaciones suma +
y producto por escalar son clausuradas en Tp (M ). Con el fin de determinar la
dimension de este espacio vectorial, es suficiente determinar una base. Sean n curvas
(i) con i = 1, , n, atravesando p y determinadas por
(x (i))j = xj (p) + tij ,
(2.13)
lo que nos permite definir n vectores tangentes rotulados por el ndice i, cuyas componentes se identifican por j
d
(x (i))j = ij .
dt
(2.14)
Luego como existen n curvas y el ndice i va generando tantos vectores tangentes

como el valor de n. La dimension del espacio tangente es igual a la dimension de la
variedad.
2.3.
Vectores Cotangentes
Una vez definida de manera apropiado el espacio tangente Tp (M ) como un espacio

vectorial, en el cual, todo elemento vP perteneciente a el, satisface
vp = v

,
P
11
es posible definir el espacio dual Tp (M ) como el conjunto de todos los funcionales

lineales
w = w dxP ,
tal que al actuar sobre un vector vp se satisface

= w v dxP
= w v ,
w(v) = w dx (v) = w dx v
x P
x P
donde dxP al actuar sobre
,
x P
dx
se impone la condicion
= .
P
Esta condicion que define al espacio dual Tp (M ) como al espacio cotangente,

cuyas bases corresponden a los operadores diferenciales {dx }P , permite definir a un

Tensor np que transforma bajo difeomorfismos por
T = T 1 n
2.4.
1 p 1
n dx1 dxp
Formas Diferenciales
Se define una p-forma como un tensor

cotangentes definidos por TP (M ) , esto es
0
p
que pertence al p-producto de espacios
TP (M ) TP (M ),
| {z }
P veces
tal que sus componentes son completamente antisimetricas. Con el fin de garantizar
esto u
ltimo, resulta conveniente definir el producto cu
na por
dx dx = dx dx dx dx ,
definiendo as, una pforma diferencial por
=
1
dx1 dx2 dxp .
p! 1 2 p
12
El conjunto de todas las p-formas diferenciales definidas sobre una variedad ndimensional constituye un espacio vectorial denotado por p (M ), el cual es subconjunto del espacio cotangente p (M ) Tp (M ). Notese que su dimension se relaciona
con todas las posibles configuraciones dx1 dxk dxp que pueden realizarse dentro de este, siendo equivalente a determinar el n
umero de posibilidades de
ordenar una n-coleccion de objetos dentro de una p seleccion sin importar el orden
dim(p (M )) =
n!
.
(n p)!p!
(2.15)
De (2.15) se infiere que no existen formas diferenciales perteneciente a p (M ) tal que

p > n. Es claro, que si se supone lo contario entonces dxn+1 pertenecera a p (M )
y por lo tanto la dimension del espacio cotangente no sera n, en contradiccon a lo
supuesto. As para un valor fijo de n, existen n + 1 espacios vectoriales p (M ), donde
p = 0, , n. En particular si n = 3 se tienen los siguientes casos:
(a) dim(0 (M )) = 1. Este espacio corresponde al conjunto de todos los escalares
que son generados por la identidad o 1.
(b) dim(1 (M )) = 3. Este espacio es constituido por todos los elementos generados
por dx1 , dx2 , dx3 .
(c) dim(2 (M )) = 3, Para este caso, el espacio es generado por los elementos
dx1 dx2 , dx2 dx3 , dx3 dx1 .
(d) dim(3 (M )) = 1, Finalmente para este u
ltimo, todos sus elementos son generados por dx1 dx2 dx3 . Esta base constituye la forma volumen asociada a
la variedad M y se denota por Vol(M ) o Vol(R3 ) para este caso.
Es claro verificar que existe una correspondencia asociada a la cardinalidad de los
espacios p (M ) y np (M ), siendo u
til establecer una biyeccion entre ambos. Bajo
esta perspectiva se define el Dual de Hodge de una p forma diferencial.
El dual de Hodge, corresponde a una aplicacion : p (M ) np (M ) que act
ua
sobre
1
= 1 p dx1 dxp p (M ),
(2.16)
p!
13
y es definida por
=:
1
1 p dx1 dxp .
(n p)!
(2.17)
siendo sus propiedades mas importantes:

(a) Propiedad involutiva: = .
(b) Vol(M ) .
Ahora bien una vez definida una p-forma, es necesario definir operaciones que
conviertan una forma diferencial en otra forma diferencial. En general se definen tres
operadores: El producto cu
na, el operador diferencial y el operador de contraccion.
2.4.1.
Producto Cu
na
Sea una pforma y una qforma pertenecientes a p (M ) y a q (M ) respectivamente, donde la variedad M tiene dimension d con p + q d, definidas por
3
1
dx1 dx2 dxp ,
p! 1 2 p
1
dx1 dx2 dxq .
=
q! 1 2 q
Se define la p + qforma producto cu

na por
1
dx1 dx2 dxp dx1 dx2 dxq ,
p!q! 1 2 p 1 2 q

(p + q)!
1
=
1 2 p p+1 p+2 p+q
(p + q)!
p!q!
dx1 dx2 dxp dxp+1 dxp+2 dxp+q .
siendo posible definir a las componentes de la p + 1forma por

( )1 p+q =
3
(p + q)!
p+q
1 2 p p+1 p+2 p+q 11
p+q .
p!q!
De ahora en adelante omitiremos la operacion cu

na .
14
Una caracterstica que permite este producto es la posibilidad de crear espacios

2 (M ), p (M ), a partir de 1 (M ), es decir el espacio de las 1formas diferenciales, sin embargo es necesario imponer un lmite a la cantidad de espacios p (M )
en d (M ) puesto que el hecho de suponer la existencia de formas diferenciales mayores a d significara a su vez la existencia de un espacio vectorial de dimension infinita
incluido en uno de dimension finita, lo cual corresponde a una contradiccion, esto
trae consigo una poderosa implicancia asociada a la dimensionalidad que poseen los
espacios vectoriales p (M ). Las propiedades que satisface el producto cu
na se listan
de la siguiente manera:
Si es una p forma y una qforma tal que p, q d, entonces =
(1)pq .
Si , , son p, q, rformas respectivamentes tales que p, q, r d, entonces
( + ) = + .
2.4.2.
Operador Diferencial
o Derivada Exterior
Se define el operador diferencial d como una aplicacion que toma una pforma
=
1
dx1 dx2 dxp
p! 1 2 p
y la mapea a una p + 1-forma definida por

d =
1
1 2 p dx dx1 dx2 dxp .
p!
Este operador satisface las siguientes propiedades:

(a) Sea una pforma y una q forma tal que p, q d, luego
d ( ) = d + (1)p d.
(b) Sea una p-forma definida sobre una variedad multiplemente conexa, luego
d2 = 0.
15
(c) Se dice que una p-forma es exacta si y solo si es posible expresarla en terminos
de un p 1 forma por
= d.
(d) Se dice que una pforma es cerrada si y solo si
d = 0.
De aqu es claro observar que todas las formas exactas son cerradas, sin embargo
el inverso no es cierto. Aquellas p formas que son cerradas, pero no son exactas,
perteneces a una Cohomologa denominada Cohomologa de De Rham.
2.4.3.
Operador de Contracci
on
Se define el operador I de contraccion de una pforma, con respecto a un

1vector o un vector contravariante = por la p 1 forma
I =
1
2 p dx2 dxp .
(p 1)!
Este operador satisface propiedades analogas al operador diferencial:

(a) I () = I + (1)p I .
(b) I2 = 0.
Una vez definida la derivada exterior el operador de contraccion, es posible y u
til
definir el operador derivada de Lie asociado a un vector = por

L = [d, I ]+ = dI + I d
siendo d el operador diferencial e I el operador de contraccion, definido sobre un
vector contravariante . Bajo esta definicion resulta interesante ver que ocurre cuando
16
act
ua sobre una pforma
L = dI + I d,

1
1
p
p
1
+ I
,
= d
2 p dx dx
1 p dx dx dx
(p 1)!
(p + 1)!

1
1
=
1 v 2 p dx1 dx2 dxp + 1 p dx1 dxp .
p!
p!

1
2 p 1 + 1 2 p + 1 p dx1 dxp .
=
p!
En particular, en presencia de una isometra L = 0, se verifica
2 p 1 + 1 2 p + 1 p = 0
definiendose as un conjunto de vectores contravariantes, los cuales forman un algebra
bajo el conmutador. As es posible postular un algebra de Lie.
2.5.
2.5.1.
Grupos de Lie
Definiciones
Un grupo de Lie corresponde a una variedad de Haussdorf G y a un producto

que satisface las propiedades de un grupo
Asociatividad:
Para cada elemento g, h, l G,
Existencia Elemento Neutro:

elemento g G se satisface
(g h) l = g (h l)
Existe un elemento 1 G, tal que para cada

g1=1g =g
Existencia Elemento Inverso:

Para cada elemento g G , existe un ele1
1
mento g G tal que
g g = g 1 g = 1
Debido a que G es una variedad, para cada elemento g es posible definir Tg (G)
siendo este espacio vectorial el algebra G asociada a G. En particular, considerando
que 1 G, resulta u
til definir la base de este espacio vectorial. Para ello sea
g = 1 + g +
1
1
(g)2 + (g)3 +
2!
3!
17
con g = g A TA , siendo TA la base asociada al espacio vectorial T1 (G). Luego considerando que para todo grupo G existe un elemento tal que para todo , G
1 =
es posible despejar por
= ()1 .
Notese que si el grupo es abeliano, entonces = 1, donde 1 G es el elemento
identidad. Expandiendo y hasta segundo orden
1
= 1 + A TA + A B TA TB
2
1 A B
A
= 1 + TA + TA TB
2
es posible escribir
= 1 + A B [TA , TB ]
definiendose el conmutador de Lie por
[TA , TB ] = TA TB TB TA ,
de esta forma, al considerar que G es necesario imponer que para cada valor de
A y B, debe existir un TC para el cual sea proporcional a [TA , TB ] . Estas constantes
de proporcionalidad se denominan constantes de estructura y satisfacen
[TA , TB ] = CABC TC .
(2.18)
La ecuacion (2.18) define un conjunto de vectores base pertenecientes a T1 (G) que

satisfacen un producto bajo el anticonmutador, dichos elementos se denominan generadores y el conjunto de ellos constituye un algebra de Lie. Finalmente conociendo
una realizacion o representacion para TA es posible escribir cada elemento de un
grupo de Lie, por
A
g = e TA .
(2.19)
Captulo 3
Grupo de Poincar
e Generalizado
B4
En este captulo detallaremos las principales caractersticas del grupo B4 , cuya
algebra asociada B4 se construye mediante el formalismo de la S-expansion [6] usando
(2)
el semigrupo abeliano resonante SE [5]. Esta algebra coincide con la llamada algebra
de Maxwell [14], cuya realizacion dinamica en el espacio homogeneo B4 /Lorentz
describe la accion de un campo electromagnetico constante sobre una partcula libre
relativista.
3.1.
Definici
on de B4
Consideremos un espacio homogeneo B4 /Lorentz, siendo B4 el grupo de Poincare generalizado el cual contiene el grupo de Lorentz. Dicho espacio caracteriza a
cada punto, por un conjunto de coordenadas (x, ), las cuales transforman bajo dos
tipos de transformaciones: (pseudo-) traslaciones y transformaciones de Lorentz 1 .

1

(a, )(x, ) = (x + a, + x a + ) = x + a , + (x a x a ) +
,
2
(3.1)

(x, ) = (x, ) = x , .
(3.2)
1
En este captulo usaremos la operacion en un sentido unvoco a (3.1)
18
Captulo 3. Grupo de Poincare Generalizado B4
19
Luego componiendo las traslaciones con las transformaciones de Lorentz

(x0 , 0 ) = (x + a, + x a + ) .
se construye la siguiente transformacion general para cada coordenada
x0 = x + a ,
0 = +
(3.3)

1
( x )a ( x )a + .
2
(3.4)
La composicion de dos transformaciones consecutivas vienen dadas por

x00 = 2 x0 + a2 ,
= x + a1 + a2
(3.5)
h
i
1
(2 1 ) x 2 a1 (2 1 ) x 2 a1 ,
00 = (2 1 ) +
2
1h
+ 2 1 +
(2 1 ) x a2 + 2 a1 a2 (2 1 ) x a2
(3.6)
2
2 a1 a2 ] +
2 ,
1
= (2 1 ) + [(2 1 x) (2 a1 + a2 ) (2 1 x) (2 a1 + a2 ) ] ,
2
1
+ [(2 a1 ) a2 (2 a1 ) a2 ] + (2 1 ) +
(3.7)
2 .
2
Escribiendo un elemento de B4 por (, a, ), y compararando (3.5), (3.7) con (3.3)
y (3.4) respectivamente, es posible escribir el siguiente elemento producto para los
elementos del grupo
(2 , a2 , 2 ) (1 , a1 , 1 ) = (2 1 , 2 a1 + a2 , (2 a1 ) a2 + 2 1 + 2 ).
(3.8)
Identificando al elemento identidad por (1, 0, 0) y el elemento inverso de (, a, ) por

(, a, ) = (1 , 1 a, 1 )
(3.9)
Se puede ver que B4 constituye un producto directo entre las dos traslaciones y el
grupo de Lorentz. Notese ademas que las traslaciones en x no conmutan a diferencia
20
de aquellas definidas para que s lo hacen, lo que tiene consecuencias fsicas que
se discutiran mas adelante. Finalmente cabe se
nalar que al igual que en el grupo de
Lorentz, B4 se descompone en cuatro piezas que pueden ser identificadas por det
y i.e
B4+
, B4+
, , B4
, B4
.
(3.10)
Ahora bien, si nos restringimos en la componente B4+

es posible determinar el algebra
de Lie asociada al grupo completo usando (3.8). En particular, considerando una
representacion fiel de B4+

(, a, ) g(, a, )
(3.11)
definida por

i
i
g(, a, ) = exp 1 J + ia P + Z
2
2

(3.12)
tal que
g(2 , a2 , 2 )g(1 , a1 , 1 ) = g(2 1 , 2 a1 + a2 , (2 a1 ) a2 + 2 1 + 2 )
(3.13)
y
g 1 (, a, ) = g(1 , 1 a, 1 )
(3.14)
es posible obtener las relaciones de conmutacion entre los diferentes generadores

definidos en (3.12).
3.2.
Algebra
de Poincar
e Generalizada B4
Consideremos la siguiente composicion de factores, usando para ello (3.8)

g 1 (, 0, 0)g(0 , a0 , 01 , 0, 0)g(0 , a0 , 0 )
= g(1 01 a01 0 ).
(3.15)
21
Desarrollando infinitesimalmente g(0 , a0 , 0 ) en el lado izquierdo de (3.15)

i 0
i 0
0
g(, 0, 0)
g (, 0, 0) 1 J + ia P + Z
2
2
i 0 1
g (, 0, 0)J g(, 0, 0) + ia0 g 1 (, 0, 0)P g(, 0, 0)
= 1
2
i 0 1
+ g (, 0, 0)Z g(, 0, 0),
2
1
(3.16)
desarrollando infinitesimalmente el lado derecho de (3.15)

g(1 01 a01 0 )
i
i
= 1 (1 0 ) J + i(1 a0 ) P + (1 0 ) Z
2
2

i 1 0
i 1 v 0
=1
J + i 1 a0 P +
Z
2
2
i
i 0
J + ia0 P + 0 Z ,
(3.17)
= 1
2
2
igualando el lado izquierdo (3.16) con el derecho se satisface
g 1 (, 0, 0)J g(, 0, 0) = J ,
(3.18)
g 1 (, 0, 0)P g(, 0, 0) = P ,
(3.19)
g 1 (, 0, 0)Z g(, 0, 0) = Z .
(3.20)
Expandiendo el lado izquierdo y derecho de (3.18), (3.19) y (3.20), considerando que

= +
(3.21)
obtenemos las siguientes relaciones de conmutacion

[J , J ] = i J J J + J ,

[J , P ] = i P P ,

[J , Z ] = i Z Z Z + Z .
(3.22)
(3.23)
(3.24)
22
Consideremos ahora la siguiente composicion de factores

g 1 (1, a, 0)g(0 , a0 , 0 )g(1, a, 0),
= g(1, a, 0)g(0 , 0 a + a0 , (0 a) a0 + 0 )
= g (0 , 0 a + a0 a, (0 a + a0 ) (a) + (0 a) a0 + 0 ) .
(3.25)
Fijando 0 en la identidad
g 1 (1, a, 0)g(1, a0 , 0 )g(1, 0, 0) = g(1, a0 , 2a a0 + 0 )
(3.26)
Expandiendo analogamente a (3.16) y (3.17), el lado izquierdo (3.26)

g 1 (1, a, 0)g(1, a0 , 0 )g(1, 0, 0)
i
= 1 + ia0 g 1 (1, a, 0)P g(1, a, 0) + 0 g 1 (1, a, 0)Z g(1, a, 0)
2
(3.27)
y el derecho de (3.26)
i
g(1, a0 , 2a a0 + 0 ) = 1 + ia0 P + a Z + 0 Z
2
(3.28)
e igualando (3.27) con (3.28) se tiene

g 1 (1, a, 0)Z g(1, a, 0) = Z ,
(3.29)
g 1 (1, a, 0)P g(1, a, 0) = P + a Z .
(3.30)
A partir de las ecuaciones (3.29) se tienen las siguientes relaciones de conmutacion

[Z , P ] = 0
(3.31)
[P , P ] = iZ
(3.32)
Finalmente, considerando la siguiente composicion de factores

g 1 (1, 0, )g(0 , a0 , 0 )g(1, 0, ) = g(0 , a0 , 0 + 0 )
(3.33)
23
donde al fijar 0 = 1 y a0 = 0, se tiene

g 1 (1, 0, )g(1, 0, )g(1, 0, 0 )g(1, 0, ) = g(1, 0, 0 )
(3.34)
y siguiendo el mismo razonamiento anterior

g 1 (1, 0, )Z g(1, 0, ) = Z
(3.35)
se obtiene la siguiente regla de conmutacion,

[Z , Z ] = 0
(3.36)
Los resultados anteriores (3.22), (3.23) (3.24) (3.31) (3.32) y (3.36) muestran que los
generadores (Pa , Jbc , Zcd ) del algebra de Maxwell satisfacen las siguientes reglas de
conmutacion
[Pa , Pb ] = iZab
[Zab , Pc ] = 0
[Zab , Zcd ] = 0
[Jab , Pc ] = i(ac Pb bc Pa )
[Jab , Zcd ] = i (ac Zbd ad Zbc bc Zad + bd Zac )
[Jab , Jcd ] = i (ac Jbd ad Jbc bc Jad + bd Zac )
donde el cambio de ndices de griegos a latinos, se hace con la intencion de reservar
los ndices griegos a los elementos que transforman bajo transformaciones generales
24
de coordenadas. En particular, despues de absorber todas las constantes
3.3.
[Pa , Pb ] = Zab ,
(3.37)
[Jab , Pc ] = bc Pa ac Pb ,
(3.38)
[Jab , Zcd ] = bc Zad + ad Zbc ac Zbd bd Zac ,
(3.39)
[Jab , Jcd ] = bc Jad + ad Jbc ac Jbd bd Jac ,
(3.40)
[Zab , Zcd ] = 0,
(3.41)
[Pa , Zbc ] = 0.
(3.42)
Operadores de Casimir
Una vez conocida el algebra resulta necesario determinar los invariantes del algebra, con el fin de poder etiquetar a todas las posibles representaciones del grupo.
Proposici
on 3.3.1 El operador
1 = P P J Z ,
(3.43)
es un operador de Casimir del algebra de maxwell, i.e conmuta con todos los generadores del algebra
[J , 1 ] = 0,
(3.44)
[P , 1 ] = 0,
(3.45)
[Z , 1 ] = 0.
(3.46)
Demostracion. Verificando las condiciones (3.44) (3.45) (3.46)
25
(a)
[J , 1 ] = [J , P P J Z ]
= [J , P ]P + P [J , P ] [J , J ]Z J [J , Z ]
= [J , P ]P + P [J , P ] [J , J ]Z J [J , Z ]
= i ( P P )P iP ( P P )
+ i( J J J + J )Z
= i[P , P ] i[P , P ] + i( J Z J Z )
i( J Z J Z ) i( J Z J Z )
+ i( J Z J Z )
= 0.
(b)
[P , 1 ] = [P , P P J Z ]
= [P , P ]P + P [P , P ] + [P , J ]Z + J [J , Z ]
= [P , P ]P + P [P , P ] + [P , J ]Z + J [P , Z ]
= iZ P iP Z + iZ P + iP Z
= 0.
(c)
[Z , 1 ] = [Z , P P J Z ]
= [Z , P P ] [Z , J Z ]
= [J , Z ]Z
= i( Z Z Z )Z
= 2i [Z , Z ]
= 0.
26
Proposici
1
2 = Z Z ,
2
(3.47)
es un operador de Casimir del algebra de Maxwell, i.e

[J , 2 ] = 0
(3.48)
[P , 2 ] = 0
(3.49)
[Z , 2 ] = 0
(3.50)
Demostracion. Las condiciones (3.49) y (3.50) son triviales. Verificando solo la primera (3.50):
1
[J , 2 ] = [J , Z Z ],
2

1
=
[J , Z ]Z + Z [J , Z ] ,
2
1
1
= [J , Z ]Z + Z [J , Z ],
2
2
i
= ( Z Z Z + Z )Z ,
2
i
Z ( Z Z Z + Z ),
2
i
i
= ( Z Z Z Z ) + ( Z Z Z Z ),
2
2
i
i
+ ( Z Z Z Z ) ( Z Z Z Z )
2
2
= 0.
Proposici
3 = Z Z ,
(3.51)
27
es un operador de Casimir del algebra de Maxwell, i.e

[J , 3 ] = 0,
(3.52)
[P , 3 ] = 0,
(3.53)
[Z , 3 ] = 0.
(3.54)
Demostracion. Las condiciones (3.53) y (3.54) son triviales. Verificando solo la primera:

[J , 3 ] = J , Z Z ,

= J , Z Z ,
= {[J , Z ] Z + Z [J , Z ]} ,
= i {( Z Z Z + Z ) Z
+ Z ( Z Z Z + Z ) Z },
= 0.
Captulo 4
Teoras de Gauge
4.1.
Teora de Gauge Invariante Bajo U (1) Local
Sea un campo que bajo el grupo U (1), transforma como

(x) ei(x) (x) .
(4.1)
Notemos que a pesar de que (x) transforma bien bajo el grupo U (1), su derivada
exterior no lo hace, en efecto
d ei(x) d + id (x) ,
no transforma de acuerdo a (4.1) debido a la presencia del segundo termino. Con el fin
de solucionar este problema, una posibilidad consiste en definir un nuevo operador
diferencial que s transforme de acuerdo a (4.1). El operador que satisface estas
condiciones se denomina Derivada Covariante y se define por
D = d + A,
(4.2)
donde A es el correspondiente campo de gauge denominado Conexi

on, el cual transforma bajo U (1) como
A0 = A id.
28
Captulo 4. Teoras de Gauge
29
La correspondiente 2forma intensidad de campo es definida como

F = dA
(4.3)
que constituye el termino cinetico asociado al campo A, a partir de la cual podemos

construir la accion
Z
SY M [A] = F F ? .
(4.4)
donde F ? corresponde al dual de Hodge. En lenguaje tensorial, la accion (4.4) es
Z
S [A] =
d4 x F F
donde F = A A corresponde a la intensidad de campo asociado al grupo

U (1) local. Notese ademas que al variar la accion respecto a A con respecto a A se
encuentran las siguientes ecuaciones de campo
F = 0
~ yB
~ corresponden al campo electrico y
Definiendo F0i = Ei y Fij = ijk B jk donde E
magnetico, se encuentran las ecuaciones de Maxwell en el vaco, siempre y cuando =
41 . As la electrodinamica puede reformularse como una teora de gauge abeliana.
4.2.
Teoras de Gauge No-Abelianas
Siguiendo el mismo procedimiento que hemos ocupado para postular un teora

de gauge bajo el grupo local U (1) es posible sintetizar la idea general para construir
una teora de gauge invariante bajo un grupo compacto G cualquiera. En este caso
la derivada covariante es dada por
D =d+A
donde ahora A corresponde a una 1forma conexion que transforma como
A gAg 1 g 1 dg.
30
La 2-forma curvatura es definida ahora por

F = dA + A2 .
y la correspondiente accion
Z
SY M [A] =
F F ?.
(4.5)
siendo F ? el dual de Hodge. definido sobre F . Notese que si escogemos A = g 1 dg

conocido como gauge puro, al utilizar la igualdad (2.19) es posible expresar a A por
A = A TA
(4.6)
donde TA corresponde al generador del algebra asociada a la teora de gauge. La

ecuacion (4.6) corresponde a la 1forma de Maurer-Cartan.
4.2.1.
Ejemplo: Teora de Gauge invariante SU(2)
Una forma de ilustrar como es posible formular una teora de gauge bajo el grupo
SU (2) consideremos
a
A = Aa dx
2
donde a /2 son los generadores asociados al grupo SU (2) y a corresponde a las
matrices de Pauli con a = 1, 2, 3. Calculando la 2forma curvatura
a 1 a b
dx dx + A A a b dx dx
2
4
1
a a
A dx dx + Aa Ab [a , b ]dx dx
2
8

1
1
a
a
A A a dx dx + Aa Ab iab c c dx dx
4
4

1
a
a
a b c a
A A + ibc A A
dx dx
2
2
a
1
a
a
abc
A A + i Ab Ac
dx dx
2
2
F = Aa
=
=
=
=
31
siendo sus componentes

a
F
= Aa Aa + iabc Ab Ac
donde es posible postular la accion

Z
SY M [A] =
a
Fa
F
donde se ajusta de acuerdo a las propiedades asociadas a las ecuaciones de campo.
Captulo 5
Realizaciones No-Lineales
5.1.
Motivaci
on
En este captulo, expondremos las ideas principales descritas en las refs. [1315]
con el fin de construir una accion para una partcula libre definida en un espacio
coseto. A modo de contextualizar la discusion, presentaremos algunas definiciones
u
tiles, y un ejemplo que ilustra sus alcances.
Definici
on 5.1.1 Sea G un grupo de Lie y H un subgrupo de G. Se define al espacio
coseto, como el conjunto de todos los cosetos de G sobre H y se denota por G/H.
En particular si el subgrupo H es normal, entonces G/H constituye un grupo.
Definici
on 5.1.2 Sea G el grupo de Lie de todas las simetras de una variedad mdimensional M y H un subgrupo de G. Si m M es un punto invariante bajo la
accion de H, entonces H constituye el subgrupo de estabilidad de m. En particular
m se conoce como punto isometrico o estabilizador.
Usando las definiciones anteriores, ilustraremos como es posible identificar un espacio coseto. Consideremos una esfera S n embebida en Rn+1 . Es posible identificar
una rotacion r SO(n + 1) como una operacion que mueve un punto de la esfera fijo
p S n a otro punto p0 de S n ?. En particular, es posible identificar a cada elemento r SO(n) por cada punto p0 , sin importar la rotacion producida sobre p. Este
hecho puede reescribirse se
nalando que la accion de SO(n + 1) sobre S n es transitiva.
32
Captulo 5. Realizaciones No-Lineales
33
Por otra parte, notese que p M queda invariante al ser sometido en la accion
de SO(n) (restringida a un hiperplano tangente a p), siendo as SO (n) el subgrupo
de estabilidad sobre p S n . Con el fin de probar la inyectividad de la correspondencia entre el coseto rSO(n + 1) 1 y un punto p0 , notese que si ra SO(n) y rb SO(n) son
dos cosetos que act
uan sobre el mismo punto p y se satisface,
ra SO(n)p = ra p = rb p = rb SO(n)p,
(5.2)
es posible escribir la siguiente proposicion

ra SO(n) = rb SO(n)
(5.3)
siendo ambos cosetos iguales, as es posible identificar a cada punto de la esfera por
cada coseto rSO(n), actuando sobre un punto fijo p S n que denominaremos polo.
De manera analoga es posible considerar al espacio de Minkowski como el espacio
coseto entre el grupo de Poincare P y el subgrupo de Lorentz L, es decir Mn = P/L.
Donde es posible interpretar a los espacios homogeneos como cuocientes entre el
grupo de todas las simetras que act
uan sobre el y su correspondiente subgrupo de
estabilidad. La generalizacion de esta discusion radica en la posibilidad de construir
espacios coseto como por ejemplo, B4 /SO(3, 1).
5.2.
Realizaciones No-Lineales
Sea G un grupo de Lie n-parametrico y sea H un subgrupo semisimple y conectado. Denotemos con {Vi }nd
i=1 (i = 1, 2, , n d) los generadores de H y denotemos
por A los restantes generadores, elegidos de modo que Vi y Ai forman juntos un conjunto completo de generadores de G, los cuales son ortonormales respecto al producto
interno de Cartan ([Vi , Aj ] Ak ). Usando la identidad g = exp ( a Ta ) valida para
1
Sea G un grupo de Lie y H un subgrupo de G, si g G es posible definir al coseto izquierdo

de H respecto a g como el conjunto
gH = {gh : h H}
el c
ual es un grupo si H es normal. Vease [9].
(5.1)
34
los elementos de g G que se encuentran en la vecindad del elemento identidad y

usando familiares propiedades de las exponenciales se tiene que, en alguna vecindad
de la identidad G, todo elemento del grupo G puede ser descompuesto unvocamente
en un producto de la forma
g = eA eV
donde
A=
l Al ; V =
i V i
y donde l y i son parametros reales. Esta descomposicion equivale a una particular

parametrizacion del espacio de los cosetos izquierdos G/H por medio de los parametros l . Adicionalmente esta descomposicion nos dice que para todo elemento g0 G
podemos escribir
0
0
g0 eA = e A e V
(5.4)
donde 0 = 0 (, g0 ) y 0 = 0 (, g0 ) son funciones de las variables indicadas, las
cuales son detereminadas por la estructura del grupo.
Teorema 5.2.1 Si H es un subgrupo de G y sea h H tal que
h : D (h)
es una representacion lineal y unitaria del subgrupo H, entonces las transformaciones
g0 : 0 , D (h)
(5.5)
constituyen una realizacion no lineal del grupo G.

Demostracion. Sea un elemento g0 G. Luego considerando que todo elemento de
g = eA eV se puede escribir por
0
g0 eA = e A h1 (, g0 )
(5.6)
es posible inducir una transformacion de simetra 0 (, g0 ) y del mismo modo

se induce una transformacion 0 0 (, g0 ). De esta forma el problema se reduce
a encontrar todas las posibles representaciones definidas sobre H. Una vez conocida
35
una representacion apropiada, se satisface la siguiente ley de transformacion

0
D (h1 ) = D e V .
Lo que completa la prueba.
Consideremos ahora las realizaciones no lineales de un grupo G, las cuales tienen

la propiedad de ser lineales cuando son restringidas al subgrupo continuo H de G. Se
probara, eligiendo coordenadas de modo conveniente que cualquier variedad sobre la
cual estas realizaciones son inducidas es equivalente a una que transforma de acuerdo
a la forma estandar dada por
0
g0 eA = e A e V
g0
0
0 , D e V
Esta forma estandar tiene la importante propiedad que el espacio de los parametros
l es transitivo bajo el grupo de las transformaciones. Comenzaremos re-fraseando el
problema en una forma mas abstracta.
Sea M una variedad analtica real ndimensional, y sea G un grupo de Lie que
es realizado como un grupo de transformaciones sobre M . En las ecuaciones
: x Tg x
se usa el smbolo x para denotar el punto de la variedad as como el n vector real
formado por las coordenadas del punto en alg
un sistema coordenado. Supondremos
que Tg es una funcion analtica tanto de g como de x. Si identificamos los campos de
una teora fenomenologica con alg
un conjunto particular de coordenadas sobre la variedad, entonces el problema de encontrar todas sus posibles leyes de transformacion
bajo un grupo G, es equivalente a encontrar todas las posibles maneras de realizar el
grupo como transformaciones sobre una variedad. La ventaja de formular el problema de esta manera es que el pasaje desde uno de estos campos a otro, lo cual como se
sabe no debe tener efecto sobre las predicciones fsicas de una teora fenomenologica,
se convierte en el pasaje de un conjunto de coordenadas a otra de la variedad, lo
36
cual no afecta al problema geometrico. La suposicion de analiticidad en la variedad

problema es necesaria debido a que en la teora de campos aparece la expansion en
series de potencia. Sin embargo existen ciertas consideraciones que deben tomarse
en cuenta. En primer lugar, las transformaciones generales de coordenadas no son
permitidas: se sabe, de las propiedades de lagrangianos no lineales, que un cambio de
coordenadas debe dejar invariante el origen de coordenadas. Por lo tanto asumiremos
que existe un punto especial de la variedad O, al cual llamaremos el origen, y solo
permitiremos sistemas coordenados tales que el origen es siempre representado por el
vector cero. Por u
ltimo, debido a que los campos son usados en u
ltima instancia, no
es necesario intentar caracterizar la accion del grupo globalmente siendo suficiente
hacer un estudio solo en la vecindad del origen O.
Existen elementos del grupo que dejan invariante el origen. La totalidad de dichos
elementos forma un subgrupo H de G. El subgrupo H es llamado el subgrupo de
estabilidad del origen y podra en particular consistir solo del elemento identidad o,
como otro caso extremo, podra consistir del grupo completo G.
Con esta reformulacion del problema de encontrar todas las posibles leyes de
transformacion bajo un grupo a encontrar todas las posibles formas de realizar no
linealmente un grupo G las cuales se convierten en lineales cuando nos restringimos al
subgrupo H. Con la idea de probar esta proposicion, sea M una variedad diferenciable
ndimensional, realizado como un grupo de transformaciones sobre la variedad
g : z gz
(5.7)
Sea O un punto arbitrario de M conocido como origen, de modo que todos los
elementos que lo dejan invariante constituyen un subgrupo H G. As cerca de la
vecindad de la identidad, es posible escribir
l
g = e Al e Vi = e Al ,
h=e
i Vi
(5.8)
(5.9)
37
y considerar la ley de multiplicacion (5.4), donde 0 = 0 (g0 , ) y 0 = 0 (g0 , ). De

esta forma, cuando se aplica un elemento sobre el origen
g0 O = e
0l A
hO = e
0l A
O N,
(5.10)
de donde vemos que N es parametrizado por los parametros l , lo cual significa que
{ l }l constituyen un buen conjunto de coordenadas para N , siendo = 0 las coordenadas del punto O. Si aplicamos un elemento arbitrario g G sobre un elemento
de N

l
0
0
Al
(5.11)
g e O = e h1 (g0 , )O = e O N,
se verifica que al actuar G sobre N , el resultado pertenece a N .
Puesto que N es d dimensional y esta dotado naturalmente con las coordenadas
l , es necesario introducir n d coordenadas A sobre M . As, por convencion, un
punto de N posee coordenadas A = 0. Estas coordenadas pueden ser escogidas de
acuerdo a lo enunciado en el lema de linealizacion.
Lema 5.2.2 Si H es un subgrupo de G, que consiste de todos los elementos que

dejan el origen invariante
hO = O, h H,
entonces, existe un conjunto de coordenadas , validas en una vecindad de O en N
tal que en estas coordenadas
h = D(h)
(5.12)
donde D(h) es una representacion lineal de h.
As, es posible parametrizar a M por 0 = (g0 , ) y 0 = D(H).
5.3.
38
Invariante izquierdo de Maurer-Cart

an
Consideremos la accion de G sobre G/H definida en (5.5), en particular, esco0

giendo h1 = e V con 0 = 0 (, g0 ) y aplicando la derivada exterior, se satisface
0
dg0 eA + g0 deA = (d 0 A e V + e A d 0 V ),
0
= e A e V (d 0 (, g0 ) A + d 0 (, g0 ) V ) .
(5.13)
Por otra parte, si g0 es fijo, pero arbitrario, el termino dg0 se anula. Adicionalmente,
escogiendo a g0 = eA , se satisface
eA deA = d 0 (, g0 ()) A + d 0 (, g0 ()) V.
(5.14)
De esta forma es posible definir la 1-forma izquierda de Maurer-Cartan por

= eA deA p A + v V,
(5.15)
donde al considerar g = eA G/H

= g 1 dg p A + v V.
(5.16)
siendo p y v, 1-formas en . Una caracterstica importante de es la invariancia de

la 1-forma p() bajo h1 ; en efecto, usando la accion de G sobre G/H
0
0 A de A = h1 (g0 eA )1 d(g0 eA h1
1 ),

S 1
= h1 (g0 eA )1 d(g0 eA ) h1
) d(g0 eA ) dh1
1 + h1 (g0 e
1 ,
1
= h1 eA deA h1
1 + h1 dh1 ,
1
= h1 h1
1 + h1 dh1 ,
(5.17)
luego usando la definicion (5.16),

0 = p0 A + v 0 V
1
= h1 (p A + v V )h1
1 + h1 dh1
1
1
= h1 ph1
1 A + h1 vh1 V + h1 dh1
(5.18)
39
donde es posible identificar

p0 A = h1 ph1
1 A,
(5.19)
1
v 0 V = h1 vh1
1 V + h1 dh1 .
(5.20)
De acuerdo con la expresion (5.19), la 1-forma p es invariante bajo h1 , mientras que

v 0 transforma como una conexion de gauge bajo la accion de h1 , la importancia de v 0
radica en la construccion de una derivada covariante bajo h1 . Ahora bien, aplicando
0
la derivada exterior sobre (5.5), donde D(h1 ) = e V , se satisface
0
d 0 = d 0 V + e V d
0
= e V [d + (d 0 V )]
(5.21)
= D(h1 ) [d + (d 0 V )]
(5.22)
Esto implica que la derivada sobre definida por,

D = d + (v V )
(5.23)
constituye un vector covariante bajo h1 . En general usando p y la derivada exterior

D, es posible construir acciones invariantes bajo h1 y por consiguiente invariantes
bajo G por
Z
S=
5.4.
L(, D)
(5.24)
Un ejemplo esf
erico
Consideremos el espacio coseto SU (2)/{e} siendo e la identidad [16]. Considerando una parametrizacion en termino de los angulos de Euler
3
g = exp i
2

2
3
exp i
exp i
2
2
(5.25)
40
donde 1 , 2 y 3 son las matrices de Pauli definidas por

1 =
0 1
1 0
!
,
2 =
0 i
i 0
!
3 =
1 0
0 1
!
(5.26)
se encuentra
i
g=
e2
0
e 2
cos 2 sin 2
sin 2 cos 2
sin 2 e 2 ()
cos 2 e 2 (+)
i
i
sin 2 e 2 () cos 2 e 2 ()
e2
0
e 2
(5.27)
!
,
(5.28)
cuya inversa es dada por

i
g 1 =
cos 2 e 2 (+) sin 2 e 2 ()

i
i
sin 2 e 2 () cos 2 e 2 ()
!
.
(5.29)
Calculando la 1-forma izquierda de Maurer-Cartan

=
1
(d
2
+ cos d)
1
[(cos d + sin sin d) + i(sin d sin cos d)]
2
!
1
[(cos
d
+
sin
sin
d)
i(sin
d
sin
cos
d)]
2
21 (d + cos d)
(5.30)
Al descomponer en terminos de las matrices de Pauli i , se encuentra

= (cos d + sin sin d)
+ (d + cos d)
2
1
+ (sin d sin cos d)
2
2
3
.
2
(5.31)
Definiendo sus componentes por

1 = cos d + sin sin d,
(5.32)
2 = sin d sin cos d,
(5.33)
3 = d + cos d,
(5.34)
41
es posible construir la accion invariante

Z
i i
+ 2 (sin sin cos )

+ 3 (
d 1 (cos + sin sin )
S=
=
+ cos )
(5.35)
(5.36)
donde i corresponde al pullback de la 1-forma i sobre la linea de mundo de una

partcula y i son constantes. Una advertencia es necesaria, debido a que existe
una analoga entre i y los generadores i /2 otra accion invariante puede construirse imponiendo el operador de casimir sobre i , considerando a i como un vector
covariante bajo SU (2).
i i = `(` + 1).
(5.37)
Sin embargo no detallaremos este caso. Ahora bien de (5.36), el termino 3 puede
ser eliminado de la accion puesto que corresponde a una derivada total de , as
no genera dinamica, siendo posible removerla usando las ecuaciones de E. Lagrange.

L
,

+ 2 (cos + sin sin ),
= 1 ( sin + cos sin )
d
L
0=
dt
+ cos (1 sin + 2 )
= sin (1 + 2 sin )
(5.38)
(5.39)
(5.40)
lo cual implica que

tan =
1 sin + 2
1 2 sin
(5.41)
o equivalentemente
cos = q
1 2 sin
h
i1/2
12 + 22 sin2 2 + 2
(5.42)
sin = q
1 sin + 2
h
i1/2
2
2
2
2
2
1 + 2 sin +
(5.43)
42
Insertando (5.42) y (5.43) en (5.36), teniendo en cuenta u

nicamente las soluciones
positivas y la extraccion de 3
Z
S=
12 2 1 2 sin + 12 sin2 2 + 1 2 sin + 2 1 sin + 22 2

d
q
i1/2
h
12 + 22 sin2 2 + 2
2 1 sin2 + 22 sin2 2
q
h
i1/2 + 3 cos
12 + 22 sin2 2 + 2
Z
q
q
2
2
= d 1 + 2 sin2 2 + 2 + 3 cos .
(5.44)
Finalmente absorbiendo 1 y 2 , se satisface la siguiente accion

Z
S=
sin2 2 + 2 + 3 cos ,
(5.45)
donde (5.45) puede interpretarse como una partcula moviendose sobre una esfera
~ = B0 z, tal
con momento magnetico
~ = 0
r sobre un campo magnetico uniforme B
que 3 = 0 B0 , siendo posible postular la siguiente realizacion fsica de esta accion
por
Z
q
~
~ B.
(5.46)
S = d sin2 2 + 2 +
donde es una constante que depende del sistema de unidades.
Por u
ltimo una observacion debe hacerse. Si 3 0 entonces en (5.25), se tiene
un elemento pertenciente a U (1), esto implica que es posible construir una accion
fsica que realize SU (2)/U (1) tomando u
nicamente 3 = 0 en la accion (5.45). As es
posible observar que una partcula libre en el espacio SU (2)/U (1) es equivalente a
una partcula en R3 vinculada sobre la superficie de una esfera.
5.5.
5.5.1.
43
Transformaciones de simetra
Definiendo una nueva notaci
on
Con el fin de obtener las transformaciones de simetra a partir de la accion de G

sobre el coseto G/H, resulta u
til introducir la operacion [15] definida por
1X =X 1=X
(5.47)
X Y = [X, Y ]
(5.48)
X 2 Y = [X, [X, Y ]]
(5.49)
X 3 Y = [X, [X, [X, Y ]]]

..
.
(5.50)
X n+1 Y = [X, X n Y ]
(5.51)
n1
(5.52)
Donde 1 corresponde a la identidad. Para una funcion analtica en x = 0 definida

sobre operadores
X
f (X) =
fn X n
(5.53)
n=0
es posible probar que

f (X) Y =
fn (X n Y ) = f0 + f1 [X, Y ] + f2 [X, [X, Y ]] + f3 [X, [X, [X, Y ]]] + ,
n=0
(5.54)
n
surgiendo una forma equivalente para X Y por

Xn Y =
n
X
(1)p
p=0
n
p
!
X np Y X p ,
(5.55)
la cual puede probarse usando el metodo de induccion matematica. A partir de estas

definiciones, se verifica
g(X) (f (X) Y ) = [g(x)f (x)] Y,
siendo posible enunciar el siguiente lema
(5.56)
44
Lema 5.5.1 Sean X, Y elementos de un algebra de Lie g, luego las siguientes proposiciones son validas
eX Y eX = eX Y
eX eX =
1e
X
(5.57)
(5.58)
Demostracion. La primera proposicion (5.57) es una consecuencia de la proposicion

(5.56), considerando una representacion en serie de la funcion exponencial.
Para la segunda (5.58), sea la siguiente funcion integral
f (t) = etX etX ,
(5.59)
donde al considerar su derivada

d
df
(t) = Xetx etX + etX
etX ,
dt
dt
tX
tX
tX
= Xe e + e (X etX + XetX ),
= XetX etX + etX XetX + XetX etX ,
= etX XetX ,
(5.60)
y ocupando el primer teorema fundamental del calculo y la proposicion (5.57)

X
e =
Z0 1
df
dt (t) =
dt
dt etX XetX ,
dt etx X,
0
1
etX
=
X,
X 0
1 eX
=
X.
X
=
(5.61)
5.5.2.
45
Transformaciones de Simetra
Con el fin de obtener las transformaciones de simetra a partir de la accion de G

sobre el coseto G/H, es necesario aplicar una variacion sobre g0 en (5.4), esto implica
0

0
0
g0 eA = e A + e A (h1 + h1 ) e A h1
0
g0 eAa = e A h1 + e A h1
e
aA
g0 e
aA
aA
aA
= h1
(5.62)
en particular considerando que g0 y h1 son infinitesimales, es posible escribir

e
aA
(g0 1)e
aA
aA
aA
= h1 1.
(5.63)
ocupando las proposiciones (5.57) y (5.58) del lema (5.5.1), es posible escribir (5.63)
por
1 eA
A
( A) = h1 1
(5.64)
e
(g0 1)
( A)
de modo que se tienen dos casos posibles para g0
(a) g0 = e0 A
En este caso, el lado izquierdo contiene u
nicamente generadores del coseto,
mientras que el lado derecho contiene generadores asociados al subgrupo de
estabilidad H G, siendo valido afirmar que
eA (0 A)
1 eA
( A) = 0
( A)
(5.65)
determinando as .
(b) g0 = h0 H
Este caso es trivial, puesto que usando la regla de multiplicacion (5.6), se
asegura que tranforma linealmente bajo H. En efecto
0
heA = e A h1 (, g0 ), 4
0
e A = heA h1
1 ,
(5.66)
46
de modo que al fijar h = h1 , puesto que h1 H

0
e A = heA h1 .
(5.67)
h = exp ( V )
(5.68)
Escogiendo una representacion
y considerando u
nicamente los terminos infinitesimales en (5.67)

1 + 0a Aa = (1 + a Va ) 1 + b Ab (1 c Vc )
= 1 + a Aa + a [Va , Ab ] b ,
(5.69)
de modo que al considerar la representacion adjunta de los generadores Aa en

H, se satisface [Va , Ab ] = Cab c Ac y por lo tanto
a = (c Ccb a ) b
(5.70)
Captulo 6
Partcula libre con simetras
descritas por el
algebra B4
En este captulo se tiene como objetivo principal, la exposicion de la construccion
de un lagrangiano que describa a una partcula libre y sus propiedades en un espacio
coseto B4 /Lorentz. Una construccion detallada en [1, 2] y [18], sugiere interpretar al
background electromegnetico constante f como un termino de interaccion y no como simetras adicionales del espaciotiempo plano. Con el fin de exponer con claridad
estas ideas, comenzaremos detallando la construccion de un lagrangiano asociado a
una partcula libre en el espacio de Minkowski, para luego deformarlo introduciendo un termino de interaccion, construido a partir de las realizaciones no lineales de
B4 sobre el grupo de Lorentz. A continuacion postularemos una metrica sobre este
espacio coseto, formulando de manera alternativa un lagrangiano que conlleva a las
mismas ecuaciones del movimiento descritas por el lagrangiano deformado. Finalmente detallaremos nuevas posibilidades que nos entrega este acercamiento teorico.
6.1.
Partcula libre Relativista
Sea P el grupo de Poincare compuesto por una suma directa entre las transformaciones de Lorentz SO(3, 1) y el subgrupo abeliano de las traslaciones. Este hecho
permite identificar a cada punto del espaciotiempo por una traslacion asociada a un
punto fijo (o de estabilidad). Claramente si el punto esta fijo, este no se mueve y por
47
Captulo 6. Partcula libre con simetras descritas por el algebra B4
48
lo tanto los boost de Lorentz no lo modifican, por otro lado si se realizan rotaciones
en un sistema coordenado con el origen en este punto, no hay cambio. As el subgrupo de las transformaciones de Lorentz constituyen un subgrupo de estabilidad sobre
el punto fijo. De acuerdo con lo se
nalado, un elemento del espacio de Minkowski
P/Lorentz, puede ser representado por
g = ex
aP
(6.1)
siendo P a y J ab los generadores asociados al algebra de Poincare (A) 1 . Calculando

la 1-forma izquierda de Maurer-Cartan
= g 1 dg = g 1 (dxb Pb ex
aP
) = g 1 gdxa Pa = dxa Pa ,
(6.2)
donde
ea = dxa
(6.3)
transforma como un vector contravariante de Lorentz. De esta forma postulando el

lagrangiano
L = a x a
(6.4)
con a un vector covariante, observamos que el correspondiente momento canonico
coincide con este vector, en efecto
pa =
L
= a .
x a
(6.5)
Luego considerando que pa es la variable conjugada a x a y ea es la 1-forma dual a

Pa , es posible identificar a a con el generador Pa , imponiendo as el operador de
casimir invariante bajo Poincare sobre la variable conjugada a
1 2
( + m2 ) = 0,
2
(6.6)
En la primera parte de esta tesis supondremos todas las constantes de acoplamiento incluidas
en los generadores.
49
incorporando este vnculo usando el metodo de los multiplicadores de Lagrange, es

posible postular el lagrangiano de primer orden por
e
L = a x a ( 2 + m2 ).
2
(6.7)
donde e es un multiplicador de Lagrange. Variando (6.7) con respecto a a

x a e a = 0 a =
x a
,
e
(6.8)
de modo que al sustituir

x a x a m2
e.
(6.9)
2e
2
Este lagrangiano se denomina de Hooft Polyakov para la partcula libre, el cual
muestra de manera manifiesta la invariancia de gauge bajo reparametrizacion de la
partcula relativista. Un aspecto u
til que nos permite esta accion es la descripcion
de la dinamica asociada a una partcula libre sin masa (massless).
L=
Por u
ltimo variando (6.9) con respecto a e
x a xa 2 m2
e
=0e=
2
2
x a x a
m
(6.10)
se satisface
L = m
p
x a x a
(6.11)
que corresponde a la accion de segundo orden o de Nambu-Goto. Hasta ahora hemos

descrito tres posibilidades para la accion de una partcula relativista donde el lagrangiano de Primer orden (6.7) presenta el inconveniente de estar definido en el espacio
de fase, mientras que el de Nambu-Goto (6.11) resulta inutil en la descripcion de una
partcula sin masa. Ahora bien usando el formalismo de las realizaciones no-lineales,
es posible, en adicion, determinar las simetras infinitesimales que act
uan sobre este
lagrangiano.
6.1.1.
50
Simetras y Operadores de Casimir
Sea g SO(3, 1), de modo que al considerar la ecuacion

h1 (g0 , xa )ex
aP
a
xa Pa
h1
.
1 (g0 , x ) = e
(6.12)
y expandir el lado izquierdo en terminos infinitesimales

1 ab
1 de
1
c
1 + Jab (1 x Pc ) 1 Jde = 1 xc Pc ab xc [Jab , Pc ]
2
2
2
1
= 1 xc Pc ab xc [Jab , Pc ]
2
1
= 1 xc Pc ab xc (bc Pa ac Pb ) ,
(6.13)
2
y el lado derecho
1 x0c Pc ,
(6.14)
e insertando (6.13) y (6.14) en (6.12)

x0a = xa + ab xb
xa = ab xc .
(6.15)
Sea ahora g P/SO(3, 1), luego usando la ecuacion (5.63)

exa Pa (a P )
1 exa Pa
x P = 0,
x P
(6.16)
se tiene
a P + x P = 0 xa = aa .
(6.17)
As, a partir de (6.15) y (6.17) se satisfacen las siguientes transformaciones de simetras infinitesimales
P a : P x a = aa ,
Jab : J xa = ab xb ,
51
de modo que al construir las cargas conservadas de Noether que realizan el algebra
de Poincare, se satisface la siguiente realizacion del algebra
L
P xa = a
x a
L
Jab = a J xa = (xa b xb a ) .
x
Pa =
(6.18)
(6.19)
Realizando as los operadores de Casimir por

Pa P a = 2 = m2 ,
2
2

1 abcd
1 abcd
a
Pa Jcd = (b )( (xc d xd c ))
Wa W =
2
2
2
abcd
= b x c d .
(6.20)
(6.21)
(6.22)
El primer operador de casimir corresponde al operador de masa y se encuentra intimamente relacionado con la causalidad y la geometra del espaciotiempo donde yace
la partcula, mientras que el segundo se encuentra relacionado con el operador de
spin y por lo tanto con la naturaleza intrnseca de la partcula.
6.2.
Deformaci
on del lagrangiano de la partcula
libre relativista
Consideremos el espacio coseto B4 /L donde B4 corresponde al algebra de Poin(3)

care S-expandida [5] en el semigrupo SR el cual coincide con el algebra de Maxwell
[2]. La idea que sugieren, [13] y [18] consiste en agregar un termino de interaccion
al lagrangiano de la partcula libre relativista, de modo que el lagrangiano completo
sea invariante bajo B4 . Sea el algebra de Maxwell descrita por (3.37), (3.38), (3.39),
(3.40), (3.41) y (3.42). Luego, realizando un elemento del grupo coseto B4 /L por

1 ab
a
g = exp x Pa Zab = exp () ,
2
(6.23)
52
y calculando la 1-forma de Maurer-Cartan utilizando (5.58) con X = =: xa Pa +

1 ab
Zab
2
= g 1 dg

1 e
=
d
P

1 n
1
n=0 n!
=
d
P 1 n
n=1 n!
=
d
X
1 n1
=
d
n!
n=1
(6.24)
teniendo en cuenta
1
d = dxc Pc + dab Zab ,
2

1 ab
1 cd
a
c
d =
x Pa + Zab dx Pc + d Zcd ,
2
2
1
1
= xa dxc Pa Pc + xa dcd Pa Zcd + ab dxc Zab Pc
2
2
1 ab cd
+ d Zab Zcd ,
4
1 a c
=
(x dx xc dxa ) Zab ,
2

1 ab
1 cd
1 ef
a
c
e
d =
x Pa + Zab x Pc + Zcd dx Pe + d Zef ,
2
2
2

1 a cd
1 ab c
1 ab cd
a c
=
x x Pa Pc + x Pa Zcd + x Zab Pc + Zab Zcd
2
2
4

1
dxe Pe + def Zef ,
2

1 a c
1 ef
c
a
e
=
(x dx x dx ) Zab dx Pe + d Zef ,
2
2
= 0,
..
.
n veces
z }| {
d = 0,
53
donde se han ocupado los conmutadores, es posible escribir

1
11 a b
= dxa Pa + dab Zab +
x dx xb dxa Zab + 0 + + 0 + ,
2
22

1
1 a b
a
ab
b
a
Zab ,
= dx Pa +
d +
x dx x dx
2
2
1
= ea Pa + k ab Zab .
2
Se satisfacen las siguientes componentes duales a Pa y a Zab
ea = dxa
(6.25)
k ab = dab +

1 a b
x dx xb dxa
2
(6.26)
respectivamente. Notese que si Zab 0 se restaura el grupo de Poincare, por lo

tanto la 1-forma ea construye la accion de una partcula libre relativista, mientras
que la otra 1-forma k ab construye el termino de interaccion, obtienendose el siguiente
lagrangiano invariante de primer orden

L = a x a
|
1
e 2
( + m2 ) + fab kab
2{z
} |2 {z }
P art.Lib.Rel.
(6.27)
Inter.Elect.
siendo kab el pullback de k ab sobre la linea de mundo de la partcula. De (6.27), se

tienen dos campos a y fab . El primer campo a corresponde al momento canonico
asociado a la partcula libre relativista vinculado a permanecer en la cascara de masa,
notese que la inclusion de este vnculo en el lagrangiano, mediante el multiplicador
e, permite considerar a a como un conjunto de cantidades linealmente independientes, las cuales pueden ser removidas del lagrangiano usando las ecuaciones del
movimiento. El segundo campo fab representa una variable dinamica que acopla una
interaccion asociada al generador Zab que en un principio puede ser cualquiera. As es
posible considerar la siguiente reduccion en el espacio de configuracion

xa , a , ab , fab xa , ab , fab .
(6.28)
54
Calculando los momentas canonicos asociados a x a , ab y fab

L
1
fab xb ,
=
+
a
a
x
2
L
pab =
= fab ,
ab
L
= 0.
pfab =
fab
pa =
(6.29)
(6.30)
(6.31)
siendo posible identificar los siguientes vnculos

1
C = ( 2 + m2 ) = 0,
2
Cab = pab fab = 0,
1
a = pa fab xb ,
2
f
Cab
= pfab = 0.
(6.32)
Veamos ahora la implicacion fsica de (6.27). Para ello removiendo la cantidad a

variando L con respecto a ella
L = (x a e a ) a = 0 a =
x a
e
(6.33)
sustituyendo (6.33) en (6.27), es posible expresar el lagrangiano de Hooft-Polyakov

de la partcula libre asociado al termino de interaccion por

1
1
x 2 m2
ab
a
b
b
a
e + fab +
L=
x x x x
.
2e
2
2
2
(6.34)
Calculando las ecuaciones del movimiento en el gauge del tiempo propio
e :
xa :
fab :
ab :
x 2
e=
m

d x a
d 1
1
b
+
fab x + fab x b = 0
d e
d 2
2

1 a b
ab =
x x xb x a
2
fab = 0
(6.35)
(6.36)
(6.37)
(6.38)
55
teniendo en cuenta la dependencia temporal de fab y la ecuacion del movimiento

asociada a e, es posible reescribir todas las ecuaciones anteriores por
xa :
m
xa = fab x b

1
ab = xa x b xb x a
2
fab = 0.
fab :
ab :
(6.39)
(6.40)
(6.41)
Las ecuaciones de movimiento (6.39) y (6.41) describen a una partcula libre relativista, moviendose en un campo electromagnetico externo constante, asociado a un
potencial Aa = 21 fab k ab . La ecuacion (6.40) relaciona a las nuevas coordenadas ab
con el momentum angular de la partcula, de modo que es posible interpretar a ab
como una cantidad relacionada con el momento magnetico asociado al campo. Notese ademas que si sustituimos (6.41) en (6.39), obtenemos la ecuacion del movimiento
descrita por el lagrangiano (6.34).
6.2.1.
Simetrias y operadores de Casimir
Usando el formalismo de las realizaciones no-lineales es posible encontrar las

transformaciones de simetra generadas por los generadores Pa y Zab usando las
ecuacion (5.65). En efecto calculando la simetra generada por Pa y Zab

1
e Pa ab Zab
2
1 e

1 ab
a
x Pa + Zab = 0.
2
(6.42)
Expandiendo y reduciendo el primer termino, teniendo en cuenta que P n P = 0

para todo n > 2 y Z n P = Z P n = 0 para todo entero n positivo
"
1
1 + xa Pa + ab Zab
2
1
+
2!
#

2

1
1 cd
a
ab
c
x Pa + Zab + Pc Zcd
2
2
1
= c Pc xa c Pa Pc cd Zcd
2
1
1
= c Pc (xa c xc a )Zac cd Zcd
2
2
1
1
= c Pc + (a xc c xa ) Zac cd Zcd .
2
2
(6.43)
56
Del mismo modo, sobre el segundo termino

1 e

=
X
1 n1

n!
n=1
donde
1
= xa Pa + ab Zab
2

1 a b
=
x x xb xa Zab
2
..
.
n = 0, n > 1
As el conjunto de todos los terminos satisface
a Pa +

1 a b
1
1
x b xa Zab ab Zab + xa Pa + ab Zab
2
2
2
1
+ (xa xb xb xa )Zab = 0
4
(6.44)
o equivalentemente

1 a b
1 a b
b a
ab
ab
b
a
( x )Pa +
x x + +
x x x x
Zab = 0
2
2
a
(6.45)
esto implica
1
ab = ab (a xb b xa ),
2
xa = a ,
ab + ba = 0.
(6.46)
Ahora debemos encontrar las transformaciones de Lorentz, asociadas al generador

Jab usando el formalismo de las realizaciones no-lineales para ello. En efecto, usando
la propiedad (5.6) se satisface
ex
aP
1 ab
a 2 Zab
= e2
ab J
ab
ex
aP
1 ab
a 2 Zab
e 2
ab J
ab
(6.47)
Expandiendo el lado derecho, usando las reglas de conmutacion (3.37), (3.38), (3.39),
(3.40), (3.41) y (3.42) e igualando el lado derecho con el izquierdo, se tienen las
57
siguientes transformaciones infinitesimales de simetra

xa = a b xb ,
ab = [a c cb] ,
ab + ba = 0.
(6.48)
Por otro lado el hecho de imponer que fab sea un tensor covariante de Lorentz, implica
que la transformacion de simetra generada por Jab satisface
fab = c[a f cb] ,
ab + ba = 0.
(6.49)
58
Usando las ecuaciones (6.46), (6.48) y (6.49) es posible calcular las cargas de Noether
1 L
L
1 L
P ab +
P fab
P x a +
a
ab
x
2
2 fab
1
= pa P xa + pab P ab
2

1
1 a b 1 b a
a
= pa + pab x + x
2
2
2

1
= pa a + pab c ca xb + cb xa
4
1
= pa a + c (pcb xb pca xa )
4

1
a
b
= pa pab x
2
P =
1 L
L
1 L
Z x a +
Z ab +
Z fab
a
ab
x
2
2 fab
1
= pab ab
2
1
= ab (pab )
2
(6.50)
Z =
1 L
L
1 L
J ab +
J fab
J x a +
a
x
2 ab
2 fab
1
1
= pa a b xb + pab [a c cb] + pfab [a c f cb]
2
2
1
1
1
= p[a x b] ab + p[ab [ac c b] + pf[ab ac fc] b
2
2
2

1 ab
= p[a x b] + p[ac c b + pf[ac f c b]
2
(6.51)
J =
(6.52)
Luego teniendo en cuenta que las cargas de Noether estan asociadas a cada generador
por
1
1
P = ea Pa , Z = ab Zab , Jab = ab Jab ,
(6.53)
2
2
59
es posible realizar al algebra de Maxwell por

1
b
Pa = pa pab x
2
Zab = pab

Jab = p[a x b] + p[ac c
(6.54)
(6.55)

b]
+ pf[ac f c b] .
(6.56)
Usando esta realizacion del algebra y los vnculos (6.32) es posible representar a los
operadores de casimir (3.43), (3.47) y (3.51) por
C1 = P 2 Jab Z ab = 2 = m2
1
1
1
1
C2 = Z 2 = (pab )(pab ) = fab f ab = f 2
2
2
2
2
1 1
ab cd
C3 = Z Z = abcd f f
2
2
(6.57)
(6.58)
(6.59)
A partir de estos operadores de Casimir es posible notar que C1 corresponde a la

cascara de masa que impone condiciones de causalidad sobre los sistemas de referencias, mientras que C2 y C3 corresponden a los invariantes electromagneticos que
define el tensor electromagnetico f ab .
6.3.
Sustituyendo el espaciotiempo de Minkowski

por B4/Lorentz
Usando las 1-formas de Maurer Cartan duales a Pa y Zab respectivamente, es

posible postular el siguiente elemento de linea definido sobre B4 /L
e
ds = dx dxa +
2m
2

2
1 a b
ab
b
a
d + (x dx x dx )
2
(6.60)
donde los indices se suben y bajan usando la metrica ab = diag(, +, +, +). Considerando que en cada sistema de referencia inercial ds2 es invariante, en un sistema
60
de referencia comovil sobre un foton se satisface

e
d = dx dxa +
2m
2
2
1 a b
b a
+ (x x x x )
2
ab
(6.61)
o equivalentemente
e
1 = x +
2m
2
2
1 a b
ab
b a
+ (x x x x )
2
(6.62)
siendo (6.62) un vnculo de la teora. Ahora bien, considerando que el tiempo propio
d = ds2 /c es una cantidad que no depende del sistema de referencia inercial escogido.
La accion mas simple que podemos postular debe ser proporcional al tiempo propio,
esto es
( "

2 #)1/2
Z
Z
1
e
ab + (xa x b xb x a )
ds2 = m d x 2 +
S = m
2m
2
(6.63)
siendo el lagrangiano del sistema definido por
v "
u
2 #

u
e
1
L = mt x 2 +
ab + (xa x b xb x a )
2m
2
(6.64)
Calculando las ecuaciones del movimiento para una partcula libre en este espacio
sobre cd

L
m
e ab 1 a b
b a
=
+ (x x x x ) ac bd
2
cd
2 % m

e
1
=
cd + (xc x d xd x c )
2
2 %

e
1
=
2
2
L
=0
cd

d
L
L
d
e
1
cd =
= 0.
d cd
d
2
2
(6.65)
61
Definiendo el tensor fcd por

1
fcd = cd + (xc x d xd x c )
2
(6.66)
se satisface
fcd = 0
(6.67)
s

2
e
1
Por otra parte, definiendo % = . x 2 + 2m ab + 2 (xa x b xb x a )
y calculando las ecuaciones del movimiento para xa

1
m
e ab 1 a
L
b a
c
=
+ (x xb
x x )
(xa bc xb ac )
2x +
x c
m
2
2
2 %

1
e ab 1 a
b a
=
mx c +
+ (x xb
x x ) (xa bc xb ac )
4
2
%

1
e
1
=
mx c +
ac + (xa x c xc x a ) xa
2
2
%
e
= mx c fac xa
2

1 a b
1
L
e
ab
b a
b
a
+ (x x x x )
=
(ac x bc x )
xc
2
2
2 %

e
1
1
=
ac + (xa x c xc x a ) x a
2
2
%
e
= fac x a
2

d L
e
e
e
L
xc fac xa fac x a fac x a = 0
c = m
c
d x
x
2
2
2
o equivalentemente
m
xc = efca x a + efca xa
(6.68)
Finalmente sustituyendo (6.66) en (6.68) se satisfacen las siguientes ecuaciones del

movimiento
fcd = 0,
m
xa = efab x b
1
fab = ab + (xa x b xb x a )
2
(6.69)
(6.70)
62
Lo cual puede interpretarse tambien como una partcula libre relativista moviendose
sobre un campo electromagnetico constante. La diferencia que este punto de vista
entrega en comparacion al descrito en la seccion anterior, radica en la posibilidad de
interpretar al campo f como una cantidad que llena completamente el espacio que
depende u
nicamente de las simetras definidas sobre este espacio, de manera tal que
no es posible detectarlas de manera directa.
Captulo 7
La Partcula Libre y el
algebra de
Poincar
e Generalizada B5
En este captulo se tiene como objetivo, encontrar el lagrangiano de la partcula
libre definida sobre un espacio coseto B5 /Lorentz, interpretando a los terminos adicionales como terminos de interaccion. Por otra parte analizaremos las simetras de
este espacio, estudiando la realizacion dinamica de los generadores del algebra.
7.1.
El
algebra de Poincar
e generalizada B5
El algebra de Poincare generalizada B5 corresponde a un tipo de algebra Sexpandida

(3)
utilizando como semigrupo a SE [5] lo que conduce a una extension del algebra de
Maxwell incorporando un generador parametrizado por Za . Esta algebra satisface
las siguientes reglas de conmutacion
63
Captulo 7. La Partcula Libre y el algebra de Poincare Generalizada B5
64
[Pa , Pb ] = Zab ,
[Zab , Pc ] = bc Za ac Zb ,
[Jab , Zc ] = bc Za ac Zb ,
con todas las combinaciones restantes nulas.
7.2.
El Lagrangiano invariante bajo B5
Consideremos ahora una deformacion del lagrangiano asociado a la partcula

libre relativista, introduciendo para ello dos terminos de interaccion. Uno de ellos
corresponde al termino asociado al generador Zab , cuya magnitud se especifica por un
campo fab , mientras que el otro se encuentra asociado al generador Za y su magnitud
se especifica por un camo fa
1
1
e 2
2
L = a x ( + m ) + fab kab + fa ka ,
2{z
|
} |2 {z } |2 {z }

P art.Lib.Rel.
Inter.Zab
Inter.Za
donde kab y ka corresponden a las 1-formas de Maurer-Cartan asociadas a Zab y a Za ,

ambas definidas sobre el espacio coseto B5 . Los campos fab y fa cuyas coordenadas se
imponen covariantes de Lorentz, en conjunto con las coordenadas xa , ab y a tienen
la propiedad de parametrizar el espacio de fase.
Sea el espacio coseto B5 /Lorentz, el cual caracteriza a cada elemento g B5 /Lorentz
65
por

1 ab
a
a
g = exp x Pa Zab Za
2
donde Pa , Zab y Za corresponde a los generadores asociados al algebra B5 . Luego
calculando la 1forma de Maurer-Cartan, teniendo en cuenta que = xa Pa + 12 ab +
a Za
= g 1 dg,

1 e
d,
=
P

1 n
1
n=0 n!
=
d,
X
1 n1
=
d,
n!
n=1
n veces
1
1
1
= d + d + d + d + ,
2!
3!
n!
de modo que al calcular cada termino por separado
1
d = dxa Pa + dab Zab + da Za
2
d =
=
=
=
=
=
=
66

1 ab
1 cd
a
a
c
c
x Pa + Zab + Za dx Pc + d Zcd + d Zc
2
2

1
1
xa dxc Pa Pc + xa dcd Pa Zcd + xa dc Pa Zc + ab dxc Zab Pc
2
2
1
1
1
+ ab dcd Zab Zcd + ab dc Zab Pc + a dxc Za Pc + a dcd Za Zcd
4
2
2
+a dc Za Zc )

1 ab c
xa dxc Pa Pc +
dx xc dab Zab Pc
2

1 a c
1 ab c
(x dx xc dxa ) Zac +
dx xc dab (bc Za ac Zb )
2
2

1 a b
1
1
1
x dx xb dxa Zab + ab dxc bc Za ab dxc ac Zb xc dab bc Za
2
2
2
2
1 c ab
+ x d ac Zb
2

1 a b
1
1
1
x dx xb dxa Zab + ab dxc bc Za + ab dxc bc Za xc dab bc Za
2
2
2
2
1 c ab
x d bc Za
2

1 a b
x dx xb dxa Zab + ab dxc bc xc dab bc Za
2

1 a b
x dx xb dxa Zab + ab dxb xb dab Za
2

1 cd
1 ab
a
c
c
a
d = x Pa + Zab + Za x Pc + Zcd + Zc
2
2

1
dxe Pe + def Zef + de Ze
2
= xa xc dxe Pa Pc Pe
= xa xc dxe Pa (Pc Pe )
= xa xc dxe (Pa Zce )
= xa xc dxe (Zce Pa )
= xa xc dxe (ea Zc ca Pe )
= xa xc dxe (ca Pe ea Zc )
= (xc xc dxa xc xa dxc ) Za
d = 0
..
.
n veces
1
d = 0, n > 3
n!
..
.
se satisface

1 a b
1
ab
b
a
= dx Pa +
d +
x dx x dx
Zab ,
2
2

1
1 ab
a
ab
c
a
c a
+ d +
dxb xb d + (xc x dx x x dxc ) Za ,
2
6
a
o equivalentemente
1
= ea Pa + k ab Zab + k a Za .
2
67
68
donde
ea = dxa ,

1 a b
x dx xb dxa ,
2
1
1
k a = da +
ab dxb xb dab + (xc xc dxa xc xa dxc ) ,
2
6
k ab = dab +
(7.1)
(7.2)
(7.3)
Esto nos permite postular el siguiente lagrangiano.

1
1
ab
a
b
b
a
L = a x + fab +
x x x x
2
2

1
1
a
ab
ab
c
a
c
a
+fa +
x b xb
+ (xc x x x x x c )
2
6

2
+ m2
2
a
introduciendo los campos a , fab y fa . La cantidad corresponde a un multiplicador

de Lagrange que vincula las cantidades a , dado el vnculo x 2 = 1. Este lagrangiano
de primer orden introduce un nuevo campo que corresponde a fa introduciendo as un
nuevo termino que podra tener consecuencias cosmologicas interesantes. Construyendo la accion de Hooft-Polyakov, variando a se satisface

1
2 1
x 2
ab
a
b
b
a
m + fab +
x x x x
L =
2 2
2
2

1

1
ab
ab
a
b
a
b
a
x b xb
+
+fa +
xb x x x x x b .
2
6
Lagrangiano u
til al considerar partculas sin masa. Por u
ltimo a partir de se puede
postular la accion de Nambu-Goto de la partcula libre por

1
1 a b
ab
b a
2
x x x x
L = m x + fab +
2
2

1
1 ab
a c
c
a
ab
a
+fa +
x b xb + (xc x x x x c x ) .
2
6
(7.4)
69
A partir de aqu es posible calcular las ecuaciones del movimiento para una partcula
masiva al considerar L = 0 y xa x a = 0
fa
fab
ab
a
xa
7.3.
1
1 ab
ab
a
x a xc xc
: = x b xb
2
6

1
: ab = xa x b xb x a
2
1
: fab = (fa x b fb x a )
2
: fa = 0
1
1
: m
xc = fcb x b + fa xa x c = fcb x b fcb xb
4
2
(7.5)
(7.6)
(7.7)
(7.8)
(7.9)
Simetras y Cargas de Noether
7.3.1.
Simetras
A partir de las realizaciones no lineales de B5 , teniendo en cuenta al grupo de

Lorentz como subgrupo de estabilidad, es posible determinar las simetras asociadas
a los generadores Pa , Zab y Za , de modo analogo a (6.42). As, a partir de =
xa Pa + 12 ab Zab + a Za

1 ab
1 e
1 ab
a
a
a
a
e Pa Zab Za
x Pa + Zab + Za = 0.
2
2
(7.10)
donde al calcular el primer termino del lado izquierdo de (7.10)

1 ab
a
a
e Pa Zab Za
2
!

2

1
1
1
1 + xa Pa + ab Zab + a Za +
xa Pa + ab Zab + a Za +
=
2
2
2

1
a Pa ab Zab a Za
2

1 ab
1 ab
1 ab
a
a
a
a
a
a
=
Pa Zab Za + x Pa + Zab + Za Pa Zab Za
2
2
2

2

1
1
1
+
xa Pa + ab Zab + a Za a Pa ab Zab a Za .
(7.11)
2
2
2
70
Luego, calculando cada miembro por separado de (7.11)

1 ab
1 ab
a
a
a
x Pa + Zab + Za Pa Zab Za ,
2
2

1 a b
=
x b xa Zab + ab xb ab b Za ,
2

2

1 ab
1 ab
a
a
a
a
x Pa + Zab + Za Pa Zab Za ,
2
2

c a
c
a
a
cd
a
= (x xc x c x ) Za + c xd c cd d Za ,
a
(7.12)
(7.13)
y sustituyendo (7.12), (7.13) en (7.11)

1 ab
a
e Pa Zab Za ,
2

1
1 a b
= a Pa ab Zab a Za +
x b xa Zab + ab xb ab b Za ,
2
2

1 c a
(x xc xc c xa ) Za + a c cd xd a c cd d Za .
2
Calculando el segundo termino del lado izquierdo de (7.10)

1 e
X
1 n1

=
n!
n=1
(7.14)
donde los conmutadores no nulos, satisfacen

1
= xc Pc + cd Zcd + c Zc
(7.15)
2

1
1
=
xa Pa + ab Zab + a Za xc Pc + cd Zcd + c Zd
2
2

1 a b
x x xb xa Zab + (ac xc a xb ) Za
(7.16)
=
2
= (xc xa xc xc xa xc ) Za
(7.17)
71
siendo posible sustuir (7.15), (7.16), y (7.17) en (7.14), obteniendo

1 e

1
1 a b
= xa Pa + ab Zab + a Za +
x x xb xa Zab
2
4

1
1 b a
+ ab xb xb ab Za +
x x xa xb xb Za .
2
3!
y por lo tanto la expresion completa satisface

1
1 a b
a Pa ab Zab a Za +
x b xa Zab + ab xb ab b Za
2
2

1 c a
1 a cd
c
a
(x xc x c x ) Za +
c xd a c cd d Za
2
2

1 a b
1 ab
a
a
+x Pa + Zab + Za +
x x xb xa Zab
2
4

1 ab
1 c a
ab
+ xb xb Za + (x x xc xc xc xa ) Za
2
6
= 0,
permitiendo definir las siguientes traslaciones asociadas a los generadores Pa , Zab y
Za en el espacio B5 /Lorentz:
xa = a ,

1 a b
x b xa ,
ab + ba = 0,
2
1

1
1 ab
b ab xb a c cd xd cd d + xc (a xc c xa ) .
= a +
2
2
12
ab = ab
a
Ahora bien, puesto que el grupo de Lorentz es el subgrupo de estabilidad asociado a

la realizacion no lineal del grupo B5 , es directo verificar que transforma linealmente
bajo este. As
xa = a b xb ,
ab = [a c cb] ,
a = a b b ,
ab + ba = 0.
Por u
ltimo, debido a que las campos fa y fab se postularon covariantes bajo el grupo
de Lorentz
fab = [a c cb] ,
fa = ac cb .
7.3.2.
72
Cargas de Noether y la Realizaci

on del Algebra
Calculando ahora las cargas conservadas

P =
=
=
Z =
=
=
Z =
=
L
1 L
L
a xa +
a ab +
a a
a
a
x
2 ab

1
1
1 ab
1 a b
1 a c a
1
a
b a
a c
c a
pa + pab x x
+ fa
b + c a + xc x xc x
2
2
2
2
12
12

1
1
1
a pa pab xb +
fb b a + fb b c c a +
f a x2 f c xa x c
2
2
6
L
1 L
L
ab xa +
ab ab +
ab a
a
ab
a
x
2

1 ab
pab fa xb fc c a xb
2
1 L
L
L
ab xa +
ab ab +
ab a
a
ab
x
2
a

1 ab
p[a x b] + p[ac c b] + f[a b]
2
1 L
L
L
a xa +
a ab +
a a
a
x
2 ab
a
fa a
es posible verificar que se satisfacen las corrientes de Noether

Pa
Jab
Zab

1
1
1
b
b
b
c
2
= pa pab x +
fb a + fb c a +
f a x f c xa xc
2
2
6

= f[a b] + p[a x b] + p[ac c b]

= pab fa xb fc c a xb
Za = fa
Realizando as el algebra B5
Parte II
El origen de las constantes de
acoplamiento entre el
algebra de
Maxwell y AdSL4
73
Captulo 8
Fundamentos de la Relatividad
General
En este captulo detallaremos los aspectos escenciales de la Teora General de la
Relatividad, recalcando tanto en su formulacion de Palatini como de Cartan. As, el
objetivo de este captulo consiste en sentar los fundamentos necesarios para construir
acciones invariantes bajo Poincare, Maxwell y AdSL4 , incorporando los parametros
de cada algebra y la constante fundamental G, que serviran como referentes para
los captulos posteriores. Paralelamente, considerando que que la algebra de Maxwell constituye una extension central del algebra de Poincare, del mismo modo que el
algebra AdSL4 lo es de AdS y el algebra de Poincare constituye una contraccion tipo
Inon
u-Wigner/S-expansion del algebra AdS, como Maxwell lo es del algebra AdSL4 ;
es de esperarse que las diferentes acciones gravitacionales invariantes que se construyan, se puedan obtener a partir de un lmite apropiado, permitiendo adicionalmente
su estudio desde un enfoque no relativista.
8.1.
Relatividad General: Fundamentos
La Relatividad General es una teora que explica el origen de la interaccion

gravitacional y su fenomenologa en terminos de la geometra asociada a una entidad
dinamica conocida como el espaciotiempo. La idea de un espaciotiempo se fundamenta a traves de un principio fsico clave: El principio de equivalencia. Este
74
Captulo 8. Fundamentos de la Relatividad General
75
principio afirma que sobre cada punto del espaciotiempo es posible fijar un sistema
de referencia local lorentziano, en el cual los postulados de la Relatividad Especial son
validos. De esta forma, representando a cada sistema de referencia local por una carta
coordenada (xa , Ua ) donde xa son las coordenadas definidas en Ua , el espaciotiempo
constituye una Variedad Diferenciable. As, para cada punto del espaciotiempo
existe un abierto Ua y un homeomorfismo xa diferenciable que mapea a cada punto
p Ua al Espacio-tiempo de Minkowski. Despues de introducir estos conceptos,
la concepcion del espaciotiempo es clara; por muy intrincado que sea el espaciotiempo, siempre sera posible identificar una carta coordenada a cada punto de la variedad
y mapearla al espacio-tiempo de Minkwoski.
Por otra parte, la geometra del espaciotiempo se define en terminos de las transformaciones entre abiertos, o transformaciones entre coordenadas. El postulado que
gobierna la geometra es el principio de covariancia de la fsica: Todas las cantidades definidas en terminos del espaciotiempo deben ser covariantes o transformar de
acuerdo al grupo de las transformaciones generales de coordenadas. As es posible

definir un tensor T de rango np en una base {1 n dx1 dxp } como
un objeto matematico, cuyas componentes transforman de acuerdo a
T1 n
1 p (p) =
xn x1
xp 1 n
x1
T
x1
xn x1
xp
1 p (p),
siendo { } la base del espacio tangente y { } la base del espacio cotangente, ambas
definidas sobre un punto del espaciotiempo.
En la geometra de Riemman, las propiedades metricas quedan completamente de
terminadas por un tensor g de rango 02 llamado tensor metrico y definido por
g (p) = (p) (p).
Este tensor constituye el campo dinamico que la Teora General de la Relatividad
postula, de modo que la dinamica del espaciotiempo Notese que g es simetrico
en sus ndices inferiores, de modo que de las 16 grados de libertad originales solo
sobreviven 10, de los cuales, en un sistema de referencia local Lorenziano, 4 se asocian
a Traslaciones (ea ) y 6 se asocian a Transformaciones de Lorentz ( ab ).
8.2.
76
Relatividad General: Formulaci

on de Palatini
Consideremos un vector contravariante V definido en un punto Q con coordenadas x + x, cerca de un punto P con coordenadas x. As, con el fin de comparar
V definido en P con el definido en Q, resulta necesario definir una operacion tal
que al actuar sobre el vector V , lo transporte de Q a P conservando su orientacion,
puesto que tanto V (x + x) como V (x) pertenecen a espacios tangentes distintos.
Un anzsat apropiado sera una perturbacion lineal definida por
V|| (x + x, x) = V (x + x) + v (x + x)V (x + x)x
V (x + x) + v (x)V (x)x
de modo que al compararlos

V|| (x + x, x) V (x) = V (x + x) + v (x)V (x)x V (x)
= [ V (x) + v (x)V (x)]x
V x
definiendo as la Derivada Covariante de un vector contravariante V por
V (x) = V (x) + v (x)V (x).

Lo que permite definir a V como un tensor de rango 11 , modificando las propiedades de transformacion de v (x). De esta forma, es posible denotar a este objeto
matematico por conexion afn, el cual debe transformar de acuerdo a la siguiente ley
x x 2 x
x x x

.
v (x) =
x x x x x x x
Notemos que esta propiedad no depende de la metrica, de modo que existen dos
cantidades que en un principio pueden ser independientes: la metrica y la conexion
(formalismo de primer orden); sin embargo el hecho de postular a g como el u
ni
co campo dinamico de la teora, significa que las cantidades deben depender
u
nicamente del tensor metrico g o sus derivadas (formalismo de segundo orden).
Esto implica que la conexion afn debe ser simetrica en sus dos ndices covariantes
77
= , de modo que el tensor de torsi

on definido por
T = 0
(8.1)
se anula en todo punto. As, los grados de libertad existentes se pueden escribir
en terminos de la metrica g (o ab en terminos de ea ). Bajo estas consideraciones
la conexion afn adopta la siguiente forma funcional
1
= g ( g + g gv )
2
cuyas componentes corresponden a los smbolos de Christoffel de segunda clase.
Consideremos ahora cuatro puntos P , Q, R y S con coordenadas x , x + dx1 ,
x + dx1 + dx2 y x + dx2 respectivamente. Sea V un vector contravariante, el cual
transportaremos a lo largo de P QR y P SR comparando sus valores, as sobre P QR
VPQR (R) = V (Q) + (Q)V (Q)dx2
= V (P ) + (P )V (P )dx1

+ (Q) V (P ) + (P )V (P )dx1 dx2
= V (P ) + (P )V (P )dx1 + (Q)V (P )dx2
+ (Q) (P )V (P )dx1 dx2
donde al considerar que
(Q) = (x + dx1 ) = (x) + (x)dx1 = (P ) + (P )dx1
78
y sustituyendo en
V (R) = V (P ) + (P )V (P )dx1 + ( (P ) + (P )dx1 ) V (P )dx2
+ ( (P ) + (P )dx1 ) (P )V (P )dx1 dx2
= V (P ) + (P )V (P )dx1 + (P )V (P )dx2
+ (P )V (P )dx1 dx2 + (P ) (P )V (P )dx1 dx2
= V + V dx1 + V dx2

+ + V dx1 dx2
Del mismo modo, sobre P SR
VPSR (R) = V (P ) + (P )V (P )dx2 + (P )V (P )dx1
+ (P )V (P )dx2 dx1 + (P ) (P )V (P )dx2 dx1
= V + V dx2 + V dx1

+ + V dx2 dx1
As al calcular la diferencia entre ambas
VPQR VPSR =
=

+ V dx2 dx1

+ V dx2 dx1
= R V dx2 dx1
se puede observar que V donde R es el tensor de Riemman de primera clase
definido por
R = +
(8.2)
Esto implica que el transporte paralelo es una cantidad que depende exclusivamente
de la curva escogida, es por ello que al considerar el conmutador entre las derivadas
79
covariantes (el cual es no nulo) es posible construir tensores mas generales, en efecto
[ , ]V = V V

= V + V V + V

= [ ] V + [ ] V + [ ] V [] V

+ [ ] + [ ] [] V

= [ ] + [ ] V [] V + V
= R V T V
donde R es el tensor de Riemman de primera clase (8.2) y T es el tensor de
torsion (8.1). Una vez definidos los tensores R y T asociados a los grados de
libertad y g respectivamente (los cuales son linealmente dependientes entre
si), resulta importante preguntarse si estos tensores entregan nueva informacion al
operar la derivada covariante sobre ellos, notese que al imponer el vnculo T = 0
no se tiene nueva informacion al operar la derivada covariante sobre T , por lo
tanto operando la derivada covariante sobre R se satisface
[ R ] = 0
(8.3)
identidad conocida como la Identidad de Bianchi. Finalmente, al considerar que

los u
nicos tensores (no nulos) de la teora son g y R es posible construir
contracciones del tensor R como el tensor R = R conocido como Tensor
de Ricci y por consiguiente el escalar R = g R conocido como Escalar de Ricci
o Escalar de Curvatura, postulando as la accion de Einstein-Hilbert por
SEH
1
=
16G
d4 x
gR
(8.4)
donde g es el determinante de la metrica y la constante 1/16G se ajusta a partir

del lmite nor relativista.
8.3.
80
Relatividad General: Formulaci

on de Cart
an:
Aunque el formalismo de Palatini fue aquel con el que originalmente se concibio la

`
Relatividad General, existe un formalismo alternativo descubierto por Elite
Cartan
que promueve la nocion de localidad e independencia entre la estructura metrica y
afn del espaciotiempo, manteniendo la nocion de una cantidad invariante bajo transformaciones locales de Lorentz. La estructura metrica del espaciotiempo se define,
en terminos de cualquier sistema coordenado, por la metrica g . En particular, considerando que para cada punto P siempre puede escogerse un conjunto de vectores
base {ea } que sean ortogonales entre si (a diferencia de ) , se satisface
ea eb = ea eb g = ab
(8.5)
donde ab = diag(1, +1, +1, +1) es la metrica de Minkwoski. Las cantidades {ea }
corresponden a las componentes de la matriz cambio de base de { } a {ea } de
modo que ea = ea . Luego como un cambio de coordenadas debe ser una aplicacion biyectiva, la inversa de la matriz cambio de base debe ser invertible. As, las
componentes ea definidas sobre {dx } tal que ea = ea dx deben satisfacer
ea e b = ba ,
ea ea =
siendo posible expresar la g en terminos de las componentes ea por

g = ea eb ab .
(8.6)
Bajo estas consideraciones, se define el vielbein ea asociado a la metrica g por

ea = ea dx cuyas componentes ea y las componentes inversas ea satisfacen las
ecuaciones (8.6) y (8.5) respectivamente. Una propiedad importante del vielbein, que
se deduce de la definicion, es la no-unicidad que existe en su eleccion, puesto que si
se hace una eleccion ea tal que
ea = a b eb
(8.7)
81
al sustituir en (8.7) se satisface

a c b d ab = cd
existendo infinitas elecciones para una metrica g . Adicionalmente se observa, de
(8.7), que ea transforma como un vector de Lorentz y como una 1-forma bajo transformaciones generales de coordenadas.
Por otra parte, la estructura afn del espaciotiempo nace de la construccion de un
operador diferencial D = dx D que permita construir tensores locales de Lorentz
en su operacion sobre tensores locales de Lorentz. Claramente d = dx no es un
operador diferencial apropiado puesto que al actuar sobre (8.7)
d
ea = a b deb + da b eb
el cual no transforma como un 1-vector de Lorentz, debido al termino inhomogeneo
a b eb = da b eb . De aqu es posible corregir el operador d de modo que la condicion
pedida sea satisfecha, definiendo para ello el operador
Dea = dea + a b eb ,
siendo ab una 2-forma bajo transformaciones generales de coordenadas, que debera corregir la inhomogeneidad del operador d. Luego, al imponer
D
ea = a b Deb ,
ab debera transformar de acuerdo a la siguiente ley
a b = a c
d
b
cd b c da c ,
definiendo, bajo esta ley de transformacion, a ab como una conexion, denominada

conexi
on de spn y a D como el operador Derivada Covariante. Finalmente
imponiendo que el operador D, al actuar sobre un vector V , debe ser consistente con
82
aquel definido en el formalismo de Palatini , debe imponerse la siguiente igualdad

DV = V,
de modo que para DV se satisface

DV = V a + a b V b dx ea = V ea + V + a b eb V dx ,
mientras que para V
V = V +
V
dx ,
donde al reetiquetar los ndices de manera apropiada

V +
= V ea + V + a b eb V = V ea + V + a b eb V ,
se verifica la siguiente condicion

D ea = ea
+ a b eb
= 0.
(8.8)
conocida como el Postulado del Vielbein. Ahora bien, equipados con la derivada
covariante D y las 1-formas ea y ab resulta posible construir cantidades covariantes
bajo transformaciones locales de Lorentz, aplicando de manera sucesiva D sobre ea .
8.3.1.
Torsi
on y Curvatura
Al operar la derivada covariante D, de manera sucesiva sobre el vielbein, se

satisface
Dea = dea + a b eb

D2 ea = D (dea ) + D a b eb

= d (dea ) + a b deb + (D a b ) eb a b Deb

= d2 ea + a b deb + (d a b + a c c b c b a c ) eb a b deb + b c ec
= R a b eb
83
donde se definen las 2-formas, Torsi

on y Curvatura por
T a = Dea
Rab = d a b + a c cb
(8.9)
(8.10)
Al aplicar nuevamente la derivada covariantes sobre estas 2-formas

DT a = D (Dea ) = Rab eb
DRab = 0
(8.11)
(8.12)
Identidades conocidas en la literatura (vease [17]) como Identidades de Bianchi.

De las identidades de Bianchi es claro que al operar sucesivamente la derivada covariante sobre Rab y T a se obtienen las mismas 2-formas de manera cclica, siendo las
u
nicas que se pueden construir mediante derivaciones sucesiva sobre el vielbein ea .
Expresando estas 2-formas en termino de sus componentes
1 a
T dx dx
2
1 ab
=
R dx dx
2
Ta =
Rab
se satisfacen las siguientes relaciones

T a = a a
Rab = a a + a b a b
donde al fijar T a = 0, ab dependera de ea y por lo tanto toda la informacion tanto
metrica como afn dependera del tensor metrico, fijandose la conexion afn por los
smbolos de Christoffel .
8.3.2.
Acci
on Invariante Bajo el Grupo de Poincar
e
Ahora bien, equipados con los tensores Ra y T a es posible postular una accion
invariante localmente bajo el grupo de Lorentz, mediante los tensores invariantes de
84
Poincare ab y abcd . La equivalente a la de Einstein-Hilbert satisface

1
S=
64G
abcd Rab ec ed
donde la accion S corresponde a una 4-forma. Veamos ahora las propiedades de esta
accion al aplicar por un lado el operador variacional y las simetras asociadas al
grupo de Poincare. Realizando la variacion se satisface
Z
1
S =
abcd Rab ec ed + abcd Rab ec ed + abcd Rab ec ed
64G
Z
1
abcd Rab ec ed + 2abcd Rab ec ed
=
64G
(8.13)
donde se verifica
Rab = d ab + a c cb
= d ab + a c cb + a c cb
= d ab + ac c b + a c cb
= d ab + b c ac + a c cb

= D ab
(8.14)
de modo que al sustituir (8.14) en (8.13)

Z

1
abcd D ab ec ed + 2abcd Rab ec ed ,
S =
64G
Z

Z
Z

1
ab c d
c d
ab
ab c d
=
d abcd e e + 2 abcd T e + abcd R e e
64G
donde el primer termino corresponde a un termino de borde que puede ser anulado
imponiendo que ab se anule en la frontera del espacio tiempo (Condicion de Dirichlet) o que el espaciotiempo no tenga borde (Condicion de Neumann), mientras
que del segundo y el tercero surgen las ecuaciones de campo, al considerar ea y ab
85
linealmente independientes, por

abcd T a eb = 0
abcd Rab ec = 0
Notese que la primera ecuacion satisface
a b
abcd T e
cd
= T
+T
gec ed []cd d4 x
= 0
donde se verifica que T = 0, de modo que T = 0. Esto permite expresar al
vielbein ea en terminos de la conexion de spin a traves de la ecuacion
T a = dea + a b eb = 0.
Captulo 9
La escala microsc
opica del
espaciotiempo como el origen de la
constante gravitacional
En este captulo expondremos las ideas principales detalladas en [7] y sus observaciones con el fin de aplicar comparaciones entre el algebra B4 AdSL4 . La velocidad
de la luz (c), la constante de planck (~) y la constante gravitacional (G) proveen un
conjunto de n
umeros con dimensiones de longitud, masa y tiempo, de modo que
cada unidad de longitud, masa y tiempo puede ser expresada en termino de estos
n
umeros, sin embargo la constante gravitacional a diferencia de de las otras dos se
encuentra atada a una teora dinamica particular lo cual resulta insatisfactorio en
muchos aspectos. La escala de longitud que G determina es la longitud de Plack,
aproximadamente 1033 cm, siendo esta escala en la que se vuelven importantes las
correciones introducidas por la gravedad cuantica, sin embargo estas correciones son
infinitas y no pueden ser removidas mediante el proceso de renormalizacion. Esto
nos dice que la solucion a este problema no se alcanzara a menos que haya un entendimiento detallado del origen de la constante gravitacional.
Con el fin de sortear esta dificultad, reemplazaremos el grupo de simetras locales que describe el grupo de Poincare, por las del grupo De-Sitter y consideraremos
el parametro ` proporcional a la longitud de Planck. Supongamos que un 4-vector
86
Captulo 9. La escala microscopica del espaciotiempo como el origen de la

87
se transporta alrededor de una curva cerrada con dimensiones de la longitud de

Planck, luego como el parametro ` , el conmutador asociado a las traslaciones
es muy grande y por ende el 4-vector rotara significativamente alrededor de un eje
perpendicular a la curva. Supongamos ahora que un 4-vector de Lorentz se transporta alrededor de una curva cerrada con dimensiones de una partcula elemental,
esto es 1013 cm, de modo que el cuociente entre esta cantidad y ` es 1020 , el 4-vector
debe ser transportado 1020 veces sobre una curva cerrada del orden de la longitud de
Planck, de modo que si la direccion del 4-vector depende del camino escogido, existen
1020 caminos indistingibles, pero muy diferentes para que el 4-vector sea transportado, as la contribucion neta es nula. En otras palabras el conmutador se abelianiza a
medida que la escala se hace mas grande y no lo hace mientras se hace mas peque
no,
lo que justifica esta eleccion del grupo.
9.1.
Acci
on invariante bajo el grupo dS
Sea A una conexion definida sobre el grupo dS

1
1
A = ea Pa + ab Jab
`
2
donde TA = {Pa , Jab } son los generadores asociados al algebra del grupo SO (D 1, D 2),
siendo D la dimension del espaciotiempo y el parametro ` uno que se introduce con
la idea de dejar a los campos de gauge adimensionales. Calculando su 2forma curvatura F = dA + A A

1 a
1
1 a b
ab
F = T Pa +
R 2 e e Jab
(9.1)
`
2
`
donde
T a = dea + a b eb ,
Rab = d ab + a c cb .

88
Luego, si definimos Ja5 = Pa

2
C a5 = T a ,
`
C ab = Rab
1 a b
e e,
`2
(9.2)
(9.3)
es posible definir la 2forma curvatura por

1
1
1
F = C a5 Ja5 + C ab Ja b = C IJ JIJ
2
2
2
(9.4)
As es posible postular la accion tipo Yang-Mills

Z
1
S=
d4 x|e| AC BD g g CAB CCD
4

Z
1
1
1
6
4
a
=
d x g 4 + 2 R + 2 Sa S
Rab Rab
`
`
`
4
(9.5)
con g = det(e) = |e| y AB = diag(+, , , , +). Es directo verificar que

al imponer que ea sea el vielbein asociado al grupo de Poincare al tomar un lmite apropiado, cada termino por separado construye una accion de Einstein-Hilbert
con constante cosmologica negativa mas dos invariante topologicos, sin embargo, al
comparar con (8.4), dicha eleccion solo se cumple para
`2 = 16G.
(9.6)
El resultado descrito en (9.6) constituye un link entre la constante gravitacional y el

parametro del grupo, el cual surge de las simetras asociadas al espaciotiempo, sin
necesidad de invocar a una teora dinamica de la gravitacion. Por u
ltimo, el factor
numerico 16 proviene de haber fijado el factor original de la accion 14 , el cual puede
ser modificado con tal de que coincida con el valor exacto.
Notese que la accion (9.5) es invariante bajo las transformaciones de gauge definidas sobre los campos ea y ab asociadas al algebra dS, lo que conlleva a suponer
educadamente que bajo un cierto lmite ea debe corresponde al vielbein definido para
el grupo de Poincare. Esta dificultad puede ser eliminada, permitiendo que la accion

89
no sea invariante bajo las respectivas transformaciones de gauge, postulando una

accion mediante las componentes TA de la 2-forma curvatura (9.4) y una eleccion
apropiada de los tensores invariantes [19] por
Z
1
S = 2 abcd C ab C cd
4
Z
1
1
=
2 abcd Rab ec ed + abcd Rab Rcd 4 ea eb ec ed
2`
l
(9.7)
se observa que igual es posible mantener la igualdad (9.6) al contraer el grupo dS al

grupo de Poincare.
Captulo 10
Las constantes de acoplamiento
entre el
algebra de Maxwell y la
algebra AdSL4
De la misma manera en la que la constante gravitacional se independiza de la
teora dinamica que describe la interaccion gravitacional, sustituyendo para ello el
grupo de Poincare por el grupo dS, resultara instructivo ver que ocurrira con las
constantes de acoplamiento, al comparar, cuando se fija el grupo de Maxwell como
background y se sustituye por el grupo AdSL4 ; de la misma manera en la que se
argumenta en [7].
10.1.
Acci
on Invariante Bajo El Grupo de Maxwell
Sea ahora el grupo B4 , cuya algebra se encuentra definida por (3.37)-(3.42). Luego
definiendo una conexion A asociada a esta algebra por
1
1 ab
1
k Zab
A = ea Pa + ab Jab +
`
2
2q`2
de modo que TA = {Pa , Jab , Zab } corresponden a los generadores asociados a B4
y los parametros ` y e, en unidades de longitud y adimensional respectivamente, se
90
Captulo 10. Las constantes de acoplamiento entre el algebra de Maxwell y la

algebra AdSL4
91
colocan con el fin de adimensionalizar los campos de gauge. Calculando la 2forma

curvatura.

1 ab
1 1 ab
1
1 a b
(10.1)
F = T Pa + R Jab +
B 2 e e Zab
`
2
2 q`2
`
Ahora bien, considerando que la accion mas simple que se puede construir mediante
la eleccion de (10.1) y , hJab Jcd i = abcd y hZab Jcd i = abcd

Z

1
1
1
ab
a b
cd
S =
B
qe
e
R
+
abcd Rab Rcd
abcd
2
4
q`
4
Z
1
1
1
=
2 abcd B ab Rcd + 2 abcd Rab ec ed abcd Rab Rcd .
4q`
4`
4
(10.2)
con B ab = D k ab , T a = D ea y Rab = Rab = d ab + a c cd . Donde se tienen dos

invariantes topologicos y un termino proporcional a la accion de Einstein-Cartan.
Una conclusion nueva que puede deducirse de (10.2), corresponde a que la constante gravitacional no necesariamente puede encuentrarse atada al grupo AdS, sino
que a otros grupos como lo es el grupo de Maxwell, al comparar esta accion con la
de Einstein-Cartan. Esto indica que la constante gravitacional se podra encontrar
relacionada con los grupos S-expandidos del algebra AdS.
10.2.
Acci
on invariante Bajo El Grupo AdSL4
Sea ahora el grupo AdSL4 , cuya algebra se encuentra definida por

[Pa , Pb ] = Zab ,
[Zab , Zcd ] = bc Zad + ad Zbc ac Zbd bd Zac ,
[Zab , Pc , ] = bc Pa ac Pb , .
Captulo 10. Las constantes de acoplamiento entre el algebra de Maxwell y la

algebra AdSL4
92
Luego considerando una conexion A asociada a esta algebra, definida por

1
1
1 ab
A = ea Pa + ab Jab +
k Zab
`
2
2`2
de modo que TA = {Pa , Jab , Zab } corresponden a los generadores y ` y son parametros con unidades de longitud y adimensional respectivamente con el fin de adimensionalizar los campos de gauge. Calculando su 2forma curvatura
1
1
1
F = T a + ab Jab +
`
2
2
1
`2

1 a cb
1 a b
B 2 k ck
2 e e Z ab
`
`
ab
se satisface la siguiente accion (10.1), al considerar , hJab Jcd i = abcd y hZab Jcd i = abcd

Z

1
1
1 a mb
ab
a b
S =
abcd
B e e 2 4 k m k
Rcd + abcd Rab Rcd
4
`2
`
Z
1
1
1
1
abcd Rab B cd 2 abcd Rab ec ed 2 4 abcd Rab k c m k md + abcd Rab Rcd
=
2
4`
4`
4 `
4
Z
1
1
1
abcd Rab B cd + 2 abcd Rab ec ed + 2 4 abcd Rab k c m k md
=
2
4`
4`
4 `
1
abcd Rab Rcd
(10.3)
4
Donde se tiene un termino proporcional a la accion de Einstein-Cartan y otro proporcional a (10.2).
10.2.1.
Comentarios Adicionales
A partir de este punto, existe un trabajo en desarrollo que tiene como objetivo
relacionar las constantes e, `, y G con la constante . Para ello, una posibilidad
consiste en acoplar el campo de Dirac en el lagrangiano invariante bajo Maxwell
y AdSL4 respectivamente una comparacion entre ambos, de modo que bajo cierto
lmite el lagrangiano invariante de Maxwell sea analogo al lagrangiano invariante
bajo AdSL4 .
Captulo 11
Conclusiones y Proyecciones
En esta tesis se han tratado dos nuevos aspectos fundamentales. El primero tiene
que ver con una descripcion detallada de la partcula libre en el algebra de Poincare generalizada B5 , lo cual constituye un resultado nuevo. La forma en la que una
nueva interaccion surge a partir de esta algebra descrita por fa , sugiere que posibles
efectos como la energa oscura que se describen en termino de fuerzas, sean efectos
que surgen al considerar otro grupo de simetras y no el grupo de Poincare como
background local.
El segundo aspecto que se ha tratado, tiene que ver con un trabajo futuro que busca
relacionar las constantes e, , ` y G asociadas al algebra de Maxwell y AdSL4 . Al sugerir la inclusion del campo de Dirac en ambas acciones, nos sera posible asignarle un
significado fsico a alguno de los parametros descritos y por lo tanto relacionar estas
constantes con las simetras que construyen estas teoras gravitacionales alternativas.
A modo de extension del resultado nuevo presentado, resultara interesante e instructivo construir las representaciones de estos grupos con el fin de definir el estado
de la 1-partcula (One-Particle State). Esto tiene consecuencias en la formulacion
de una teora de campos basada en un background definido por las simetras de los
grupos B4 y B5 .
93
Ap
endice A
El grupo de Poincar
e
El conjunto de simetras asociadas a la relatividad especial, son caracterizadas

por el grupo de Poincare P, las cuales se componen por una suma directa entre las
transformaciones de Lorentz y las traslaciones, constituyendo dos subgrupos respectivamente. Sea a b una transformacion de Lorentz y aa una traslacion tal que al
realizar una composicion entre una transformacion de Lorentz y una traslacion
x0a = xb + aa
donde al aplicarla dos veces sucesivas
x00a = a2 b b1 c xc + a2 c ac1 + aa2
(A.1)
es posible definir un elemento del grupo por (, a) y su producto por

(2 , a2 ) (1 , a1 ) = (2 1 , 2 a1 + a2 ).
(A.2)
Usando este producto y una representacion fiel de (, a) es posible determinar el

algebra de Lie definida sobre el espacio tangente para cada elemento perteneciente
a este grupo: El algebra de Poincare. Las relaciones de conmutacion de este grupo
94
Apendice A. El grupo de Poincare
95
satisfacen
[P a , P b ] = 0
(A.3)
[J ab , P c ] = bc P a ac P b
(A.4)
[J ab , J cd ] = cb J ad ca J bd + bd J ca da J cb .
(A.5)
Para esta algebra existen dos operadores cuadraticos de casimir, el operador de masa
C 1 = Pa P a .
(A.6)
C2 = W a W a .
(A.7)
y el operador de spin
que se construye a partir del vector de Pauli-Ljubanski

Wa = abcd P b J cd .
(A.8)
Ap
endice B
El grupo (Anti-)de Sitter
El grupo (A)dS G = SO(D 2, 2) se constituye por el conjunto de las rotaciones
en un espacio D dimensional con metrica AB = (, +, , +, ) y A, B = 1, . . . , D.
El algebra asociada a este grupo satisface las siguentes relaciones de conmutacion
[J A B, J CD ] = CB J AD CA J BD + BD J CA DA J CB .
(B.1)
Para poder hacer una comparacion explcita entre el algebra asociada al grupo de
Poincare y esta algebra, es necesario reescalar los generadores asociados al coseto
G/SO(3, 1) mediante un parametro ` con unidades de longitud. Desdoblando estos
generadores en J ab con a, b = 1, D 1 y J aD = `P a se satisface
1 ab
J ,
`2
[J ab , P c ] = bc P a ac P b ,
[P a , P b ] =
[J ab , J cd ] = cb J ad ca J bd + bd J ca da J cb .
(B.2)
(B.3)
(B.4)
Siendo esta forma del algebra que ocuparemos en detalle, notemos por u
ltimo que
si ` , se restaura el algebra de Poincare, proceso conocido como contracci
on de
Inon
u-Wigner. Una representacion para el grupo Anti-de Sitter es constituido por
las matrices gamma a , las cuales satisfacen un algebra de Clifford embebida en la
metrica ab = (, +, +, +)
{a , b } = 2ab .
(B.5)
96
Apendice B. El grupo (Anti-)de Sitter
97
En particular, definiendo ab = 12 [a , b ] y (B.5) se satisfacen las siguientes reglas de

conmutacion
[a , b ] = 2ab
(B.6)
[ab , c ] = 2( bc P a ac P b )
(B.7)
[ab , c ] = 2( cb J ad ca J bd + bd J ca da J cb )
(B.8)
de modo que `a /2 y ab /2 constituyen una representacion de P a y J ab respectivamente.
Ap
endice C
M
etrica de Killing-Cart
an
Sea g un algebra de Lie semisimple, definida en termino de sus generadores {TA }
y sus constantes de estructura CAB C . A partir de aqu es posible definir la metrica
de Killing-Cartan por
gAB = CAD C CBC D
(C.1)
Luego considerando que CAB
funcion de TB , es decir
corresponde a la representacion adjunta de TA en
RTB (TA )C D = CAD C
(C.2)
se satisface
gAB = CAD C CBC
= RTD (TA )C D RTC (TB )D C = Tr [RTD (TA )RTC (TB )] ,
(C.3)
luego, considerando que la traza es una cantidad que no depende de la representacion

ocupada, la metrica de Killing-Cartan satisface
gAB = Tr [R(TA )R(TB )] .
(C.4)
Por otra parte, como el algebra g es semisimple det(m ) 6= 0, siendo posible invertir
gAB , es decir existe g BC que satisface la siguiente propiedad,
gAB g BC = AC
(C.5)
98
Apendice C. Metrica de Killing-Cartan
99
denotando a la inversa de gAB por g AB , es posible construir tensores invariantes

bajo el grupo g cuya algebra asociada es el algebra g, permitiendo la construccion
de acciones invariantes bajo g. Por otra parte al considerar que g AB es una forma
bilineal invariante bajo g, es posible construir los operadores cuadraticos de Casimir
por
C = g AB TA TB
(C.6)
Bibliografa
[1] S. Bonanos, J. Gomis, K. Kamimura, and J. Lukierski Maxwell Superalgebra and Superparticles in Constant Gauge Backgrounds Phys. Rev. Lett. 104
(2010)
[2] J. Gomis, K. Kamimura, J. Lukierski, Deformations of Maxwell algebra
and their dynamical realizations, JHEP 0908:039 (2009)
[3] H. Bacry, P. Combe, J. Richard Group-Theoretical Analysis of Elementary
Particles in an External Electromagnetic Field., I. N. Cimenta, Vol LXVIII
(1970)
[4] R. Schrader The Maxwell Group and the Quantum Theory of Particles in
Classical Homogeneous Electromagnetic Fields, F. der Physik 20 (1974)
[5] S. Salgado, P. Salgado, so(D 1, 1) so(D 1, 2) algebras and gravity,
Phys. Letter B. 728 (2014).
[6] F. Izaurieta, E. Rodriguez, Patricio Salgado, Expanding Lie (super)algebras through abelian semigroups, J. Math. Phys. 47 (2006).
[7] P. Townsend, Small-scale structure of spacetime as the origin of the gravitational constant, Phys. Rev. D 15, 2795 (1977)
[8] T. Eguchi, P. Gilkey, A. J. Hanson Gravitation, Gauge Theories And
Differential Geometry, Physics Reports 66 (1980) 213-393.
[9] Lie Groups, Physics, and Geometry. An Introduction for Physicists, Engineers and Chemists, R. Gilmore, Cambridge Press 2008.
100
Bibliografa
101
[10] M. Nakahara, Geometry, Topology And Physics, IOP Publishing Ltd 2003.
[11] S.W Hawking, G.F.R EllisThe Large Scale Structure Of Space-Time, Cambridge Press 1973
[12] J. B. Gutowski, Symmetry and Particles Physics, Michaelmas Term 2007,
Cambridge University.
[13] S. Coleman, J. Wess, B. Zumino Structure of Phenomenological Lagrangians I, Phys. Review 177 (1962)
[14] C. Callan, S. Coleman, J. Wess, B. Zumino Structure of Phenomenological Lagrangians II, Phys. Review 177 (1962)
[15] B. Zumino, Non-Linear Realization of Supersymmetry in Anti de Sitter Space,
Nucl. Phys. B (1977)
[16] Gary W. Gibbons, Steffen Gielen, The Petrov and Kaigorodov-Ozsvath
Solutions: Spacetime as a Group Manifold, Class. Quantum Grav. 25 (2008)
[17] V. de Sabbata, M. Gasperini, Introduction To Gravitation, World Scientific
Publishing Co Pte Ltd 1985.
[18] S. Bonanos, J. Gomis, A note on the Chevalley-Eilenberg cohomology for the
Galilei and Poincare algebras, J. Phys. A: Math. Theor (2009)
[19] S. W. MacDowell and F. Mansouri, Unified Geometric Theory of Gravity
and Supergravity Phys. Rev. Lett. 38, 739 (1977)
[20] J. Friedman, M. Turner, D. Huterer, Annu. Rev. Astrophys 46,385
(2008) arXiv: 0803.0982v1 [hep-th]
[21] J. Lukierski, Proc. Steklov Inst. Math. 272 (2011) 183, arXiv:1007.3405
[22] Wess, J.; Zumino, B., Supergauge transformations in four dimensions, Nuclear Physics B 70: 39?50 (1974).
[23] K. Brading, E. Castellani, Symmetries in Physics: Philosophical reflections, Cambridge University Press 2003.

Tesis

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tesis

Uploaded by

Copyright:

Available Formats

n

Tesis presentada por Alexander Ian Smith Clark

Director de Tesis : Dr. Patricio Salgado Arias

Dr. Patricio Salgado Arias

Dr. Julio Oliva Zapata

La partcula libre y las

2.2. Vectores Tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Vectores Cotangentes . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4. Formas Diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.2. Operador Diferencial o Derivada Exterior . . . . . . . . . . . .

2.4.3. Operador de Contraccion . . . . . . . . . . . . . . . . . . . . .

2.5. Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3. Operadores de Casimir . . . . . . . . . . . . . . . . . . . . . . . . . .

4.1. Teora de Gauge Invariante Bajo U (1) Local . . . . . . . . . . . . . .

4.2. Teoras de Gauge No-Abelianas . . . . . . . . . . . . . . . . . . . . .

4.2.1. Ejemplo: Teora de Gauge invariante SU(2) . . . . . . . . . . .

5.2. Realizaciones No-Lineales . . . . . . . . . . . . . . . . . . . . . . . .

5.3. Invariante izquierdo de Maurer-Cartan . . . . . . . . . . . . . . . . .

5.4. Un ejemplo esferico . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.5. Transformaciones de simetra . . . . . . . . . . . . . . . . . . . . . .

5.5.1. Definiendo una nueva notacion . . . . . . . . . . . . . . . . . .

5.5.2. Transformaciones de Simetra . . . . . . . . . . . . . . . . . .

6. Partcula libre con simetras descritas por el

6.1. Partcula libre Relativista . . . . . . . . . . . . . . . . . . . . . . . .

6.1.1. Simetras y Operadores de Casimir . . . . . . . . . . . . . . .

6.2. Deformacion del lagrangiano de la partcula libre relativista . . . . . .

6.2.1. Simetrias y operadores de Casimir . . . . . . . . . . . . . . . .

6.3. Sustituyendo el espaciotiempo de Minkowski por B4 /Lorentz . . . . .

7.1. El algebra de Poincare generalizada B5 . . . . . . . . . . . . . . . . .

7.2. El Lagrangiano invariante bajo B5 . . . . . . . . . . . . . . . . . . . .

7.3. Simetras y Cargas de Noether . . . . . . . . . . . . . . . . . . . . . .

7.3.2. Cargas de Noether y la Realizacion del Algebra

II El origen de las constantes de acoplamiento entre el

algebra de Maxwell y AdSL4

8.2. Relatividad General: Formulacion de Palatini . . . .

Una variedad n-dimensional diferenciable corresponde a un espacio topologico

Captulo 2. Preliminares Matematicos

donde X R {0} y (x, y) S1 . Adicionalmente escogiendo el abierto U 2 =

Captulo 2. Preliminares Matematicos

sin embargo esta aplicacion no es inyectiva, puesto que = 0 y = 2 identifica un

Luego, utilizando la regla de la cadena es posible reescribir esta definicion por

Captulo 2. Preliminares Matematicos

donde al definir las componentes de p (f ) por

es posible escribir (2.7) por

Captulo 2. Preliminares Matematicos

y sustituyendo (2.10) en (2.11)

se observa que la combinacion lineal de dos vectores tangentes corresponde a un

Luego como existen n curvas y el ndice i va generando tantos vectores tangentes

Una vez definida de manera apropiado el espacio tangente Tp (M ) como un espacio

Captulo 2. Preliminares Matematicos

es posible definir el espacio dual Tp (M ) como el conjunto de todos los funcionales

donde dxP al actuar sobre

Esta condicion que define al espacio dual Tp (M ) como al espacio cotangente,

Se define una p-forma como un tensor

que pertence al p-producto de espacios

Captulo 2. Preliminares Matematicos

De (2.15) se infiere que no existen formas diferenciales perteneciente a p (M ) tal que

Captulo 2. Preliminares Matematicos

siendo sus propiedades mas importantes:

Se define la p + qforma producto cu

siendo posible definir a las componentes de la p + 1forma por

De ahora en adelante omitiremos la operacion cu

Captulo 2. Preliminares Matematicos

Identificando al elemento identidad por (1, 0, 0) y el elemento inverso de (, a, ) por

Desarrollando infinitesimalmente g(0 , a0 , 0 ) en el lado izquierdo de (3.15)