Capitulo 54 Algebra de Cliford

Benemerita Universidad Autonoma de Puebla
Facultad de Ciencias Fisico-Matematicas

El sector de Yukawa del Modelo Estandar en 6 dimensiones
Tesis presentada al
Colegio de Fsica
como requisito parcial para la obtencion del grado de
Licenciado en Fsica
por
Adriana Perez Martnez
asesorado por
Dr. J. Jes
us Toscano Chavez
Puebla Pue.
Noviembre de 2013
Benemerita Universidad Autonoma de Puebla

Facultad de Ciencias Fisico-Matematicas
El sector de Yukawa del Modelo Estandar en 6 dimensiones
Tesis presentada al
Colegio de Fsica
como requisito parcial para la obtencion del grado de
Licenciado en Fsica
por
Adriana Perez Martnez
asesorado por
Dr. J. Jes
us Toscano Chavez
Puebla Pue.
Noviembre de 2013
Ttulo: El sector de Yukawa del Modelo Estandar en 6 dimensiones

rez Martnez
Estudiante:Adriana Pe
COMITE
Dr. Gilberto Tavares Velasco

Presidente
Dra. Mara Alicia Lopez Osorio

Secretario
Dr. Eric Martnez Pascual

Vocal
Dr. Arturo Fernandez Tellez

Vocal
Dr. J. Jes
us Toscano Chavez
Asesor
Indice general
Resumen
VII
Introducci
on
1. Simetras Continuas
1.1. Grupos ortogonales y unitarios.
1.1.1. Grupos SO(N ) . . . . .
1.1.2. Grupos SU (N ) . . . .
1.2. Grupo de Poincare . . . . . . .
1.2.1. Grupo de Lorentz . . .
1.2.2. Grupo de Translaciones
IX
.
.
.
.
.
.
1
2
2
7
9
10
15
2. Rompimiento espont
aneo de una simetra continua
2.1. El Teorema de Goldstone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. El mecanismo de Higgs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
20
23
3. La teora electrod
ebil
3.1. Sector de Higgs . . . . . . . . . . . . .
3.2. Sector de Yang-Mills . . . . . . . . . .
3.3. Sector de Yukawa . . . . . . . . . . . .
3.3.1. Sector de Yukawa Leptonico . .
3.3.2. Sector de Yukawa de Quarks .
3.4. Sector de Corrientes . . . . . . . . . .
3.4.1. Sector de corrientes Leptonico
3.4.2. Sector de corrientes Quarks . .
.
.
.
.
.
.
.
.
25
26
29
30
31
32
33
35
36
4. El sector de Yukawa en 6 dimensiones

4.1. Espinores en 6 dimensiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Sector de Yukawa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Compactificaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
39
44
45
5. Conclusiones
51
A. Integrales
53
Bibliografa
56
SO(N ) y SU (N )
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Agradecimientos
A mis padres por todo el apoyo que me han brindado a lo largo de mis estudios. En especial a
mi mamita linda porque siempre creyo en m y me apoyo en todo momento; siempre me esforce al
m
aximo para que estuvieras orgullosa de m. A mi papa le agradezco su apoyo economico brindado,
ya que sin eso habra sido muy difcil seguir estudiando. A mis hermanos que siempre han estado
a mi lado.
A mi asesor de tesis el Dr. J. Jes
us Toscano Chavez por su apoyo, dedicacion y tiempo proporcionado para la realizaci
on de esta tesis, por compartir sus conocimientos conmigo, por alentarme
a conocer lo fascinante que es la fsica fundamental, en cada uno de sus cursos y seminarios.
A todos mis profesores, con los que tuve la oportunidad de tomar clases a lo largo de mi carrera,
los cuales compartieron sus conocimientos y a veces grandes consejos, y que definitivamente hicieron
que me enamorara m
as de la fsica.
A todos mis amigos que caminaron a mi lado durante mi carrera; sin duda alguna su compa
na
hizo que mi estancia en la universidad fuese a
un mejor y mas liviana. A Marxil porque siempre
crey
o en mi, y me alentaba a esforzarme mas.
A CONACYT por su apoyo economico brindado para la realizacion de esta tesis, mediante el
proyecto Correciones radiativas y dimensiones extra.
Resumen
Se estudian las propiedades matematicas de espinores en seis dimiensiones. Se escribe el sector
de Yukawa del Modelo Est
andar en seis dimensiones y se deriva la lagrangiana efectiva que resulta
de asumir que las dos dimensiones extras estan compactificadas.
vii
Introducci
on
Se sabe que teoras fundamentales a la escala de Planck, tales como teoras de cuerdas, requieren de m
as de cuatro dimensiones para ser formuladas de manera consistente. Estas formulaciones
no son teoras de campo, pero a mucho mas bajas energas los efectos de dimensiones extras se
pueden parametrizar en forma independiente del modelo por medio de una teora de campo efectiva gobernada por un grupo de Poincare extendido. Aunque a la escala de Planck, estas teoras
carecen de interes fenomenol
ogico, en la u
ltima decada se ha argumentado que dimensiones extras
relativamente grandes podran manifestarse a la escala de TeVs [1]. De acuerdo con este enfoque,
el espacio tridimensional ordinario esta embebido en un espacio-tiempo de dimension mas alta, el
cual es conocido con el nombre de bulto. Si las dimensiones extras son suficientemente peque
nas,
los campos de norma y de materia del modelo estandar (ME) se propagaran por las dimensiones
extras, incidiendo de esta manera sobre observables que estaran bajo el escrutinio del gran colisionador de hadrones (LHC, por sus siglas en ingles). Por consistencia con los experimentos actuales,
se supone que las dimensiones extras estan apropiadamente compactificadas en una subvariedad
N n de tama
no suficientemente peque
no. Como resultado de la compactificacion de esta subvariedad, los campos que inicialmente son gobernados por el grupo de Poincare extendido ISO(1, m),
son desarrollados en serie de Fourier con respecto a las coordendadas de las subvariedad N n , cuyos coeficientes son campos que forman representaciones del grupo de Lorentz estandar SO(1, 3),
conocidos con el nombre de excitaciones de Kaluza-Klein o simplemente campos de KK, as que
la teora efectiva resultante es invariante bajo el grupo de Poincare estandar ISO(1, 3). Por otra
parte, la teora original es gobernada por el grupo de norma SU (N, Mm ), pero despues de la
compactificaci
on, los campos de KK forman representaciones del grupo SU (N, M4 ). El hecho importante a destacar en este punto, lo cual ha sido discutido en una serie reciente de artculos [27],
es que el paso de la teora original, gobernada por los grupos ISO(1, m) y SU (N, Mm ), a la teora
efectiva que contiene los modos de KK, la cual esta definida por los grupos estandar ISO(1, 3) y
SU (N, M4 ), es altamente no trivial por las causas que comentaremos brevemente a continuaci
on.
Un aspecto notable de este tipo de teoras es que los modos de KK asociados con la serie de
Fourier de los campos de norma son tambien campos de norma, solo que masivos, pues como se
estableci
o claramente en la referencia [2], los modos de KK asociados a un campo de norma del
grupo SU (N, Mm ) son tambien campos de norma que se transforman en la representacion adjunta
del grupo est
andar SU (N, M4 ), lo cual significa que el mecanismo de Higgs opera en el proceso
de compactificaci
on. Sin embargo, dicho mecanismo no puede operar, en este caso, en la forma
est
andar, esto es, mediante el rompimiento espontaneo de una simetra global (Teorema de Goldstone), ya que el paso de la teora de norma gobernada por el grupo SU (N, Mm ) a la teora efectiva
caracterizada por el grupo de norma SU (N, M4 ) no involucra un rompimimiento espontaneo del
grupo de norma. En efecto, los grupos SU (N, Mm ) y SU (N, M4 ) tienen el mismo n
umero de
generadores y s
olo difieren en la dimension de la variedad soporte. Dado que Mm contiene a M4 ,
SU (N, M4 ) es un subgrupo de SU (N, Mm ) en este sentido y no porque uno tenga mas generadores
que el otro [4]. En realidad, el mecanismo de Higgs opera por compactificacion, esto es, por un
rompimiento explcito del grupo de Poincare ISO(1, m) al grupo de Poincare estandar ISO(1, 3),
lo cual ocurre cuando las coordenadas extras son integradas [4]. La generazilacion de estos resultados a un n
umero arbitrario de dimensiones extras n tanto a nivel clasico [5] como cuantico [6]
ha sido completada para el sector puro de Yang-Mills. Diversas aplicaciones fenomenologicas en el
contexto del ME con una dimensi
on extra [8] se han llevado a cabo con resultados interesantes [7].
El objetivo central de esta tesis es el estudio del proceso de compactificacion de campos espinoriaix
Introduccion
les en seis dimensiones y su aplicaci

on al sector de Yukawa del Modelo Estandar. El propoposito
de este trabajo es establecer las bases para el estudio general de espinores y su compactificacion
en presencia de un n
umero arbitrario de dimensiones extras, lo cual nos permitira establecer una
formulaci
on general del Modelo Est
andar en dimensiones extras.
El contenido de la tesis se ha organizado de la siguiente manera. En el Captulo 1 se presenta una
discusi
on elemental de los grupos ortogonales, unitarios y el grupo de Poincare. En el Captulo 2
se estudia el fen
omeno de rompimiento espontaneo de una simetra global (Teorema de Goldstone)
y local (Mecanismo de Higgs). El Captulo 3 es dedicado a estudiar las propiedades basicas de la
teora electrodebil. En el Captulo 4 se presenta la contribucion de esta tesis, la cual consiste en
establecer las propiedades matem
aticas de los espinores en 6 dimensiones con el fin de estudiar
el sector de Yukawa de la teora electrodebil con dos dimensiones compactas. Finalmente, en el
Captulo 5 se presentan las conclusiones.
Captulo 1
Simetras Continuas
Desde la antig
uedad los Griegos crean que las simetras de la naturaleza deban estar reflejadas
en el movimiento de los objetos; empero fue hasta Newton quien se dio cuenta que las simetras
fundamentales de la naturaleza estan manifiestas, no en el movimiento individual de los objetos,
sino en el conjunto de todos los posibles movimientos. Por ejemplo: la ley de la gravitacion universal
de Newton nos muestra una simetra esferica, la fuerza es la misma en todas las direcciones. De esta
forma todas estas simetras ocultas de los sistemas son solamente reveladas de formas indirectas.
Por otro lado podramos preguntarnos que es una simetra. En el lenguaje matematico, es una
operaci
on que transforma un sistema, el cual lo deja invariante, es decir, lleva al sistema a una
configuraci
on indistinguible de la original.
Asimismo la simetra de un cuerpo es descrita dando el conjunto de todas aquellas transformaciones donde preserve la distancia entre todos los pares de puntos del cuerpo y lleve a dicho
cuerpo en su propia coincidencia. Cualquier transformacion con estas caractersticas es llamada
una transformaci
on simetrica. Es claro que este conjunto forma un grupo, el grupo de simetras de
un cuerpo. Las transformaciones que preservan la distancia pueden ser de tres tipos fundamentales:
1. Rotaci
on a traves de un
angulo definido alrededor de un eje.
2. Reflexi
on en un plano.
3. Desplazamientos paralelos (translaciones).
Los grupos de simetras de muchos sistemas fsicos consisten en un infinito n
umero de elementos
m
as que en un n
umero finito. De esta forma los problemas fsicos requieren examinar la teora
de representaci
on de grupos con un n
umero infinito de elementos. Por otro lado un grupo se
dice continuo si alguna definici
on generalizada de cercana o continuidad es impuesta sobre los
elementos de la variedad del grupo. Se demanda que un peque
no cambio en los factores de un
producto produzca un peque
no cambio en el producto. As nos restringiremos en el caso donde
los elementos de la variedad del grupo pueden ser etiquetados por un conjunto finito de variados
par
ametros continuos. El grupo cuyos elementos pueden ser etiquetados por un n
umero finito de
varios par
ametros continuos es llamado un grupo continuo finito. El rango de variacion de los
par
ametros no est
a especificado, puede variar entre y +, o esta confinado en alg
un dominio
finito. Si el dominio de la variaci
on es finito, la variedad del grupo se dice que es cerrada. [9]
Para continuar se dice que hay una simetra G continua cuando un sistema fsico se mantiene
invariante bajo la transformaci
on continua dada por G, o equivalentemente cuando la lagrangiana
del sistema es invariante. A veces dicho conjunto de simetra G genera una estructura algebraica
de grupo, en tal caso se dice que hay un grupo de simetras. [10]
1
CAP
ITULO 1. SIMETR
IAS CONTINUAS
1.1. GRUPOS ORTOGONALES Y UNITARIOS. SO(N ) Y SU (N )
1.1.
1.1.1.
Grupos ortogonales y unitarios. SO(N ) y SU (N )

Grupos SO(N )
Sea O(N ) el conjunto de las matrices reales N N que al actuar sobre RN dejan invariante la
distancia del origen al punto (x1 , x2 , , xn ), la cual es definida por
x2 = xi xi = ij xi xj = xT 1x.
(1.1)
x0i = Oij xj ,
(1.2)
Ahora, bajo la transformaci

on
la distancia queda como

x02 = x0i x0j = (Ox)i (Ox)j = xT (OT 1O)x = x2 ,
lo cual implica que OT O = 1. Entonces O(N ) consta de todas las matrices cuya inversa coincide con
su transpuesta. Este tipo de matrices reciben el nombre de matrices ortogonales. Dichas matrices
est
an definidas en espacios euclideanos, esto es, espacios cuyos tensor metrico es
gij = 1ij = ij .
En estos espacios, el elemento de longitud se define como
ds2 = ij dxi dy j = dxi dxi .
En consecuencia las matrices O forma un grupo, siendo la operacion el producto matricial. En
efecto,
1. Existe cerradura, ya que si O1 , O2 O(N ), entonces (O1 O2 )T (O1 O2 ) = O2T O1T O1 O2 = 1.
2. Existencia del nuetro. El neutro es 1, ya que es ortogonal trivialmente.
3. Existencia del inverso. El inverso de O es OT .
4. Asosciatividad. Se cumple en general.
Cuando los elementos del grupo conmutan, se dice que el grupo es conmutativo o abeliano. En el
caso que nos ocupa, solo O(2) es conmutativo. Las matrices O tienen N 2 componentes, pero no
todos son independientes, ya que deben de cumplir la condicion de ortogonalidad
OT O = 1,
(1.3)
la cual proporciona 12 N (N + 1) elementos dependientes. As que el n

umero de componentes independientes de O es:
1
1
N 2 N (N + 1) = N (N 1).
2
2
(1.4)
Este es el n
umero de par
ametros del grupo O(N ).
Por otra parte, tomando el determinante en la relacion de ortogonalidad, se tiene Det(OT O) =
Det(1), por lo tanto
Det(O) = 1.
De acuerdo con esto, los elementos de O(N ) se pueden agrupar en dos categoras:
2
CAP
ITULO 1. SIMETR
IAS CONTINUAS
Subconjunto de todas los O O(N ) tales que Det(O) = 1. Dado que 1 pertenece a esta
categora, este subconjunto forma el subgrupo SO(N ).
El subconjunto formado por todos los O O(N ) tales que el Det(O) = 1. Estos elementos,
los cuales no forman un subgrupo, son de la forma Op O, con O SO(N ) y Op una matriz
diagonal formada con +1 y 1, con un n
umero impar de 1.
Por otro lado, existe una relacion uno a uno entre parametros y los llamados generadores del
grupo. Los elementos del grupo se pueden escribir como
O() = eiT
a a
(1.5)
donde = (1 , 2 , , 2 N (N 1) ), con a= 1, 2, ..., 12 N (N 1), es el conjunto de parametros del

