Beruflich Dokumente
Kultur Dokumente
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
2016
Departamento de Fsica
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
II
III
1. Introducci
on
2. Preliminares Matem
aticos
2.1. Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
11
2.4.1. Producto Cu
na . . . . . . . . . . . . . . . . . . . . . . . . . .
13
14
15
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
24
20
Indice
general
4. Teoras de Gauge
28
28
29
30
5. Realizaciones No-Lineales
32
5.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
33
38
39
43
43
45
47
47
50
51
55
59
7. La Partcula Libre y el
algebra de Poincar
e Generalizada B5
63
63
64
69
7.3.1. Simetras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
72
74
74
Indice
general
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
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 .
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)
(2.4)
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)
d
1
(f x x )
,
dt
t=t0
d
1
i
(f x )
(x )
i
x
dt
x(p)
,
t=t0
(2.7)
d
i
= (x )
,
dt
t=t0
(2.8)
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
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)
(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)
2.3.
Vectores Cotangentes
,
P
11
= w v dxP
= w v ,
w(v) = w dx (v) = w dx v
x P
x P
,
x P
dx
se impone la condicion
= .
P
2.4.
1 p 1
n dx1 dxp
Formas Diferenciales
0
p
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)
13
y es definida por
=:
1
1 p dx1 dxp .
(n p)!
(2.17)
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
(p + q)!
p+q
1 2 p p+1 p+2 p+q 11
p+q .
p!q!
14
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
1
1 2 p dx dx1 dx2 dxp .
p!
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
1
2 p dx2 dxp .
(p 1)!
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
(g h) l = g (h l)
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)
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
18
19
(3.3)
1
( x )a ( x )a + .
2
(3.4)
+ 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)
(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)
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)
3.2.
Algebra
de Poincar
e Generalizada B4
(3.15)
21
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)
=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)
(3.21)
(3.22)
(3.23)
(3.24)
22
(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)
(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)
(3.29)
(3.30)
(3.31)
[P , P ] = iZ
(3.32)
(3.33)
23
(3.34)
(3.35)
(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
3.3.
[Pa , Pb ] = Zab ,
(3.37)
[Jab , Pc ] = bc Pa ac Pb ,
(3.38)
(3.39)
(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)
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
on 3.3.2 El operador
1
2 = Z Z ,
2
(3.47)
(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
on 3.3.3 El operador
3 = Z Z ,
(3.51)
27
(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.
(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)
29
(4.3)
d4 x F F
4.2.
30
F F ?.
(4.5)
(4.6)
4.2.1.
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
a
Fa
F
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
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)
(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
(5.1)
34
l Al ; V =
i V i
(5.5)
g0 eA = e A h1 (, g0 )
(5.6)
35
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
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
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.
5.3.
38
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)
(5.15)
(5.16)
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)
(5.18)
39
(5.19)
1
v 0 V = h1 vh1
1 V + h1 dh1 .
(5.20)
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)
(5.23)
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
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)
g 1 =
!
.
(5.29)
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)
2
1
+ (sin d sin cos d)
2
2
3
.
2
(5.31)
(5.32)
(5.33)
3 = d + cos d,
(5.34)
41
i i
S=
=
+ cos )
(5.35)
(5.36)
d
L
0=
dt
+ cos (1 sin + 2 )
= sin (1 + 2 sin )
(5.38)
(5.39)
(5.40)
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
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)
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
(5.47)
X Y = [X, Y ]
(5.48)
X 2 Y = [X, [X, Y ]]
(5.49)
(5.50)
X n+1 Y = [X, X n Y ]
(5.51)
n1
(5.52)
X
f (X) =
fn X n
(5.53)
n=0
n=0
(5.54)
n
n
X
(1)p
p=0
n
p
!
X np Y X p ,
(5.55)
(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)
(5.59)
(5.60)
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
g0 eAa = e A h1 + e A h1
e
aA
g0 e
aA
aA
aA
= h1
(5.62)
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
e A = heA h1 .
(5.67)
h = exp ( V )
(5.68)
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)
(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.
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
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)
aP
) = g 1 gdxa Pa = dxa Pa ,
(6.2)
donde
ea = dxa
(6.3)
L
= a .
x a
(6.5)
(6.6)
En la primera parte de esta tesis supondremos todas las constantes de acoplamiento incluidas
en los generadores.
49
(6.7)
x a
,
e
(6.8)
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)
6.1.1.
50
aP
a
xa Pa
h1
.
1 (g0 , x ) = e
(6.12)
(6.14)
xa = ab xc .
(6.15)
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)
(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
(6.23)
52
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
(6.25)
k ab = dab +
1 a b
x dx xb dxa
2
(6.26)
1
e 2
( + m2 ) + fab kab
2{z
} |2 {z }
P art.Lib.Rel.
(6.27)
Inter.Elect.
(6.28)
54
+
a
a
x
2
L
pab =
= fab ,
ab
L
= 0.
pfab =
fab
pa =
(6.29)
(6.30)
(6.31)
1
a = pa fab xb ,
2
f
Cab
= pfab = 0.
(6.32)
x a
e
(6.33)
e + fab +
L=
x x x x
.
2e
2
2
2
(6.34)
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
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.
1
e Pa ab Zab
2
1 e
1 ab
a
x Pa + Zab = 0.
2
(6.42)
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
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)
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
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
(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)
6.3.
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
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
=
cd + (xc x d xd x c )
2
2
L
=0
cd
d
L
L
d
e
1
cd =
cd + (xc x d xd x c )
= 0.
d cd
d
2
2
(6.65)
61
(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)
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
63
64
[Pa , Pb ] = Zab ,
[Jab , Pc ] = bc Pa ac Pb ,
[Jab , Zcd ] = bc Zad + ad Zbc ac Zbd bd Zac ,
[Jab , Jcd ] = bc Jad + ad Jbc ac Jbd bd Jac ,
[Zab , Pc ] = bc Za ac Zb ,
[Jab , Zc ] = bc Za ac Zb ,
7.2.
P art.Lib.Rel.
Inter.Zab
Inter.Za
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)
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)
7.3.1.
Simetras
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
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)
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
1 e
X
1 n1
=
n!
n=1
(7.14)
71
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!
ab = ab
a
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
=
=
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
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.
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
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
.
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
(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)
1
=
16G
d4 x
gR
(8.4)
8.3.
80
(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 =
(8.6)
81
a b = a c
d
b
cd b c da c ,
82
V
dx ,
= V ea + V + a b eb V = V ea + V + a b eb V ,
+ 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
83
(8.9)
(8.10)
(8.11)
(8.12)
Ta =
Rab
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
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)
85
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
87
9.1.
Acci
on invariante bajo el grupo dS
88
1 a b
e e,
`2
(9.2)
(9.3)
(9.4)
1
1
1
6
4
a
=
d x g 4 + 2 R + 2 Sa S
Rab Rab
`
`
`
4
(9.5)
(9.6)
89
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)
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
91
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)
10.2.
Acci
on invariante Bajo El Grupo AdSL4
92
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
(A.1)
(A.2)
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
(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
97
(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)
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
(C.2)
se satisface
gAB = CAD C CBC
(C.3)
(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
99
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.