grupo. Los elementos de SO(N ) dependen de estos parametros y de los generadores definidos por
una transformaci
on infinitesimal como sigue
O() = 1 +
dO
|a =0 a = 1 + iT a a ,
da
(1.6)
dO a
con T a = 1i d
a | =0 los generadores del grupo.
O() SO(N ), entonces su producto es tambien un elemento del grupo
Ahora, sea O(),
)). Debe cum
) = (g 1 (,
), g 2 (,
), , g 12 N (N 1) (,
O()O() = O(g(, )) SO(N ), con g(,
a
a
a
a
plirse que g (0, 0) = 0, O( = 0) = 1 = O( = 0) y g (0, ) = g (, 0) = . En terminos de
)), toma la forma

generadores O()O()
= O(g(,
eiT
a a
eiT
a a
= eiT
g (,)
a a
Haciendo un desarrollo en serie de Taylor en ambos lados de la igualdad, y asumiendo que en g(, )
2
2
a
no pueden aparecer terminos proporcionales a y , porque violara el hecho que g (, 0) =

g a (0, ) = a , se obtiene
= a + a + g abc b c +
g(, )
(1.7)
del desarrollo en serie, se obtiene una condici

De esta forma de los terminos proporcionales a ,
on
no trivial, la cual es
i2 b T b c T c = ig abc T a b c +
i2 b c b c bc
( + )T ,
2
(1.8)
pero los terminos de T bc deben ser simetricos, ya que surgen de segundas derivadas en el desarrollo
Haciendo el algebra se tiene lo siguiente:
en serie, as podemos quitar el producto de .
T b T c + ig abc T a
= T c T b + ig acb T a
T bT c T cT b
= i(g acb g abc )T a
[T a , T b ] = if abc T c ,
(1.9)
es el
algebra de Lie del grupo, donde f abc = g acb g abc son las constantes de estructura.
Representaciones
Sea G un grupo, si gi G entonces el objeto D(gi ) es una representacion de G si obedece
D(gi )D(gj ) = D(gi gj ),
3
(1.10)
CAP
ITULO 1. SIMETR
IAS CONTINUAS
para todos los elementos de G. Con otras palabras, los D(gi ) tienen la misma regla de multiplicacion
que el grupo original.
Considere la transformaci
on infinitesimal
x0i = Oij xj = ( ij + wij )xj = xi + wij xj ,
(1.11)
entonces la condici
on de ortogonalidad toma la forma:
ij = ( ki + wki )( kj + wkj ) = ij + wij + wji ,
(1.12)
de manera que wij = wji . As que este tensor tiene 21 N(N-1) componentes independientes. Estos
ij
son los par
ametros del grupo. Por ejemplo, w es el angulo que caracteriza la rotacion en el plano
xi xj . Ahora bien en la ec.(1.6) se mostro la forma infinitesimal de O, la cual en esta notacion
toma la forma
i
O(1 + w) = 1 + wij M ij ,
2
(1.13)
donde M ij son los generadores del grupo, los cuales se transforman como 2-tensores bajo el grupo.
La prueba es como sigue. Sea D(O) una representacion de SO(N ), entonces usando la ley de
multiplicaci
on al producto
D(O)D(1 + w)D1 (O) = D(1 + OwO1 ),
se obtiene que
D(O)M ij D1 (O) = Oik Ojl M kl ,
lo cual prueba que los generadores se transforman como 2-tensores. Asumiendo que O es tambien
infinitesimal, se obtiene

i
i
1 + kl Mkl Mij 1 kl Mkl = ( ik + ik ) jl + jl Mkl ,
2
2
lo cual, despues de un poco de
algebra, se traduce en
[Mkl , Mij ] = i (jl Mik jk Mil + ik Mlj il Mkj ) .
(1.14)
Esta
es el Algebra
de Lie del grupo SO(N ).
Por otro lado, se dice que una representacion D(gi ) es reducible si se puede descomponer en
forma de bloques diagonales. Por ejemplo, la siguiente matriz es una representacion reducible,
D1 (gi )
0
0
D2 (gi )
0 ,
D(gi ) = 0
(1.15)
0
0
D3 (gi )
donde las Di son representaciones de m
as baja dimension del grupo, esto es, las D(gi ) se puede
descomponer en piezas m
as peque
nas del grupo. El conjunto completo de todas las representaciones
del grupo SO(N ) se divide en las siguientes categoras
Tensoriales
Espinoriales
Representaciones tensoriales
4
CAP
ITULO 1. SIMETR
IAS CONTINUAS
El 0-tensor es la representaci
on trivial del grupo. El 1-tensor es la representacion mas simple
no trivial, dada por
A0i = Oij Aj .
(1.16)
Una forma simple de generar representaciones de SO(N) de rango mas alto es con el producto
externo de vectores. Por ejemplo, el producto Ai B i se transforma como (A0i B 0j ) = (Oik Ojl )(Ak B l ).
De modo que el objeto que se transforma como el producto externo de varios vectores se llama
tensor. En general, un tensor T ijk... bajo SO(N ) no es otra cosa que un objeto que se transforma
como el producto de vectores ordinarios, es decir,
T 0i1 i2 ... = Oi1 j1 Oi2 j2 T ji j2 ...
(1.17)
Los tensores son en general reducibles, esto es, dentro de la coleccion de componentes que forman el tensor, se puede encontrar subconjuntos que por s mismos forman una representaci
on
del grupo. Tomando combinaciones simetricas y antisimetricas se pueden extraer representaciones
irreducibles. Por ejemplo, sea el tensor T ij , el cual se transforma como
T 0ij = Oik Ojl T kl .
T
omese las partes simetricas y antisimetricas,
S ij =
1 ij
(T + T ji )
2
y
1 ij
(T T ji ),
2
la primera con 21 N (N + 1) componentes y la segunda con 21 N (N 1) componentes. Estas partes
se transforman independientemente sin mezclarse. As por ejemplo, en un espacio bidimensional,
el objeto T ij con 4 elementos, se descompone en 2 objetos que tiene un n
umero menor de
componentes: S ij tiene 3 componentes y Aij tiene 1 componente.
Aij =
Representaci
on espinorial
La representaci
on espinorial consiste en la introduccion de N matrices i ; las cuales obedecen
la regla de anticonmutaci
on
i j
(1.18)
, = 2 ij ,
y recibe el nombre de Algebra

de Clifford. La representacion espinorial de los generadores de SO(N )
se define por
M ij =
i i j
[ , ].
4
(1.19)
Esta eleci
on particular de los generadores satisface el algebra de Lie del grupo.
En general, uno puede encontrar una representacion espinorial de SO(N ) para N par, que es
N
compleja y tiene dimensi
on 2 2 . En este caso de dimension par podemos introducir una matriz
adicional
N +1 = i1 2 ...N =
i
i i ...i i1 i2 ...iN .
N! 1 2 N
(1.20)
Esta matriz tiene propiedades especiales, ya que del algebra de Clifford se implica que
i j = j i , i 6= j
5
(1.21)
CAP
ITULO 1. SIMETR
IAS CONTINUAS
y
(i )2 = 1.
(1.22)
Directamente de su definici
on se encuentra que
N +1 i
, = 0 y
(N +1 )2 = 1.
(1.23)
As que el conjunto de matrices 1 , 2 , ..., N y N +1 tambien satisfacen el algebra de Clifford.

Adem
as en los espacios de dimensi
on par podemos introducir el concepto de quiralidad, a traves
de los proyectores
PL
1
(1 N +1 )
2
(1.24)
PR
1
(1 + N +1 ),
2
(1.25)
con las siguientes propiedades:

PL2 = PL ,
PR2 = PR ,
PL PR = 0 y PL + PR = 1.
N
En esta representaci
on el grupo SO(N ) act
ua sobre vectores columna de dimension 2 2 , llamados
espinores,
1

= 2 .
..
.
(1.26)
Los proyectores PL y PR permiten definir espinores independientes, es decir,

L = PL
R = PR ,
se nombran espinor izquierdo y espinor derecho, respectivamente. Obviamente,

= L + R .
Esto permite introducir el concepto de quiralidad1 en fsica. La interaccion debil es una teora
quiral.
Cuando la dimensi
on del espacio es impar, es decir, se tiene SO(N +1), con N par, la dimension
N
N
N
de la representaci
on sigue siendo la misma 2 2 , de esta manera i tienen dimension 2 2 2 2 y
N
los espinores dimensi
on 2 2 . Pero ahora debemos tener N + 1 matrices i , y se forma con las N
i
matrices y la matriz N +1 , de tal suerte que se cumpla el algebra de Clifford. Las N +1 matrices
i se transforma como 1-tensores bajo SO(N + 1). Y los generadores son de la misma dimension
que en el caso par, s
olo que ahora el n
umero de generadores es 21 N (N + 1). La diferencia en el
n
umero de generadores es N . En los espacios con dimension impar no existe quiralidad.
1 Viene del Griego, mano. Su definici
on clasica es: Una figura geom
etrica o conjunto de puntos es dicho que
presenta quiralidad si su imagen de espejo no puede ser superpuesta con ella misma.
CAP
ITULO 1. SIMETR
IAS CONTINUAS
1.1.2.
Grupos SU (N )
Consta de las matrices unitarias N N con determinante +1. Esta representacion de dimensi
on
N se llama representaci
on fundamental. Sea U SU (N ), la cual tiene N 2 condiciones debido al
hecho que U = U 1 y una condicion mas que surge del hecho que Det(U ) = +1. Entonces el
n
umero de par
ametros independientes de U es igual a 2N 2 N 2 1 = N 2 1, el cual es siempre
mayor que N .
Por otra parte, dado que un operador unitario se puede escribir como la exponencial de un
operador hermitiano, podemos escribir los elementos de SU (N ) como
a a
U () = ei
a = 1, 2, ..., N 2 1,
(1.27)
donde ta = ta son los generadores del grupo y a sus parametros. El inverso de U () es

a a
U () = (ei
a a
) = ei
(1.28)
Dado que Det(U ) = 1, esto implica que

log(DetU )
0
= T rlogU
= T rta ,
entonces las ta forman un conjunto de N 2 -1 matrices hermitianas de traza nula. En la representaci

on
ab
fundamental, los generadores suelen normalizarse a T r(ta tb ) = 2 .
Ahora, sea U(), U() SU(N), entonces
a a
U ()U () = ei
Usando la identidad, eA eB = e
U ()U ()
ei
1
[[A,B],B]+...
A+B+ 21 [A,B]+ 3!
b b
, se tiene que
1
i
= exp{i(a + a )ta a b [ta , tb ] a b c [[ta , tb ], tc ] + ...}
2
3!
= U () SU (N ),
lo cual es posible si,

[ta , tb ] = if abc tc ,
(1.29)
donde f
son las constantes de estructura del grupo. Esta
es el algebra de Lie del grupo SU (N ).
Analizando m
as el
algebra de Lie del grupo se encuentra que las constantes de estructura f abc son
reales y totalmente antisimetricas.
abc
Representaciones de SU (N )
Representaci
on fundamental de SU (N )
La representaci
on de dimensi
on de dimension N es la mas baja del grupo SU (N ) y recibe
el nombre de representaci
on fundamental. En esta representacion los elementos de SU (N ) son
matrices unitarias N N , las cuales act
uan sobre N-pletes complejos:

1
2

= . ,
(1.30)
..
N
y se transforman como 0 = U , o en componentes, 0i = Uji j ;
transformaci
on infinitesimal corresponde a
U () = 1 + ia ta ,
i, j, ... = 1, 2, ..., N . Luego la

(1.31)
en componentes Uji = ji + ia (ta )ij , para a infinitesimales. En este caso, 0i = i + i , entonces

i = 0i i = ia (ta )ij j .
7
CAP
ITULO 1. SIMETR
IAS CONTINUAS
Representaci
on adjunta
Sean y dos N-pletes de SU (N )
0 = U ,
0 = U ,
entonces
0 0 = (U ) (U ) = (U U ) =
es un invariante. Considere las propiedades de transformacion del producto externo de dos
N-pletes de SU(N), i j , el cual es un objeto con N 2 componentes.
mji = ( )ji
(1.32)
dado que y se transforman en la representacion fundamental. El objeto m debe transformarse

de manera bien definida. En efecto,
m0 = U mU
(1.33)
m es un 2-tensor. La expresi
on (1.33) es la transformacion de similaridad. Luego tomando la traza
en ambos lados, se tiene que
T rm0 = T r(U mU ) = T r(U U m) = T rm,
(1.34)
el cual es otro invariante, entonces Trm = S es un escalar. Ahora observe que

mji = i j
1
1
1
(T rm)ij + (T rm)ij = Mij + (T rm)ij ,
N
N
N
por lo tanto,
M =m
1
(T rm)1,
N
(1.35)
y tiene la propiedad que es de traza nula por construcion. Entonces el objeto m que tiene N 2
componentes se ha descompuesto en dos objetos que se transforman bajo SU (N ) sin mezclarse. El
primero es S con una componente, el cual transforma como S 0 = S; y el segundo es M con N 2 1
componentes. Se dice que se transforman bajo la representacion adjunta de SU(N) como
M 0 = U M U .
(1.36)
Dado que M es una matriz N N de traza nula, esta puede ser expresada como combinacion lineal
de los N 2 -1 generadores 2 ta , de la siguiente manera:
M = Aa t a ,
a = 1, ..., N 2 1.
(1.37)
Bajo una transformaci

on infinitesimal
M 0 = U M U = (1 + ia ta )M (1 ia ta ) = M + ia [ta , M ]
A0a ta = Aa ta + ib Ac [tb , tc ] = Aa ta + ib Ac (if abc ta )
A0a = Aa + ib Ac (if abc ).
(1.38)
2 El n
umero de componentes de M coincide con el n
umero de generadores y adem
as sabemos que los generadores
son de traza nula.
CAP
ITULO 1. SIMETR
IAS CONTINUAS
1.2. GRUPO DE POINCARE

Esto sugiere que se identifiquen los elementos (T b )ac de un conjunto de N 2 -1 matrices T b de
dimensi
on (N 2 -1)x(N 2 -1) como
(T b )ac = if abc .
Note que T r(T b ) = (T b )aa = if aba = 0. Ademas T b = T b , ya que (T b )ca = if cba = if acb =
if abc = (T b )ac . Entonces los T a son los generadores de SU (N ) en la representacion adjunta. Estos
generadores deben de satisfacer:
[T a , T b ] = if abc T c .
En resumen, un objeto A= Aa ta , en general con ta no necesariamente es la representacion fundamental, se transforma como
A = ia [ta , A],
(1.39)
Aa = f abc b Ac .
(1.40)
en la representaci
on adjunta, y
1.2.
Grupo de Poincar
e
Las propiedades del espacio-tiempo plano surgen de los siguientes postulados:

1. Las leyes de la fsica lucen iguales en todos los marcos de referencia inerciales. Significa que
las ecuaciones que representan estas leyes deben tener una estructura covariante, de tal suerte
que su forma no cambie cuando se pasa a otro marco inercial o se realiza alguna rotacion en
el 3-espacio.
2. Existe una velocidad lmite en la naturaleza, la cual tiene un valor absoluto c. Solo las
partculas de masa cero se mueven a esta velocidad, como los fotones, los gluones, etc. Este
postulado determina la metrica del espacio-tiempo.
Las coordenadas del espacio-tiempo son denotadas por x0 , x1 , x2 y x3 , donde x0 ct es la
coordenada temporal y xi son coordenadas espaciales (i=1, 2, 3.) El 4-vector posicion se denota
por
x = (x0 , ~x),
= 0, i.
(1.41)
Nos interesa estudiar las propiedades de simetra de los sistemas fsicos cuando en el 4-espacio
se realizan cierto tipo de transformaciones. Las transformaciones con sentido fsico que pueden ser
realizadas son:
Rotaciones en el 3-espacio, son transformaciones ortogonales en los planos: x1 x2 , x1 x3
y x2 x3 .
Transformaciones puras de Lorentz (boost), los cuales conectan marcos de referencia inercial
en movimiento relativo a lo largo de los ejes x1 , x2 , x3 . Son transformaciones lineales en los
planos espacio-temporales , x0 x1 , x0 x2 y x0 x3 .
Transformaciones a lo largo de los 4 ejes.
9
CAP
ITULO 1. SIMETR
IAS CONTINUAS
1.2.1.
Grupo de Lorentz
Consideraremos en general las propiedades del grupo de Lorentz homogeneo. Nos concentraremos en los aspectos te
oricos del grupo, los cuales ofrecen la oportunidad de comprender mejor el
papel central que juega la relatividad espacial la descripcion de las partculas elementales.
La transformaci
on m
as general de Lorentz esta dada en terminos de transformacion de coordenadas conectando dos marcos de referencia inercial, siguiendo la notacion usual de la Relatividad
Especial, estas transformaciones se definen como
x0 = x ,
(1.42)
con la condici
on
(x0 )2 = (x)2 ,
expresado por un 4-vector covariante. [11] El cuadrado de un 4-vector es definido por
(x)2 = g x x = x x = (x0 )2 (~x)2 ,
donde el tensor metrico g = g , cuya forma es
escribir como la matriz 44
1 0
0 1
g = {g } =
0 0
0 0
(1.43)
dictada por el segundo postulado, se puede

0
0
1
0
0
0
.
0
1
(1.44)
As en el espacio-tiempo los puntos se

nalan eventos; por ejemplo, el nacimiento (produccion) de
una partcula al tiempo t1 , en el punto x~1 , y su muerte (decaimiento) al tiempo t2 en el punto ~x2 .
Es de interes fsico la separaci
on entre eventos, dado por
2
S12
= (x01 x02 )2 |x~1 x~2 |2 ,
(1.45)
el cual est
a dictado por el segundo postulado; vemos que la norma no es definida positiva. De
acuerdo con esto el intervalo se clasifica en 3 categoras:
2
S12
> 0,
2
S12
< 0,
2
= 0,
S12
cuya interpretaci
on fsica es la siguiente:
2
1) S12
> 0. Es un invariante temporaloide. Siempre es posible encontrar un marco de referencia
en el cual x~1 0 = x~2 0 de tal suerte que
0
2
S12
= (x01 x02 )2 > 0.
Los eventos pueden estar relacionados de manera causal.

2
2) S12
< 0. Es un intervalo espacialoide. Siempre es posible encontrar un marco de referencia
0
0
en el cual x01 = x02 , as que
2
S12
= (x~1 0 x~2 0 )2 < 0.
Los eventos ocurren al mismo tiempo pero en puntos diferentes, no pueden estar relacionados de
manera causal.
2
3) S12
= 0. Este es un intervalo luzoide. Dichos eventos forman el llamado cono de luz, los
cuales son conectados por las partculas que se mueven a la velocidad lmite.
10
CAP
ITULO 1. SIMETR
IAS CONTINUAS

Para dos eventos separados infinitesimalmente, podemos escribir
ds2 = g dx dx = (dx0 )2 (dx1 )2 (dx2 )2 (dx3 )2 .
(1.46)
Por otro lado la longitud x2 = x x es un invariante de Lorentz, de donde se halla que

T g = g,
(1.47)
lo que nos dice que es una transformacion de Lorentz, si deja invariante g en este sentido. Ahora
tomando el determinante a ambos lados, se encuentra que
Det() = 1.
Las transformaciones con determinante +1, se llaman transformaciones propias de Lorentz. Y las
transformaciones impropias de Lorentz son de la forma: p o T , con una transformaci
on
propia. Un ejemplo de transformaciones impropias son las siguientes:
1 0 0 0
1 0
0
0
0 1 0 0
0 1 0
0
p =
0 0 1 0 o p = 0 0 1 0 ,
0 0 0 1
0 0
0 1
donde la primera transformaci
on representa la reflexion espacial y la segunda representa la reversi
on
temporal.
Las propiedades del grupo de Lorentz son dictadas por el algebra que satisfacen sus generadores.
Para determinarlos, necesitamos los 3 boots y las 3 rotaciones. Las matrices que representan a los
3 boost son:
cosh1
sinh1
(1 ) =
0
0
sinh1
cosh1
0
0
0 0
0 0
,
1 0
0 1
cosh2
0
(2 ) =
sinh2
0
cosh3
0
(3 ) =
0
sinh3
1
0
(3 ) =
0
0
0
0
,
0
1
(1.48)
0 0 sinh3
1 0
0
.
0 1
0
0 0 cosh3
Las matrices que representan a las 3 rotaciones son:
1 0
0
0
1
0 1
0
0
0
(1 ) =
0 0 cos1 sin1 , (2 ) = 0
0 0 sin1 cos1
0
0 sinh2
1
0
0 cosh2
0
0
0
cos3
sin3
0
0
cos2
0
sin2
0
sin3
cos3
0
0
0
0 sin2
,
1
0
0 cos2
(1.49)
0
0
.
0
1
Luego los generadores estan dados por:

Ki =
1 d(i )
1 d(i )
|i =0 y Ji =
|i =0 .
i di
i di
11
(1.50)
CAP
ITULO 1. SIMETR
IAS CONTINUAS

Se puede mostrar que
Ji = Ji y Ki = Ki .
(1.51)
[Ji , Jj ] = iijk Jk ,
(1.52)
[Ki , Kj ] = iijk Jk ,
(1.53)
Un c
alculo directo muestra que
lo que indica que los boost no forman un grupo, y finalmente que

[Ji , Ki ] = iijk Kk .
(1.54)
Defnase los siguientes generadores:

Ai = 21 (Ji + iKi )
A = Ai
i
.
1
Bi = 2 (Ji iKi )
Bi = Bi
(1.55)
Entonces
[Ai , Aj ]
iijk Ak SU (2),
(1.56)
[Bi , Bj ]
iijk Bk SU (2),
(1.57)
[Ai , Bj ]
0 SU (2) SU (2).
(1.58)
Por otro lado las transformaciones de Lorentz son de hecho los elementos del grupo de Lorentz
SO(1, 3). Comparando esto con las reglas de conmutacion de SU (2), vemos que tenemos dos copias
de SU (2). El hecho que podamos escribir el grupo de Lorentz como dos copias de SU (2) es relevante
para encontrar sus representaciones, ya que las representaciones de SU (2) son bien conocidas. Esto
es s
olo cierto en dimensi
on 1+3 del espacio-tiempo.
Representaci
on espinoral del grupo de Lorentz
Encontrar las representaciones del grupo de Lorentz SO(1, 3), es equivalente a encontrar
las representaciones del grupo SU (2) SU (2). Sabemos que las representaciones de SU (2) son
especificadas por un valor j = 0, 1/2, 3/2, , con 2j + 1 la dimension de la representacion. Por
lo tanto, la representaci
on del grupo de Lorentz en dimension 1+3 sera especificada por 2 valores
de j, uno por cada copia de SU(2). En otras palabras, una representacion dada de SO(1, 3),
puede ser especificada por un doblete (j, j 0 ), donde j corresponde a un SU (2) y j 0 corresponde
al otro grupo SU (2). Debido a que la representacion j de SU (2) esta formada por matrices
(2j + 1) (2j + 1), la representcai
on (j, j 0 ) del grupo de Lorentz SO(1, 3) estara formada por
0
matrices (2j + 1)(2j + 1) (2j + 1)(2j 0 + 1) [12]. La forma en que se construyen las diversas
representaciones sigue la regla de la suma de momento angular.
El campo de Dirac
Se discute la representaci
on espinorial en el contexto del grupo de Lorentz SO(1, 3), el cual,
aparte de la metrica, coincide esencialmente con el grupo ortogonal SO(4). Dicha representacion
es conocida como representaci
on espinorial de Dirac.
Una representaci
on del grupo SO(1, 3) se entiende como un conjunto de matrices D() que
satisface la ley de multiplicaci
on del grupo
D()D()
= D(),
donde
i
D() = e 2 w S ,
12
(1.59)
CAP
ITULO 1. SIMETR
IAS CONTINUAS

con S los generadores del grupo en dicha representacion. Sea la transformacion infinitesimal de
Lorentz
= + w ;
w = w ,
(1.60)
para la cual
i
D() = 1 + w S ;
2
S = S .
(1.61)
Como ya se dijo, el conjunto de matrices S son los generadores del grupo, los cuales satisface el
algebra de Lie del grupo de Lorentz, dada por
i[S , S ] = g S g S g S + g S .
(1.62)
Para construir los generadores asuma que existen matrices (= 0, 1, 2 y 3) que satisfacen el
algebra de Clifford,
{ , } = 2g ,
(1.63)
de tal suerte que los generadores de la representacion espinorial son:

S =
i
[ , ] = S .
4
(1.64)
Un c
alculo directo muestra que
[S , ] = i(g g ).
(1.65)
Tambien se puede demostrar que S satisface el algebra de Lorentz. Por otra parte, se puede
demostrar que
D() D1 () =
(1.66)
lo que nos dice que se transforma como un 4-vector en el mismo sentido que D()1D1 () = 1
es un escalar. Por otra parte se puede demostrar que
D()S D1 () = ( + w + w )S ,
que es justo la versi
on infinitesimal de
D()S D1 () = S .
(1.67)
La representaci
on espinorial tiene una transformacion de paridad que se toma como = 0 .
Del a
lgebra de Clifford se concluye que
1 = .
(1.68)
As, para las matrices de Dirac, se tiene que 1 se transforma como sigue:
i 1
0 1
=
=
i ,
0.
(1.69)
En particular, bajo paraidad los generadores se transforman como

S ij 1 = S ij
S 0i 1 = S 0i .
(1.70)
Por otro lado, en un espacio 4-dimensional los tensores totalmente antisimetricos no pueden
tener m
as de 4 ndices. La regla es la siguiente: Un tensor con N ndices en D dimensiones tiene
13
CAP
ITULO 1. SIMETR
IAS CONTINUAS

D!
un n
umero de componentes independientes igual a N !(DN
tiene 4 componentes inde)! , as
pendientes ya que D = 4 y N = 1, entonces las deben ser matrices 44. De manera general,
en cualquier espacio tiempo de dimensi
on D, uno puede formar tensores antisimetricos con un
n
umero de ndices igual a 0, 1, 2, ..., D; los cuales tienen conjuntamente un n
umero de componentes
independientes igual a
D
X
N =0
D!
= 2D .
N !(D N )!
(1.71)
As que las matrices deben tener 2 2 renglones y 2 2 columnas.

Volviendo al 4-espacio, una representacion conveniente de las matrices de Dirac es

1 0
0
i
0 =
y i =
,
0 1
i 0
(1.72)
con 0, 1 matrices 22 y i las matrices de Pauli.3 Esta es la llamada representacion de Dirac. Note
que
0 = 0
i = i
= ,
(1.73)
ya que no es posible construir una representacion hermtica, dado que implicara que el grupo
de Lorentz admite representaciones unitarias, lo cual no es posible. En esta representacion, los
generadores espaciales toman la forma
k

1
0
S ij = ijk
.
(1.74)
0 k
2
Y los generadores de boost son de la forma
S
0i
i
=
2
0
i

i
.
0
(1.75)
Por otro lado, como sabemos si el espacio tiene dimension par, existe otra matriz independiente.
Sea
5 = 5 = i 0 1 2 3 =
1
,
4!
(1.76)
la cual, mediante un c
alculo directo, se puede probar que es hermtica. En la representacion de
Dirac 5 es dada por

0 1
5 =
.
(1.77)
1 0
Adem
as, dado que
{ 5 , } = 0 [ 5 , S ] = 0.
(1.78)
De esta relaci
on se obtine que bajo transformaciones de Lorentz se transforma como un 0-tensor,
D() 5 D1 () = 5 , mientras que bajo paridad se transforma como 5 1 = 0 5 0 = 5 .
De donde concluimos que es un seudo-escalar, ya que cambia de signo bajo paridad.
3 Dichas
matrices son: 1 =

0
1

1
,
0
2 =
0
i
i
0
14
3 =
1
0

0
.
1
CAP
ITULO 1. SIMETR
IAS CONTINUAS

Ahora, sea el campo con 4 componentes
1 (x)
2 (x)
(x) =
3 (x) .
4 (x)
(x) es un campo espinorial, el cual se transforma en la representacion espinorial de SO(1, 3) de
la forma
(x) = D()(x).
(1.79)
Un aspecto importante es como podemos multiplicar un par de espinores para formar un escalar.
Uno podra pensar que es un escalar, de la siguiente manera:
0 0 = D ()D() = ,
y esto sera cierto si D () = D1 (), pero como habamos dicho antes esto no es posible ya que el
grupo de Lorentz no admite representaciones unitarias, y la matriz D() que representa a los boost
no es unitaria, porque S ij = S ij , para este caso D es unitaria, pero S 0i = S 0i y en este caso la
D no es unitaria. Por lo tanto no se pueden construir objetos covariantes con . La solucion del
problema consiste en introducir el siguiente objeto
= 0 .
(1.80)

on infinitesimal, tenemos
i
0 = [1 w S ] 0 .
2
(1.81)
1 (). Por otra parte, cuando por ejemplo =0 y

Si y son espaciales entonces 0 = D

espacial, tenemos (S ) = S , pero en este caso se puede demostrar que (S ) 0 = 0 S .

De donde finalmente se obtiene que
1 ().
0 = D
(1.82)
Por lo tanto
0 0 = ,
es un invariante de Lorentz. En particular si D() = 0 1 0 = 0 1 0 = .

Luego en lugar de tomar S , suele usarse para construir invariantes
=
i
[ , ]
2
(1.83)
Todos estos objetos son covariantes bajo SO(1,3).
1.2.2.
Grupo de Translaciones
La transformaci
on continua m
as general en el espacio-tiempo consta de una transformacion de
Lorentz m
as una translaci
on, definida como
x0 = x + a ,
con a un 4-vector constante. Considere dos transformaciones sucesivas, as que
0
x0 + a
( x + a ) + a
x + (a)
+a
x0 =
=
= ()
.
15
(1.84)
CAP
ITULO 1. SIMETR
IAS CONTINUAS

Por otro lado, recuerdese que las transformaciones de Lorentz son aquellas que satisfacen T g = g,
as que
T g()
= T (
T g )
= T g = g,
()
tambien es una transformaci
on de Lorentz. Entonces, sea D(, a) una representacion del grupo de
Poincare, entonces debe cumplirse la regla de composicion
a)D(, a) = D(,
a
+a
D(,
).
(1.85)
Ahora considere una transformaci

on infinitesimal
= + w
a = ,
(1.86)
donde w y son infinitesimales. Mientras que la condicion de Lorentz g = g , toma la

forma
g ( + w )( + w ) = g ,
esto es
g + w + w = g ,
(1.87)
entonces w = w es totalmente antisimetrico. En este caso w tiene 6 componentes independientes, y tiene 4 componentes independientes. Por lo tanto vemos que el grupo de Poincare tiene
10 par
ametros. Para una transformaci
on infinitesimal, la representacion D puede ser escrita como
i
D(1 + w, ) = 1 + w J i P ,
2
(1.88)
donde J = J dada la antisimetra de w . Los J son los generadores del grupo de Lorentz
y los P representan a los generadores del grupo de las translaciones. Examinemos las propiedades
de transformaci
on bajo el grupo de J y P . Para tal fin se considera el producto
D(, a)D(1 + w, )D1 (, a),
donde y a son los par
ametros de una transformacion finita, que no esta relacionada con la
transformaci
on infinitesimal. Pero antes de acuerdo con la regla de composicion
D1 (, a) = D(1 , 1 a).
Por lo tanto haciendo el
algebra se obtiene que
D(, a)D(1 + w, )D1 (, a) = D(1 + w1 , w1 a).
Haciendo un desarrollo a primer orden en w y , tenemos lo siguiente:
i
i
D(, a)[1 + w J i P ]D1 (, a) = 1 + (w1 ) J i( w1 a) P ,
2
2
esto es,
1
1
1
D(, a)[ w J P ]D1 (, a) = w J + w (a P a P ) P .
2
2
2
De esta manera igualando coeficientes de w y , se llega a las siguientes relaciones:
D(, a)J D1 (, a) = (J a P + a P )
D(, a)P D
(, a) =
16
(1.89)
(1.90)
CAP
ITULO 1. SIMETR
IAS CONTINUAS

Para a =0, estas ecuaciones muestran que J es un 2-tensor y P es un 1-tensor. Y para translaciones puras ( = ), estas ecuaciones nos dicen que P es un invariante bajo translaciones,
pero no J . Ahora bien asuma que las transformaciones D(, a) son infinitesimales, as que la
ecuaci
on (1.89) toma la forma
i
i
[1 + w J i P ]J [1 w J + i P ] = ( + w )( + w )(J P + P ).
2
2
Haciendo las cuentas se llega a
1
1
i
w [J , J ]i [P , J ] = w (g J g J ) w (g J g J )+ (g P g P ).
2
2
2
Igualando coeficientes de w y nuevamente, se halla que
i [J , J ]
i [P , J
= g J g J g J + g J
=
(g P g
P )
(1.91)
(1.92)
Por otra parte, la ecuaci

on (1.90) toma la forma
i
i
[1 + w J i P ]P [1 w J + i P ] = ( + w )P ,
2
2
la cual conduce a
1
i
w [J , P ] i [P , P ] = w (g P g P ).
2
2
De donde finalmente se concluye que
[P , P ] = 0;
(1.93)
lo que nos dice que el grupo de las translaciones es conmutativo. Las ecs. (1.91,1.92,1.93)
representan el
algebra de Lie del grupo de Poincare ISO(1, 3).
17
Captulo 2
Rompimiento espont
aneo de una
simetra continua
En el modelo est
andar las teoras aceptadas son teoras de Gauge (norma) y que significa esto,
que existe una simetra que tiene invariancia de norma. As la lagrangiana que describe al sistema
es invariante de norma, es decir, es invariante bajo la accion del grupo de Lie en consideraci
on.
Desde el punto de vista cu
antico, el campo de norma se manifiesta mediante partculas bosonicas
sin masa, y es precisamente en la parte donde la teora no concuerda con la realidad, ya que como
sabemos las partculas mediadoras de la interaccion debil son partculas masivas. Por lo tanto,
necesitamos un mecanismo en el cual podamos dotar de masa a estas partculas, pero sin destruir
la simetra de la lagrangiana. Al tratar de dar solucion a este problema, en 1964 el escoces Peter
Ware Higgs encontr
o un metodo para dotar de masa a estas partculas sin romper la simetra local
con la que cuenta la teora de norma. Dicho rompimiento permite obtener la masa de las partculas
sin que ocurre un rompimiento expcito de la simetra de norma de la teora [10].
En teoras de norma, no podemos definir el termino de masa de un campo de norma, el cual
est
a definido por
1 2 a
m A Aa ,
2
(2.1)
ya que no es invariante bajo transformaciones de norma, dadas por

i
A0 (x) = U (x)A (x)U (x) + ( U )U ,
g
con
A T a Aa ,
(2.2)
donde U(x) es un elemento del grupo en consideracion (unitario u ortogonal). El rompimiento

espont
aneo de una simetra permite definir la masa para algunos o todos los campos de norma
Aa (x) mediante el as llamado mecanismo de Higgs.
Sea G un grupo de Lie (orotgonal u unitario) y H un subgrupo. Luego sea (x) un multiplete de
campos escalares en alguna representacion de G. El rompimiento espontaneo de G en H, denotado
por G H, consiste en la eleccion de una direccion particular 0 = cte (no depende de las
cooordenadas) en el espacio de configuracion tal que H G tiene por elementos U (g), que dejan
invariante 0 , es decir,
U (g)0 = 0 .
Note que existir
an U (g) G, pero U (g)
/ H, tales que
U (g)0 6= 0 .
19
(2.3)

CAP
ITULO 2. ROMPIMIENTO ESPONTANEO
DE UNA SIMETR
IA
CONTINUA
2.1. EL TEOREMA DE GOLDSTONE
El rompimiento espont
aneo consiste en elegir una direccion especial en el espacio en el que
aparece la representaci
on del grupo, en este caso el grupo electrodebil, dada por los campos escalares que no es invariante bajo el grupo completo, sino solo por un subgrupo de este, el grupo
electromagnetico en el caso que nos coupa. El teorema de Goldstone sintetiza lo que ocurre cuando
se rompe espont
aneamente una simetra continua global, es decir, que no depende de los puntos de
espacio-tiempo. Mientras que el mecanismo de Higgs caracteriza este mismo fenomeno pero cuando
el rompimiento espont
aneo se realiza en una teora local, esto es, en una teora de norma. Ambos
fen
omenos ser
an discutidos a continuaci
on.
Sea la lagrangiana
L=
1
( ) ( ) V ( , ),
2
(2.4)
con V( , ) = ( ) + ( )2 , > 0, real. La existencia de un rompimiento espontaneo depende

de un estado de mnima energa degenerado, el cual surge de la siguiente manera
V
= 0 [2 + 4( )]i = 0.
i
(2.5)
Tenemos dos posibilidades,

0 = 0.
2 < 0 =
2
4
v2 .
En el segundo caso, notamos que el conjunto de puntos que cumplen dicha condicion, coincide
precisamente con los puntos de una esfera, los cuales estan conectados por G. Pero la teora debe
desarrollarse en el entorno de un 0 . As, dependiendo de como se elija 0 es lo que determina H.
La elecci
on de un 0 particular es lo que significa romper espontanemente el grupo G al grupo H.
El campo (x) en L es remplazado por
0 + (x).
(2.6)
Este hecho no destruye la invariancia de L bajo G. Esto es importante: la lagrangiana de la teora

sigue siendo invariante bajo G, lo u
nico que no es invariante bajo este grupo es el vector 0 .
Ahora, si U (g) H, entonces
U (g)0 = 0 [1 + ia T a + ]0 = 0 ,
(2.7)
lo que indica que T a 0 = 0. Se dice que los generadores de H no estan rotos. Por el contrario si
U (g) G, implica que
U (g)0 6= 0 T a 0 6= 0,
donde T a son los generadores de G que estan rotos.
Como veremos a continuaci
on, si la simetra es global, por cada generador roto aparece un
bos
on de Goldstone, el cual es un campo escalar sin masa, este es el teorema de Goldstone. Si G es
local, los bosones de Goldstone se incorporan a los campos de norma asociados con los generadores
rotos para formar el estado de polarizaci
on longitudinal del campo de norma en consideracion, esto
es el mecanismo de Higgs.
2.1.
El Teorema de Goldstone
El teorema de Goldstone establece que si una simetra global se rompe de forma espontanea,
aparecen partculas escalares sin masa. As, existe una partcula escalar, denominada boson de
20

CAP
DE UNA SIMETR
IA
CONTINUA
Goldstone, por cada generador de la simetra que se rompe. Este mecanismo es el rompimiento
espont
aneo de una simetra global, en cual involucra un multiplete de escalares dado en alguna
representaci
on del grupo. Tomando una lagrangiana renormalizable, que sea invariante bajo dicho
grupo, hallamos que en ciertos puntos tenemos un mnimo del potencial. Una vez hallados los
puntos extremos, al tomar una direccion en particular es cuando rompemos la simetra. Y como ya
se dijo, por cada generador roto debe existir un escalar de masa cero, llamado boson de Glodstone.
Existe, adem
as, un campo escalar con masa en reposo que corresponde a una excitacion a lo largo
de la direcci
on especial que se ha elegido al romper espontaneamente la simetra; este campo recibe
el nombre de bos
on de Higgs.
Para ilustrar las ideas esenciales atras del rompimiento espontaneo de una simetra, se considerar
a un caso especfico. Se trata de romper espontaneamente el grupo SO(3) en el grupo SO(2).
Para ello considere el triplete de SO(3) de campos escalares
1 (x)
(x) = 2 (x) ,
3 (x)
donde los campos i (x) son campos reales. Bajo SO(3)
0 (x) = O()(x);
O() = ei
Ta
SO(3).
(2.8)
La siguiente lagrangiana renormalizable es un invariante de Lorentz y bajo SO(3) global

L=
1
( ) ( ) V ( ),
2
con
1 2 T
( ) + (T )2 ,
2
donde >0, R, V es el potencial escalar (potencial de Higgs si 2 < 0). Los puntos extremos
del potencial son dados por
V () =
V
= [2 + 4( )]i = 0,
i
si 2 > 0, entonces el mnimo ocurre en i =0; en este caso, corresponde a la masa de los campos
i . Un caso mucho m
as interesante ocurre si 2 < 0, pues existe un n
umero infinito de punto que
satisfacen la condici
on de extremo
=
2
v2 ,
4
esto es,
21 + 22 + 23 = v 2 ,
(2.9)
dado que > 0 , V (y por tanto, la energa) es un mnimo en todos los puntos de esta superficie
esferica. Lo que quiere decir que el estado base es degenerado, con grado de degeneracion infinito no
numerable. Note que la esfera es un invariante de SO(3). En efecto, sean 0 los puntos de la esfera,
entonces 00 = O0 el cual es otro punto de la esfera. Se debe de elegir una direccion en particular
caracterizada por alg
un punto de esta esfera, notando siempre que todos los puntos son equivalentes
en el sentido de que est
an relacionados por el grupo de simetra. Romper espontaneamente SO(3)
significa elegir una direcci
on particular (un punto de la esfera). Que direccion 0 elegir lo determina
la teora fsica. En este caso t
omese

0
0 = 0 .
(2.10)
v
21

CAP
DE UNA SIMETR
IA
CONTINUA
Los elementos de SO(2) son los elementos de SO(3) tales que dejan invariante a 0 , es decir,
O(3 )0 = 0 .
Dichos elementos son las matrices de la forma
cos3
O(3 ) = sin3
0
sin3
cos3
0
0
0 .
1
De esta manera, SO(3) es roto espont

aneamente a SO(2). Observamos que
O(3 )0
[1 + 3 T3 + ] 0
0 T3 0 = 0,
de esta manera se dice que el generador T3 no esta roto. Dado que con O(a ) = eia Ta , lo cual con
a 6= 3, se convierte en
eia Ta 0 6= 0 Ta 0 6= 0,
implica que los generadores T1 y T2 est
an rotos.
Ahora, desarrollando la teora en el entorno de 0 mediante la traslacion
(x) 0 + (x),
se tiene,

0
1 (x)
1 (x)
0
+ 2 (x)
0
0 + = 0 + 2 (x) =
3 (x)
v
v + 3 (x)
0
1 (x)
0
con h g = 0.
= 0 + 2 (x) = h + g ;
0
v+h
De donde resulta que el potencial toma la forma
V =
1 2
(h + g ) (h + g ) + [(h + g ) (h + g )]2 ,
2
pero 2 = 4v 2 . Despues de hacer el

algebra se llega a lo siguiente
V = [2(v 2 + h h )g g + (h h 2v 2 )h h + (g g )2 ].
Los terminos de masa se identifican con las partes cuadraticas en los campos. Una posible masa
para 1 y 2 solo puede surgir de
(v 2 + h h )g g = [v 2 + (v + h2 )](21 + 22 ) = 2vh(21 + 22 ) +
Entonces 1 y 2 tiene masa cero, por lo que reciben el nombre de bosones de Goldstone. Como
ya se haba se
nalado anteriormente siempre aparece uno por cada generador roto. El termino de
donde puede surgir un termino de masa para el campo h es
(h h 2v 2 )h h = [(v + h)2 2v 2 ](v + h)2 = 4v 2 h2 + 4vh3 + h4 v 4 .
Haciendo un poco de
algebra se obtiene
L
1
1
1
( h)( h) + ( 1 )( 1 ) + ( 2 )( 2 )
2
2
2
[2vh(21 + 22 ) + 2h2 (21 + 22 ) + (21 + 22 )2 v 4 + 4v 2 h2 + 4vh3 + h4 ].
22

CAP
DE UNA SIMETR
IA
CONTINUA
2.2. EL MECANISMO DE HIGGS
Por lo tanto
Lh =
con m2h = 8v 2 , entonces =
Lh =
1
1
( h)( h) m2h h2 4vh3 h4 ,
2
2
m2h
8v 2 .
Finalmente
1
1
m2
m2
( h)( h) m2h h2 h h3 h2 h4 .
2
2
2v
8v
Note que los bosones de Goldstone se transforman covariantemente bajo SO(2). Los bosones de
Goldstone siempre aparecen en una representacion del subgrupo H. Este es un resultado general.
El campo masivo h, llamado bos
on de Higgs, se transforma trivialmente bajo SO(2).
2.2.
El mecanismo de Higgs
Cuando la teora considerada en el punto anterior es de norma, es decir, cuando es invariante

bajo transformaciones locales del grupo en consideracion, los campos de norma adquieren masa
mediante la absorci
on de los bosones de Goldstone, de tal suerte que estos desaparecen de la teora
para incorporarse como un grado de libertad extra de los campos de norma, grado de libertad que
corresponde a la masa de la partcula. La partcula de Higgs queda como el u
nico remanente fsico
del multiplete de escalares introducido en la teora para implementar el rompimiento espont
aneo
de la simetra.
As
umase ahora que el grupo SO(3) actua localmente, esto es,
O() = ei
(x)T a
U (x).
(2.11)
La teora invariante es ahora

L=
1 a a
1
(D ) (D ) V ( , ) F
F
,
2
4
(2.12)
a
= Aa Aa + geabc Ab Ac la curvatura
donde D = igT a Aa es la derivada covariante y F
del grupo. En particular, en la representacion de triplete
(D )a = Dab b , con Dab = ab gabc Ac .

Asumiendo que la teora presenta rompimiento espontaneo (2 < 0 ), debemos tomar

0
1
0 + , con 0 = 0 y = 2 .
v
h
Nada cambia en V( , ), con respecto a cuando la teora es global. Pero en el sector cinetico se
generan resultados interesantes, como se vera a continuacion. Tenemos que
1
1
[D (0 + )] [D (0 + )] (D 0 ) (D 0 )
2
2
1
2 2
1 2 abd ace d e b c
g v
A
1
2
(A , A )
,
= g A A 0 0 =
A2
2
2

1
el cual se transforma covariantemente bajo SO(2) justo como
. Y esto muestra que los campos
2
asociados con los generadores rotos T 1 y T 2 adquieren masa, con mA = gv, es decir,

1 2 1 2 A1
m (A , A )
.
2 A A2
Lk =
23

CAP
DE UNA SIMETR
IA
CONTINUA
2.2. EL MECANISMO DE HIGGS
Ahora, defnase los campos complejos
1
1
2
A
= (A iA ),
2
lo que implica que:
A1
A2
(A+
+ A )
2
i
(A+
A ).
2
+
Entonces, el termino de masa toma la siguiente forma m2A A
, la cual es invariante bajo U (1)
A
3
SO(2). Observe que el campo de norma A asociado al generador no roto de SO(3) permanece sin
masa.
Por otra parte, defnase
1
G = (1 i2 ).
2
Un desarrollo explcito del sector cinetico usando las relaciones anteriormente definidas, conduce a
1 ab
(D b )(Dac c )
2
1
+
(D G+ ) (D G+ ) + ( h)( h) + ig3 [A+
(D G )
2
+
2 2 +
A
+ ig( 3 )(G+ A + G A+ )
(D G )] + g 3 A A
g2 +
+
(G A + G A+
+ G+ A ).
)(G A
2
En lo que respecta al sector de Yang-Mills, definimos

1
1
2
+
+
iF
) = D A+
F
(F
D A ;
2
+
F
= (F
) ,
3
+
+
F
= F + ig(A
A A A ), con F = A A ,
de donde se desprende que este sector se puede escribir como

1 a a
F
F
4
1 + 1
= F
F
F F igF A A+
2
4
g2 +
+
+ (A A A+
A A+ A ).
A )(A
4
Los acoplamientos fsicos que surgen del sector cinetico de Higgs son
1
+
( h)( h) + g 2 23 A
A
2
1
+
( h)( h) + m2v A
A
2
+
2 2 +
+2gmv hA
A + g h A A ,
con mv = gv, entonces v = mgv . En terminos de los campos complejos A

a es
y G , la teor
invariante bajo el grupo U (1) en forma manifiesta.
24
Captulo 3
La teora electrod
ebil
El modelo est
andar es una teora cuantica de campos renormalizable que describe las interacciones electrodebil y fuerte entre los quarks y los leptones, los cuales constituyen las componentes
de materia m
as elementales hasta hoy conocidos. Dichas partculas son fermiones de espn 1/2 e
interaccionan entre s mediante el intercambio de bosones de norma de espn 1 que estan asociados
con dichas interacciones. [13]
El modelo est
andar es descrito por el grupo de norma
SUC (3) SUL (2) UY (1),
donde UY (1) es el grupo de Hipercarga. La correspondiente constante de acoplamiento y el campo
de norma asociados a este grupo se denota por g 0 y B , respectivamente. Los campos de norma
asociados con el grupo SU (2) son detodados por Wa y con g se denota la constante de acoplamiento
correspondiente. Finalmente, SU (3) es el grupo de la interaccion fuerte. Los correspondientes ocho
bosones de norma reciben el nombre de gluones y suelen denotarse por Ga . En esta tesis nos
centraremos en el sector electrodebil del modelo caracterizado por el grupo de norma SUL (2)
U (1)Y [14]. El prop
osito de este captulo es presentar una breve descripcion de cada uno de los
sectores de la teora electrodebil, con enfasis especial en el sector de Yukawa, en el contexto del
cual se dar
a la contribuci
on original de este trabajo.
Una interesante peculiaridad de la interaccion electrodebil es que distingue entre los estados de
helicidad de los leptones y los quarks, es decir, los bosones de norma correspondientes se acoplan
con diferentes intensidades a dichos estados. Como consecuencia, esta interaccion viola paridad.
Otra caracterstica importante consiste en que los bosones de norma correspondientes son masivos.
Es por esto que el mecanismo de Higgs juega un papel central en esta teora.
En la teora electrodebil, los leptones y quarks se organizan en tres dobletes izquierdos de
SUL (2), denominados familias, que tienen caractersticas similares, excepto por sus masas,

u
1era.F amilia : e
; e
;
; uR y dR
(3.1)
R
e L
d L

2da.F amilia :

3era.F amilia :
Resumidos de la siguiente manera,

i
Li =
; lRi ;
li L
R;

c
; cR y sR
s L
(3.2)
; R ;

t
; tR y bR
b L
(3.3)

L
Qi =

ui
; uRi y dRi
di L
25
(3.4)

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
3.1. SECTOR DE HIGGS
Los campos derechos e izquierdos est
an dados en terminos del operador de quiralidad 5 mediante
L = PL y R = PR , donde los proyectores de quiralidad entan definidos como lo dictan las
ecuaciones (1.24) y (1.25). Esta notaci
on es usada debido al hecho de que los campos izquierdos
transforman como dobletes bajo el grupo SUL (2), sin embargo este no es el caso para los campos
derechos, los cuales son sigletes del grupo. As, los campos tiene las siguientes transformaciones de
norma bajo SUL (2) UY (1):
Li
lRi
L0i = exp[ii (x)

0
lRi
= exp[i(x)
Y
i
+ i(x) ]Li
2
2
Y
]lRi ,
2
(3.5)
donde i (x) y (x) son par

ametros de los grupos SUL (2) y UY (1), respectivamente. Estos operadores determinan dos n
umeros cu
anticos Y y T3 , los cuales estan relacionados con la carga electrica,
mediante la relaci
on de Gell-Mann-Nishijima1
Q=
Y
3
+ .
2
2
(3.6)
Calculemos el valor explcito de las hipercargas de los leptones y los quarks. Comencemos con el
valor del doblete lept
onico y de quarks,

Qi = 0 = 21 + Y2
Li
YLl = (1)
Qli = 1 = 21 + Y2

1
= 12 + Y2
Qui = +2
3
YLq = ( ).
Qi
1
Y
Qdi = 1
=
+
3
3
2
2
Ahora calculemos el valor de la hipercarga de los singletes de leptones y quarks,
lRi
uR
dR
Y
YRl = 2,
2
Y
4
2
YRu =
Q= =0+
3
2
3
1
Y
2
Q=
=0+
YRd =
.
3
2
3
Q = 1 = 0 +
La lagrangiana invariante de norma de SUL (2) UY (1) se puede dividir en dos partes, una
que contiene a los campos bos
onicos y otra que contiene fermiones y bosones. La parte bosonica
se divide a su vez en los sectores de Higgs y de Yang-Mills, mientras que el sector de fermiones
se divide en los sectores de Corrientes y de Yukawa. Por lo tanto, la lagrangiana de la teora
electrodebil se puede divir en cuatro sectores como sigue:
L = Lf + Lb = LH + LY M + LY + LC ,
donde Lf = LY + LC y Lb = LH + LY M . Se procede ahora a presentar una breve descripcion de
las caractersticas principales de cada uno de estos sectores.
3.1.
Sector de Higgs
Este sector permite dotar de masa a los bosones debiles y al boson de Higgs y genera la dinamica
entre estas partculas. Para dotar de masa a los fermiones y bosones de norma, necesitamos del
rompimiento espont
aneo de la invariancia de norma, ya que nosotros vivimos en el mundo simetrico
1 Esta
combinaci
on lineal hace que el vaco quede invariante
26

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
Ue (1), con un fot
on sin masa. De esta forma debemos tener el siguiente rompimiento espont
aneo
SUL (2) UY (1) Ue (1). Para realizar este rompimiento espontaneo de simetra, se introduce el
campo escalar, llamado el campo de Higgs. Como se tienen cuatro campos de norma (tres asociados
con SUL (2) y uno con U (1)Y ), y se quiere terminar con un foton si masa asociado con U e( 1), se
necesitan de al menos cuatro grados de libertad. [15] De esta manera se introduce un doblete
escalar de SU(2), con hipercarga Y =1, [16]
+
Gw
(x) =
.
(3.7)
0
La lagrangiana renormalizable es
LH = LHK + V,
(3.8)
donde LHK es el termino cinetico, dado por:

LHK = (D ) (D ),
(3.9)
del cual sugen las masas de los bosones de norma, as como sus interacciones con el boson de Higgs.
Por otra parte, V es el potencial de Higgs, cuya estructura renormalizable tiene la forma:
V = 2 ( ) + ( )2 ,
(3.10)
con un par
ametro con unidades de masa y > 0 adimensional, para asegurar que el vacio
sea estable. Es aqu donde se genera la masa del boson de Higgs y sus auto interacciones. El
rompimiento espont
aneo de SUL (2) UY (1) ocurre cuando 2 < 0. En efecto la condicion de
mnimo es dada por:
V
= 0 [2 + 2( )] = 0,
(3.11)
pero esta mnima energa es degenerada, ya que

=
v2
2
= .
2
2
(3.12)
De esta manera se toma una direccion 0 , tal que:

3

Y
+
Q0 =
0 = 0,
2
2
dado que Y (x) =(+1)(x), tomando la relacion de

1
1 0
1
Q=
+
0 1
0
2
(3.13)
Gell-Mann-Nishijima se obtiene que

0
1 0
=
,
1
0 0
as la u
nica forma posible para 0 es:

0 =
0
v
2

.
(3.14)
Por lo que al estar eligiendo un 0 , ya estamos rompiendo el grupo. De esta forma la teora tiene
un mnimo en 0 . En consecuencia de los 4 generadores, queremos romper 3 para que corresponda
al grupo electromagnetico, como se ha dicho anteriormente. Seg
un el teorema de Goldstone, por
cada generador roto hay un escalar de masa cero, llamado boson de Golstone. En este caso se tiene,

+

G+
Gw
0
w
(x) 0 + (x) = v+H+iG
=
+
= g + h .
(3.15)
iG
v+H
z
z
2
27

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
La masa del campo H surge del potencial de Higgs.
2
2
2
2
Ya hemos visto que v2 =
2 , de donde resulta que = v . Ahora bien, queremos conocer
)2 , g = (G G+ +
(g +h ) (g +h ) = g g +h h +g h +h g . Pero h h = ( v+H
g
w w
2
G2z
2 )
y g h + h g = 0. Por lo tanto (g + h ) (g + h ) = g g + h h . Entonces

V ( , )
=
=
[v 2 + ( )]( )
v2
[2( + h h )g g + (h h v 2 )h h + (g g )2 ].
2
(3.16)
Analicemos de cerca el primer termino del cual podra surgir un termino de masa para G
w y Gz .
G2z
2
2
2
+
Como g g = (Gw Gw + 2 ) = (1 + 2 + I ), entonces se tiene que
2(
v2
H2
+ h h )g g = 2(vH +
)(21 + 22 + 2I ).
2
2
(3.17)
As, de la ec. (3.17) vemos que no hay ning

un terminos que puede contribuir con terminos de masa
para los campos 1 , 2 y I . Esto significa que los campos G
w y Gz son bosones de Golstone, que
como sabemos siempre aparece uno por cada generador roto si la simetra es global, en cuyo caso
tenemos en lugar de D , y seudobosones de Golstone si la simetra es de norma (mecanismo de
Higgs). Finalmente, analicemos el segundo termino de la ecuacion (3.16), el cual esta dado por
(h h v 2 )h h
=
=
v2
H 2 v2
H2
+ vH +
)( + vH +
)
2
2
2
2
v4
H4
( + v 2 H 2 + vH 3 +
).
4
4
(
(3.18)
De esta expresi
on se puede
identificar la masa que corresponde al campo H, la cual puede verse
que es dada por mH = 2 v.
Por otra parte, los sudobosones de Goldstone pueden ser removidos de la teora mediante
una transformaci
on de norma particular, conocida con el nombre de norma unitaria. Esta norma
corresponde a una transformaci
on de norma para la cual los nuevos seudobosones de Goldstone
son exactamente cero:
0
G0
w = 0 y Gz = 0.
Este caso corresponde a fijar la norma con respecto a los generadores rotos de SUL (2) UY (1),
pero no respecto al generador no roto. Esta es la norma unitaria,

0
(x) = v+H
.
(3.19)
Para desarrollar el termino cinetico debemos conocer la forma de la derivada covariante en la

representaci
on fundamental, la cual es dada por
D = ig
a a
Y
W ig 0 B .
2
2
(3.20)
Construyamos expl
la derivada covariante
citamente

paraesta representacion, para eso tomemos

0
0 1
0 0
+
en cuenta que Q v+H

=
0,
y
definamos
=
operador
de
subida,
y
0 0
1 0
2
operador de bajada. Adem
as, se introducen las siguientes definiciones para los campos de norma:
W = W1 iW2 . Despues de alguna
algebra, se obtiene
"
!

#
0
0
ig
i
+ 1
3
0
D =
(v + H)W
+ (gW g B ) v+H
.
(3.21)
H
0
2
2
2
2
28

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
3.2. SECTOR DE YANG-MILLS
Por lo tanto,
LHK
1
g2
( H)( H) + (v + H)2 W W +
2
4
1
2 2
3
+ (v + H) (g W W 3 2gg 0 W3 B + g 02 B B ).
8
(3.22)
El termino g4 (v)2 W W + es el termino de masa para los campos de norma W . En lo que respecta
a los terminos de masa asociados a los campos de norma W3 y B , notemos que la ecuacion anterior
se puede escribir como
2
3
1
g2
1
g
gg 0
W
,
( H)( H) + (v + H)2 W W + + (v + H)2 (W3 , B )
gg 0 g 02
B
2
4
8
donde se defini
o el llamado
angulo debil como tanw =
sinw = sw =
W3
0
2g 02 .
g +g
g0
g .
Por lo tanto, cosw = cw =
De la expresion anterior, vemos que los terminos de masa para los campos
y B est
an encriptados en el siguiente termino
2
3
1 2
g
gg 0
W
3
v (W , B )
,
0
02
gg
g
B
8
el cual puede ser diagonalizado de la siguiente manera

2

1
1 2
g + g 02 0
Z
v (Z , A )
= v 2 (g 2 + g 02 )Z Z ,
0
0
A
8
8
usando la transformaci
on ortogonal
3

W
Z
cw
=S
=
A
sw
B
sw
cw
(3.23)
(3.24)

Z
.
A
De la ec.(3.24) podemos ver que la masa del boson de norma neutro Z esta dada por mZ =
mW
on es cero, como debe ser.
cW , mientras que la masa del fot
3.2.
g
g 2 +g 02
(3.25)
1
2cw gv
Sector de Yang-Mills
En los a
nos 50s Yang y Mills concideraron extender la invariancia local de norma para incluir
las transformaciones no-abelianas 2 bajo SU(2) [14]. De esta forma al incluir los campos vectoriales,
se debe agregar el termino de propagacion de los campos, tambien denominado el termino cinetico,
el cual debe de ser invariante de norma. Dicho termino se construye con las estructuras covariantes
i
dadas por el tensor de campo W = T i W
, asociado con el grupo no abeliano de SUL (2) y
el correspondiente tensor B del grupo abeliano UY (1), los cuales transforman de la siguiente
manera
0
W
= U W U ,
U SUL (2)
0
B
= B .
(3.26)
(3.27)
As, la lagrangiana del sector de Yang-Mills de la teora electrodebil esta dada por
1 a a 1
LY M = W
W
B B ,
4
4
2 Esto
lo hicieron como un ejercicio matem

atico.
29
(3.28)

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
3.3. SECTOR DE YUKAWA
donde los tensores de campo est
an dados por
B = B B ,
(3.29)
a
W
= Wa Wa + geabc Wb Wc .
(3.30)
Pero como vimos en la secci

on anterior, se tiene que B = cw A sw Z y W3 = cw Z + sw A ,
entonces
B = cw F sw Z
(3.31)
3
W
= sw F + cw Z + ig(W W+ W W+ ).
(3.32)
+
W
= W+ W+ .
(3.33)
Adem
as, definimos
Por otra parte, sean los tensores con contenido de carga electrica
)
1
2
1
+
+

= 12 (W
)
W
)
iW
+W
12 (W
W
1
i
2
2
1
+
W 2 (W + iW )
W = 2 (W W )
+
+

, se tiene que
) . Realizando el
algebra para W
= (W
Note que W
+
+

W
= W
+ ie(W+ A W+ A ) + igcw (W+ Z W+ Z ).
(3.34)
Finalmente la lagrangiana de Yang-Mills toma la forma

L
=
=
1
1 3
1
1
2
(W
W 1 + W
W 1 ) W
W 3 B B
4
4
4
1 + 1
1
W W
F F Z Z ig(sw F + cw Z )W W +
2
4
4
g2
+
+
+ (W W W W )(W W + W + W ).
4
(3.35)
Este sector determina las interacciones entre los bosones de norma electrodebiles W , Z y A.
3.3.
Sector de Yukawa
El modelo est
andar contiene dos sectores fermionicos con estructuras de norma y de Lorentz
completamente diferentes. Uno de estos sectores es el de Yukawa. La simetra electrodebil no permite la introducci
on explcita de terminos de masa para ningu
un tipo de particula, y en particular
para los leptones y quarks. El sector de Yukawa tiene como proposito generar las masas para los
fermiones quirales va el mecanismo de Higgs. Las invariantes de este sector se contruyen como
producto de eigenestados de campos de norma que vinculan fermiones de diferente helicidad acoplados al doblete de Higgs. Como sabemos, la teora electrodebil no define los estados de helicidad
derecha para los neutrinos, por lo que no pueden tener ninguna manifestacion fsica en este sector.
El secctor de Yukawa corresponde a invariantes electrodebiles de dimension cuatro que se pueden
construir con los dobletes izquierdos de los fermiones, los singletes derechos y el doblete de Higgs.
Las expresiones (3.1), (3.2), (3.3) y (3.4) nos muestran como se organizan los fermiones. De
esta forma la lagrangiana de Yukawa es:
LY = LlY + LqY ,
30
(3.36)

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
donde
0 l0 + h.c.
LlY = Yijl L
i
Rj
(3.37)
0i u
0Rj Yijd Q
0i d0Rj + h.c.,
LqY = Yiju Q
(3.38)
donde en cada termino existe suma sobre los ndices de sabor i, j. Las Yijl , Yiju y Yijd son componentes
de matrices 33 completamente generales, llamadas las constantes de Yukawa, las cuales son
adimensionales. En lo que respecta a los quarks, sabemos que existen estados derechos para las
dos componentes del doblete izquierdo, de esta manera es necesario considerar otro objeto que
transforme convariantemente bajo el grupo SUL (2) UY (1). Dicho objeto es dado por
= i 2 =
3.3.1.
0
1
v+H

0
1
2
.
=
v+H
0
0
2
(3.39)
Sector de Yukawa Lept

onico
El sector de Yukawa lept

onico puede escribirse de la siguiente manera

0
v+H
LlY
=
=
=
0 0
Yijl (
Li
, lLi )
0
v+H
0
lRj
+ h.c.
v+H
0 0
Yijl lLi
lRj + h.c.
2
v + H 0 l 0
E
L Y ER + h.c.,
2
(3.40)
0
e
donde E 0 = 0 es un vector en el espacio de sabor. Lo que implica que
0
l
H 0 l 0
0
L0 Y v ER
E
LlY = E
L Y ER + h.c.
2
2
l
Ahora sea Y2v = Yl , de aqu tambien se tiene que Y l =
escrita de la siguiente manera
LlY = (1 +

2Y l
v .
H 0 l 0
)E Y ER + h.c.
v L
(3.41)
As que la lagrangiana puede ser
(3.42)
Como ya se haba mencionado, Yijl = v2 Yijl son los elementos de la matriz de masa, la cual es
completamente general. Para identificar las masas fsicas es necesario diagonalizarla. Al respecto,
existe un teorema del
algebra lineal que nos dice
Teorema: Para cualquier matriz M , siempre es posible encontrar dos matrices unitarias, A y
B, tal que AM B es real y diagonal.
Prueba.- Expresemos la matriz M en su descomposicion polar, la cual esta dada por
M = HU,
31

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
donde H es una matriz hermitiana y U una matriz unitaria. Pero toda matriz hermitiana puede
ser diagonalizada por una matriz unitaria, esto es,
S HS
es diagonal, con S = S 1 . Por lo que tomando A = S y B = U S, tenemos que
AM B = S M U S = S (HU )U S = S HS,
la cual es una matriz real y diagonal, ya que los eigenvalores de una matriz hermitiana son eigenvalores reales. Por lo que queda demostrado el teorema.
Por otro lado, sea la transformaci
on unitaria dada por
EL0 = VLl EL
(3.43)
0
ER
= VRl ER ,
(3.44)
donde VLl y VRl son matrices unitarias, entonces la lagrangiana toma la forma
LlY = (1 +
H l l l
)EL VL Y VR ER + h.c.
v
(3.45)
Definamos M l = VLl Yl VRl , la cual es una matriz diagonal y real, usando el teorema anteriormente
demostrado, por eso se pide que VLl y VRl , sean matrices unitarias. Dicha matriz es la matriz de
masa de los leptones. Entonces
LlY
H
R M l EL )
)(EL M l ER + E
v
H l
= (1 + )(EM
E),
v
= (1 +
(3.46)
donde
me
Ml = 0
0
0
m
0
0 .
m
(3.47)
As pues el sector de Yukawa para leptones conserva el sabor, esto es, el boson de Higgs solo se
acopla al mismo tipo de lept
on cargado. Finalmente,
LlY = (1 +
3.3.2.
gH
l E)
)(EM
2mw
Sector de Yukawa de Quarks
Una vez m
as en la norma unitaria, tenemos

v+H
v+H
0
32
(3.48)

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
3.4. SECTOR DE CORRIENTES
De este modo la lagrangiana de Yukawa para el sector de quarks es
v+H

0
2
LqY = Yiju (
u0Li , d0Li )
u0Rj Yijd (
u0Li , d0Li ) v+H
d0Rj + h.c.
0
2
v+H u 0 0
v + H d 0 0
= Yij u
Li uRj Yij dLi dRj + h.c.
2
2
v + H 0 u 0
0
0
L
Y d DR
) + h.c.
= (UL Y UR + D
2
0
0
u
d
donde U 0 = c0 y D0 = s0 son vectores en el espacio de sabor. Entonces
t0
b0
d
u
H 0 u 0
H 0 d 0
0 Y v 0
L
L0 Y v UR0
DR D
UL Y UR D
LqY = U
L Y DR + h.c.
2
2
2
2
Sean
Yu v
2
= Yu y
Yd v
2
(3.49)
(3.50)
= Yd , as que la lagrangiana anterior toma la forma

LqY = (1 +
H 0 u 0
0 d 0
L
)(UL Y UR + D
Y DR ) + h.c.
v
(3.51)
Adem
as Yiju = v2 Yiju y Yijd = v2 Yijd son los elementos de la matriz de masa para los quarks de
tipo up y down, respectivamente. Dichas matrices son completamente generales, las cuales deben
ser diagonalizadas para determinar las masas fsicas de los quarks. Apoyandonos en el teorema de
la secci
on anterior, hagamos las siguientes transformaciones unitarias

UL0 = VLu UL
D0 = VLd DL
; 0L
,
(3.52)
u
0
UR = VR UR DR = VRd DR
donde VLu , VRu , VLd y VRd son matrices unitarias. Entonces, en termino de los nuevos campos, la
lagragiana de Yukawa toma la forma
LqY = (1 +
H u u u
L V d Yd V d DR ) + h.c.
)(UL VL Y VR UR + D
R
L
v
(3.53)
Definamos M u = VLu Yu VRu y M d = VLd Yd VRd , las cuales, como consecuencia del teorema mencionado, son matrices diagonales y reales. Finalmente,
LqY = (1 +
H u
d D),
)(U M U + DM
v
(3.54)
con
mu
Mu = 0
0
0
mc
0
0
mt
md
Md = 0
0
0
ms
0
0 .
mb
(3.55)
De esta manera el sector de Yukawa para quarks en terminos de los eigenestados de campos de
masa conserva el sabor, ya que el boson de Higgs solo se acopla a pares del mismo tipo de quarks.
3.4.
Sector de Corrientes
Este sector determina los terminos cineticos de los leptones y quarks, as como sus interacciones
con los bosones de norma. Esto se genera al sustituir la derivada ordinaria de la parte cinetica de
33

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
los fermiones quirales por la derivada covariante asociada al grupo electrodebil, lo que da lugar a
la presencia de terminos de interacci
on carracterizados por las estructuras de Lorentz y 5 .
Las interacciones de los fermiones con los bosones de norma da lugar a lo que se conoce como
corrientes cargadas y neutras. En terminos de los eigenestados de masa, este sector conserva el
sabor de familias y aun entre miembros de las misma familia en el caso de corrientes neutras. Este
requerimiento viene de la necesidad de definir correctamente a los terminos cineticos, los cuales
no pueden involucrar el producto de dos terminos diferentes, es decir, los terminos de la forma
ifLi fLj con i distinto de j, no tiene una interpretacion directa en el contexto de campo libre.
La lagrangiana renormalizable para este sector es dada por
Lc = Llc + Lqc ,
(3.56)
/ 0 .
0 Dl
/ 0i + ilRi
Llc = iL0i DL
Ri
(3.57)
donde
La primera derivada de la ec. (3.57) es:

D = i
YL
a a
W + ig 0 B ,
2
2
(3.58)
y la segunda derivada corresponde a

D = ig 0
YlR
B .
2
(3.59)
De acuerdo con el rompimiento espont

aneo SUL (2) UY (1) Ue (1), el generador del grupo
electromagnetico es Q = T 3 + Y2 , as que el lepton cargado izquierdo y derecho tienen la misma
carga, auqnue, como ya se vio, no la misma hipercarga. Entonces
Ql =
YL
3
+
2
2
Ql =
YR
.
2
Por otra parte para el caso del doblete la derivada covariante en la representacion fundamental de
SUL (2) es
ig
ig
D = (W+ + + W )
Z ( 3 2s2w Ql ) ieQl A ,
2c
2
w
(3.60)
mientras que para el singlete la derivada covariante correspondiente es

D = ieQl A + igQl
s2w
Z .
cw
(3.61)
Por ejemplo,

/ Li
ig + lLi
ig 0
ig
Li
0
0
/ i=
/
/
/
/
DL
W
Z
ieQl A
2
/ Li 2 W
0
(1
+
2s
Q
)l
l
l
2cw
Li
Li
2
w l Li
/ 0i
iL0i DL
g
g
0
0
0
0
0 / 0
0 / 0
= i
Li
Li + ilLi
lLi + W+ Li
lLi
+ W lLi
Li
2
2
g
0
0
0
0
0
0
+eQl A lLi
lLi
+
Z (
Li
Li
(1 + 2s2w Ql )(lLi
lLi
))
2cw
y
s2
0 / 0
0
0
0 / 0
0
0
ilRi
lRi = ilRi
lRi + eQl A lRi
lRi
w gQl Z lRi
lRi
.
cw
34

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
3.4.1.
Sector de corrientes Lept

onico
El sector de corrientes lept

onico es dado por la siguiente lagrangiana
Llc
g
g
0 / 0
0
0
0
0
0 / 0
= i
Li
Li + ilLi
lLi + W+ Li
lLi
+ W lLi
Li
2
2
g
0
0
0
0
0
0
+eQl A lLi
lLi
+
Z (
Li
Li
(1 + 2s2w Ql )(lLi
lLi
))
2cw
s2
0 / 0
0
0
0
0
lRi + eQl A lRi
+ilRi
lRi
w gQl Z lRi
lRi
.
cw
Sean los vectores en el espacio de sabor,
e0
0 = 0
0
(3.62)
0
e
E 0 = 0 .
0
Entonces,
Llc
g
0 / 0
L0 E
R
/ L0 + iE
/ L0 + iE
= i
L0
ER + W+ L0 EL0
2
g
0 0
0
0 0
L EL0 + Ql E
R
+ W EL L + eA (Ql E
ER )
2
2
g
0 0
L0 EL0 )) sw gQl Z E
R
+
Z (
L0 L0 (1 + 2s2w Ql )(E
ER .
2cw
cw
(3.63)
Pasando a eigenestados de masa elegimos las mismas matrices que rotan EL y ER

EL0 = VLl EL
.
0
ER
= VRl ER
Pero que hacemos con L0 ? Como no hay ninguna restriccion ya que desaparece totalmente del
sector lept
onico de Yukawa, podemos elegir la transformacion que mas nos convenga, as lo transformamos de la misma forma que EL0 , para que elimine los efectos de violacion de sabor en las
corrientes cargadas. Entonces, tomemos
L0 = VLl L .
Como consecuencia de esta elecci
on, las corrientes neutras conservan el sabor. En efecto,
L0 EL0
= L VLl VLl EL
= L VLl VLl EL
= L EL .
(3.64)
En lo que respecta a las corrientes cargadas, tenemos

0
0 E
0 / 0
E
L / L + ER E
R
L E
R E
/ L+E
/ R
= E
/
/
= E PL E + E PR E
(P
/ R + PL )E
= E
/
= E E.
(3.65)
lo cual muestra que no esxisten acoplamientos entre miembros de diferentes familias. Es importante
se
nalar la ausencia de interacciones entre leptones de diferentes familias mediadas por el boson debil
35

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
cargado. Adem
as esto no s
olo se debe a la inexistencia de neutrinos derechos, sino tambien a que
el sector de corrientes es originalmente invariante de sabor. Finalmente,
Llc
3.4.2.
g
PL )
E
/ L + iE
/ + (W+ PL E + W E
= i
L
2
E)
+eA (Ql E
g
l
l
+
Z (
PL + gL
EL EL + gR
ER ER ).
2cw
(3.66)
Sector de corrientes Quarks
El sector de corrientes de quarks est

a caracterizado por la siguiente lagrangiana
0i DQ
/ 0i + i
/ 0Ri + id0Ri Dd
/ 0Ri ,
Lqc = iQ
u0Ri Du
(3.67)
0
ui
0
donde Qi =
. El desarrollo explcito de esta expresion conduce a
d0i L
Lqc
g
g
/ 0Li + id0Li d
/ 0Li + W+ u
0Li d0Li + W d0Li u0Li
= i
u0Li u
2
2
g
0
0
0
0
+eQl A dLi dLi +

Z (
uLi uLi (1 + 2s2w Ql )(d0Li d0Li ))
2cw
s2
/ 0Ri + eQl A u
0Ri u0Ri
+i
u0Ri u
0Ri u0Ri w gQl Z u
cw
s2
/ 0Ri + eQl A d0Ri d0Ri w gQl Z d0Ri d0Ri .
+id0Ri d
cw
(3.68)
Introduciendo los siguientes vectores en el espacio de sabor de quarks,

0
0
d
u
D0 = s0
U 0 = c0 ;
t0
b0
la lagrangiana toma la forma
Llc
g
g
0
0 0
0 / 0
0 / 0
L0 DL
L
L0 U
L
R0 U
R
/ L0 + iD
/ R0 + iD
+ W D
UL
= iU
DL + iU
DR + W+ U
2
2
0 0
0 0
L
R0 UR0 + Ql D
R
+eA (Ql D
DL + Ql U
DR )
g
0
0
2
0
0
L UL (1 + 2sw Ql )(D
L DL
+
Z (U
))
2cw
2
s2
0 U 0 sw gQl Z D
0 D0
w gQl Z U
(3.69)
R
R
R
R
cw
cw
Pasando a eigenestado de masa mediante las siguientes transformaciones unitarias

UL0
UR0
0
DL
0
DR
= VLu UL
= VRu UR
= VLd DL
= VRd DR .
se obtienen las corrientes cargadas y neutras en este sector. Como consecuencia de la unitariedad
de la transformaci
on, las corrientes neutras conservan el sabor. Por ejemplo,
R0 UR0
U
R V u VRu UR
= U
R
R UR .
= U
36
(3.70)

CAP
ITULO 3. LA TEOR
IA ELECTRODEBIL
Cabe se
nalar que el cambio de sabor mediado por corrientes neutras aparece a orden de un lazo.
Algo muy diferente ocurre con las corrientes cargadas. En este caso, se tiene
0
L0 DL
U
=
=
L V u VLd DL
U
L
L V u VLd DL ,
U
L
sea K= VLu VLd la matriz de Kobayashi-Maskawa. Entonces,

0
L0 DL
L K DL .
U
=U
(3.71)
Existe un efecto observable de interacciones entre quarks de diferentes familias que se transfiere
desde el sector de Yukawa a traves del proceso de rotacion. Este es un fenomeno directamente
relacionado con la definici
on de las masas de los fermiones quirales. Por lo tanto las corrientes
cargadas cambian el sabor de los quarks. La presencia de este efecto de violacion de sabor a nivel
de acci
on cl
asica es responsable de que a orden de un lazo aparezca el fenomeno de cambio de
sabor mediado por los bosones neutros Z, A y H (corrientes neutras con cambio de sabor).
37
Captulo 4
El sector de Yukawa en 6
dimensiones
En este captulo se presenta la contribucion de esta tesis. El objectivo central es encontrar la
representaci
on espinorial del grupo de Lorentz en 6 dimensiones, determinando la forma explcita
de las matrices de Dirac correspondientes, con el fin de estudiar la estructura del sector de Yukawa
en un espacio-tiempo 6-dimensional, en el que ademas de las 4 dimensiones ordinarias del espaciotiempo, se asume la existencia de dos coordenadas espaciales compactas.
4.1.
Espinores en 6 dimensiones
Considere un espacio-tiempo plano de dimension m, es decir, una variedad Mm = M4 N n ,

donde n es el n
umero de dimensiones extra. El grupo de Poincare ISO(1, m 1) en este espacio
est
a definido a traves de sus generadores, cuyo n
umero es igual a 12 m(m + 1); donde m de estos
generadores, denotados por PM (M = ,
, con = 0, 1, 2, 3 y
= 5, ..., 4 + n ), pertencen al grupo
de las translaciones, y los restantes 12 m(m 1), denotados por JM N , estan asociados con el grupo
de Lorentz SO(1, m 1). Estos generadores satisfacen la siguiente algebra de Poincare [4]
[PM , PN ] = 0,
(4.1)
[JM N , PR ] = i (gM R PN gN R PM )
(4.2)
[JM N , JRS ] = i (gM R JN S gM S JN R gN R JM S + gN S JM R ) .
(4.3)
Esta
algebra tiene 2 sub-
algebras unidas. Una de estas corresponde al grupo de Poincare estandar,
la cual se denota con ndices griegos, y que ya fue presentada en el captulo 1.
[P , P ] = 0,
[J , P ] = i (g P g P )
[J , J ] = i (g J g J g J + g J ) .
Mientras que la otra
algebra est
a asociada con el grupo ortogonal inhomogeneo en n dimensiones
ISO(n), y cuyos ndices correspondientes a las dimensiones extra son denotadas con ndices griegos
barra,
[P , P ] = 0,
[J , P] = i (gP gP )
[J , J
] = i (g
J
J
g
J
+ g
J
) .
Transformaci
on de campos
39
CAP
ITULO 4. EL SECTOR DE YUKAWA EN 6 DIMENSIONES
4.1. ESPINORES EN 6 DIMENSIONES
Considere una transformaci
on infinitesinal de Poincare en la variedad Mm ,
0
XM
= XM + wM N X N + M ,
(4.4)
donde X Mm . Adem
as, wM N = wN M y M son los parametros infinitesimales del grupo.
Entonces
XM = wM N X N + M .
(4.5)
Campo vectorial
on infinitesimal del grupo de Poincare, un campo vectorial se transforma
como
A0M (X) = [gM N + wM N ]AN (X + X).
(4.6)
Haciendo un desarrollo en serie a primer orden en la variacion de la coordenada X, se tiene

A0M (X) = [gM N + wM N ](AN (X) + XP P AN (X)),
esto es,
A0M (X) = gM N AN (X) + wM N AN (X) + gM N (wP R X R + P ) P AN (X),
de donde se obtiene que la variaci
on del campo esta dada por
A0M (X) = [wM N + gM N (wP R X R + P ) P ]AN (X).
(4.7)
Esta relaci
on puede dividirse naturalmente en variaciones de componentes de A (X) y A (X)
como sigue,
A (X)
[w + g (w x + ) ]A (X)
+[(w x + ) + w (X x )]A (X) + w A (X),
A (X)
(4.8)
[w + g (w x + ) ]A (X)
+[(w x + ) + w (x x )]A (X) + w A (X).
(4.9)
De estas expresiones, podemos ver que A y A se transforman bajo el grupo estandar de Lorentz
SO(1, 3) como un vector y un escalar, respectivamente, mientras que bajo el grupo ortogonal
SO(n) se transforman como un escalar y un vector, respectivamente. Esto significa que el vector
definido por el grupo grande de Poincare ISO(1, m 1) puede descomponerse en terminos de
objetos covariantes de los grupos ISO(1, 3) y ISO(n). Estos objetos son A (X) y A (X).
Campo Espinorial
En el estudio de esta representaci
on de SO(1, m 1), asumiremos que m es par, a modo de no
perder la propiedad de quiralidad de los espinores. Del captulo 1, sabemos que existen m matrices
m
m
M de dimension 2 2 2 2 , tales que satisfacen el algebra de Clifford, definida como
{M , N } = 2gM N ,
donde la metrica se toma como gM N = diag(1, 1, , ..., 1). Tambien, sabemos que los generadores de la representaci
on espinorial se definen como
SM N =
i M N
[ , ].
4
Ahora bien, un espinor bajo el grupo de Lorentz SO(1, m 1) se transforma como

0A (X) = (S )AB B (X);
40
S = e 2 wM N S
MN
(4.10)
CAP
m
donde (S )AB SO(1, m 1), con A = ,

, siendo = 1, 2, 3, 4 y
= 5, ..., 2 2 . Bajo una
transformacion infinitesimal de Poincare, tenemos que
i
0A (X) = [AB + wM N (S M N )AB ]B (X + X).
2
(4.11)
Haciendo un desarrollo en serie a primer orden en la variacion de la coordenada X, se obtiene

i
0A (X) = [AB + wM N (S M N )AB ][B (X) + XR R B (X)],
2
esto es,
0A (X)
=
=
i
[AB + wM N (S M N )AB + AB (wM N X N + M ) M ]B (X)
2
i
A (X) + wM N (S M N )AB B (X) + AB (wM N X N + M ) M B (X),
2
as que la variaci
on del espinor es dada por
i
A (X) = [ wM N (S M N )AB + AB (wM N X N + M ) M ]B (X).
2
(4.12)
Podemos ver que esta relaci

on puede dividirse en variaciones de (X) y como sigue
(X)
(X)
i
[w (S ) + w (S ) + 2w (S ) ] (X)
2
+[ (w x + ) + (w x + ) + w (x x )] (X)
i
+ [w (S ) + w (S ) + 2w (S ) ] (X),
(4.13)
2
i
[w (S ) + w (S ) + 2w (S ) ] (X)
2
+[ (w x + ) + (w x + ) + w (x x )] (X)
i
(4.14)
+ [w (S )
+ w
(S )
+ 2w
(S )
] (X).
2
Por lo que el espinor que se transforma bajo el grupo grande de Poincare ISO(1, m 1) puede
descomponerse en terminos de objetos covariantes de los grupos ISO(1, 3) y ISO(n). Las transformaciones est
andar de Poincare estan definidas por las condiciones w = w = = 0. En este
caso, las ecuaciones (4.13) y (4.14) toman la forma

i
i
(X) =
[w (S ) ] + (w x + ) (X) + [w (S ) ] (X),
(4.15)
2
2

(X) =

i
i
[w (S ) ] + (w x + ) (X) + [w (S )
] (X).
2
2
(4.16)
De estas u
ltimas dos expresiones no podemos concluir a
un como se transforman estos objetos bajo
el grupo de Lorentz est
andar SO(1, 3), ya que necesitamos saber como son los generadores S M N
explcitamente.
Hasta el momento todo lo que hemos hecho es muy general, ya que todo fue desarrollado en el
contexto de un espacio-tiempo de dimension m. Como ya fue mencionado, el objetivo de esta tesis es
estudiar la estructura del sector de Yukawa en un espacio-tiempo de dimension m = 6, por lo que en
41
CAP
lo que sigue restringiremos nuestro an
alisis a esta dimension. Entonces, un primer paso consiste en
construir los generadores de la representaci
on espinorial en esta dimension. Para tal fin, necesitamos
determinar las matrices de Dirac, que en esta dimension son 6 M (M = ,
, con = 0, 1, 2, 3
y
= 5, 6 ) y tienen dimensi
on 8 8. La estructura de dichas matrices esta determinada por el
algebra de Clifford. Para construir dichas matrices, se tomara como base las matrices de Dirac en
4 dimensiones. Pero antes, necesitamos definir el producto directo de matrices. Sean

a11 a12
b11 b12
A=
y B=
,
a21 a22
b21 b22
dos matrices generales. El producto directo de matrices (producto de Kronecker) se define como
a11 b11 a11 b12 a12 b11 a12 b12

a11 b21 a11 b22 a12 b21 a12 b22
a11 B a12 B
(4.17)
AB =
=
a21 b11 a21 b12 a22 b11 a22 b12 .
a21 B a22 B
a21 b21 a21 b22 a22 b21 a22 b22
Tomando esta convenci
on, podemos expresar las matrices de Dirac 4-dimensionales como el producto directo de las matrices de Pauli con ellas mismas, o con la identidad, esto es1 ,
0 = ( 3 12 ),
i = i( 2 i ),
5 = ( 1 12 ).
(4.18)
con i=1, 2, 3. Ahora usemos estas matrices para construir las matrices M en 6 dimensiones. Se
proponen las siguientes,

04 i 0
0 = ( 2 0 ) =
,
(4.19)
i 0
04

04 i j
j = ( 2 j ) =
, j = 1, 2, 3
(4.20)
i j
04

04 5
5 = (i 2 5 ) =
,
(4.21)
5 04

14 04
6 = (i 3 1) = i
.
(4.22)
04 14
Dichas matrices satisfacen el
algebra de Clifford, es decir,
{M , N } = 2gM N ,
(4.23)
donde gM N = diag(1, 1, 1, 1, 1, 1). Se deduce que estas matrices tienen las siguientes propiedades
0 = 0 ;
i = i ;
5 = 5 ,
6 = 6 .
(4.24)
Como la dimensi
trabajamos es par, sabemos que debe de existir una matriz 7 que
7 Mo n en la que
7 2
satisfaga ,
= 0 y ( ) = 1, la cual esta definida por

04 14
7
0 1 2 3 5 6
1
= = ( 14 ) =
.
(4.25)
14 04
Dicha matriz es hermtica.
Por lo tanto ya podemos construir los generadodes de la representacion espinorial para esta
dimensi
on, ya que como sabemos S M N = 4i [M , N ], entonces utilizando la definicion de los
generadores y propiedades del producto directo se tiene que2
1 Los
2 Los
subndices representan la dimensi

on de la matriz, por ejemplo 12 es la matriz identidad 22.
subndices indican la dimensi
on de los generadores, o de las matrices.
42
CAP
0i

[ 0 , i ]
04
S4
04
=
;
04
[ 0 , i ]
04 S40i

ij

i
i
i [ i , j ]
04
04
S4
S6ij = [i , j ] = (12 [ i , j ]) =
=
;
04
[ i , j ]
4
4
4
04 S4ij

i
i i[ 0 , 5 ]
i 0 5
04
0
5
05
;
S6 = [ , ] = (12 i[ , ]) =
04
i[ 0 , 5 ]
4
4
4
i 5

i
i i[ , ]
i
04
S6i5 = [i , 5 ] = (12 i[ i , 5 ]) =
;
04
i[ i , 5 ]
4
4
4
i
i
S6i6 = [i , 6 ] = (i[ 2 , 3 ] i );
4
4
i
i
S606 = [0 , 6 ] = (i[ 2 , 3 ] 0 );
4
4
i
i
S656 = [5 , 6 ] = (i[ 2 , 3 ] i 5 ),
4
4
S60i =
i 0 i
i
i
[ , ] = (12 [ 0 , i ]) =
4
4
4
con i, j = 1, 2, 3. Como vemos los generadores son matrices de 88, cuyas componentes denotaremos
de la siguiente manera {S M N }AB , donde A=,
, con =1, 2, 3, 4 y
= 5, 6, 7, 8. Por otro lado
los generadores S60i y S6ij se pueden escribir de la siguiente forma

S4
0
S6 =
,
(4.26)
0
S4
es decir los generadores S6 bajo SO(1,5) en 6 dimensiones, se pueden escribir en forma covariante
en terminos de los generadores S4 bajo SO(1,3) en 4 dimensiones, mas explcitamente vemos
que las componentes (S ) y (S ) coinciden con las componentes de los generadores en la
dimensi
on 4, y las componentes (S )
y (S ) son cero, es importante poder conocer estas
componentes, ya que de acuerdo con las ecuaciones (4.15) y (4.16) se necesitan conocer para poder
determinar como se transforman los espinores bajo el grupo de Lorentz estandar SO(1,3). Por
lo tanto la transformaci
on infinitesimal para las componentes de los espinores en 6 dimensiones,
queda finalmente como

i
[w (S ) ] + (w x + ) (X),
(4.27)
(X) =
2

(X) =

i
[w (S ) ] + (w x + ) (X).
2
(4.28)
Lo que indica que (X) y (X) se transforman como espinores, cada uno bajo el grupo de
Lorentz SO(1,3).
Por lo tanto ahora sabemos que los espinores en 6 dimensiones, bajo el grupo de Lorentz
SO(1,5), se transforman independientemente como 2 espinores covariantes de dimension 4 bajo el
grupo de Lorentz SO(1,3). As podemos escribir cualquier espinor de dimension 6, el cual tiene 8
componentes de la siguiente forma

= ,
(4.29)
donde y son objetos de 4 componentes que se transforman en la representacion espinorial de

SO(1, 3). Se sigue que los objetos

(L,R) = (L,R) ,
(4.30)
(L,R)
43
CAP
donde (L,R) y (L,R) tienen 4 componentes, se transforman como espinores derechos e izquierdos
bajo SO(1, 3).
4.2.
Sector de Yukawa
En el captulo anterior se present

o a detalle el sector de Yukawa del modelo estandar en 4
dimensiones. Como ya se mencion
o, el objetivo de esta tesis es estudiar este mismo sector en
el espacio tiempo con dos dimensiones extra compactas. Las coordenadas 4-dimensionales seran
denotadas por x, y por y las dos coordenadas extras. La lagrangiana invariante bajo SUL,6D (2)
UY,6D (1) es 3
LY6D (x, y) = Ll6D (x, y) + Lq6D (x, y),
(4.31)
donde el primer termino corresponde al sector de leptones, mientras que el u

ltimo termino representa el sector de quarks. En el captulo anterior vimos que ambos sectores tienen una estructura
muy similar. Por lo tanto, nos concentraremos primero en desarrollar detalladamente el termino
referente al sector de Yukawa lept
onico. Tomando a este como base, el desarrollo del sector de
quarks es inmediato. El sector de Yukawa de leptones en 6 dimensiones puede ser escrito como
i6D (x, y)6D (x, y)IRj6D (x, y) + h.c.,
Ll6D (x, y) = Yijl L
(4.32)
donde Yijl es una matriz 33, la cual es completamente general y tiene dimension de inverso de
masa, [m1 ] . Adem
as, 6D (x, y) es el doblete de Higgs en 6 dimensiones. Por otro lado
i6D (x, y) =
L

Ni6D (x, y)
,
Ii6D (x, y) L
es el doblete lept
onico en 6 dimensiones, donde NLi , ILi , IRi son espinores en 6 dimensiones de
8 componentes. Como vimos en la secci
on anterior los espinores en esta dimension se pueden
descomponer en 2 objetos de 4 componentes que se transforman como espinores bajo el grupo de
Lorentz est
andar SO(1, 3). Entonces, sean
NLi6D (x, y) =

Li4D (x, y)
Li4D (x, y)
(4.33)
y

I(Li,Ri)6D (x, y) =

l(Li,Ri)4D (x, y)
l(Li,Ri)4D (x, y) ,
(4.34)
donde y representan leptones neutros (neutrinos); mientras que l y l representan leptones

cargados.
Tomando en cuenta las consideraciones hechas acerca de los dobletes y singletes, y omitiendo
los subndices de la dimensi
on en la que se trabaja, as como la dependencia en las coordenadas,
3 El
subndice 6D, ndica que los par

ametros del grupo tomar
an valores en el espacio 6-dimensional.
44
CAP
4.3. COMPACTIFICACION
la expresi
on de la lagrangiana de sector de Yukawa leptonico queda de la siguiente forma
+

Li , IRi Gw IRj + h.c.
Ll6D = Yijl { N
0
l
+
= Yij {NLi Gw IRj + IRi 0 IRj } + h.c.

lRj
lRj
l
+
= Yij {(
Li , Li )
Gw + (lLi , lLi )
0 } + h.c.
lRj
lRj

= Yijl {(
Li lRj + Li lRj )G+
w + (lLi lRj + lLi lRj )0 } + h.c.
+
+
Gw
Gw
= Yijl {(
Li , lLi )
l + (Li , lLi )
l } + h.c.
0 Rj
0 Rj
i (x, y)(x, y)lRj + L

= Yijl {L
i (x, y)(x, y)lRj } + h.c. ,
(4.35)
donde
Li (x, y)
i (x, y)
L

i
li
L
i
=
,
li
L
=
(4.36)
(4.37)
son dobletes izquierdos de SUL (2), cuyas componentes son espinores de SO(1, 3). Note que esta
lagrangiana es invariante bajo los grupos estandar SUL (2) UY (1) y ISO(1, 3). Tomando como
base esta expresi
on, no es difcil convencerse de que el sector de Yukawa completo puede ser escrito
como
LY6D
4.3.
i (x, y)(x, y)lRj (x, y) + L

Yijl {L
i (x, y)(x, y)lRj (x, y)} + h.c.
i (x, y)(x,
i (x, y)(x,
Rj (x, y)} + h.c.

Yiju {Q
y)URj (x, y) + Q
y)U
i (x, y)(x, y)DRj (x, y) + Q
Yijd {Q
i (x, y)(x, y)DRj (x, y)} + h.c.
(4.38)
Compactificaci
on
Hasta ahora todas las coordenadas fueron tratadas de igual forma, pero los experimentos indican
que de existir dimensiones extra, estas deben ser mas peque
nas que la distancia mas peque
na
explorada en la actualidad. De esta manera las coordenadas y deben estar compactificadas. La
forma m
as simple es suponer que estan compactificadas en crculos, de esta manera denotaremos a
una de las coordenadas como y 1 la cual se asumira que esta compactificada en el crculo S 1 de radio
R1 , y denotaremos a la otra coordenada como y 2 , la cual estara compactificada en el crculo S 2 de
radio R2 . Por razones que quedaran mas claras adelante, se hacen corresponder pares de puntos de
los crculos con la orbifold (S 1 /Z2 ) (S 2 /Z2 ), esta eleccion establece condiciones de periodicidad
y paridad, en los dobletes, los singletes y el doblete de Higgs con respecto a las dimensiones extras.
Las condiciones de periodicidad y paridad que se muestran acontinuacion solo se centran en el
sector de Yukawa lept
onico, pero se imponen las mismas condiciones de periodicidad y paridad
para el sector de Yukawa de quarks. Las condiciones de periodicidad son dadas por
Li (x, y)
= Li (x, y + R),
lRi (x, y) = lRi (x, y + R),

i (x, y) = L
i (x, y + R),
L
lRi (x, y) = lRi (x, y + R)
(x, y)
(x, y + R),
45
CAP
y expresiones similares para los quarks. En estas expresiones, R = (R1 , R2 ). Por otra parte, las
condiciones de paridad son u
tiles para reproducir el sector de Yukawa del Modelo Estandar en el
lmite en que R 0. Dado que los campos de la teora de dimension 4 corresponden a los modos
cero de la serie de Fourier, es claro que el doblete de Higgs debe ser elegido par:
(x, y) = (x, y) .
(4.39)
Por otra parte, en la teora de dimensi

on 6 tenemos dos tipos de espinores para cada tipo de lepton
y quark, los cuales se transforman de identica forma bajo los grupos de norma y de Lorentz, as que
para reproducir la teora est
andar cualquiera de los espinores de tipo o puede ser elegido para
reproducir la teora est
andar, esto es, cualquiera de los dos puede ser elegido par. Una vez elegido
este, el otro tipo de espinor debe, necesariamente, ser elegido impar. Asumiremos las siguientes
condiciones de paridad:
Li (x, y)
= Li (x, y),
(4.40)
lRj (x, y)
= lRj (x, y) ,
(4.41)
en tanto que
i (x, y) =
L
lRj (x, y) =
i (x, y),
L
lRj (x, y) .
(4.42)
(4.43)
Dadas las propiedades de periodicidad y paridad establecidas arriba, podemos expresar los
dobletes y singletes lept
onicos, as como el doblete de Higgs en series de Fourier en el intervalo
0 y R, con respecto a las coordenadas y 1 y y 2 . Dichas series estan dadas por
(x, y)

r
X
2
1
m1 y 1
(0,0)
(m1 ,0)
(x) +
(x)cos 2
=
R1 R2
R1
R1 R2
m1 =1

r
X
2
m2 y 2
+
(0,m2 ) (x)cos 2
R1 R2
R2
m2 =1
r

X
2
m1 y 1
m2 y 2
(m1 ,m2 )
+
(x)cos 2
+
.
R1 R2
R1
R2
m ,m =1
1
Mientras que para los dobletes y singletes con gorro, su desarrollo en serie es

r
X
2 (m1 ,0)
m1 y 1
(x, y) =
(x)sin 2
R1 R2
R1
m1 =1
r

X
2 (0,m2 )
m2 y 2
+
(x)sin 2
R1 R2
R2
m2 =1
r

X
m1 y 1
m2 y 2
2 (m1 ,m2 )
+
(x)sin 2
+
.
R1 R2
R1
R2
m ,m =1
1
(4.45)
Finalmente para el doblete de Higgs su serie de Fourier esta dada como

r
X
1
2
m1 y 1
(x, y) =
(0,0) (x) +
(m1 ,0) (x)cos 2
R1 R2
R1
R1 R2
m1 =1
r

X
2
m2 y 2
+
(0,m2 ) (x)cos 2
R1 R2
R2
m2 =1
r

X
2
m1 y 1
m2 y 2
+
(m1 ,m2 ) (x)cos 2
+
R1 R2
R1
R2
m ,m =1
1
(4.44)
46
(4.46)
CAP
Usando los desarrollos de Fourier para los campos en el sector leptonico, tenemos
Ll6D
r
X
1
2 (m1 ,0)
m1 y 1
(0,0)
L
(x) +
Li
(x)cos(2
)
i
R1 R2
R1
R1 R2
m1 =1
r
X
2 (0,m2 )
m2 y 2
+
Li
(x)cos(2
)
R1 R2
R2
m2 =1
r

X
2 (m1 ,m2 )
m1 y 1
m2 y 2
1
(0,0) (x)
+
Li
(x)cos(2(
+
))
R
R
R
R
R
R
1
2
1
2
1
2
m1 ,m2 =1
r
r
X
X
0
2
m01 y 1
2
m0 y 2
(m01 ,0)
+
(x)cos(2
)+
(0,m2 ) (x)cos(2 2 )
R1 R2
R1
R1 R2
R2
m01 =1
m02 =1
r

X
2
m01 y 1
m02 y 2
1
(0,0)
(m01 ,m02 )
+
(x)cos(2(
+
))
lRj (x)
R
R
R
R
R1 R2
1 2
1
2
m01 ,m02 =1
r
r
X
X
2 (m001 ,0)
m00 y 1
2 (0,m002 )
m00 y 2
+
lRj
(x)cos(2 1 ) +
lRj
(x)cos(2 2 )
R1 R2
R1
R1 R2
R2
m00
m00
1 =1
2 =1
r

X
2 (m001 ,m002 )
m001 y 1
m002 y 2
+
l
(x)cos(2(
+
))
R1 R2 Rj
R1
R2
00
m00
1 ,m2 =1
X
r
r
X
2
m1 y 1
2 (0,m2 )
m2 y 2
(m1 ,0)
+
Li
(x)sin(2
Li
(x)sin(2
)+
)
R1 R2
R1
R1 R2
R2
m1 =1
m2 =1
r

1
2
X
2
(m1 ,m2 ) (x)sin(2( m1 y + m2 y )) 1 (0,0) (x)
L
+
R1 R2 i
R1
R2
R1 R2
m1 ,m2 =1
r
r
X
X
0
0
2
2
m0 y 1
m0 y 2
+
(m1 ,0) (x)cos(2 1 ) +
(0,m2 ) (x)cos(2 2 )
R1 R2
R1
R1 R2
R2
m01 =1
m02 =1
r

X
0
0
2
m0 y 1
m0 y 2
(m1 ,m2 ) (x)cos(2( 1 + 2 ))
+
R1 R2
R1
R2
m01 ,m02 =1
X
r
r
00 1
X
00
2
2 (0,m002 )
m00 y 2
l(m1 ,0) (x)sin(2 m1 y ) +
lRj
(x)sin(2 2 )
Rj
R1 R2
R1
R1 R2
R2
m00
m00
1 =1
2 =1
r

X
00
2
m001 y 1
m002 y 2
(m00
1 ,m2 )
+
l
(x)sin(2(
+
))
+ h.c.
(4.47)
R1 R2 Rj
R1
R2
00
00
Yijl

m1 ,m2 =1
Todos estos terminos tienen su correspondiente en el sector de quarks, lo u

nico que cambia es
el nombre de los dobletes y singletes. Ahora se procede a integrar las coordenadas compactas.
El procedimiento es directo usando las propiedades de las funciones trigonometricas y ciertas
integrales que dependen de productos de estas (ver apendice). Una vez realizadas las integrales,
Y l
definimos constantes de Yukawa adimensionales dadas por la relacion Yijl = RijR . Finalmente, la
1 2
lagrangiana efectiva 4-dimensional del sector de Yukawa leptonico queda de la siguiente forma,
47
CAP
Ll4D
(0,0)
donde Ll
es decir,
(0,0)
(m1 ,0)
Ahora Ll
el cual es
(m1 ,0)
R1
(4.48)
representa parte de la lagrangiana que tiene todos lo modos cero del doblete de Higgs,
Ll
Ll
Z R2
dy 2 Ll6D
dy 1
0
0

l
(0,0) (x)(0,0) (x)l(0,0) (x) + L(0,0) + L(m1 ,0)
Yij L
i
Rj
l
l

(0,m )
(m ,m )
+Ll 2 + Ll 1 2 + h.c.
Z
(m ,0)
(m1 ,0)
(m1 ,0) (x)(0,0) (x)l(m1 ,0) (x) + L
L
(x)(0,0) (x)lRj 1 (x)
i
i
Rj
(0,m )
(0,m2 )
(0,m2 ) (x)(0,0) (x)l(0,m2 ) (x) + L
+L
(x)(0,0) (x)lRj 2 (x)
i
i
Rj
(m1 ,m2 ) (x)(0,0) (x)l(m1 ,m2 ) (x) + L
(m1 ,m2 ) (x)(0,0) (x)l(m1 ,m2 ) (x).
+L
i
i
Rj
Rj
representa parte de la lagrangiana que tiene todos lo modos m1 del doblete de Higgs,
0
(m1 ,0) (x)(m1 ,0) (x)l(0,0) (x) + L

(0,0) (x)(m01 ,0) (x)l(m1 ,0) (x)
= L
i
i
Rj
Rj

1 (m1 ,m2 )
(0,m
)
(m
,m
)
1 2 (x)(m1 ,0) (x)l(0,m2 ) (x)

(x)(m1 ,0) (x)lRj 2 (x) + L
+ Li
i
Rj
2
0
0
(m +m0 ,0)
(m1 ,0)
(m1 ,0) (x)(m01 ,0) (x)l(m1 +m1 ,0) (x) + L
+L
(x)(m1 ,0) (x)l 1 1 (x)
i
Rj
Rj
0
00
00
(m1 +m1 ,0) (x)(m01 ,0) (x)l(m1 ,0) (x)
+L
i
Rj
0
(m00 ,0)
(m01 +m001 ,0)
+L
(x)(m1 ,0) (x)lRj 1 (x)
i
0
0
(m0 ,m )
(0,m2 )
(0,m2 ) (x)(m01 ,0) (x)l(m1 ,m2 ) (x) + L
+L
(x)(m1 ,0) (x)lRj 1 2 (x)
i
i
Rj
0
0
(m +m0 ,m )
(m1 ,m2 )
(m1 ,m2 ) (x)(m01 ,0) (x)l(m1 +m1 ,m2 ) (x) + L
+L
(x)(m1 ,0) (x)lRj 1 1 2 (x)
i
i
Rj
0
00
00
0
(m00 ,m )
(m01 +m001 ,m2 )
(m1 +m1 ,m2 ) (x)(m01 ,0) (x)l(m1 ,m2 ) (x) + L
+L
(x)(m1 ,0) (x)lRj 1 2 (x)
i
i
Rj

m00
(m00
(m1 ,0)
(m1 ,0)
(m1 +m00
,0)
(m1 +m00
,0)
1 ,0)
1 ,0)
1
1
+Li
(x)
(x)lRj (x) Li
(x)
(x)lRj
(x) .
(0,m2 )
Lo mismo ocurre para Ll

doblete de Higgs, y este es
(0,m2 )
Ll
representa parte de la lagrangiana que tiene todos lo modos m2 del

0
(0,m2 ) (x)(0,m2 ) (x)l(0,0) (x) + L

(0,0) (x)(0,m02 ) (x)l(0,m2 ) (x)
L
i
i
Rj
Rj

1 (m1 ,m2 )
(m ,0)
(m ,0)
(m1 ,m2 )
(x)(0,m2 ) (x)lRj 1 (x) + L
(x)(0,m2 ) (x)lRj 1 (x)
+ L
i
i
2
0
0
(0,m2 +m02 )
(0,m2 )
(0,m2 ) (x)(0,m02 ) (x)l(0,m2 +m2 ) (x) + L
+L
(x)(0,m2 ) (x)l
(x)
i
Rj
00
0
00
(0,m2 +m2 ) (x)(0,m02 ) (x)l(0,m2 ) (x)
+L
i
Rj
0
(m1 ,0) (x)(0,m02 ) (x)l(m1 ,m2 ) (x)
+L
i
Rj
Rj
0
(0,m00
(0,m02 +m002 )
2)
+L
(x)(0,m2 ) (x)l
(x)
Rj
0
(m ,m0 )
(m1 ,0)
+L
(x)(0,m2 ) (x)l 1 2 (x)
Rj
0
0
(m1 ,m2 ) (x)(0,m02 ) (x)l(m1 ,m2 +m2 ) (x) + L
(m1 ,m2 ) (x)(0,m02 ) (x)l(m1 ,m2 +m2 ) (x)
+L
i
i
Rj
Rj
00
00
0
00
00
0
(m1 ,m2 +m2 ) (x)(0,m02 ) (x)l(m1 ,m2 ) (x)
(m1 ,m2 +m2 ) (x)(0,m02 ) (x)l(m1 ,m2 ) (x) + L
+L
i
i
Rj
Rj

(0,m00
(0,m00
(0,m2 )
(0,m2 )
(0,m2 +m00
)
(0,m2 +m00
)
2)
2)
2
2
+Li
(x)
(x)lRj
(x) Li
(x)
(x)lRj
(x) .
48
CAP
(m ,m )
Finalmente Ll 1 2 representa parte de la lagrangiana que tiene la combinacion de los modos m1

y m2 del doblete de Higgs, el cual es
L(m1 ,m2 )
(m1 ,m2 ) (x)(m1 ,m2 ) (x)l(0,0) (x) + L

(0,0) (x)(m01 ,m02 ) (x)l(m1 ,m2 ) (x)
= L
i
i
Rj
Rj

0
0
0
1 (m1 ,0)
(0,m )
(0,m0 )
(m1 ,0)
(x)(m1 ,m2 ) (x)lRj 2 (x) L
(x)(m1 ,m2 ) (x)lRj 2 (x)
+ Li
i
2
0
0
(m0 ,0)
(m0 ,0)
(0,m
(0,m2 )
2)
+L
(x)(m1 ,m2 ) (x)l 1 (x) L
(x)(m1 ,m2 ) (x)l 1 (x)
i
Rj
0
00
00
(m1 ,m2 +m2 ) (x)(m1 ,m02 ) (x)l(0,m2 ) (x)
+L
i
Rj
Rj
0
(0,m00
(m1 ,m02 +m002 )
2)
+L
(x)(m1 ,m2 ) (x)l
(x)
Rj
0
00
00
0
00
00
(m1 +m1 ,m2 ) (x)(m01 ,m2 ) (x)l(m1 ,0) (x) + L
(m1 +m1 ,m2 ) (x)(m01 ,m2 ) (x)l(m1 ,0) (x)
+L
i
i
Rj
Rj
0
0
0
0
(m1 ,0) (x)(m01 ,m02 ) (x)l(m1 +m1 ,m2 ) (x) + L
(m1 ,0) (x)(m01 ,m02 ) (x)l(m1 +m1 ,m2 ) (x)
+L
i
i
Rj
Rj
0
0
0
0
(m0 ,m +m0 )
(0,m2 )
(0,m2 ) (x)(m01 ,m02 ) (x)l(m1 ,m2 +m2 ) (x) + L
+L
(x)(m1 ,m2 ) (x)lRj 1 2 2 (x)
i
i
Rj
0
(m ,m )
(m +m0 ,m +m0 )
1 2 (x)(m1 ,m2 ) (x)l 1 1 2 2 (x)

+L
i
Rj
0
0
(m +m0 ,m +m0 )
(m
,m
)
1
2
(m
,m
)
+L
(x) 1 2 (x)lRj 1 1 2 2 (x)
i
(m0 +m00 ,m0 +m00 )
(m00 ,m00 )
00
(m00 ,m00
2)
1 1 2 2 (x)(m1 ,m2 ) (x)l 1 2 (x)

+L
i
Rj
0
00
0
00
0
0
(m
+m
,m
+m
)
(m00 ,m00 )
(m
,m
)
1
1
2
2
+L
(x) 1 2 (x)lRj 1 2 (x)
i
00
00
(m1 ,m2 ) (x)(m1 ,m2 +m002 ) (x)l(0,m2 ) (x) L
(m1 ,m2 ) (x)(m1 ,m2 +m002 ) (x)l(0,m2 ) (x)
+L
i
i
Rj
Rj
0
00
0
00
(0,m2 ) (x)(m01 ,m2 +m002 ) (x)l(m1 ,m2 ) (x) L
(0,m2 ) (x)(m01 ,m2 +m002 ) (x)l(m1 ,m2 ) (x)
+L
i
i
Rj
Rj
00
00
(m1 ,m2 ) (x)(m1 +m001 ,m2 ) (x)l(m1 ,0) (x) L
(m1 ,m2 ) (x)(m1 +m001 ,m2 ) (x)l(m1 ,0) (x)
+L
i
i
Rj
Rj
00
0
00
0
(m00 ,m0 )
(m1 ,0)
(m1 ,0) (x)(m1 +m001 ,m02 ) (x)l(m1 ,m2 ) (x) L
+L
(x)(m1 +m1 ,m2 ) (x)lRj 1 2 (x)
i
i
Rj
(m1 ,m2 )
+L
i
00
(x)(m1 +m1 ,m2 +m2 ) (x)lRj 1
(m1 ,m2 ) (x)

L
i
00
(m1 +m00
1 ,m2 +m2 )
00
(m00
1 ,m2 )
(x)lRj
(x)

(x)
Con base en los resultados obtenidos para el sector leptonico, podemos escribir la lagrangiana
efectiva 4-dimensional para el sector completo de Yukawa como

(0,0) (x)(0,0) (x)l(0,0) (x) + L(0,0) + L(m1 ,0)
LY4D = Yijl L
i
Rj
l
l

(0,m )
(m ,m )
+Ll 2 + Ll 1 2 + h.c.

(0,0) (x)
(0,0) (x)U (0,0) (x) + Lu(0,0) + Lu(m1 ,0)
Yiju Q
i
Rj

+Lu(0,m2 ) + Lu(m1 ,m2 ) + h.c.

(0,0) (x)(0,0) (x)D(0,0) (x) + L(0,0) + L(m1 ,0)
Yijd Q
i
Rj
d
d

(0,m )
(m ,m )
+Ld 2 + Ld 1 2 + h.c.
(4.49)
49
Captulo 5
Conclusiones
En este trabajo de tesis se ha presentado una revision elemental de las propiedades basicas
de los grupos ortogonales, SO(N ), de los grupos unitarios, SU (N ) y de los grupos SO(1, m 1).
En este contexto, se estudi
o el fenomeno de rompimiento espontaneo de la simetra, en sus dos
variantes, global, lo cual es sintetizado en lo que se conoce como Teorema de Goldstone, y local, lo
cual es conocido como Mecanismo de Higgs. Se presento un estudio somero del sector electrodebil
del Modelo Est
andar.
La contribuci
on de este trabajo de tesis se centro en el estudio de las propiedades basicas de
espinores determinados por el grupo de Lorentz en seis dimensiones, SO(1, 5). Los principales
resultados se pueden enumerar como sigue:
Representaci
on. Se introdujo una representacion de las matrices de Dirac en 6 dimensiones,
escrita en terminos de las matrices correspondientes en 4 dimensiones, dada por

i 0
( ) =
,
04

04 i j
( 2 j ) =
,
i j
04

04 5
(i 2 5 ) =
,
5 04

14 04
(i 3 1) = i
.
04 14
2
04
i 0
(5.1)
j = 1, 2, 3
(5.2)
(5.3)
(5.4)
Generadores. La representacion anterior permite escribir los generadores del grupo SO(1, 5)
que definen al subgrupo est
andar SO(1, 3), en bloques diagonales como sigue:
S6

S4
=
0

0
,
S4
(5.5)
Espinores. Esta descomposicion diagonal de los generadores del grupo de Lorentz estandar
nos permite descomponer el espinor de 8 componentes definido por SO(1, 5) como sigue,

(5.6)
donde y son objetos de 4 componentes que se transforman en la representacion espinorial

de SO(1, 3).
51
CAP
ITULO 5. CONCLUSIONES
Sector de Yukawa. Se derivo el sector de Yukawa efectivo que resulta de integrar los dos
dimensiones extras.
Perspectivas. Construir una teora efectiva para el Modelo Estandar que resulte de la integracion
de un n
umero arbitrario de dimensiones extra compactas.
52
Ap
endice A
Integrales
Como se vio en el captulo 4 para recuperar la lagrangiana en 4 dimensiones se integraron las
dimensiones extra. Para realizar eso se utilizaron las siguientes integrales:
dycos(2
0
sin(2
0
my
)dy = 0,
R
dycos(2
ny
R
my
)cos(2 ) = mn ,
R
R
2
dysin(2
my
ny
R
)sin(2 ) = mn ,
R
R
2
sin(2
0
R1
dy
dy 1
dy 1
1
dy 1
m1 y 1
) = 0,
R1
R2
dy 2 cos(2(
R2
Z
Z
dy 1
m1 y 1
m0 y 1
R1 R2
)cos(2 1 ) =
m1 m01 ,
R1
R1
2
dy 2 cos(2
m2 y 2
m0 y 1
)cos(2 1 ) = 0,
R2
R1
R2
R2
dy 2 cos(2(
m2 y 2
m0 y 1
m1 y 1
+
))cos(2 1 ) = 0.
R1
R2
R1
dy 2 cos(2(
m1 y 1
m2 y 2
m0 y 1
m0 y 2
R1 R2
+
))cos(2( 1 + 2 )) =
m1 m01 m2 m02 ,
R1
R2
R1
R2
2
R2
0
R1
dy 1
Z
0
m2 y 2
m1 y 1
+
)) = 0,
R1
R2
dy 2 cos(2
0
R1
0
R1
dy 2 cos(2
0
R1
dy
Z
R2
0
R1
ny
my
)cos(2 )dy = 0,
R
R
0
R1
my
) = 0,
R
R2
dy 2 cos(2
m1 y 1
m0 y 1
m00 y 1
)cos(2 1 )cos(2 1 )
R1
R1
R1
R1 R2
=
{m1 +m01 ,m001 + m1 +m001 ,m01 + m01 +m001 ,m1 },
4
Z R1
Z R2
m1 y 1
m0 y 1
m00 y 1
dy 1
dy 2 sin(2
)cos(2 1 )cos(2 1 ) = 0,
R1
R1
R1
0
0
Z R1
Z R2
1
2
0 1
m1 y
m2 y
m y
m00 y 1
dy 1
dy 2 cos(2(
+
))cos(2 1 )cos(2 1 ) = 0,
R1
R2
R1
R1
0
0
53

APENDICE
A. INTEGRALES
R1
dy
R2
dy 2 cos(2(
R1
dy 1
Z
0
R2
dy 2 sin(2
m1 y 1
m2 y 2
m0 y 2
m00 y 1
R1 R2
+
))cos(2 2 )cos(2 1 ) =
m1 m01 m2 m02 ,
R1
R2
R2
R1
4
m0 y 1
m00 y 1
m1 y 1
)sin(2 1 )cos(2 1 )
R1
R1
R1
R1 R2
{m1 +m01 ,m001 + m1 +m001 ,m01 + m01 +m001 ,m1 },
=
4
Z R2
Z R1
m1 y 1
m2 y 2
m0 y 1
m0 y 2
m00 y 1
dy 2 cos(2(
+
))cos(2( 1 + 2 ))cos(2 1 )
dy 1
R1
R2
R1
R2
R1
0
0
R1 R2
=
m2 m02 {m1 +m001 ,m01 + m01 +m001 ,m1 },
4
Z R1
Z R2
m1 y 1
m2 y 2
m0 y 1
m0 y 2
m00 y 2
1
+
))cos(2( 1 + 2 ))cos(2 2 )
dy
dy 2 cos(2(
R1
R2
R1
R2
R2
0
0
R1 R2
=
m1 m01 {m2 +m002 ,m02 + m02 +m002 ,m2 },
4
Z R1
Z R2
m1 y 1
m0 y 1
m00 y 1
dy 1
dy 2 sin(2
)sin(2 1 )sin(2 1 ) = 0,
R1
R1
R1
0
0
Z R1
Z R2
2
0 1
1
m2 y
m y
m0 y 2
m00 y 1
m00 y 2
m1 y
+
))cos(2( 1 + 2 ))cos(2( 1 + 2 ))
dy 1
dy 2 cos(2(
R1
R2
R1
R2
R1
R2
0
0
R1 R2
=
{m1 +m01 ,m001 m2 +m02 ,m002 + m1 +m001 ,m01 m2 +m002 ,m02 + m01 +m001 ,m1 m02 +m002 ,m2 },
4
Z R1
Z R2
m2 y 2
m00 y 1
m1 y 1
1
dy
+
))sin(2 1 ) = 0,
dy 2 sin(2(
R1
R2
R1
0
0
Z R1
Z R2
1
2
m1 y
m2 y
m00 y 2
dy 1
dy 2 sin(2(
+
))sin(2 2 ) = 0,
R1
R2
R2
0
0
Z R1
Z R2
1
2
0 1
m
y
m
y
m
y
m00 y 1
1
2
dy 1
dy 2 sin(2(
+
))cos(2 1 )sin(2 1 ) = 0,
R1
R2
R1
R1
0
0
Z R1
Z R2
1
2
0 2
m1 y
m2 y
m y
m00 y 2
dy 1
dy 2 sin(2(
+
))cos(2 2 )sin(2 2 ) = 0,
R1
R2
R2
R2
0
0
Z R1
Z R2
2
0 1
1
m2 y
m y
m00 y 2
m1 y
+
))cos(2 1 )sin(2 2 )
dy 1
dy 2 sin(2(
R1
R2
R1
R2
0
0
R1 R2
=
m1 m01 m2 m002 ,
4
Z R1
Z R2
m1 y 1
m2 y 2
m0 y 2
m00 y 1
1
dy
dy 2 sin(2(
+
))cos(2 2 )sin(2 1 )
R1
R2
R2
R1
0
0
R1 R2
=
m1 m001 m2 m02 ,
4
Z R1
Z R2
m0 y 1
m0 y 2
m00 y 1
m1 y 1
)cos(2( 1 + 2 ))sin(2 1 ) = 0,
dy 1
dy 2 sin(2
R1
R1
R2
R1
0
0
Z R1
Z R2
2
0 1
0 2
m2 y
m y
m y
m00 y 2
dy 1
dy 2 sin(2
)cos(2( 1 + 2 ))sin(2 2 ) = 0,
R2
R1
R2
R2
0
0
Z R1
Z R2
1
0 1
0 2
m1 y
m y
m y
m00 y 2
dy 1
dy 2 sin(2
)cos(2( 1 + 2 ))sin(2 2 )
R1
R1
R2
R2
0
0
R1 R2
=
m1 m01 m02 m002 ,
4
54

APENDICE
A. INTEGRALES
Z
0
R1
dy 1
Z
0
R2
dy 2 sin(2(
m1 y 1
m2 y 2
m0 y 1
m0 y 2
m00 y 1
+
))cos(2( 1 + 2 ))sin(2 1 )
R1
R2
R1
R2
R1
R1 R2
=
m2 m02 {m01 +m001 ,m1 m1 +m001 ,m01 },
4
Z R2
Z R1
m2 y 2
m0 y 1
m0 y 2
m00 y 2
m1 y 1
+
))cos(2( 1 + 2 ))sin(2 2 )
dy 2 sin(2(
dy 1
R1
R2
R1
R2
R2
0
0
R1 R2
=
m1 m01 {m02 +m002 ,m2 m2 +m002 ,m02 },
4
Z R2
Z R1
m1 y 1
m2 y 2
m0 y 1
m0 y 2
1
dy 2 sin(2(
+
))sin(2( 1 + 2 ))
dy
R1
R2
R1
R2
0
0
R1 R2
m1 m01 m2 m02 ,
=
2
Z R1
Z R2
m1 y 1
m2 y 2
m0 y 1
m00 y 1
m00 y 2
dy 1
dy 2 sin(2(
+
))cos(2 1 )sin(2( 1 + 2 ))
R1
R2
R1
R1
R2
0
0
R1 R2
=
m2 m02 {m1 +m01 ,m001 + m01 +m001 ,m1 },
4
Z R1
Z R2
m1 y 1
m2 y 2
m0 y 2
m00 y 1
m00 y 2
dy 1
dy 2 sin(2(
+
))cos(2 2 )sin(2( 1 + 2 ))
R1
R2
R2
R1
R2
0
0
R1 R2
m1 m01 {m2 +m02 ,m002 + m02 +m002 ,m2 }
=
4
Z R1
Z R2
m1 y 1
m2 y 2
m0 y 1
m0 y 2
m00 y 1
m00 y 2
1
dy
dy 2 sin(2(
+
))cos(2( 1 + 2 ))sin(2( 1 + 2 ))
R1
R2
R1
R2
R1
R2
0
0
R1 R2
{m1 +m01 ,m001 m2 +m02 ,m002 m1 +m001 ,m01 m2 +m002 ,m02 + m01 +m001 ,m1 m02 +m002 ,m2 }.
=
4
55
Bibliografa
[1] I. Antoniadis, Phys. Lett. B 246, 377 (1990); N. Arkani-Hamed, S. Dimopoulos, and G. R.
Dvali, Phys. Lett. B 429, 263 (1998) ; I. Antoniadis, N. Arkani-Hamed, S. Dimopoulos, and G.
R. Dvali, Phys. Lett. B 436, 257 (1998).
[2] H. Novales-S
anchez and J. J. Toscano, Phys. Rev. D 82, 116012 (2010).
[3] H. Novales-S
anchez and J.J. Toscano, Phys.Rev. D 84, 076010 (2011), e-Print: arXiv:1105.2765
[hep-ph].
[4] M. A. L
opez-Osorio, E. Martnez-Pascual, H. Novales-Sanchez, and J. J. Toscano, Phys. Rev.
D 88, 036015 (2013), arXiv:1302.2981.
[5] M. A. L
opez-Osorio, E. Martnez-Pascual, H. Novales-Sanchez, and J. J. Toscano, en preparaci
on.
[6] M. A. L
opez-Osorio, E. Martnez-Pascual, H. Novales-Sanchez, and J. J. Toscano, en preparaci
on.
[7] A. Flores-Tlalpa, J. Monta
no, H. Novales-Sanchez, F. Ramrez-Zavaleta, and J.J. Toscano,
Phys. Rev. D 83, 016011 (2011), e-Print: arXiv:1009.0063 [hep-ph]; H. Novales-Sanchez and
J.J. Toscano, Phys. Rev. D 84, 057901 (2011), e-Print: arXiv:1105.4625 [hep-ph]; M. A. LopezOsorio, E. Martnez-Pascual, J. Monta
no, H. Novales-Sanchez, J.J. Toscano, E.S. Tututi. ePrint: arXiv:1305.0621 [hep-ph] (enviado a Phys. Rev. D).
[8] A. Cordero-Cid, M. G
omez-Bock, H. Novales-Sanchez, and J.J. Toscano, Pramana 80, 369-412
(2013), e-Print: arXiv:1108.2926 [hep-ph].
[9] HAMERMESH, Morton; Group theory and its application to physical problems; Londres; Addison Wesley; 1962; 509 p.
[10] Notas tomadas del curso Partculas 2, impartido en la FCFM-BUAP por el Dr. J. Jes
us
Toscano Ch
avez durante el semestre de oto
no de 2012.
[11] COSTA, Giovanni; FOGLI, Gianluigi; Symmetries and Gruop Theory in Particle Physics;
Londres; Springer; 2012; 291 p.
[12] MATTHEW, Robinson ; Symmrety and the Standar Model ; Londres; Springer; 2011; 327 p.
[13] DOBADO, A.; GOMEZ,

A.; MAROTO, A.L.; PELAEZ,
J.R.; Effective Lagrangians for the
Standar Model ; Berln; Springer; 1997; 315 p.
[14] TEUBNER, Thomas; The Standar Model ; Oxford ; Lecturas presentadas en la escuela para
jovenes en fsica de altas energas; 2008
[15] MORII, T.; LIM, C.S.; MUKHERJEE, S.N.; The Phsics of the Standar Model and Beyond ;
Singapur; World Scientific; 2004; 298 p.
57
BIBLIOGRAF
IA
BIBLIOGRAFIA
[16] Notas tomadas del Seminario de tesis, impartido en la FCFM-BUAP por el Dr. J. Jes
us
Toscano Ch
avez durante el semestre de primavera de 2012.
[17] GRIFFITHS, David; Introduction to Elementary Particles; Alemania ; WILEY-VCH ; 2004;
392p.
[18] ILIAN, Wolfgang; Electroweak Symmetry Breaking; Estados Unidos de America; Springer;
2004; 113 p.
[19] MACHACA ROCHA, Arturo; El discreto encanto de las partculas elementales; Primera edici
on; Mexico; La ciencia desde Mexico, FCE; 1988; 126 p.
[20] GRADSHTEYN, I.S.; RYZHIK, I.M.; Table of Integrals, Series, and Products; Septima edici
on; Estados Unidos de America; Academic Press; 2007; 1171 p.
MEDRANO, Marina; Partculas Ele[21] FERNANDEZ

ALVAREZ,
Estrada Ramon; RAMON
mentales; Primera edici
on; Mexico; Coleccion: La Ciencia para todos. FCE; 2003; 221 p.
[22] LOVETT CLINE, Barbara; Los creadores de la nueva fsica; Primera edicion; Mexico; Fondo
de cultura econ
omica; 1989; 333 p.
58

Capitulo 54 Algebra de Cliford

Uploaded by

Document Information

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

Capitulo 54 Algebra de Cliford

Uploaded by

Copyright:

Available Formats

Benemerita Universidad Autonoma de Puebla

Facultad de Ciencias Fisico-Matematicas

Benemerita Universidad Autonoma de Puebla

Ttulo: El sector de Yukawa del Modelo Estandar en 6 dimensiones

Dr. Gilberto Tavares Velasco

Dra. Mara Alicia Lopez Osorio

Dr. Eric Martnez Pascual

Dr. Arturo Fernandez Tellez

4. El sector de Yukawa en 6 dimensiones

les en seis dimensiones y su aplicaci

Grupos ortogonales y unitarios. SO(N ) y SU (N )

Ahora, bajo la transformaci

la distancia queda como

la cual proporciona 12 N (N + 1) elementos dependientes. As que el n

donde = (1 , 2 , , 2 N (N 1) ), con a= 1, 2, ..., 12 N (N 1), es el conjunto de parametros del

plirse que g (0, 0) = 0, O( = 0) = 1 = O( = 0) y g (0, ) = g (, 0) = . En terminos de

)), toma la forma

no pueden aparecer terminos proporcionales a y , porque violara el hecho que g (, 0) =

del desarrollo en serie, se obtiene una condici

= i(g acb g abc )T a

y recibe el nombre de Algebra

As que el conjunto de matrices 1 , 2 , ..., N y N +1 tambien satisfacen el algebra de Clifford.

con las siguientes propiedades:

Los proyectores PL y PR permiten definir espinores independientes, es decir,

se nombran espinor izquierdo y espinor derecho, respectivamente. Obviamente,

donde ta = ta son los generadores del grupo y a sus parametros. El inverso de U () es

Dado que Det(U ) = 1, esto implica que

entonces las ta forman un conjunto de N 2 -1 matrices hermitianas de traza nula. En la representaci

lo cual es posible si,

i, j, ... = 1, 2, ..., N . Luego la

en componentes Uji = ji + ia (ta )ij , para a infinitesimales. En este caso, 0i = i + i , entonces

dado que y se transforman en la representacion fundamental. El objeto m debe transformarse

el cual es otro invariante, entonces Trm = S es un escalar. Ahora observe que

Bajo una transformaci

1.2. GRUPO DE POINCARE

Las propiedades del espacio-tiempo plano surgen de los siguientes postulados:

1.2. GRUPO DE POINCARE

dictada por el segundo postulado, se puede

As en el espacio-tiempo los puntos se

Los eventos pueden estar relacionados de manera causal.

1.2. GRUPO DE POINCARE

Por otro lado la longitud x2 = x x es un invariante de Lorentz, de donde se halla que

Las matrices que representan a las 3 rotaciones son:

Luego los generadores estan dados por:

1.2. GRUPO DE POINCARE

lo que indica que los boost no forman un grupo, y finalmente que

Defnase los siguientes generadores:

1.2. GRUPO DE POINCARE

de tal suerte que los generadores de la representacion espinorial son:

En particular, bajo paraidad los generadores se transforman como

1.2. GRUPO DE POINCARE

As que las matrices deben tener 2 2 renglones y 2 2 columnas.

1.2. GRUPO DE POINCARE

Bajo una transformaci

1 (). Por otra parte, cuando por ejemplo =0 y

espacial, tenemos (S ) = S , pero en este caso se puede demostrar que (S ) 0 = 0 S .

es un invariante de Lorentz. En particular si D() = 0 1 0 = 0 1 0 = .

Todos estos objetos son covariantes bajo SO(1,3).

1.2. GRUPO DE POINCARE

Ahora considere una transformaci

donde w y  son infinitesimales. Mientras que la condicion de Lorentz g = g , toma la

1.2. GRUPO DE POINCARE

Por otra parte, la ecuaci

ya que no es invariante bajo transformaciones de norma, dadas por

donde w y son infinitesimales. Mientras que la condicion de Lorentz g = g , toma la

(D )a = Dab b , con Dab = ab gabc Ac .