Facultat de fsica Departament d'Estructura i Constituents de la Matria

Curso de doctorado Fsica Avanzada

Partculas Elementales
Parte terica

Jaume Lpez Carballo

Bienio 2003-2005

ii

ndice general

ndice general Prlogo 1. Introduccin 1.1. Dnde estamos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Unidades naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Breve inventario de partculas elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. Teoras de gauge 2.1. Repaso de teora de grupos. Grupo SU (N ) 2.1.1. Grupos de Lie . . . . . . . . . . . . . 2.1.2. lgebras de Lie . . . . . . . . . . . . 2.1.3. Teora de representaciones . . . . . . 2.2. Electrodinmica cuntica (QED) . . . . . . 2.3. Teoras gauge no abelianas . . . . . . . . . . 2.3.1. Construccin del lagrangiano . . . . 2.3.2. Cromodinmica cuntica (QCD) . . 2.3.3. Reglas de Feynman generalizadas . . 2.4. Helicidad y quiralidad . . . . . . . . . . . . 2.4.1. Helicidad . . . . . . . . . . . . . . . 2.4.2. Quiralidad . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

iii v

1 1 1 2 5 5 5 6 7 8 10 10 11 12 14 14 16 19 19 22 24 26 26 27 29 36 36 37 41 41 41 42 43 45 46 47 47 49 50

3. Interaccin nuclear fuerte. Cromodinmica cuntica 3.1. Libertad asinttica . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. Sector de los tres quarks ligeros . . . . . . . . . . . . . . . . . . 3.3. Realizacin de la simetra . . . . . . . . . . . . . . . . . . . . . 3.4. Grupo SU (3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4.1. Subgrupos: hipercarga, isospin, V-spin y U-spin . . . . . 3.4.2. Representaciones de SU (3) . . . . . . . . . . . . . . . . 3.4.3. Producto tensorial de representaciones. Tablas de Young 3.5. Clasicacin de los hadrones . . . . . . . . . . . . . . . . . . . . 3.5.1. Mesones . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5.2. Bariones . . . . . . . . . . . . . . . . . . . . . . . . . . .

4. Teoras efectivas 4.1. Octete de bariones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.1. Rompimiento de la simetra . . . . . . . . . . . . . . . . . . . . . 4.1.2. Construccin de los trminos que rompen la simetra . . . . . . . 4.1.3. Lagrangiano en trminos de las partculas fsicas . . . . . . . . . 4.1.4. Masas de los bariones del octete. Relacin de Gell-MannOkubo 4.2. Decuplete de bariones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Modelo sigma no lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3.1. Obtencin del lagrangiano . . . . . . . . . . . . . . . . . . . . . . 4.3.2. Rompimiento de simetra . . . . . . . . . . . . . . . . . . . . . . 4.4. Colisin elstica de dos piones a primer orden . . . . . . . . . . . . . . .
iii

iv

ndice general

5. Interacciones electromagnticas y desintegraciones leptnicas dbiles 5.1. Construccin del lagrangiano . . . . . . . . . . . . . . . . . . . . . . . . . 5.1.1. Lagrangiano y vrtice efectivo a nivel de quarks . . . . . . . . . . . 5.1.2. Lagrangiano y vrtice efectivo a nivel de piones . . . . . . . . . . . 5.2. Lagrangiano efectivo para las interacciones nucleares dbiles . . . . . . . . 5.3. Desintegracin del pin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3.1. Clculo del elemento de matriz . . . . . . . . . . . . . . . . . . . . 5.3.2. Longitud de desintegracin . . . . . . . . . . . . . . . . . . . . . . 5.3.3. Comparacin entre canales de desintegracin . . . . . . . . . . . . 5.4. Teora de FermiCabbibo . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.4.1. Lagrangiano de FermiCabbibo . . . . . . . . . . . . . . . . . . . . 5.4.2. Desintegracin del mun . . . . . . . . . . . . . . . . . . . . . . . . 5.4.3. Desintegracin de muones polarizados. Violacin de paridad . . . . Bibliografa

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

55 55 55 56 57 57 57 59 60 60 60 60 62 65

Prlogo

Este documento contiene los apuntes de la parte terica de la asignatura Partculas Elementales que pertenece al plan de estudios del programa de doctorado de Fsica Terica que se imparte en la Facultat de Fsica de la Universitat de Barcelona. Estos apuntes corresponden al curso 20032004, y fueron tomados entre el 28 de octubre y el 17 de diciembre de 2003, en aproximadamente quince horas de clase; ATEXentre el 8 y el 28 de enero de 2004. y han sido pasadas al formato electrnico L A lo largo del curso en pizarra se dejan algunos pasos, o resultados adelantados, como ejercicio para el lector. En este documento se recogen los enunciados de todos ellos, dando dan las soluciones de algunos. Tambin se recoge toda la bibliografa recomendada para seguir el curso, o bien para ahondar en algunos temas. El presente documento sigue en su mayor parte la misma estructura que el curso en la pizarra. Sin embargo, en algunos instantes, se ha alterado el orden o incluido material extra con tal de adaptar su contenido a una obra escrita. De esta forma, el curso se ha dividido en cinco captulos. El captulo 1, Introduccin, pretende dar una visin general del mundo de las teoras de partculas elementales; los rdenes de magnitud involucrados, el sistema de unidades naturales que se utiliza y una breve recopilacin de todas la partculas que se estudiaran a lo largo del curso. En el captulo 2, titulado Teoras de gauge, se repasan una serie de conceptos sobre la teora cuntica de campos con invariancia de gauge. Gran parte de lo que se explica en este captulo debe ser conocido por los alumnos de un curso de doctorado, pero es preciso repetir su exposicin en este curso con tal de jar una notacin, y reenganchar a aquellos alumnos que no hayan escogido asignaturas relacionadas con el tema. En este captulo se repasaran los conceptos ms elementales de la teora matemtica de los grupos continuos, o grupos de Lie. Tambin veremos con detalle el tratamiento de una teora cuntica de campos con invariancia de gauge local; comenzaremos con el ejemplo conocido de la electrodinmica cuntica (QED), con invariancia U (1). Posteriormente, se generalizarn las tcnicas empleadas para el caso de SU (N ). Con el ttulo Interaccin nuclear fuerte. Cromodinmica cuntica, en el captulo 3 se aplican gran parte de los conceptos repasados en el captulo 2 para construir la teora cuntica de campos de las interacciones fuertes: la cromodinmica cuntica (QCD), cuyo grupo de gauge es SU (3). En primer lugar, analizaremos el fenmeno de la libertad asinttica, segn el cual la constante de acoplamiento de QCD disminuye en el lmite de altas energas. Gran parte de este tercer captulo se dedicar al estudio del grupo de simetra SU (3). Veremos como, adems de la simetra de color que dene el lagrangiano de QCD, en el sector de los tres quarks ms ligeros tambin tenemos la simetra SU (3) de sabor, que no es ms que una generalizacin de la simetra SU (2) de isospin para incluir el quark strange. Gran parte del captulo se dedicar al estudio detallado del grupo SU (3), a la caracterizacin de sus representaciones y a desarrollar tcnicas grcas para obtener la descomposicin en representaciones irreducibles del producto directo de dos de ellas. Por ltimo, utilizando estas tcnicas, podremos clasicar los hadrones segn los multipletes del grupo. En el siguiente captulo, Teoras efectivas, nos daremos cuenta que, en la aproximacin de bajas energas, en que los quarks no aparecen como partculas asintticas, no tiene sentido trabajar con un lagrangiano a nivel de quarks, sino que en muchas ocasiones podemos conformarnos con un lagrangiano efectivo, donde aparezcan los campos de las partculas fsicas formadas por estados de ligados quarks: los hadrones. En este captulo, obtendremos lagrangianos efectivos, tanto para los bariones que se transforman segn el octeto de SU (3), como para aquellos que lo hacen en el decuplete. Para obtener una teora efectiva de los mesones emplearemos otra tctica: el modelo sigma no lineal. El tratamiento de teoras efectivas nos llevar, por primera vez, a obtener relaciones independientes del modelo, que podrn ser comprobadas experimentalmente: las relaciones de Gell-MannOkubo. Por ltimo, estudiaremos el proceso de interaccin de cuatro piones, a primer orden.
v

vi

En el ltimo captulo del curso, cuyo ttulo es Interacciones electromagnticas y desintegraciones leptnicas dbiles, introduciremos en nuestro tratamiento las interacciones electrodbiles. Comenzaremos obteniendo una teora efectiva mediante tcnicas similares a las del captulo anterior. De nuevo, nos conformaremos con un lagrangiano a nivel de partculas fsicas, en vez de quarks. Veremos que, en el lmite de bajas energas podemos considerar que el vrtice de interaccin es puntual, en vez de tener en cuenta que la interaccin dbil es mediada por las partculas W y Z . Utilizando las teoras recin obtenidas, realizaremos el clculo explcito del proceso de desintegracin de un pin, que nos servir para hallar una expresin que pueda ser utilizada para determinar experimentalmente la constante de acoplamiento del modelo. Posteriormente, introduciremos la teora de Fermi-Cabbibo para las interacciones dbiles entre leptones. Para acabar el curso, utilizaremos este modelo para calcular el proceso de desintegracin del mun, que nos llevar a observar que, en ocasiones, la interaccin dbil es capaz de violar la simetra bajo transformaciones de paridad. Esta caracterstica es nica y denitoria de la interaccin nuclear dbil.

Captulo 1
Introduccin

En este captulo daremos un breve repaso a las nociones ms bsicas como paso previo al estudio de las diferentes teoras de partculas elementales. En primer lugar, realizaremos un pequeo recordatorio de los rdenes de magnitud en la Fsica, y en especial los que intervienen en la fsica de partculas. Seguidamente, recordaremos la denicin de las unidades naturales, que nos permiten simplicar la notacin y los clculos. Por ltimo, realizaremos un breve repaso a los nombres y propiedades de las diferentes partculas elementales que aparecen en el modelo estndar.

1.1.

Dnde estamos

En Fsica, es muy importante saber en cada momento cual es el orden de magnitud de las diferentes variables que se manejan. No es lo mismo trabajar con las distancias mas grandes, de hasta 1026 m, que en las escalas ms pequeas. Tomando como ejemplo las distancias, los diferentes rdenes de magnitud en que se puede desglosar el estudio de las diferentes partes de la naturaleza se muestra en la siguiente tabla. 1026 m Universo conocido 1021 m Galaxia (va lctea) 1018 m Distancia sol a -centauri 1012 m Distancia neptuno a la Tierra 106 m Dimetro de la tierra 100 m Escala humana 106 m Clulas 1010 m tomo 1015 m Ncleo y partculas elementales 1035 m Distancia de Planck A lo largo de esta asignatura trataremos tan slo con las partculas elementales, es decir, nos situamos a la escala de los 1015 m.

1.2.

Unidades naturales

Para simplicar la notacin, a lo largo de esta asignatura adoptaremos el sistema de unidades naturales, que se caracteriza por elegir las constantes de Planck (reducida) y la velocidad de la luz como adimensionales e iguales a la unidad, =c=1. (1.2.1) El hecho de escoger c = 1 nos indica que las unidades de longitud y tiempo sern la misma (podemos hablar de aos-luz como unidad de distancia, o de metros-luz como unidad de tiempo). Esta eleccin tambin implica que la masa tendr la misma dimensionalidad que la energa, dado que
[E ] = [m][v ]2 = [m] .

(1.2.2)

Por otra parte, la constante de Planck tiene unidades de accin, energa por tiempo. Por tanto, al ser escogida igual a la unidad tendremos que la unidad de tiempo (y de distancia) ser el inverso de la 1

1.3. Breve inventario de partculas elementales

unidad de energa. Nosotros, tomaremos el criterio de utilizar siempre unidades de energa, usualmente eV (o derivados). Nos ser til, pues, tener en mente los siguientes factores de conversin con el reto de unidades mecnicas,
1kg = 5,61 1026 GeV , 1m = 5,07 10 GeV 1s = 1,53 10 GeV
24 15 1 1

, .

(1.2.3) (1.2.4) (1.2.5)

1.3.

Breve inventario de partculas elementales

En la naturaleza conocemos un total de cuatro interacciones bsicas, que son

Interaccin electro-dbil Incluye las interacciones nucleares dbiles y las electromagnticas (que tambin pueden estudiarse, por separado, mediante la electrodinmica cuntica, o QED ). La unicacin de estas dos fuerzas en la teora electro-dbil (EW) vali el premio Nobel de fsica de 1979 a Sheldon Lee Glashow, Abdus Salam y Steven Weinberg. Interaccin fuerte La teora ms exitosa de las interacciones fuertes es la cromo-dinmica cuntica (QCD). Gravitacin La ltima teora aceptada totalmente por la comunidad cientca es la Relatividad General de Einstein, de 19161917. Los diferentes intentos por realizar una teora cuntica de la gravedad, gravitacin cuntica, spergravedad, etc., han fracasado debido a incoherencias internas. En la actualidad el nico candidato able que tenemos para incluir la gravitacin en un marco cuntico es la teora de spercuerdas.
Todas las partculas interaccionan mediante la gravitacin, mediante el intercambio de partculas virtuales llamadas gravitones. No obstante, esta interaccin es despreciable a las escalas de la fsica de partculas, y por lo tanto no la tendremos en cuenta a lo largo de la asignatura. Las partculas que tan slo interaccionan mediante la interaccin electro-dbil, adems de la gravitatoria, se llaman leptones, todos ellos tienen spin s = 1/2 y vienen clasicados en tres familias,
e e , , ,

ms sus correspondientes antipartculas. Para las masas de los neutrinos, experimentalmente, tan slo tenemos cotas superiores, y hasta hace poco se pensaba que podan no tener masa; si bien, actualmente parece comprobado que s tienen cierta masa, aunque muy pequea. La masa de los leptones es, pues,
me = 0,511MeV , m = 105,658MeV , m = 1776,98MeV , m2 e < 3eV , m2 < 0,19MeV , m2 < 18,2MeV .

Las partculas que interaccionan a travs de la interaccin nuclear fuerte, adems de la interaccin electro-dbil, se llaman hadrones, y todos ellos estn formados a partir de combinaciones de dos o tres quarks. En total, existen seis quarks, todos ellos con spin s = 1/2, agrupados en tres familias,
u d , s c , t b .

Dado que los quarks no se pueden obtener como estados asintticos aislado, resulta complicado denir de forma precisa su masa. Una de las formas ms convenientes consiste en introducir una escala de renormalizacin,
mu (2GeV) 28MeV , ms (2GeV) 150MeV , mb (mb ) 4,2GeV . md (2GeV) 515MeV , mc (mc ) 1,2GeV ,

1. Introduccin

Para los quarks ms pesados, resulta ms conveniente denir la masa on shell, que sera la denicin ms parecida a la masa libre de otras partculas (como por ejemplo, los leptones). Las masas on shell para los tres quarks ms pesados son
mo.s. = 1,2GeV , c o.s mt = 174GeV . mo.s. = 4,9GeV , b

Lo primero que nos llama la atencin es que la masa de los tres quarks ms ligeros up, down y strange, es mucho menor que la de los otros tres. Por lo tanto, tiene sentido, como primera aproximacin, tomar su masa igual a cero. Otra aproximacin que se suele hacer es considerar la masa de los tres quarks ligeros iguales entre si1 . Una mejora a esta aproximacin es considerar tan slo iguales las masas de los quarks up y down, aproximacin que da lugar a la simetra de isospin. La interaccin partculas est mediada mediante partculas portadoras, todas ellas de spin s = 1 (excepto el gravitn, que se supone que tiene spin s = 2). Las diferentes partculas portadoras son las siguientes:

Fotn, Es la partcula encargada de mediar la interaccin electromagntica y, por lo tanto, se acopla con las partculas cargadas elctricamente segn el lagrangiano de QED. Tericamente, su masa es nula, pero la mejor cota experimental que tenemos es M < 2 1016 . Bosones W y Z Son las partculas encargadas de transportar la interaccin dbil, por lo que se acoplan con todas las partculas con carga de sabor segn el lagrangiano de EW. Sus masas son MW = 80,4GeV y MZ = 91,1874GeV. Gluones, ga Su nombre es debido a que son las partculas encargadas de mantener unidos los quarks en el interior de los hadrones, ya que son los transmisores de la interaccin nuclear fuerte. Segn el lagrangiano de QCD se acoplan a todas las partculas con carga de color. Existen un total de ocho gluones, a = 1, . . . , 8, todos ellos sin masa (segn la teora).
La teora que describe las propiedades de todas las partculas enumeradas, y sus interacciones, es el modelo estndar. Puede encontrarse mayor informacin sobre las diferentes partculas en [1].

1 Aunque la masa del quarks strange es bastante diferente a la de up y top, esta aproximacin tiene sentido si comparamos sus masas con la de los tres quarks restantes.

1.3. Breve inventario de partculas elementales

Captulo 2
Teoras de gauge

En este captulo realizaremos una breve introduccin a las teoras de campos con simetras de gauge. Esta tipo de teoras son capaces de describir las interacciones electromagnticas (QED), electro-dbiles (EW) y fuertes (QCD), por lo que representan una herramienta fundamental en la fsica de partculas. Para comenzar el captulo, realizaremos un pequeo repaso a las principales propiedades de los grupos y lgebras de Lie, que nos sern de utilidad al largo de toda la asignatura. A continuacin, y tambin a modo de repaso, recordaremos el tratamiento de QED, donde la simetra gauge se implementa mediante el grupo abeliano U (1). La tercera parte del captulo est dedicada a las teoras de gauge no abelianas. Iniciaremos su estudio construyendo su lagrangiano, siguiendo un procedimiento anlogo al que se utiliza para el caso de QED. Seguidamente, destacaremos el caso del grupo SU (3), que implementa la simetra de color de QCD. Por ltimo, daremos sin demostrar una serie de recetas tiles para hallar las reglas de Feynman asociadas a una teora gauge general.

2.1.
2.1.1.

Repaso de teora de grupos. Grupo SU (N )

Grupos de Lie

En primer lugar, realizaremos un pequeo repaso a la teora de grupos aplicada al grupo SU (N ), que es el ms utilizado en la teora de las partculas elementales a nivel que la vamos a tratar. El grupo U (N ) est formado por todas las matrices N N unitarias. Es un grupo respecto de la multiplicacin matricial, ya que el producto de dos matrices unitarias tambin es unitaria. El subgrupo SU (N ) est formada por aquellas matrices unitarias con determinante unidad. Una de las principales caractersticas de los grupos de Lie es que son continuos, es decir, localmente son isomorfos a RN , donde N es la dimensin del grupo. Este hecho nos permite parametrizar los elementos del grupo mediante N parmetros, i . Por convenio, tomamos U (0) = 1. De la teora general de los grupos de Lie [2, 3], sabemos que todo elemento de SU (N ) se puede escribir como una exponencial de las matrices de un lgebra de Lie asociada,
U () = eiA .

(2.1.1)

Dado que U es unitaria, las matrices A del lgebra deben ser hermticas,
U U =1 =eiA eiA = ei(AA

(2.1.2)

El hecho de que el determinante de las matrices del grupo determinante unidad, det U = 1, nos restringe an ms cual es el lgebra asociada al grupo, ya que
det U =1 = det eiA = eitrA ,

(2.1.3)

o sea, las matrices del lgebra no deben tener traza, trA = 0. La condicin de hermiticidad determina todos los elementos bajo la diagonal, y fuerza a los elementos sobre la diagonal a ser reales. Por lo tanto, 5

2.1. Repaso de teora de grupos. Grupo SU (N )

tenemos un total de n + 2 n(n 1)/2 = n2 grados de libertad reales (cada nmero complejo aporta dos grados de libertad reales). La condicin de traza nula impone una nueva condicin ms (tan slo una, ya que todos los elementos de la diagonal deben ser reales). As, pues, el nmero de grados de libertad en las matrices del lgebra es n2 1.

2.1.2.

lgebras de Lie

Hasta este momento hemos mencionado repetidamente el concepto de lgebra de Lie, aunque no las hemos denido formalmente. Una lgebra de Lie, L, es un espacio vectorial, sobre los reales, R, o los complejos, C; tal que tenemos denido un producto interno,
L L L , (A, B ) [A, B ] ,

(2.1.4)

que llamamos parntesis de Lie, y que debe cumplir las siguientes propiedades,
A + B, C = A, C + B, C , A, B = B, A , A, B, C + C, A, B + B, C, A =0.

(2.1.5) (2.1.6) (2.1.7)

Para las lgebras que admiten representacin matricial, el parntesis de Lie suele coincidir con el conmutador, que satisface las mismas propiedades. Dado que la lgebra de Lie es un espacio vectorial, pueden hallarse innitas bases diferentes. La base ms conveniente es la que se obtiene por derivacin a partir de los elementos del grupo,
Ti = U () i ,
i =0

(2.1.8)

donde las matrices Ti son los generadores del grupo, y forman una base completa. Por este motivo, podemos descomponer el parntesis de Lie en esta base,
Ti , Tj = Cij k Tk ,

(2.1.9)

donde Cij k son las constantes de estructura del grupo. Para demostrar este hecho, debemos tener en cuenta que el producto de dos elementos del grupo, U () y g ( ), tambin es un elemento del grupo,
U ()U ( ) = U (, ) .

(2.1.10a)

Por otra parte, si las constantes de estructura no son nulas, el producto interno del grupo de Lie no es conmutativo, U ( )U () = U (, ) . (2.1.10b) Por otra parte, cualquier elemento del lgebra se puede poner como una combinacin lineal de los generadores, A = Ai Ti , por lo que la ecuacin (2.1.1) se puede expandir por Taylor cuando los parmetros son pequeos (al rededor de la transformacin unidad),
U () = ei
i

Ti

1 = 1 + ii Ti i j Ti Tj + . . . . 2

(2.1.11)

lo que se conocemos como transformacin innitesimal. Con lo cual, la expansin por Taylor de las ecuaciones (2.1.10) son
U ()U ( ) = 1 + ii Ti + i i Ti i j Ti Tj 1 i j + i j Ti Tj + o(, )3 , 2 1 i j U ( )U () = 1 + ii Ti + i i Ti i j Tj Ti + i j Ti Tj + o(, )3 , 2

(2.1.12a) (2.1.12b)

2. Teoras de gauge

Restando las dos ecuaciones anteriores, obtenemos la siguiente igualdad

U ()U ( ) U ( )U () = i i Ti Tj Tj Ti + o(, )3 .

(2.1.13)

Por otra parte, como el producto de dos elementos del grupo tambin pertenece a l, podemos realizar la expansin de Taylor directamente al elemento compuesto, U (, ) = U ()U ( ). El resultado que se obtendra es
U (, ) = U ()U ( ) 1 = 1 + i i Ti i j Ti Tj + o( )3 . 2

(2.1.14)

Para comparar las diferentes expresiones al mismo orden, es necesario expandir por Taylor tambin la funcin (, ),
(, ) = (0, 0) + |=0 + | =0 + (, ) + o(, )3 ,

(2.1.15)

donde (, ) = o(, )2 . Debido a que U (0) = 1, se siguen las siguientes propiedades,

U (0)U (0) = 1 (0, 0) = 0 , U (0)U () = U () (, 0) = .

(2.1.16) (2.1.17)

La primera propiedad elimina directamente el orden cero de la expansin de . La segunda propiedad nos asegura que |=0 = | =0 = 1 , (2.1.18) hecho que se de la comparacin orden a orden de la expansin (2.1.14) haciendo = 0, con la expansin para U (), ec. (2.1.11). Con todo esto, la ecuacin (2.1.14) queda de la forma
U (, ) = 1 + i ( + + ) Ti
i

1 i j + i j i j i j Ti Tj + o(, )3 , 2

(2.1.19)

donde en el parntesis que acompaa a Ti Tj no aparece ningn trmino con ya que no tiene trmino de orden cero, y cualquier producto que contenga sera de orden o(, )3 , o superior. Ahora, la diferencia de la ecuacin (2.1.13) ahora se escribir de la forma
U (, ) U (, ) =
i

Ti + o(, )3 ,

(2.1.20)

donde = (, ). Si el grupo no es abeliano, podemos tener = . Comparando las ecuaciones (2.1.20) y (2.1.13) tenemos, nalmente,
i j Ti , Tj =
k

Tk ,

(2.1.21)

lo que signica que el conmutador de dos generadores es proporcional a una combinacin lineal de los propios generadores. sta es la denicin de lgebra de Lie. Esto completa la demostracin.

2.1.3.

Teora de representaciones

A menudo los difernetes grupos de Lie se denen pensando en un determinado tipo de matrices, que cumplen ciertas condiciones; por ejemplo, el grupo SU (3) se dene pensando en matrices 3 3 unitarias y determinante unidad. Sin embargo, una vez caracterizado el grupo y conocidas sus relaciones de conmutacin, tiene sentido preguntarse si existen otro tipo de matrices, a , quiz de otra dimensin, que satatisfaga la misma lgebra de Lie,
a , b = if abc c .

(2.1.22)

Es decir, nos preguntamos si existe ms representaciones, adems de la que se utiliza para dar nombre al grupo, que llamaremos representacin fundamental.

2.2. Electrodinmica cuntica (QED)

Diremos que dos representaciones, a y a , son equivalentes si estn relacionadas por una relacin de semejanza, es decir, si existe una matriz tal que
a 1 = a , a .

(2.1.23)

Dada una representacin, a , podemos denir otra nueva representacin, su compleja conjugada, a , tal que a , b = if abc c . (2.1.24) Por ltimo, diremos que una representacin, a , es real si es equivalente a su compleja conjugada, a . Veremos un ejemplo de representacin real en el siguiente ejercicio.

Ejercicio 2.1.1 Sean fabc las constantes de estructura del grupo SU (3), dadas por la ecuacin (2.3.15). Denimos un total de ocho matrices 8 8 de la forma
a
ij

= ifaij .

(2.1.25)

Estas matrices satisfacen una lgebra de Lie. Demostrad que es una representacin real.

Solucin Dado que las constnate de estructura de SU (3) son totalmente antisimtricas y reales, cada una de las matrices a son antisimtricas, y todos sus elementos son puramente imaginrios, debido al factor (i) en su denicin. Por lo tanto, las matrices sn hermticas, ya que tomar el complejo congujado tan slo afecta en un signo global, que se compensa con el signo correspondiente a transponer una matriz antisimtrica. Por lo tanto, de hecho, las matrices de la representacin compleja congujada son iguales a las originales, y por lo tanto son equivalentes. sto completa la demostracin.

2.2.

Electrodinmica cuntica (QED)

Consideramos una partcula de spin s = 1/2 y que, por tanto, obedece la ecuacin de Dirac, que se puede deducir del lagrangiano
L = i m ,

donde = 0 ,

(2.2.1)

donde son las matrices de Dirac, que satisfacen el lgebra de Cliord,

, = 2g ,

(2.2.2)

donde g es la mtrica del espacio. Las primeras representaciones de esta lgebra aparecen en las matrices 4 4. La que utilizaremos en este curso es
0 =

1
0

0 1

k =

0 k

k 0

5 =

0 1

1 0

(2.2.3)

donde 1 es la identidad 2 2, y i son las matrices de Pauli. Esta es la representacin de Dirac de la lgebra de Cliord. Existen otras representaciones, tiles en otros contextos, como la representacin quiral, o la de Majorana. Este lagrangiano es obviamente invariante bajo transformaciones U (1) globales, que se implementan simplemente cambiando la fase del campo . Nos preguntamos si existe alguna forma de promover esta invariancia a transformaciones U (1) locales, donde la fase dependa del punto concreto del espacio-tiempo,
= ei(x) Q , = ei(x) Q ,

(2.2.4a) (2.2.4b)

donde Q es una constante (carga elctrica del fermin en cuestin) y (x) es una funcin escalar real. El trmino de masas del lagrangiano (2.2.1) sigue siendo invariante bajo este tipo de transformaciones. No obstante, el trmino cintico no lo es, ya que segn la regla de la cadena para las derivadas, tenemos
L L = L Q (x) .

(2.2.5)

2. Teoras de gauge

Para que este trmino sea invariante, y por ende el lagrangiano completo, debemos denir la derivada covariante, D := + ieA Q , (2.2.6) donde A es el potencial cuadrivector, que juega el papel anlogo a la conexin riemaniana en geometra diferencial. Esta nueva derivada debe transformarse de forma covariante,
D D = ei(x) Q D ,

(2.2.7)

que se cumplir siempre y cuando el potencial cuadrivector se transforme de la forma adecuada,

D D = + ieA Q ei(x) Q = ei(x)Q i (x) Q + + ieA Q e
i(x)Q

(2.2.8)

+ ieA Q

= ei(x)Q D ,

de donde deducimos que la transformacin gauge del potencial debe ser

1 A A = A (x) . e

(2.2.9)

Ahora, el potencial cuadrivector pasa a formar parte de nuestra teora, por lo que necesitamos incluir en el lagrangiano su trmino cintico. Dicho trmino debe ser tambin invariante bajo la transformacin gauge local U (1), ec. (2.2.4). Un posible invariante se puede construir a partir del conmutador de las derivadas covariantes, que en la geometra diferencial dene el tenso de curvatura,
D , D = + ieA Q, + ieA Q =ieQ , A + ieQ A , =ieQ A A .

(2.2.10)

El trmino ente parntesis en el ltimo paso de la ecuacin (2.2.10) nos recuerda a la denicin del tensor de Faraday (ver, por ejemplo, [4, 5]), D , D = ieQF . (2.2.11) Este procedimiento nos ha servido para demostrar que F es invariante gauge. El trmino cintico debe ser cuadrtico,
1 Lcin. A = F F , 4

(2.2.12)

donde el factor 1/4 se aade por conveniencia. La justicacin ltima de este lagrangiano es que de l se pueden obtener las ecuaciones de Maxwell del electromagnetismo. La comprobacin de este hecho se deja como ejercicio para el lector.

Ejercicio 2.2.1 Deduce las ecuaciones de Maxwell a partir el lagrangiano de la ecuacin (2.2.12) como ecuaciones del movimiento para A . Es decir, imponiendo
Lcin. A =0. A (x)

(2.2.13)

Utiliza la identicacin Fij = ij Bi , F0i = Ei , donde Ei y Bi son el campo elctrico y magntico, respectivamente. Tambin se deben tener en cuenta las propiedades de simetra del tensor de Faraday.
As, pues, el lagrangiano de QED se puede escribir, nalmente, de la forma
1 LQED = i D m F F , 4

(2.2.14)

donde D = . No podemos aadir ms trminos al lagrangiano, si no es a costa de hacer que no sea renormalizable, o de romper alguna simetra. Las principales razones son:

10

2.3. Teoras gauge no abelianas

El producto de ms de cuatro campos no dan lugar a teoras renormalizables, por argumentos de anlisis dimensional, [6, 7]. sto prohibe trminos del tipo F F . El resto de trminos rompe alguna de las simetras observadas en la naturaleza. Por ejemplo el trmino F F E B viola la simetra bajo transformaciones de paridad.

2.3.
2.3.1.

Teoras gauge no abelianas

Construccin del lagrangiano
1

En esta ocasin consideramos el lagrangiano de un campo ferminico de spin s = 1/2, que viene descrito por
= . . . .

(2.3.1)

El lagrangiano se puede escribir de la forma

L = 1 i mi 1 + + N i m N , = i M ,

(2.3.2)

donde M = diag(m1 , . . . , mN ) es la matriz de masas. De nuevo, este lagrangiano es invariante bajo transformaciones del tipo (x) U ()(x) , (2.3.3) donde U () es un elemento de un grupo de Lie, G, que viene parametrizado por las variables = (1 , . . . , N ). De la teora de grupos de Lie, se puede demostrar (ver [2, 3]) que todo elemento del grupo se puede escribir como una exponencial,
U () = e
i a 2 a

(2.3.4)

donde a son las matrices que general el lgebra de Lie asociada a G, y se conocen con el nombre de generadores de G. Por ser un lgebra de Lie, cumplen una relacin del tipo
a b c , = if abc , 2 2 2

(2.3.5)

donde f abc son las constantes de estructura del grupo, y debe ser totalmente antisimtrico en sus tres ndices. En el caso de SU (N ), existen N 2 1 generadores, por lo que a, b, c = 1 N . Debemos jarnos en que para que el lagrangiano sea simtrico respecto a esta transformacin, los elementos del grupo U () deben ser unitarios, U 1 = U , lo que nos impone que los generadores sean hermticos, = . Tambin es importante que la masa asociada a cada una de las componentes sea la misma, o lo que es lo mismo, que la matriz de masas sea proporcional a la identidad, M = m1. En analoga con lo hecho en la seccin anterior, queremos promocionar la simetra a ser local, es decir a = a (x). Ello nos llevar a denir la derivada covariante,
a D := + ig Aa . 2 a

(2.3.6)

Normalmente, se utiliza la notacin A = Aa . Para que exista invariancia local, el potencial A debe 2 transformarse segn A U A U + ig U U . (2.3.7) Siguiendo el mismo procedimiento que en el caso U (1), para hallar el trmino cintico del potencial A necesitamos calcular el conmutador de dos derivadas covariantes,
D , D =igF =ig A A + ig A , A ,

(2.3.8)

2. Teoras de gauge

11

donde
b b a A , A = Aa , A 2 2 c a b abc =if A A . 2

(2.3.9)

De nuevo, el tensor F se transforma de forma homognea,

F F = U F U .

(2.3.10)

El trmino cintico se formar como el cuadrado de F . En este caso, deberemos sumar sobre los ndices internos, lo que se puede expresar de forma compacta tomando la traza. As, pues, el lagrangiano nal es
1 L = i D m trF F , 4

(2.3.11)

o bien, escribiendo explcitamente los ndices internos,

L = m i D m 1 mn n tr (F ) (F )mn 4 mn .

(2.3.12)

Debido a los trminos no abelianos que aparecen al considerar el grupo SU (N ), aparecen nuevas partes del lagrangiano que contienen de autointeraccin de las partculas gauge, que vienen descritas por A . Es decir, en las teoras no abelianas, las partculas transmisoras tambin participan de la interaccin, en vez de limitarse a propagarla como en el caso del electromagnetismo, que se describe mediante una teora invariante bajo transformaciones de U (1), que es un grupo abeliano, y que por lo tanto no da lugar a trminos con conmutadores. Por ejemplo, en la teora aparecen nuevos vrtices a tres bosones de gauge, que provienen del producto del conmutador campo A por el tensor F ; y trminos de cuatro bosones de gauge, que provienen del producto de dos conmutadores del campo. Es decir, de forma diagramtica, nos aparecern vrtices del tipo,

A A

A , A ,

(2.3.13)

A , A

A , A

(2.3.14)

2.3.2.

Cromodinmica cuntica (QCD)

La QCD es la teora de las interacciones fuertes de los quarks. Como ya vimos en el captulo anterior, tenemos seis tipos, sabores, de quarks: up, down, strange, charm, bottom y top. QCD es la teora gauge del grupo SU (3) de color, que tiene 8 generados, a , que se puede representar con las matrices de Gell-Mann,1
0 1 = 1 0 0 5 = 0 i
1 Para

0 0 i 0 1 0 0 0 0 1 0 , 2 = i 0 0 , 3 = 0 1 0 , 4 = 0 0 0 0 0 0 0 0 0 0 1 0 0 0 i 0 0 0 0 0 0 1 0 1 0 0 , 6 = 0 0 1 , 7 = 0 0 i , 8 = 0 1 3 0 0 0 i 0 0 1 0 0 0 1 0 0

, 0 0 . 2

las matrices de Gell-mann es usual usar la notacin a en vez de a , por convenio.

12

2.3. Teoras gauge no abelianas

Por otra parte, las constantes de estructura no nulas del grupo SUc (3) son
f123 = 1 , f458 = f678 = 3 , 2 1 , 2

(2.3.15)

f147 = f156 = f246 = f257 = f345 = f367 =

donde hemos elegido el criterio de normalizacin

c a b , = i 2 f abc . 2 2 2

(2.3.16)

Por lo tanto, el lagrangiano de QCD es el correspondiente al grupo SUc (3) para cada uno de los colores, con la normalizacin
tr a b 2 2 = ab .

(2.3.17)

Con lo cual, las funciones de onda de cada quark, qi n , tendrn un ndice de color, n (que normalmente no se escribe, ya que se da por sobreentendido), y un ndice de sabor i. Finalmente, el lagrangiano de QED ser 1 LQED = q i i D mi qi F a F a . (2.3.18)
i

Debido a que el grupo SUc (3) tiene ocho generadores, existen ocho tipos de partculas portadoras de la interaccin fuerte, que llamamos gluones.

2.3.3.

Reglas de Feynman generalizadas

A continuacin vamos a dar, sin demostracin, las reglas de Feynman generalizadas, que servirn para todos los lagrangianos que contengan objetos bosnicos, con spins 0 i 1, y ferminicos de spin 1/2. En general, es posible escribir el lagrangiano de la forma
L= dy 1 i (x)Pij j (y ) + i (x)Vij (x y )j (y ) + i Xij (x y )j 2 + LI (x) ,

(2.3.19)

donde la integral representa la suma de trminos cinticos, y LI el trmino de interaccin. Por ejemplo, en caso del lagrangiano de Klein-Gordon,
L= 1 (x) + m2 (x) , 2

(2.3.20)

debemos elegir
Pij (x y ) = + m2 ij , Vij (x y ) = Xij (x y ) =0 .

(2.3.21)

Propagadores de Feynman
Como siempre, en las reglas de Feynman intervendrn los propagadores de los diferentes campos involucrados en la teora. Para hallarlos, debemos invertir los operadores que aparecen en el lagrangiano mediante la transformada de Fourier. Por ejemplo, en el caso de escalares, Vij = Pij = 0, en el espacio de momentos, tenemos
dy
j 1 Pij (x y )Pjl (x z ) = il 4 (x z ) .

(2.3.22)

La transformada de Fourier ser

1 Pjl =

d4 k ik x 1 e Pjl (k ) , (2 )4

(2.3.23)

1 (k ). Para los tres tipos de partculas donde el propagador de Feynman, en espacio de momentos, ser iP jl que estudiamos, los resultados que se obtienen son los siguientes:

2. Teoras de gauge

13

Escalar (spin s = 0) Como por ejemplo, el bosn de Higgs. El propagador es

p2 i . m2 + i

Fermiones (spin s = 1/2) Como por ejemplo, los quarks o los electrones. Su propagador se escribe de la forma
i . p m2 + i

Bosn vectorial (spin s = 1, con masa) El propagador de los bosones vectoriales (con masa) es
i g + p p m2 . p2 m2 + i

Bosn de gauge (spin s = 1, sin masa) En general, el propagador de los bosones de gauge es
i q 2 + i g + (1 a) q q q2 .

En la prctica, debemos jar un gauge determinado para hacer los clculos. En el gauge covariante 2 debemos aadir un trmino extra al lagrangiano, L = 21a A . Tambin es til en ocasiones el gauge de Coulomb, donde el trmino extra es L = 21a i Ai , y el propagador se escribe de la forma
b ab Parte longitudinal: Aa 0 A0 b Parte transversal: Aa i Aj 2

i , q2 i ab 2 q + i

ij

qi qj q2

Trmino de interaccin
Usualmente, el trmino de interaccin contiene productos de los diversos campos de la teora. Si el nmero de campos que contiene el trmino es N , los diagramas de Feynman contendrn vrtices donde conuyan N propagadores. En general, el trmino de interaccin se puede escribir de la forma
LI (x) = d4 x1 d4 xN i1 ...iN (x; x1 , . . . , xN ) i1 (x1 ) im (xm ) in (xn ) ip (xp ) iq (xq ) ,

(2.3.24)

donde 1 m n p q N . La transformada de Fourier del coeciente viene dada, como de costumbre, por
i1 iN (x; x1 xN ) = d4 k1 d4 kN ik1 (xx1 ) e eikN (xxN ) i1 ...iN (k1 , . . . , kN ) . 4 (2 ) (2 )4

(2.3.25)

La contribucin de cada vrtice de interaccin vendr dada por

I (k1 , . . . , kN ) = i
P(1,m1) P(m,n1) P(p,q 1) P(q,N )

(1)Pferm. i1 ...iN (k1 , . . . , kN ) .

(2.3.26)

donde las sumas se realizan sobre todas las permutaciones de los ndices correspondientes, y el signo depende de la paridad de las permutaciones sobre los fermiones. Adems, si el diagrama tiene loops, en cada vrtice tenemos que aadir la delta de Dirac de conservacin de momentos. Finalmente, se debe integrar sobre los momentos internos. Para completar las reglas

14

2.4. Helicidad y quiralidad

de Feynman, tenemos que aadir factores debidos a los fermiones y antifermiones externos,
= u(p) , = u(p) ,

(2.3.27)

= v (p) ,

= v (p) ,

(2.3.28)

donde los propagadores indicados con momento negativo se reeren a antipartculas. Veremos ms claramente estos conceptos mediante un simple ejercicio.

Ejercicio 2.3.1 (Teora 4 escalar) Haya las reglas de Feynman para la teora 4 escalar, donde el lagrangiano de interaccin es LI = 4 . (2.3.29)
4!

Solucin Lo primero que necesitamos es escribir el trmino de interaccin de la forma (2.3.24),

LI = 4!
4

d4 xi 4 (x xi ) (xi ) ,
i=1 4

(2.3.30)

con lo cual
(x; x1 , . . . , xN ) =

4 (x xi ) , 4! i=1

(2.3.31)

i la transformada de Fourier es
=

. 4!

(2.3.32)

En este caso, tenemos 4 patas externas, todas ellas escalares. Por lo tanto, tenemos un total de 4! parmutaciones, con lo que tenemos I (k1 , , kN ) = i . (2.3.33)

Ejercicio 2.3.2 (Grupo SU (2)) Obtener las reglas de Feynman para el grupo SU (2). Los resultados pueden contrastarse con [8].

2.4.
2.4.1.

Helicidad y quiralidad
Helicidad

En lineas generales, se puede decir que la helicidad es la generalizacin relativista del concepto de spin. En concreto, es la proyeccin sobre el momento del spin. En esta seccin, vamos a estudiar la helicidad de los fermiones de spin s = 1/2. La ecuacin de Dirac libre contiene soluciones de energa positiva y negativa,
+ (x) = u(p)eip x , (x) = v (p)eip x ,

donde p m)u(p) = 0 , donde p + m)v (p) = 0 ,

E>0, E<0,

(2.4.1) (2.4.2)

donde E = p0 . Nos interesara encontrar un nuevo operador que rompa la degeneracin, es decir, cuyo valor propio pueda utilizarse como nmero cuntico que nos informe del spin. Una posibilidad sera el operador 5 , que se dene como 5 = i0 1 2 3 . (2.4.3) Sin embargo, esta no sera una buena eleccin ya que [5 , p ] = 0, y deberamos reconstruir nuestro conjunto completo de observables compatibles. As, pues nos podemos plantear buscar un nuevo operador 5 = 5 tal que 5 , p = 0 . (2.4.4)

2. Teoras de gauge

15

Desarrollando la condicin (2.4.4), obtenemos

5 , p = p 5 , = p 5 5 = p 5 , ,

(2.4.5)

donde en el ltimo paso hemos tenido en cuenta que 5 anticonmuta con todos los (dado que estamos en una teora con dimensionalidad par). Como las matrices de Dirac satisfacen el lgebra de Cliord, ec. (2.2.2), tenemos
5 , p = 25 p .

(2.4.6)

Por lo tanto, la condicin (2.4.4) se traduce en

p = 0 ,

(2.4.7)

es decir, ha de ser perpendicular al cuadrimomento. Fijaremos la normalizacin de forma que sea de tipo espacio, con 2 = 1. Arbitrariamente, por conveniencia, aadimos un factor 1/2 al operador, con lo cual tenemos,
1 5 , 2

donde p = 0 ,

2 = 1 .

(2.4.8)

Si nos situamos en el sistema centro de masas, donde la partcula se encuentra en reposo (clsicamente), el momento se expresa de la forma p = (m, 0, 0, 0). La condicin de ortogonalidad nos permite escribir = (0, k) = (0, 0, 0, 1). En estas condiciones, la ecuacin de Dirac para la parte de partculas, u(p), se resuelve de forma trivial,
p m u = 0 m 0 1 u = 2m 0 0 u=0, 0 1

(2.4.9)

y por lo tanto, tenemos dos tipos de soluciones,

1 0 u1 = 0 , 0 0 1 u2 = 0 . 0

(2.4.10)

Para obtener las dos soluciones de tipo antipartcula, v (p), el procedimiento es anlogo, pero con el signo relativo contrario en la ecuacin (2.4.9), con lo que los dos tipos de soluciones son
0 0 v1 = 1 , 0 0 0 v2 = 0 . 1

(2.4.11)

La interpretacin del operador de helicidad como una generalizacin del spin para partculas relativistas, se fundamenta en el hecho de que, en el sistema centro de masas, ste se reduce al operador de spin en la direccin de k = (0, 0, 1),
1 1 5 = 5 3 = 2 2 0 3 2 0 3 2 .

(2.4.12)

Vemos que las soluciones tipo u1 y v2 son autovectores del operador de helicidad con valor propio positivo, +1/2. Diremos, por tanto, que u1 y v2 tienen helicidad positiva. Anlogamente, u2 y v1 tienen helicidad negativa.

16

2.4. Helicidad y quiralidad

2.4.2.

Quiralidad

La quiralidad representa la generalizacin de la helicidad para partculas sin masas (o ultra-relativistas, para las que se puede menospreciar la masa en frente de la energa). Consideramos de nuevo el operador de helicidad con = (0, k) y k2 = 1. El procedimiento que utilizaremos para estudiar los operadores quirales consiste en realizar una transformacin de Lorentz, o boost, a un sistema de referencia donde la partcula se encuentre en movimiento con un momento p. Por lo tanto, dado que venimos del sistema centro de masas, la velocidad del boost, v, es paralela a p. Adems, elegimos k de forma que sea tambin paralelo a p y v. Segn la teora especial de la relatividad de Einstein, se tienen las siguientes igualdades [4, 5],
v= p , E =
1/2

E , m

(2.4.13)

donde es el factor de contraccin de Lorentz; = 1 (v/c)2 transformaciones de p y son de la forma

p

. As, pues, con este boost las

,

) = (0, k

, k v0 = 0 vk

= (m, 0)

|p| E , p m m m v 0, 0 mv = (E, p) .

(2.4.14)

En el lmite de muy altas energas, E m, tenemos p2 = m2 0, o lo que es lo mismo E |p|. En esta aproximacin, el operador de helicidad es
1 |p| E 1 5 = 5 0 p 2 2 m m 1E . 5 0 p 2m

(2.4.15)

Tomemos un estado, u(p), propio de helicidad, con valor propio positivo,

1 1 5 u(p) = + u(p) . 2 2

(2.4.16)

En la aproximacin de altas energas, ec. (2.4.15), esta ltima relacin se simplica de la forma
1E 1 u(p) = u(p) . 5 0 p 2m 2

(2.4.17)

Por otra parte, u(p) satisface la ecuacin de Dirac, p m u(p) = 0, que ahora nos conviene reescribir de la forma E 0 m u(p) = p u(p) , (2.4.18)
|p| |p|

donde lo que se ha hecho es pasar el trmino de masas al segundo miembro de la ecuacin, y dividir por el mdulo del trimomento. En la aproximacin de altas energas, esta ltima ecuacin se convierte en
u(p) = 0 p m u(p) . E

(2.4.19)

Juntando las ecuaciones (2.4.17) y (2.4.19), obtenemos,

1E 1E m 1 u(p) = 5 0 p 5 u(p) = u(p) , 2m 2m E 2

(2.4.20)

1 1 5 u(p) = u(p) . (2.4.21) 2 2 Por lo tanto, en altas energas el operador de quiralidad, 1 2 5 , provee un buen nmero cuntico, que de

es decir,

hecho coincide con la helicidad. Este tratamiento siempre es exactamente vlido para las partculas sin masa. De hecho, ahora podemos escoger una nueva base, propia del operador de quiralidad,
uL = 1 5 u, 2 uR = 1 + 5 u, 2

(2.4.22)

2. Teoras de gauge

17

donde (1 5 )/2 son los proyectores quirales de derecha, +, e izquierda, . Los valores propios son 1/2, respectivamente; a saber,
1 1 5 uL = uL , 2 2 1 1 5 uR = + uR . 2 2

(2.4.23)

18

2.4. Helicidad y quiralidad

Captulo 3
Interaccin nuclear fuerte. Cromodinmica cuntica

La cromodinmica cuntica es la teora actualmente aceptada sobre la interaccin nuclear fuerte, que es responsable de que los quarks se agrupen para formar los hadrones y los mesones, unos de los componentes ms importantes del universo. En este captulo aplicaremos las tcnicas de las teoras de gauge estudiadas en el captulo anterior al caso de QCD. En primer lugar, estudiaremos el fenmeno de la libertad asinttica, por el cual la constante de acoplamiento de QCD disminuye a altas energas. Posteriormente, daremos un repaso al sector de quarks ligeros, lo cual nos llevar a considerar la aparicin de nuevas simetras apoximadas. Dichas simetras, en la realidad, aparecen rotas, por lo que a continuacin estudiaremos el teorema de Goldstone, que nos asegura que dicha rotura conlleva la aparicin de nuevas partculas sin masa en la teora: los bosones de Goldstone. El siguiente paso que daremos es estudiar con todo detalle las propiedades del grupo de simetra de QCD, SU (3). En primer lugar, veremos las tres formas ms interesantes de descomponerlo en subgrupos, inspiradas por la simetra quiral que existe en la teora si no se considera la masa de los quarks ligeros. Seguidamente, realizaremos una caracterizacin sistemtica de las diferentes representaciones del grupo, desarrollando el mtodo de las tablas de Young para representarlas, y calcular de forma simple la descomposicin en representaciones irreducibles del producto directo de dos de ellas. Para acabar el captulo, clasicaremos los diferentes mesones y bariones utilizando las tcnicas desarrolladas en la seccin anterior.

3.1.

Libertad asinttica
LQED =
i

Tal y como vimos en la seccin 2.3.2, el lagrangiano de QCD es

1 q i i D mi qi F a F a , 4

(3.1.1)

donde la derivada covariante vena denida segn

a D = + ig () Aa . 2

(3.1.2)

En esta ecuacin, g () es la constante de acoplamiento, que tal i como sabemos por los cursos de teora cuntica de campos depende de la escala a la que se renormalize la teora, que viene dada precisamente por la escala de renormalizacin, , que se puede incluir como lmite de integracin en ingls, cut-o, o mediante la regularizaron dimensional. Para estudiar la libertad asinttica de QCD, consideraremos la colisin
qq qq .

A bajas energas, tan slo contribuye el canal t que, a nivel rbol, se puede describir mediante el diagrama de la gura 3.1, donde las etiquetas de las lineas ferminicas indican momento, helicidad y color, respectivamente. En el sistema centro de masas tenemos, por denicin, el momento total tanto inicial 19

20

3.1. Libertad asinttica

p1 , 1 , i

q1 , 1 , k k p2 , 2 , j q2 , 2 ,

Figura 3.1: Proceso de colisin qq qq , en el canal t. como nal es nulo, p1 + p2 = q1 + q2 = 0. Segn las reglas de Feynman que vimos en el captulo anterior, la contribucin de este diagrama, iM, es la siguiente
iM = v (p2 , 2 ) v (q2 , 2 ) ig () T i
jl

g k2

T
ki

ig () u(q1 , 1 ) u(p1 , 1 ) ,

(3.1.3)

donde T a = a 2, siendo a las matrices de Gell-Mann. Consideraremos el lmite no relativista, |p| m. Adems, tambin consideraremos que los estados inicial y nal son un singlete de color, ya que es la nica forma de preservar la simetra SUc (3). Con lo cual, podemos contraer los ndices de color iniciales y nales entre si, ij iMcolor kl , (3.1.4)
Nc Nc

donde Nc es el nmero de colores (actualmente, creemos con gran certeza que Nc = 3), y se introduce en esta ltima ecuacin por conveniencia. El resultado que se obtiene para la parte de color es
1 trT a T a =: Cf . Nc

(3.1.5)

Segn las propiedades de los grupos SU (Nc ), se puede demostrar que

Cf =
2 Nc 1 . 2Nc

(3.1.6)

Segn la conservacin del momento en cada vrtice, tenemos que k = p1 q1 . En el lmite de bajas energas, tenemos
p0 1 =
0 q1 =

p2 , 2m q2 m2 + q2 m + , 2m m2 + p2 m + p2 q2 2m 2m k2 ,

(3.1.7) (3.1.8) (3.1.9)

de donde obtenemos
k 2 = (p0 q 0 )2 k2

por lo que tenemos (k0 )2 k2 , ya que k 0 va dividido por la masa. Con lo cual, podemos aproximar el propagador del fotn de la forma 1 1 . (3.1.10) 2 2
k k = 0, y su valor es

Por otro lado, tenemos que la parte de spin, en esta aproximacin, tan slo contribuye cuando =
v (p2 , 2 ) 0 v (q2 , 2 ) u(q1 , 1 )0 u(p1 , 1 ) = 2m(1)2 2 2m1 1 .

(3.1.11)

Ya tenemos todos los elementos necesarios para dar el valor nal del elemento de matriz, a nivel rbol,
iM = 4 (2m)2 Cf , k2

(3.1.12)

3. Interaccin nuclear fuerte. Cromodinmica cuntica

21

Figura 3.2: Diagramas a un loop para el proceso qq qq . donde = g 2 () 4 es la generalizacin de la constante de estructura na. Vemos que obtenemos una ley proporcional a la inversa del cuadrado del momento, lo que en espacio de posiciones es equivalente a la ley de Coulomb. El clculo a un loop se puede realizar siguiendo pasos similares. En la gura 3.2 se muestran los dos diagramas que contribuyen a primer orden, si el clculo se hace en el gauge de Coulomb1 . La contribucin conjunta de estos dos diagramas, y el de nivel rbol, es
iM = 4 (2m)2 Cf k2 1 0 |k| ln 2 ,

(3.1.13)

4 1 donde 0 = 11 3 CA 3 TF nf , CA = Nc = 3, TF = 2 y nf es el nmero de fermiones ligeros, que normalmente tomaremos nf = 3 (up, down y strange), por lo que 0 = 9. La ecuacin de Kllan-Symanzik (KS) nos da la renormalizacin de ,

d = () , d 0 2 + o()3 . 2

(3.1.14)

donde
() =

(3.1.15)

La ecuacin de KS proviene de exigir que el elemento de matriz sea invariante al cambiar la escala de renormalizacin,
d iM = 0 . d

(3.1.16)

La ecuacin de KS, ec. (3.1.14), se puede resolver imponiendo unas ciertas condiciones iniciales ( ),
() = ( ) . 0 1+ ( ) ln 2

(3.1.17)

Dado que depende de la constante de acoplamiento tan slo, esta ltima ecuacin nos da la evolucin del acoplamiento al variar la escala de renormalizacin. Dado que la escala de renormalizacin tiene unidades de energa, se puede considerar que es del orden de k2 . La evolucin de la constante de acoplamiento de QCD se muestra en la gura 3.3. Como vemos en la gura 3.3, la constante de acoplamiento disminuye a altas energas, por lo que en estas escalas la interaccin nuclear fuerte disminuye de intensidad. Este fenmeno se conoce con el nombre de libertad asinttica.

Ejercicio 3.1.1 Para hacernos una idea de los ordenes de magnitud involucrados, realizaremos el siguiente ejercicio numrico. Supongamos que a la escala de la masa de la partcula Z la constante de acoplamiento es ( = MZ ) = 0,118. A que escala, , tendremos ( ) = 1 2.
1 En

el gauge de Feynman es necesario calcular otros diagramas, que incluyen loops de fantasmas.

22 2.5 2 1.5
()

3.2. Sector de los tres quarks ligeros

1 0.5 0

2
(GeV)

Figura 3.3: Evolucin de la constante de acoplamiento, en funcin de la escala de renormalizacin, en el caso de QCD.

Solucin Tomaremos = 9. Lo que debemos hacer es aislar de la ecuacin (3.1.17),

= exp 2 ( )0 ( ) 1 () .

(3.1.18)

En el primer captulo vimos que = Mz = 91GeV. Substituyendo los valores numricos, obtenemos
= 91GeV exp 2 0,5 9 0,5 1 0,118 = 0,991GeV ,

(3.1.19)

es decir, 1GeV.
Por ltimo, tenemos algunos objetos que son invariantes bajo el grupo de renormalizacin. En el orden ms bajo, d MS = 0 , (3.1.20) (3.1.21) Hay una escala, MS ( 400MeV por debajo de la cual la teora de perturbaciones no es til, ya que entramos en el rgimen de acoplamiento muy fuerte. Esta es la escala que nos permite comparar las masas de los quarks para decir si son pequeas o grandes. Esta comparacin nos permite clasicar los seis quarks en dos grupos: los quarks ligeros, up, down y strange, todos ellos con una masa menor que Ms ; y los quarks pesados: charm, top y bottom. Por otra parte, el hecho de que la constante de acoplamiento decrezca fuertemente en bajas energas, como se ve en la gura 3.3, tiene una consecuencia importante en nuestro mundo: los quarks no se pueden obtener como estados asintticos, es decir, no se pueden observar aislados, tan slo los podemos encontrar integrando algn tipo de hadrn. Una forma de ver esto es considerar que, cuando se intentan separar dos quarks, y dado que el acoplamiento entre ellos es tan fuerte, se gasta tanta energa que se pueden crear dos nuevos quarks, que quedan emparejados con los dos antiguos. De esta forma, siempre observaremos mesones y bariones, pero nunca estados libres de quarks asintticos.
MS = e .

donde

0 MS ()

3.2.

Sector de los tres quarks ligeros

L=
i

Tal i como vimos en la seccin 2.3.2, el lagrangiano de QCD se puede escribir de la forma
1 q i i D mi qi F a F a . 4

(3.2.1)

3. Interaccin nuclear fuerte. Cromodinmica cuntica

23

La escala tpica de connamiento es Ms 400MeV, que es mucho mayor que la masa de los tres quarks ms ligeros. Por tanto, a bajas energas, tan slo nos es necesario tener en cuenta estos tres quarks, y adems, podemos menospreciar su masa. Con estas aproximaciones, el lagrangiano se escribe de la forma
L=
u,d,s

1 q i D q F a F a . 4

(3.2.2)

En esta aproximacin, aparece una nueva simetra global, que se corresponde al intercambio de los tres quarks. Para estudiar ms a fondo esta simetra, nos conviene separar las funciones de onda de los quarks en sus partes quirales, ec. (2.4.22),
q i D q = q L i D qL + q R i D qR ,

(3.2.3)

donde
q R = qR 0 = q

1 + 5 1 5 1 5 0 = q 0 =q , 2 2 2 1 5 1 + 5 1 + 5 q L = qL 0 = q 0 = q 0 =q , 2 2 2

(3.2.4) (3.2.5)

y, por lo tanto,
q L i D qL + q R i D qR = q 1 + 5 1 5 1 5 1 + 5 i D q+q i D q 2 2 2 2 1 5 1 5 1 + 5 1 + 5 = q D + q 2 2 2 2

(3.2.6)

= qD q ,
2 donde, en el ltimo paso, hemos utilizado 5 = 1. Por lo tanto, vemos que el lagrangiano, de forma independiente, tiene simetras en el intercambio de las partes derecha y izquierda. Dado que consideramos tan slo los tres quarks ligeros que cumplan, esta simetra obedecer el grupo no abeliano SU (3). Es decir, tenemos las simetras SUR (3) (parte derecha) y SUL (3) (parte izquierda). Debemos observar que para poder separar la simetra en sus partes quirales, ha sido de gran importancia poder despreciar el trmino de masas, ya que ste no posee dicha simetra, ya que

qq = q L qR + q R qL .

(3.2.7)

Esta relacin se se demuestra haciendo un clculo del mismo estilo del que hemos utilizado anteriormente para el trmino cintico,
q L qR + q R qL = q 1 + 5 1 + 5 1 5 1 5 + 2 2 2 2 q

(3.2.8)

= qq .

En el caso de que no podamos realizar la aproximacin sin masa, la simetra quiral se romper. En algunas ocasiones, no podemos despreciar la masa de los quarks ligeros, pero s podemos hacer la aproximacin de que son iguales, m = mu = md ms , y en este caso tenemos tan slo la simetra de intercambiar los quarks entre si (ambas partes), por lo que el grupo de transformacin sera SUL+R (3). Debe notarse que estas simetras, pese a venir descritas por el mismo grupo, SU (3), son esencialmente diferentes a la simetra de color que nos llev en el captulo anterior a escribir el lagrangiano de QCD. Estas nuevas simetras actan sobre el espacio de sabor, mientras que la anterior acta sobre el espacio de color, y para distinguirla acostumbramos a escribir SUc (3). De momento nos centraremos en la aproximacin de quarks sin masa, cuya simetra de sabor es, como ya hemos recalcado, SUL (3) SUR (3). Consideramos las siguientes transformaciones innitesimales, independientes para las partes derecha e izquierda,
iL L = ia L 2 L L e
a a a 2 a

L , R ,

R =

a ia R 2 L

L e

ia R 2

(3.2.9)

24

3.3. Realizacin de la simetra

donde a son las matrices de Gell-Mann, que ahora actan sobre el espacio de sabor. Los factores a L y a a R son los parmetros de la simetra, y se pueden combinar para formar la componente vectorial, , y axial, a 5,
a = 1 a + a R , 2 L a 5 = 1 a a R . 2 L

(3.2.10)

Teniendo en cuenta que

R = 1 + 5 , 2 L = 1 5 , 2

(3.2.11)

la variacin total de = L + R se puede escribir de la forma

a a a a = i a a 5 R + i + 5 L , 2 2

(3.2.12)

o bien,
= i a 5 a 5
i a e 2 a 5 a 5
a 2

(3.2.13)

Por tanto, tenemos una nueva simetra del lagrangiano, SU (3)V SU (3)A . No obstante, esta simetra no es equivalente a SU (3)L SU (3)R , ya que en esta ltima los generadores de las partes derecha e izquierda no se mezclan,
L, L L , R, R R , L, R = 0 ,

(3.2.14)

mientras que los de la simetra axialvectorial si,

V, V V , A, A = A .

(3.2.15)

Como ya hemos dicho, en el caso de que considerramos las masas de los quarks ligeros iguales, pero no nula, tan slo tendramos la simetra vectorial, SU (3)v , cuya la transformacin innitesimal ser de la forma a 1 a = i a . (3.2.16) L + 5
2 2

3.3.

Realizacin de la simetra

Q, existe la posibilidad de que el estado fundamental, el vaco |0 , respete la simetra o no.

En general, cuando tenemos un lagrangiano con una determinada simetra, generada por un operador

Realizacin de Wigner-Weyl El vaci respeta la simetra,

Q |0 = 0 .

(3.3.1)

El ejemplo paradigmtico de potencial que respeta la simetra se muestra en la gura 3.4(a).

Realizacin de Namb-Goldstone El vaco de la teora no respeta la simetra del lagrangiano,

Q |0 = 0 .

(3.3.2)

En la gura 3.4(b) se muestra el ejemplo tpico de potencial que rompe la simetra mediante la realizacin de Namb-Goldstone. El caso ms interesante fsicamente es la realizacin de Namb-Goldstone, ya que entonces el teorema de Goldstone nos asegura que aparecen unas nuevas partculas, sin masa ni spin, llamadas bosones de Goldstone.

Teorema 3.3.1 (de Goldstone) Dada una simetra que se realiza fsicamente por la realizacin de Namb-Goldstone, cuya carga de Noether, Q, no depende del tiempo. Entonces, aparecen bosones de Goldstone, sin masa.

3. Interaccin nuclear fuerte. Cromodinmica cuntica

25

(a) El estado fundamental de este potencial, que se sita justo en el mnimo absoluto, tiene la misma simetra de paridad que el potencial en su conjgunto.

(b) Este potencial tiene dos mnimos absolutos, a los rededores de los cuales no existe la misma simetra de paridad que posee el potencial en su conjunto.

Figura 3.4: Posibles modos de realizar una simetra en el vaco (estado fundamental).

Demostracin Sea Q el generador (carga conservada) de una simetra realizada segn Namb-Goldstone, =A = 0. Y sea a el valor esperado del Q |0 = 0, y un operador A, ambos independientes del tiempo, Q conmutador de ambos, (3.3.3) a = 0 Q, A 0 .
Entonces, se cumple
a =
n

d3 x ( 0 j0 (x) n n A 0 0 A n n j0 (x) 0 ) ,

(3.3.4)

donde j (x) es la corriente conservada de Noether asociada a la simetra generada por Q,

Q= d3 x j0 (x) .

(3.3.5)

Los elementos de matriz de j0 (x) se pueden calcular de acuerdo con

0 j0 (x) n = 0 eip x j0 (0)eip x n = 0 j (0) n eipn x ,
0

(3.3.6)

con lo cual, podemos escribir a de la forma

a =
n

d3 x

0 j0 (0) n n A 0 eipn x 0 A n n j0 (0) 0 eipn x

=
n

0 j0 (0) n n A 0 eiEn t 0 A n n j0 (0) 0 eiEn t (p) .

(3.3.7)

La delta de p nos fuerza que el momento sea nulo, es decir, nos lleva al sistema centro de masas, por lo que En = mm . Por otra parte, debido a que tanto A como Q son independientes del tiempo, por hiptesis, su derivada respecto del tiempo debe ser nula,
d a = 0 dt = (i)
n

mn

0 j0 (0) n n A 0 eimn t + h.c. .

(3.3.8)

Por lo tanto, para cada estado tal que n j0 (0) 0 = 0, necesariamente tenemos mn = 0. Necesariamente existe al menos uno de estos estados, ya que Q |0 = 0. Esto completa la demostracin del teorema.

26

3.4. Grupo SU (3)

En nuestro caso, m 0, tenemos la simetra axial. Vamos a comprobar que se realiza segn NambGoldstone. La carga conservada, 0 Qa d3 xjA (x) , (3.3.9) A = debe conmutar con el hamiltoniano, en este lmite. Esto signica (ver, por ejemplo, [6]) que dado un estado propio del hamiltoniano, |E (y, por tanto, con energa denida), existe otro estado, tambin propio del hamiltoniano y con la misma energa, que viene dado por Qa A |E . Sin embargo, ambos estados tienen diferente paridad, dado que a P Qa (3.3.10) A P = QA , donde P es el operador de paridad, y se ha tenido en cuenta que P 1 = P . En la naturaleza, no observamos estados de la misma energa (y por lo tanto, masa), pero con distinta paridad. Por lo tanto, esta simetra debe romperse segn la realizacin de Namb-Goldstone. Debido a que la masa de los quarks no es realmente nula, la simetra SU (3)L SU (3)R se rompe espontneamente a SUL+R (3), o SUv (3). Dado que tenemos ocho generadores, aparecen ocho bosones de 0 Goldstone, que son los piones ( + , 0 y ), los kaones (K + , K 0 , K y K ) y la partcula .

3.4.
3.4.1.

Grupo SU (3)
Subgrupos: hipercarga, isospin, V-spin y U-spin

El grupo SUv (3), tambin llamado SUy (3) (donde Y es la hipercarga), es una simetra del sector de quarks ligeros del lagrangiano de QCD, si consideramos que estos tienen la misma masa. Consideramos la siguiente base para nuestro espacio de Hilbert,
1 |u = 0 , 0 0 |d = 1 , 0 0 |s = 0 . 1

(3.4.1)

Los estados correspondentes a los antiquarks, las antipartculas asociadas a los quarks, se construyen cambiando el signo de los estados de los quarks respectivos. El grupo SUv (3) se puede descomponer en subgrupos de diferentes formas. A continuacin vamos a presentar tres de ellas, en que la descomposicin se puede entender como considerar las masas de dos de los quarks iguales, ms un factor de U (1) extra2 . En la primera descomposicin, llamada isospin, consideramos iguales las masas de los quarks up y down, lo que equivale a suponer el subgrupo SUI (2) UY (1) SUv (3). Los operadores de isospin, I3 , y hipercarga, Y , y carga electromagntica, Q; se denen a partir de las matrices de Gell-Mann,
1 0 1 1 0 1 I3 = 3 = 2 2 0 0 1 0 1 2 0 1 Y = 8 = 3 2 3 0 0 1 Q = I3 + Y . 2 0 0 , 0 0 0 , 2

(3.4.2) (3.4.3) (3.4.4)

En algunas ocasiones, la ecuacin (3.4.4) se toma como denicin de hipercarga, a partir de la carga elctrica y el isospin. Los nmeros cunticos de los quarks ligeros se muestran en la siguiente tabla.
u d s I3 Y Q 1/2 1/3 2/3 1/2 1/3 1/3 0 2/3 1/3

(3.4.5)

Las posiciones de los quarks (i antiquarks) en el plano I3 Y se muestran en la gura 3.5. Como podemos
2 Este es el motivo por el cual consideramos tres formas de separar el grupo SU (3), ya que con tres quarks podemos formar tres parejas diferentes.

3. Interaccin nuclear fuerte. Cromodinmica cuntica

27

Y
t|s
J
J
|d |u J t t
J J

J
J
J
J
J
J
J

J
J J
J
J Jt t

J |u |d
J J
J
t

I3

|s

Figura 3.5: Posicin de los quarks (i antiquarks) en el plano I3 Y . ver, los antiquarks se sitan en los vrtices de un tringulo diametralmente opuesto al de los quarks. La simetra de isospin es la ms aproximada de todas las que vamos a tratar aqu, dado que, realmente, la masa de los quarks u y d son muy parecidas. La segunda de las opciones considerar las masas de los quarks up y strange iguales, es decir, considerar el grupo SUv (2) UY Q (1) SUv (3). Esta eleccin dene el V-spin, cuyas tres componentes son
V1 = T 4 , V2 = T 5 , V3 = 1 3 T3 + T8 , 2 2

(3.4.6)

donde ahora usamos la normalizacin T a = a 2. Esta aproximacin no es tan exacta como la anterior y, por lo tanto, no la consideraremos ms en el futuro. La ltima posibilidad es considerar iguales las masas de los quarks down y strange, lo que se llama U-spin, y est asociado al subgrupo SUU (2) UQ (1). Los generadores son
U1 = T6 , U2 = T1 1 3 U3 = T3 + T8 . 2 2

(3.4.7)

Como antes, esta simetra no es muy buena y, por lo tanto, no la consideraremos de nuevo en el futuro.

3.4.2.

Representaciones de SU (3)

Caracterizacin de las representaciones

En el caso ms sencillo de SU (2), donde tan slo tenemos un operador que conmuta con todos los generadores, operador de Casimir, que es J 2 , los estados pueden etiquetarse como |J, Jz . En el caso de SU (3), tenemos dos operadores de Casimir, y los estados se etiquetan tal que as
|(p, q ); I 2 , I3 , Y ,

(3.4.8)

donde p y q caracterizan la representacin (irreductible) que estamos usando, I 2 y Iz son los operadores de isospin, que corresponden al subgrupo SUI (2) y Y es la hipercarga. La dimensionalidad de la representacin (p, q ) viene dada por
D(p, q ) = 1 (p + 1)(q + 1)(p + q + 1) . 2

(3.4.9)

En el cuadro 3.1 se enumeran algunas de las representaciones ms importantes, junto con algunas de sus propiedades ms interesantes.

28
(p, q ) (0, 0) (1, 0) (0, 1) (2, 0) (0, 2) (1, 1) (3, 0) (0, 3) (2, 1) (1, 2) D(p, q ) 1 3 3 6 6 8 10 10 15 15

3.4. Grupo SU (3)

Nombre 1 (trivial o escalar) 3 (fundamental) 3 (antifundamental)

6 6 8 (adjunta) 10 10 15 15

Observaciones Invariante bajo SU (3)) Contiene los quarks (u, d y s) Contiene los antiquarks (u, d y s) Es real

Cuadro 3.1: Representaciones ms importantes del grupo SU (3).

(a) Estados de la representacin fundamental, 3.

(b) Estados de la representacin adjunta, 8.

(c) Estados de la representacin 10.

Figura 3.6: Estados de las principales representaciones del grupo SU (3).

Teorema de Okubo
Ahora, dada una de las representaciones anteriores, deseamos saber su contendido, es decir, el isospin, hipercarga, etc. de las partculas que contiene. Para ello, nos ser de inters el siguiente teorema.

Teorema 3.4.1 (de Okubo) Dada una representacin (p, q ), existen dos nmeros reales , Z, tales que p+q q 0 , (3.4.10)
i, adems,
1 , 2 1 Y =+ 2p + 4q . 3 I=

(3.4.11) (3.4.12)

Contenido de las principales representaciones

A continuacin, aplicaremos el teorema de Okubo a las representaciones ms importantes fsicamente del grupo SU (3), con el objetivo de caracterizar completamente su contenido. En primer lugar, consideramos la representacin 3 = (1, 0). Segn el teorema de Okubo, se debe cumplir 100, (3.4.13) con lo cual, obligatoriamente = 0. Para tenemos dos posibilidades,
=1 =0 T = 1 Y =1 (doblete de isospin) 2 , 3 , T = 0 , Y = 2 , 3

(3.4.14)

3. Interaccin nuclear fuerte. Cromodinmica cuntica

29

es decir,
3 = 0,

2 1 1 , 3 2 3

(3.4.15)

1 1 La representacin con I = 2 tiene dos estados, correspondientes a I3 = + 2 y 1 2 , con lo cual tenemos un total de tres estados, como esperbamos. Estos tres estados se muestran, en el plano Y I3 en la gura 3.6(a). El segundo ejemplo que consideraremos es la representacin adjunta, 8 = (1, 1). Segn el teorema de Okubo, se debe cumplir 210, (3.4.16)

con lo cual tenemos cuatro posibilidades,

=2 =2 =1 =1 , =1 , =0 , =1 , =0 T T T T
1 =2 =1 =0 =1 2

, , , ,

Y Y Y Y

=1, =0, =0, = 1 .

(3.4.17)

Por lo tanto, la representacin adjunta se puede descomponer en la suma directa de cuatro representaciones de isospin-hipercarga,
8 = 1, 0 1 1 ,1 , 1 0, 0 . 2 2

(3.4.18)

En las representaciones del tipo I = 1 tenemos un total de tres estados, correspondientes a I3 = +1, 0 1 y 1. De la misma forma, en las representaciones del tipo I = 2 , tenemos dos estados, al igual que antes. De esta manera, tenemos un total de ocho estados, que se muestran en el plano Y I3 en la gura 3.6(b). Debe notarse que en el origen tenemos dos estados diferentes, uno perteneciente al triplete de isospin de (1, 0), y otro del singlete de isospin, (0, 0). En el dibujo se muestran separados por claridad. Consideraremos, por ltimo, la representacin 10 = (3, 0). Segn el teorema de Okubo, tenemos,
300,

(3.4.19)

con lo cual tenemos = 0, y cuatro valores posibles para ,

=0 =1 =2 =3 , = 0 , = 0 , = 0 , = 0 T T T T =0 =1 2 =1 =3 2 , , , , Y Y Y Y = 2 , = 1 , =0, =1.

(3.4.20)

Y, por lo tanto, la descomposicin de esta representacin es

10 = 3 1 , 1 1, 0 , 1 0, 2 . 2 2

(3.4.21)

Los 10 estados se muestran en la gura 3.6(c).

3.4.3.

Producto tensorial de representaciones. Tablas de Young

Tablas de Young en SU (2)

Las tablas de Young proporcionan una receta til para conocer como se puede descomponer un producto de representaciones dado en suma directa de otras representaciones. Se pueden aplicar a todos los grupos SU (N ). Para comenzar a familiarizarnos con su utilizacin, los aplicaremos a el caso ms sencillo: el grupo SU (2). En el caso de SU (2), el producto de dos representaciones J1 y J2 cumple [6]
J1 +J2

J1 J2 =
J =|J1 J2 |

J ,

(3.4.22)

as, a modo de ejemplo, tenemos

1 1 =01 , 2 2 1 1 3 1= , 2 2 2 11=012 ,

(3.4.23)

30

3.4. Grupo SU (3)

La base del espacio de Hilbert esta formada por dos estados: | y | . En el formalismo de las tablas de Young, los representamos de la siguiente guisa,
| = 1 , | = 2 .

(3.4.24)

En los sistemas donde hay ms de un fermin, aadiremos una tabla por cada partcula. Tenemos dos posibilidades:

Tabla simtrica Los dos electrones se han situado en un estado con spin s = 1. Lo representamos poniendo las dos tablas en horizontal,
, (s = 1) .

(3.4.25)

Tabla antisimtrica Los electrones se sitan en un estado sin spin, s = 1. Lo representamos mediante dos tablas en vertical,
, (s = 1) .

(3.4.26)

Dado las simetras de las tablas, tenemos las siguientes relaciones, 1 2 = 2 1 , 1 = 2 . 2 1 (3.4.27)

Adems, en las tablas verticales no se puede repetir ninguna cifra, dado que son antisimtricas. Para evitar ambigedades, introducimos las siguientes reglas.

1a regla Requerimos que el nmero (etiqueta) no disminuya de izquierda a derecha. 2a regla Requerimos que el nmero (etiqueta) se incremente de arriba a abajo. 3a regla En el grupo SU (N ), tan slo podemos tener hasta N cajas verticalmente.
A modo de ejemplo, consideramos un sistema de tres electrones. Tenemos un total de seis posibilidades; cuatro de ellas corresponden a estados totalmente simtricos y con spin 3/2, 1 1 1 , 1 1 2 , 1 2 2 , 2 2 2 , (3.4.28)

y dos de ellos a estados con simetra mixta y spin 1/2, 1 1 , 2 1 2 . 2 (3.4.29)

As, pues, los ejemplos de la ecuacin (3.4.23) se pueden representar de la forma

= = = , , .

(3.4.30) (3.4.31) (3.4.32)

En este caso, la tabla vertical representa el estado singlete, que es invariante bajo las transformaciones del grupo SU (2) y, por lo tanto, factoriza. En consecuencia, no necesitamos incluirlo en nuestras tablas de Young,
= .

(3.4.33)

3. Interaccin nuclear fuerte. Cromodinmica cuntica

31

Tablas de Young en SU (3)

SU (3). Mediante las tcnicas de las tablas de Young podemos averiguar en que representaciones irreduc-

Las tcnicas descritas en la subseccin anterior se pueden generalizar, sin mayor problema, al grupo

tibles se pueden descomponer el producto directo de dos representaciones. El cambio de base explcito, al igual que en el caso de SU (2), contiene los coecientes de Clebsh-Gordan [9]. En este caso, las etiquetas de las cajas pueden tomar tres valores, 1 , 2 , 3 , (3.4.34) que representan los tres quarks ligeros que estamos considerando. Por lo tanto, podemos simbolizar la representacin fundamental, 3, mediante una caja, . En este caso, tendremos tres tipos de tablas antisimtricas formadas por dos cajas, 1 , 2 1 , 3 2 , 3 (3.4.35) simboliza la representacin antifunda-

que simbolizan los antiquarks correspondientes. Por lo tanto,

mental, 3. Naturalmente, tan slo tenemos una posibilidad para formar una tabla totalmente antisimtrica de tres cajas, 1 (3.4.36) 2 =: , 3 que representa al estado singlete, que es invariante, y por lo tanto siempre extrado de nuestras tablas de Young. Pasemos ahora a las tablas simtricas. Tenemos seis tipos de tablas simtricas de dos cajas, 1 1 , 1 2 , 1 3 , 2 2 , 2 3 , 3 3 , (3.4.37)

simboliza la representacin 6 del SU (3). Para las tablas simtricas y, por lo tanto, la tabla genrica de tres cajas tenemos un total de diez posibilidades, a saber 1 1 1 , 1 3 3 , 1 1 2 , 2 2 2 , 1 1 3 , 2 2 3 , 1 2 2 , 2 3 3 , 1 2 3 , 3 3 3 , (3.4.38)

que conforman la representacin 10, que en el formalismo de las tablas de Young se simboliza mediante . En el caso de SU (3), tambin resulta de inters considerar las tablas con simetra mezclada, 1 1 , 2 1 1 , 3 1 2 , 2 1 2 , 3 1 3 , 2 1 3 , 3 2 2 , 3 2 3 . 3 (3.4.39)

Estas ocho posibilidades, simbolizadas por

, nos conducen, pues, a la representacin adjunta.

La tabla de Young ms general se forma mediante n factores de tres cajas en vertical (que, como hemos dicho, pueden eliminarse), q de dos y p de una, donde estos p y q son los mismos que habamos introducido con anterioridad para caracterizar la representacin utilizada. As, pues, la tabla de Young ms general es de la forma

n q p

q p

(3.4.40)

La dimensionalidad de la representacin del grupo denida por esta tabla se puede calcular a partir solamente de p y q , y su valor es el dado por la ecuacin (3.4.9),
D(p, q ) = 1 (p + 1)(q + 1)(p + q + 2) . 2

(3.4.41)

En el cuadro 3.2 se muestran las tablas de Young que se utilizan para indicar las diferentes representa-

32

3.4. Grupo SU (3)

Representacin
1 3 3 6 6

p 0 1 0 2 0

q 0 0 1 0 2

D(p, q ) 1 3 3 6 6

Tabla de Young

8 10 10

1 3 0

1 0 3

8 10 10

15

15

15

15

24

24

24

24

27

27

35

35

35

35

Cuadro 3.2: Tablas de Young y representaciones del grupo SU (3).

3. Interaccin nuclear fuerte. Cromodinmica cuntica

33

ciones. A continuacin vamos a dar las reglas que se deben seguir para poder hallar de forma sistemtica la descomposicin del producto tensorial de dos representaciones cuales quiera, a partir simplemente de su simbolizacin mediante tablas de Young. Para hacerlo de forma ms visual y didctica, veremos de forma detallada un ejemplo concreto, el producto de dos octetes,
8 8 .

(3.4.42)

Este ejemplo es de inters dado que representa el estado ligado de dos mesones o bariones (del octeto de bariones). El procedimiento se realiza en cinco pasos. 1. En una de las dos tablas de Young, generalmente la segunda, escribimos etiquetas a en todas las cajas del primer piso (primera la), y b en las del segundo. Dado que siempre eliminamos los factores singlete, no es posible tener ninguna caja en la tercera la de nuestras tablas de Young, con lo cual no nos son necesarias ms etiquetas. a a . (3.4.43) b 2. Aadir a la primera tabla (o, en su defecto, a la tabla donde no se hayan colocado las etiquetas) todos los cuadros marcados con a correspondientes a la otra tabla de todas las formas posibles (dado que en horizontal las tablas son simtricas, podemos limitarnos a ponerlas siempre al nal), pero nunca de forma que hayan dos a en una misma columna (dada la antisimetra de las columnas, y siempre al nal de una columna). Si la tabla tiene menos de tres las, puede empezarse una nueva la, siempre y cuando no se superen la tres (y la nueva caja sea siempre la ltima de su columna correspondiente). Tras realizar este procedimiento en el ejemplo que estamos considerando obtenemos las cuatro siguientes tablas,
(i)

a a ,

(ii)

a ,

a
(iii) , (iv )

a .

(3.4.44)

3. En las tablas resultantes, aadir las tablas marcadas con una b de todas las formas posibles, siguiendo los mismos criterios que en el punto anterior; es decir, siempre al nal de una la o columna, procurando que no se repita la misma etiqueta en una misma columna, aunque no importa si se repite en una misma la. De nuevo, se pueden abrir nuevas las en las tablas, pero siempre hasta un mximo total de tres las. El resultado, en nuestro ejemplo, es
(i)

a a b ,

a a , b a

a a
,

(ii)

a b , a b

a , a b a
,

a
,

(3.4.45)

(iii)

a
(iv )

a a b
,

a . a b

4. En los pasos anteriores hemos obenido demasiadas tablas, y algunas de ellas deben ser eliminadas. Una receta sencilla para discriminar las que son correctas y las que no es la siguiente: se empiezan a contar las etiquetas de derecha a izquierda, y de arriba a abajo. Si en algn momento, la cuenta de etiquetas b es mayor que la cuenta de etiquetas a, el diagrama queda prohibido y se debe eliminar.

34

3.4. Grupo SU (3)

En la prctica, a menudo este paso se realiza a la vez que el anterior; directamente se omiten aquellos diagramas que quedaran prohibidos por esta regla, en vez de dibujar todas las tablas posibles a priori. En nuestro ejemplo, deben ser eliminados todos los primeros diagramas de cada la, con lo cual nos quedan los siguientes diagramas
(i)

a a , b a

a a
,

(ii)

a , a b a
,

a
,

(3.4.46)

(iii)

a
(iv )

a . a b

5. Ya tenemos todas las tablas de Young que contribuyen a la descomposicin. El ltimo paso, para acabar de simplicar la notacin, consiste en eliminar todos los factores singlete, es decir, todas las columnas de tres cajas (si toda la tabla est formada por factores singlete, toda la tabla se representa por un simple punto, ). Este paso es un reejo del hecho de que los factores de singlete son invariantes bajo la accin del grupo SU (3) y, por tanto, no afectan en nada a la composicin de la representacin. En el caso SU (N ), el singlete vendra representado por una columna con N cajas. En nuestro ejemplo del producto de dos representaciones adjuntas, cuatro de las tablas contienen un singlete; una de las cuales (la ltima, precisamente) est compuesto tan slo por el producto de dos singletes, por lo que podemos representar toda la tabla simplemente por el estado singlete. En consecuencia, el resultado despus de aplicar esta regla a las tablas que tenemos del punto anterior es el siguiente a a , (i) a a , b
(ii)

a , a b b
.

a ,

(3.4.47)

(iii) (iv )

a ,

Por lo tanto, tenemos

8 8 = = 1 8 8 10 10 27 , ,

(3.4.48)

Para aanzar este procedimiento, vamos a proceder a resolver unos cuantos ejercicios simples a modo de ejemplo. Especial inters tiene el ejercicio 3.4.3, donde vemos que tipo de razonamientos fsicos se pueden hacer en base a las descomposiciones en suma directa de represetnaciones irreducibles.

Ejercicio 3.4.1 Demuestra las siguientes descomposiciones,

(a) (b) 3 8 = 3 6 15 , 8 10 = 8 10 27 35 .

(3.4.49)

3. Interaccin nuclear fuerte. Cromodinmica cuntica

35

Solucin (a) Para desarrollar este ejemplo, resulta ms sencillo poner las etiquetas en la primera tabla, ya que de esta forma necesitaremos poner menor cantidad de etiquetas,
a .

(3.4.50)

En este caso, no tenemos ninguna caja en el segundo piso, por lo que tan slo necesitamos aplicar la primera regla, tras lo cual tenemos las tres siguientes tablas, a , a
, = .

(3.4.51)

Comparando con la tabla 3.2, vemos que estas tres tablas representan justamente las representaciones 15, 6 y 3, que es justamente lo que se nos pide demostrar.

(b) El producto que debemos considerar es

a a a .

(3.4.52)

Dado que la representacin 10 slo tiene una la, de nuevo nos vasta tan slo con repartir las tres cajas a de forma que no queden en la misma la. Al hacerlo, nos salen directamente las cajas necesarias segn el enunciado.

Ejercicio 3.4.2 Calcular el producto directo de las representaciones 10 y 27. Debe hacerse etiquetando las cajas de la representacin 27 para poner en prctica todas las reglas dadas. Solucin El primer paso es poner las etiquetas necesarias,

a a a a . b b a a a , a .

(3.4.53)

Ahora, repartimos todos los factores a de todas las formas posibles,

(i) (iii)

a a a a , a a a a ,

(ii) (iv )

a a a a

(3.4.54)

El siguiente paso consiste en aadir las dos b's, de forma que no se contradiga la cuarta regla, es decir, que nunca nos encontremos con un mayor nmero de b's que de a's leyendo las etiquetas, tal como nos dice la regla, de derecha a izquierda y de arriba a abajo,
(i)

b b a b b

a a a a , a a a , a b b a a a

(ii)

(iii)

a a , a a b b a

a a b b

a a
,

a a b b

a a
,

(3.4.55)

(iv ) a a a b ,

a a a b b

a
.

36

3.5. Clasicacin de los hadrones

Retirando los factores singlete, el resultado es

10 27 =

(3.4.56)
.

Algunas de estas representaciones no aparecen en la tabla 3.2, pero teniendo en cuenta la forma general de una tabla y la expresin de D(p, q ) podemos saber su nombre. El resultado nal es,
10 27 = 8 10 10 27 35 35 64 81 .

(3.4.57)

Ejercicio 3.4.3 En este caso, consideraremos que hablamos de estados de color. Dado que el lagrangiano tiene simetra de color, los nicos estados permitidos en la naturaleza son aquellos que son invariantes, es decir, los singletes. Demuestra que no puede existir un estado ligado de un quark con un glun. Solucin Los quarks transforman en la representacin 3, y los gluones en la adjunta, 8. Por lo tanto, un estado ligado entre ambas partculas estara en la representacin 3 8, que como vimos en el ejercicio 3.4.1(a), se descompone en 3 8 = 3 6 15 . (3.4.58)
Como vemos, esta descomposicin no contiene ningn factor singlete. Es decir, no existe la posibilidad de que un quark y un glun, si forman un estado ligado, se encuentren en un estado invariante bajo la simetra de color; lo que va en contra del principio de simetra gauge. Es decir, dicho estado ligado est prohibido.

3.5.
3.5.1.

Clasicacin de los hadrones

Mesones

La clasicacin de los hadrones, que como ya dijimos en el primer captulo, son las partculas formadas por quarks, se hace a partir de las diferentes representaciones del grupo SUF (3) (de sabor, avour en ingls) a las que pertenece cada partcula. Por ejemplo, los mesones se forman a partir de un quark, en la representacin 3; y de un antiquark, en la representacin 3. Los estados ligados de estas partculas se realizarn en alguna de las representaciones en que se puede descomponer su producto directo,
33=18 ,

(3.5.1)

como se puede demostrar utilizando las tcnicas descritas en la seccin anterior. Es decir, tendremos una partcula escalar (bajo SUF (3)), y ocho mesones ms agrupados en un octete. Dado que tenemos ocho grados de libertad, nos sugiere la posibilidad de representar el octete mediante una matriz 3 3 sin traza (dado que la condicin de no tener traza resta un grado de libertad). Dicha matriz se puede formar mediante los vectores de quarks y antiquarks,
u = d , s = u d s .

(3.5.2)

Podemos construir una matriz sin traza a partir de estos vectores tal que as,
M = 1 133 tr . 3

(3.5.3)

Realizando la multiplicacin matricial obtenemos

1 M =
3 (2uu

dd ss) du su

ud 1 ( uu + 2dd ss) 3 sd

us . ds 1 3 (uu dd + 2ss

(3.5.4)

3. Interaccin nuclear fuerte. Cromodinmica cuntica

37

(a) Octete de mesones de J p = 0 .

(b) Octete de mesones de J p = 1 .

Figura 3.7: Distribucin de los mesones en el plano Y I3 . Si se compara la matriz anterior con el contenido de quarks de los mesones pseudo-escalares, con J p = 0 , (ver, por ejemplo [1])
1 0 = (uu dd) , 2 + = ud , K + = us , K 0 = ds , 1 = (uu + dd 2ss) , 6 = du , K = su , K = sd .
0

(3.5.5)

podemos ver que

M =
0 2

+
+ 2
0

K+
6

K0 . 2 6

(3.5.6)

Los diferentes mesones cargaran con los diferentes valores de los nmeros cunticos de isospin y hipercarga correspondientes a la representacin 8. En la gura 3.7(a) podemos ver su distribucin en el plano Y I3 . Tambin tenemos un segundo octete de mesones, con un spinparidad de J p = 1 . Las partculas que lo componen se muestran en la gura 3.7(b).

3.5.2.

Bariones

3 3 3. Una estrategia para calcular la descomposicin de este producto consiste en calcular primero

Los bariones son hadrones construidos por tres quarks, por lo que se hayan en la representacin

el producto de solo dos representaciones,

33=36 ,

(3.5.7)

y realizar la multiplicacin por el tercer 3 a todas las partes del resultado intermedio (propiedad distributiva del producto directo), 3 3 3 = 1 8 8 10 . (3.5.8)

38

3.5. Clasicacin de los hadrones

Por lo tanto, tendremos un octete y un decuplete de hadrones. El contenido en quarks del octete es
p = uud , = uus , = dss ,
+ +

n = udd , = uds , = uss .

0 0

= uds , = dds ,

(3.5.9)

La posicin de estas partculas en el plano hipercargaisospin, es decir, sus nmeros cunticos, pueden observarse en la gura 3.8. Tambin estas partculas pueden escribirse en disposicin matricial mediante la matriz de bariones, que utilizaremos en los prximos captulos, cuya forma es la siguiente,
0
2

+
+ 2 0
0

p
6

B=

n . 2 6

(3.5.10)

Por otra parte, el decuplete de bariones puede ser descrito mediante un tensor de tres ndices totalmente simtrico, Tabc , que tiene exactamente los grados de libertad necesarios. Sus componentes se pueden escribir, de nuevo, en trminos de las partculas fsicas,
T111 = ++ , 1 T113 = + 3 1 0 T133 = 3 1 1 T222 = , T112 = + , T122 = 0 , 3 3 1 1 , T123 = 0 , T223 = , T333 = , 3 3 1 T113 = . 3

(3.5.11)

Todas estas partculas tienen un spinparidad J p = (3/2)+ . En la gura 3.9 se pueden encontrar los nmeros cunticos de isospin e hipercarga correspondientes a las partculas del decuplete de bariones.

3. Interaccin nuclear fuerte. Cromodinmica cuntica

39

Figura 3.8: Nmeros cunticos del octete de bariones.

40

3.5. Clasicacin de los hadrones

Captulo 4
Teoras efectivas

En la naturaleza los quarks no aparecen aislados, sino que siempre aparecen agrupados en parejas quarkantiquark, o en tros de quarks, para formar mesones y bariones, respectivamente. Por lo tanto, en muchas ocasiones no nos interesa escribir nuestros lagrangianos en trminos de los quarks, sino que nos sera ms til escribirlo en trminos de las partculas fsicas que podemos observar con los aceleradores de partculas, los hadrones. Esto es lo que llamamos una teora efectiva. En este captulo vamos a estudiar diferentes teoras efectivas para las partculas que hemos clasicado en el captulo anterior. En primer lugar, realizaremos detalladamente el proceso de construccin de una teora efectiva para el octete de bariones. Seguidamente, aplicaremos el mismo proceso a los bariones del decuplete, si bien esta vez no realizaremos todos los clculos de forma tan detallada. Nuestro siguiente paso ser utilizar el modelo sigma no lineal para obtener una teora efectiva para los mesones (que tambin se transforman segn un octete). Para acabar el captulo, aplicaremos la teora efectiva que habremos construido para los mesones para describir el proceso de interaccin elstica de cuatro piones.

4.1.
4.1.1.

Octete de bariones
Rompimiento de la simetra

Ahora que hemos caracterizado y clasicado las partculas de la teora, queremos encontrar el lagrangiano que las describe. De momento, no nos preocuparemos de las interacciones. El lagrangiano se puede escribir como el de Dirac, donde el campo se substituye por la matriz de bariones, ec. (3.5.10),
L = tr B i M0 B ,

(4.1.1)

0 . Naturalmente, en donde ,si consideramos las masas de los quarks ligeros iguales, tenemos M = 1M estas condiciones, B se transforma de forma homognea bajo transformaciones del grupo de simetra SUL+R (3), SUL+R (3) B UL+R B UL (4.1.2) +R ,

y, por tanto, el lagrangiano es invariante (dada la propiedad cclica de la traza). No obstante, en la naturaleza no es cierto que la masa de los tres quarks ligeros sea exactamente igual, sino que tenemos una matriz de masas de la forma
mu M = 0 0 0 md 0 0 0 , ms

(4.1.3)

que no es invariante ante las transformaciones del grupo,

M UL +R M UL+R = M .

(4.1.4)

Por lo tanto, el trmino de masas rompe la simetra SUL+R (3) de sabor. Sin embargo, esta simetra se rompe de una forma muy concreta, dada por la ecuacin (4.1.4), lo que nos sugiere la posibilidad de aadir trminos al lagrangiano que rompan la simetra de la misma forma. 41

42

4.1. Octete de bariones

4.1.2.

Construccin de los trminos que rompen la simetra

Dada que la simetra es correcta en primera aproximacin, podemos suponer que los trminos que la rompen son de primer orden en las masas. Lo cual, nos permite considerar M como una perturbacin,
L = tr B i M0 B + o(M ) ,

(4.1.5)

donde M0 es la matriz de masas en la aproximacin de masas iguales. Para construir los trminos, suponemos de forma cticia que la matriz de masas, M , se transforma de la forma adecuada para conservar la simetra, cticiamente M UL+R M UL (4.1.6) +R . Con esta matriz de masas cticia invariante, construimos todos los trminos invariantes posibles, a un determinado orden en M . En nuestro caso, tan slo estamos interesados en el primer orden, por lo cual consideraremos trminos en donde aparecen productos de B , B y M . Dado que las tres matrices se transforman bajo la representacin 8, puesto que estamos considerando los bariones del octete, el producto de las tres matrices se transformar bajo la representacin
8 3 4 5

8 8 8 = 1 1 8 10 10 27 35 35 64 .
n

(4.1.7)

donde m representa n copias de la representacin m. La demostracin de esta igualdad se deja como ejercicio.

Ejercicio 4.1.1 Demostrar la ecuacin (4.1.7) a partir de las tcnicas de las tablas de Young. Solucin En primer lugar, tenemos que resolver el producto 8 8. Esto fue hecho en el captulo anterior, ec. (3.4.48), a saber,
8 8 = 1 8 8 10 10 27 = ,

(4.1.8)

Ahora debemos realizar la multiplicacin directa de todas las representaciones que aparecen en la descomposicin anterior por la representacin 8. La multiplicacin por el singlete es trivial. El producto de dos representaciones 8 es ya conocido. Los siguientes productos se realizan utilizando las tcnicas ya conocidas,

a a = b a

a b

a a
(4.1.9)

= 8 10 27 35 ,

a a = b

a b

a a

a a b
(4.1.10)

= 8 10 27 35 ,

a a = b a

a a a b

a b

a a a

a a

= 8 10 27 35 35 64 ,

(4.1.11)

Juntando todos los resultados, obtenemos justamente el resultado que buscamos.

4. Teoras efectivas

43

Lo nico que nos interesa de la descomposicin (4.1.7) es que tan slo existen dos factores singlete, es decir, mediante el producto de tres elementos que transformen en la representacin adjunta tan slo podemos encontrar dos elementos invariantes, a saber
trBBM , trBM B .

(4.1.12) (4.1.13)

Se podra pensar que existe otro trmino invariante,

trM trBB ,

pero, dado que la traza de BB es una simple constante, este trmino tan slo contribuye al trmino de masas usual, por lo que podemos obviarlo redeniendolo,
0 + g3 trM M0 M

1,

(4.1.14)

donde g3 es la constante de acoplamiento de este tercer invariante, con el factor trBB ya absorbido. Por lo tanto, los nuevos trminos que podemos aadir al lagrangiano son
L = g1 trBBM + g2 trBM B .

(4.1.15)

Como ya hemos remarcado, estos trminos seran invariantes si consideramos, de forma cticia, que M transforma homogneamente. As, pues, en realidad estos trminos rompen la simetra, pero lo hacen de la misma forma que M . Su efecto en el lagrangiano se traducir en unas masas ligeramente diferentes en las diferentes partculas del octete de bariones. Otra forma de escribir estos trminos, utilizando las propiedades de la traza, es la que sigue,
L = g1 tr M B, B + g2 tr M B, B ,

(4.1.16)

donde g1 y g2 son unas nuevas constantes de acoplamiento, no necesariamente iguales a las anteriores. Mantendremos su nombre por simplicidad en la notacin. Por otra parte, hemos reescrito la matriz de masas de la forma M = M0 + M , (4.1.17) donde M0 = M0 1 es diagonal. Dado que la masa de los quarks up y down es prcticamente igual, podemos situarnos en la aproximacin en que son idnticas, mu = md . Por lo tanto, M deber ser una matriz diagonal cuyos dos primeros elementos diagonales sean iguales, y tan slo el tercero sea diferente. Recordando la expresin de las matrices de GellMann, esto signica que M debe ser proporcional a 8 . Para comprobar explcitamente esto, podemos descomponer en suma de las matrices de Gell-Mann la matriz de masas,
M = diag(mu , md , ms ) 1 1 1 = (mu + md + ms )1 + (mu md )3 + (mu + md 2ms )8 . 3 2 2 3

(4.1.18)

Podemos identicar el primer trmino con M0 . Como vemos, si tomamos mu = md , efectivamente M = M M0 es proporcional a 8 . Si no realizramos esta aproximacin, tambin deberamos considerar un trmino proporcional a 3 .

4.1.3.

Lagrangiano en trminos de las partculas fsicas

a B = Ba , 2

Por otra parte, podemos realizar una descomposicin similar con la matriz de bariones, (4.1.19)

donde los coecientes B a se pueden relacionar con las partculas fsicas en virtud de la expresin de la matriz B , ecuacin (3.5.10),
1 + = B1 iB2 , 2 0 = B 3 , 1 = B1 + iB2 , 2 1 0 = (B4 + iB5 ) , p = 2 1 = (B6 + iB7 ) , n = 2 = B8 . 1 (B4 iB5 ) , 2 1 (B6 iB7 ) , 2

(4.1.20)

44

4.1. Octete de bariones

Lo mismo se puede repetir para os antibariones, teniendo en cuenta que las matrices de Gell-Mann son hermticas, a a B=B . (4.1.21) Esta descomposicin nos permite calcular fcilmente las diferentes trazas que intervienen en el Hamiltoniano, teniendo en cuenta la relacin de normalizacin, ec. (2.3.17). Comenzamos por la traza de BB ,
a b a trBB = B B b tr 2 2 a = B Ba . 2

(4.1.22)

Tambin necesitamos las tazas de los nuevos trminos del lagrangiano: las correspondientes al conmutador y al anticonmutador. La primera de ellas se puede calcular de forma sencilla,
a b a B B b tr 8 , 2 2 c a 2 iB B b f abc tr 8 2 a b ab8 = 2iB B f . = ,

(4.1.23)

Comparando con la ecuacin (2.3.15), vemos que las nicas constantes de estructura que aparecen son
f
458

=f

678

3 . 2

(4.1.24)

Por ltimo, necesitamos calcular la traza del trmino que contiene el anticonmutador,
B B b tr 8
a

a b , 2 2

(4.1.25)

El conmutador de dos matrices de Gell-Mann se puede escribir de la guisa

a b , 2 2 a b , 2 2 = 2 ab c 1 + 2 dabc , Nf 2

(4.1.26)

donde dabc son unas nuevas constantes, totalmente simtricas en todos sus ndices. Con lo cual, tenemos,
B B b tr 8
a

4 ab c 1 + 2 dabc Nf 2 c a b abc = 2 B B d tr 8 2 a b ab8 = 2iB B d . = B B b tr 8

a

(4.1.27)

Las nicas constantes que aparecen son

1 d118 = d228 = d338 = d888 = , 3 1 d448 = d558 = d668 = d778 = . 2 3

(4.1.28)

Recopilando todos estos resultados, vemos que los nuevos trminos del lagrangiano se pueden escribir de la forma a L 2iB B b g1 f ab8 + g2 dab8 , (4.1.29) donde, de momento, obviamos la constante (mu ms ) que proviene de la descomposicin de M en trminos de las matrices de Gell-Mann. El trmino entre parntesis puede escribirse de forma matricial tal que as,
0 0 0 3 0 g1 1 2 0 0 1 1 1 1 1 0 0 2 + g2 0 0 3 0 1 1 0 0 . 1

1 0 0 0

1 2

(4.1.30)

1 2

1 2

4. Teoras efectivas

45

Desarrollando los productos matriciales, obtenemos el siguiente resultado,

L 2ig1 3 B 4 B5 B 5 B4 + B 6 B7 B 7 B6 2 1 2 + 2ig2 B 1 B1 + B 2 B2 + B 3 B3 B 4 B4 + B 5 B5 + B 6 B6 + B 7 B7 B 8 B8 . 2 3

(4.1.31)

Finalmente, podemos expresar estos trminos en funcin de las partculas fsicas, que se expresan en funcin de B a segn la expresin (4.1.20). El resultado que se obtiene es el siguiente,
0 L 3g1 pp + nn 0 1 2 + 0 0 + g2 + + + 0 pp + nn + + 0 2 3

(4.1.32)
.

4.1.4.

Masas de los bariones del octete. Relacin de Gell-MannOkubo

Como vemos, todos los trminos tienen la forma de un trmino de masas. De esta forma, estos trminos nos dan informacin sobre como varan la masa de las partculas a causa del rompimiento de la simetra. Para hallar las masas de forma exacta, necesitamos escribir tambin el trmino de masas invariante en funcin de las partculas fsicas,
M0 trBB = M0 B a Ba = M0 pp + nn + + 0 + + 0 + + +
0 0 +

(4.1.33)

que, como vemos, vuelve a ser diagonal. Esto es un reejo de que, en la aproximacin de los tres quarks ligero con la misma masa, SUL+R (3), estas partculas forman parte de la misma representacin (el octete), y por lo tanto deben tener la misma masa. Finalmente, juntando las ecuaciones (4.1.32) y (4.1.33), podemos predecir la masa de las partculas a partir de las constantes de acoplamiento, de la masa de los quarks up y down, m, y del quark strange, ms . Lo primero que observamos es que las partculas con el mismo isospin tiene la misma masa, tal y como era de esperar ya que nos hemos situado en la aproximacin de isospin. Los resultados que se obtienen son
Mp = Mn = M0 1 3g1 (m ms ) g2 (m ms ) , 3 1 M = M0 + 3g1 (m ms ) g2 (m ms ) , 3 2 M = M0 + g2 (m ms ) , 3 2 M = M0 g2 (m ms ) , 3

(4.1.34a) (4.1.34b) (4.1.34c) (4.1.34d)

donde hemos recuperado el coeciente (m ms ) que proviene de la descomposicin de M en trminos de las matrices de Gell-Mann, ec. (4.1.18). Estas expresiones dependen de la eleccin de las constantes del lagrangiano; M , g1 y g2 . No obstante, tenemos tres constantes y cuatro relaciones, con lo cual podemos deducir una relacin que sea independiente de las tres constantes. La obtencin de dicha relacin se deja como ejercicio. El resultado que se debe obtener es
3M + M = 2 M p + M .

(4.1.35)

Esta ecuacin se denomina relacin de Gell-MannOkubo, y representa la primera relacin totalmente independiente del modelo que hemos logrado en nuestro curso. Comprobando los resultados experimentales para las masas de las diferentes partculas, obtenemos
3M + M = 4539,9MeV , 2 Mp + M = 4514,0MeV ,

(4.1.36) (4.1.37)

y, por lo tanto, la relacin de Gell-MannOkubo se cumple en muy buena aproximacin, con una discrepancia relativa del 0,6 %.

46

4.2. Decuplete de bariones

Ejercicio 4.1.2 (Relacin de Gell-MannOkubo) Deducir la relacin de Gell-MannOkubo, dada por la ecuacin (4.1.35), a partir de la expresin de las masas de las partculas del octete de bariones, ec. (4.1.34). Solucin Sumando las ecuaciones (4.1.34c) y (4.1.34d) podemos encontrar el valor de M0 ,
M0 = 1 M + M . 2

(4.1.38)

Por otra parte, restando las mismas ecuaciones, podemos aislar el trmino que contiene g2 ,
2 1 g2 (m ms ) = M M . 2 3

(4.1.39)

Con todo esto, las ecuaciones (4.1.34a) y (4.1.34b) se escriben de la forma

1 M + 3M 3g1 (m ms ) , 4 1 M = M + 3M + 3g1 (m ms ) . 4 Mp =

(4.1.40) (4.1.41)

Finalmente, sumando estas dos ltimas ecuaciones obtenemos

Mp + M = 1 M + 3M 2 ,

(4.1.42)

que no es ms que la relacin que estamos buscando.

4.2.

Decuplete de bariones

Tal y como dijimos en el captulo anterior, el decuplete de bariones se puede describir mediante un tensor de tres ndices totalmente simtrico, Tabc . Siguiendo el mismo procedimiento de antes, suponiendo de forma cticia que la matriz de masas M transforma de forma homognea, nos interesa formar todos los trminos invariantes posibles que se puedan formar como producto de M (que transforma en la representacin 8), Tabc (que transforma segn 10) y T abc (que transforma segn bar10). Para saber cuantos invariantes de este tipo existen, debemos calcular la descomposicin del producto directo de estas representaciones,
4 4 3

8 10 10 = 1 8 10 10 10 27 35 35 35 64 81 81 125 .

(4.2.1)

Ejercicio 4.2.1 Demostrar la ecuacin (4.2.1). Solucin El procedimiento es idntico al utilizado en la seccin anterior. Daremos tan slo los resultados intermedios. En primer lugar, calculamos 10 10,
10 10 = 1 8 27 64 .

(4.2.2) (4.2.3a) (4.2.3b) (4.2.3c) (4.2.3d) (4.2.4) (4.2.5)

No queda realizar la multiplicacin por 8 de la ecuacin anterior. Los resultados son

18=8 , 8 8 = 1 8 8 10 10 27 , 27 8 = 8 10 27 27 35 35 64 , 64 8 = 27 35 64 64 81 81 125 .

Es decir, tan slo tenemos un invariante, a saber

T abc (M )d a Tdbc .

Al igual que en el caso del octete, podemos aadir un trmino que contiene la traza de la masa,
trM T abc Tabc ,

4. Teoras efectivas

47

que, al igual que antes, tan slo afectar al trmino de masas inicial, M0 . Con lo cual, la suma de todos los trminos que contienen la masa son
L = M0 Tabc Tabc + T abc (M )a Tdbc + trM T abc Tabc .
d

(4.2.6)

En la aproximacin de isospin, mu = md , en esta ocasin podemos incluir toda la diferencia de masas del strange en M , por lo que tendremos M = diag(0, 0, ms ). Siguiendo la analoga con el caso anterior, debemos representar este lagrangiano en trminos de las partculas fsicas, que vienen dadas por la ecuacin (3.5.11),
L = (M0 + ms )
++

++ + 0 + + + + 0 +

1 0 + 0 + 0 + + + ms + + 0 + 3 + 2 0 + 2 + .
0

(4.2.7)

De nuevo, vemos que las partculas en el mismo multiplete de spin tienen la misma masa. De este lagrangiano resulta evidente que la diferencia de masas entre partculas cuya diferencia de extraeza es la unidad, se diferencian en su masa por un factor ms , de lo que resultan las siguientes relaciones de Gell-MannOkubo, M M = M M = M M . (4.2.8) Histricamente, esta relacin sirvi a Gell-Mann para calcular la masa de la partcula , y este clculo le vali el premio Nobel, ya que su conrmacin experimental sirvi de prueba al modelo de quarks.

4.3.
4.3.1.

Modelo sigma no lineal

Obtencin del lagrangiano

Ahora, nos proponemos estudiar el modelo sigma no lineal con el objetivo de describir los bosones de Goldstone (los mesones del octete) asociados con el rompimiento de la simetra SUL (3) SUR (3) a SUv (3). No obstante, esta no es la nica forma de estudiar estas partculas; un tratamiento alternativo puede verse en [10, 11]. El lagrangiano del modelo sigma no lineal es
L= 1 tr M M 4 4 1 2 trM M + 2
2

(4.3.1)

donde
M = + i a a , 1 trM M = 2 + 2 . 2

(4.3.2)

Si consideramos los piones, es decir, los quarks up y down, a sern proporcionales a las matrices de Pauli. Adems, la transformacin de M ser
M LM R ,

(4.3.3)

donde L SUL (2) y R SUR (2). Llegados a este punto, nos interesa realizar el siguiente cambio de variables,
M = U , U = e 2i
a v

(4.3.4)

donde v es una constante arbitraria. Ntese que no hemos variado el nmero de grados de libertad, inicialmente tenamos cuatro campos, y tres a ; que han sido reemplazados por otros cuatro campos, y tres a . En estas nuevas variables, el lagrangiano resulta ser
L= 1 2 1 + 2 tr U U V () , 4 1 2 trM M + 4 2
2

(4.3.5) (4.3.6)

donde
V () =

48

4.3. Modelo sigma no lineal

Dado que U es unitaria, en estas coordenadas tenemos trM M = 2 , con lo cual podemos escribir el potencial de la guisa
V () = 1 2 2 + 4 2
2

(4.3.7)

El mnimo del potencial (4.3.7) se encuentra en

2 m n = 2 = v2 . 2

(4.3.8)

Por comodidad, elegimos v := 2 m n . Con lo cual, salvo una constante aditiva (que obviamos, ya que su efecto es un corrimiento en el origen de energas) y factor multiplicativo constante (que absorbemos en las constantes), podemos reescribir el potencial de la guisa
V () = 2 2 4 v . 2 4

(4.3.9)

En la aproximacin , y dado que en la frmula de la integra de caminos el potencial aparece exponenciado, eS eV , (4.3.10) tan slo contribuir a la integral el valor mnimo, es decir, = v . Por otra parte, vemos que el primer trmino del potencial se puede interpretar como un trmino de masas para el campo , 2 m2 (4.3.11) = v . Adems, podemos interpretar el segundo trmino del potencial como un trmino de interaccin de las partculas , en un vrtice de cuatro patas externas. En condiciones normales, la colisin de dos piones para dar dos piones intercambiando una partcula obedecera un diagrama del tipo
.

(4.3.12)

El propagador de la es el de una partcula escalar, que en el lmite de bajas energas, s forma

1 1 2 . 2 s mg mg

m2 es de la

(4.3.13)

Por lo tanto, en el lmite , que corresponde a m , el diagrama (4.3.12) se convierte en

(4.3.14)

Por lo tanto, en este lmite la partcula se desacopla de la teora. De esta forma, el lagrangiano para bajas energas es
L v2 tr U 3 U + o 1 m , U = e2i
a

a /v

(4.3.15)

y el valor esperado del campo es = v . Por lo tanto, podemos escribir M vU , y la transformacin de U ser la misma que la de M . Notamos que, en toda la derivacin que hemos hecho, no hemos utilizado en ningn momento que el grupo de simetra sea SU (2). Por lo tanto, el mismo procedimiento ser vlido para SU (3), y el lagrangiano ser el mismo. Sin embargo, el caso SU (2) tiene una peculiaridad, cuyo estudio dejamos como ejercicio al lector.

4. Teoras efectivas

49

Ejercicio 4.3.1 Introducid el cambio + v en la denicin de M , y llegar al mismo lagrangiano. Con este cambio, el lagrangiano es
L= 1 2 + 1 a 2 a 2 2 + a + 2F 4 .

(4.3.16)

En el lmite tambin se desacopla el campo , y por lo tanto el lagrangiano que obtenemos es el mismo.

4.3.2.

Rompimiento de simetra

SUR (3) del lagrangiano,

De nuevo, deseamos introducir los trminos de masas que rompen totalmente la simetra SUL (3)
mu donde M = mu ms .

L = L M R + h.c. ,

(4.3.17)

Los campos transforman de forma homognea,1

R RR , L L L .

(4.3.18)

Siguiendo la estrategia de las secciones anteriores, para encontrar todos los trminos posibles suponemos por un instante que la matriz de masas se transforma de la forma adecuada para que no se rompa la simetra, cticiamente M LM R . (4.3.19) De esta forma, el lagrangiano estar formado por todos los trminos que serian invariantes si la matriz de masas se transformara de la forma anterior, a saber,
2 L( ) = F

1 tr U 4

U +

1 trU M + trU M 2

+ o(M )2 .

(4.3.20)

Dado que estamos considerando tan slo el primer orden, podemos expender las exponenciales y escribir el lagrangiano en funcin de las partculas fsicas. Como en las secciones anteriores, esto nos permitir obtener las masas de las partculas. La realizacin detallada de todos estos pasos se dejan como ejercicio al lector; aqu nos limitaremos a dar los resultados. En todo momento, trabajamos en la aproximacin de isospin, m = mu = md . El resultado que se obtiene es
1 4 1 m2 = 4 tr M 4 1 4 0 m2 = 4 tr M K 1 12 1 m2 = 4 tr M 12 = 2m , 0 = (m + ms ) , 1 4 = 2 m + 2ms 3 3 1
3

(4.3.21a) (4.3.21b) (4.3.21c)

Por ltimo, estos resultados nos llevan a una nueva relacin de Gell-MannOkubo,
2 2 3m2 + m = 4mK .

(4.3.22) (4.3.23) (4.3.24)

Los resultados experimentales son

2 2 3m2 + m = 0,923MeV ,

3m2

m2

= 0,983MeV .

Como vemos, la relacin se cumple en muy buena aproximacin, con una discrepancia del 6,1 %.
1 En el caso de los bariones, habamos supuesto que y se transformaban igual por que all estbamos considerando L R el rompimiento de la simetra SUL+R (3).

50

4.4. Colisin elstica de dos piones a primer orden

Figura 4.1: Esquema cinemtico de la colisin .

Ejercicio 4.3.2 Derivar las ecuaciones (4.3.21) y (4.3.22) realizando los pasos esbozados ms arriba. Para ello, es til tener en cuenta la relacin entre las bases de las matrices de Gell-Mann y de las partculas fsicas,
= 3
2 2

+
2

K+

+ 2

K0 . 2 6

(4.3.25)

4.4.

Colisin elstica de dos piones a primer orden

Para estudiar los procesos de colisin de dos piones para dar dos piones. Partimos del lagrangiano que hemos derivado en la seccin anterior,
2 L( ) = F

1 tr U 4

U +

1 trU M + trU M 2

(4.4.1)

Por motivos histricos, utilizamos la normalizacin

U = exp i 2 F ,

donde = a .

a 2

(4.4.2)

Para encontrar las reglas de Feynman asociadas lagrangiano, debemos realizar la expansin de Taylor de la exponencial. El proceso se deja como ejercicio.

Ejercicio 4.4.1 Expande el lagrangiano hasta orden 4 y encuentra las reglas de Feynman correspondientes.
Vamos a considerar el proceso de interaccin de dos piones que dan dos piones,
.

(4.4.3)

El diagrama a nivel rbol es el siguiente,

p1 , 1 p2 , 2 p 4 , 4
s

p 3 , 3 ,

(4.4.4)

donde i es el ndice de isospin. Nos situaremos en el sistema de referencia del centro de masas, donde los momentos de las partculas incidentes son iguales pero de signo contrario. Por la conservacin del momento, a los momentos salientes les ocurrir lo mismo, pero en otra direccin, que formar un ngulo con la original, tal y como se puede ver en la gura 4.1.

4. Teoras efectivas

51

Como siempre en los problemas de colisiones, nos es til denir las variables invariantes de Mandelstam,
s = (p1 + p2 )2 , t = (p3 p1 ) , u = (p4 p1 )2 .
2

(4.4.5a) (4.4.5b) (4.4.5c) (4.4.6) (4.4.7) (4.4.8) (4.4.9)

Estas tres variables no son independientes, ya que estn ligadas por la siguiente condicin
s + t + u = 4m2 .

Dado que el mdulo de los tri-momentos deben ser iguales, no es til denir
ps := |p1 | = |p2 | .

por conservacin de la energa, debemos tener tambin

p2 = |p3 | = |p4 | .

Con lo cual, es trivial escribir el valor de s,

2 s = 4 m2 s + ps .

Los valores de t y u dependern del ngulo entre las trayectorias iniciales y nales. Por ejemplo, para el clculo de t tenemos
t = p 3 p1
2 2 = p2 3 + p1 2p1 p3 2 2 = 2m2 2 m + ps + 2p2 p

(4.4.10)

= 2p2 s (1 cos ) .

Por tanto, tendremos t 0. En el clculo de u, la nica diferencia radica en que p3 = p4 . Resumiendo, los valores de las variables de Mandelstam son,
2 s = 4 m2 , +p

t= u=

2p2 s 2p2 s

1 cos , 1 + cos .

(4.4.11a) (4.4.11b) (4.4.11c)

La amplitud de este proceso se puede calcular con las reglas de Feynman obtenidas del ejercicio 4.4.1. El resultado que se obtiene tiene la siguiente estructura,
T (s, t, u; i ) = A(s, t, u)1 ,2 3 ,4 + B (s, t, u)1 ,3 2 ,4 + C (s, t, u)1 ,4 2 ,3 .

(4.4.12)

Debido a que los piones son bosones, la amplitud debe satisfacer ciertas simetras bajo intercambio de partculas, a causa de la estadstica de Bose. Estas condiciones se resumen en
A(s, t, u) = A(s, u, t) , B (s, t, u) = A(t, u, s) , C (s, t, u) = A(u, s, t) .

(4.4.13a) (4.4.13b) (4.4.13c)

Habitualmente, nos interesa descomponer la matriz S en estados de isospin. Dado que el isospin corresponde a la simetra SU (2)I de intercambio de las masas de los quarks up y down, y que los piones viven en un triplete de isospin I = 1, la combinacin de los dos piones puede estar en un estado de isospin I = 0, 1 o 2, ya que
11=012 ,

(en SUI (2)) .

(4.4.14)

Por lo tanto, debido a la simetra de isospin la matriz de colisin tendr la estructura

II3 T I I3 = II I3 I3 I T I = II I3 I3 T I .

(4.4.15)

52

4.4. Colisin elstica de dos piones a primer orden

Aplicando las condiciones de Bose, ecs. (4.4.13), los diferentes elementos de matriz T I se pueden expresar tal que as,
T 0 = 3A(s, t, u) + A(t, u, s) + A(u, s, t) , T = A(t, u, s) A(u, s, t) , T 2 = A(t, u, s) + A(u, s, t) .
1

(4.4.16a) (4.4.16b) (4.4.16c) (4.4.17)

Siguiendo el tratamiento habitual de la matriz T , introducimos un desarrollo en ondas parciales,

T I = 32
=0

(2 + 1)P (cos )tI (s) .

Los coecientes tI (s) tienen una forma diferente dependiendo si estamos en una aproximacin que tiene en cuenta la relatividad o no. En concreto, para una teora no relativista tenemos
tI (s) = e2i
I

(s)

2ik
1/2

(4.4.18)

mientras que en una teora relativista tendramos

tI (s) = s s 4m2
1/2
I 1 e2i (s) 1 2i

(4.4.19)

En este contexto, es til denir

W = ps s s 4m2
2 F0 4

W = 2E =

s.

(4.4.20)

El lagrangiano de los piones, con trmino de masas, toma la forma

L(2) = U U + 2B0 M U + U ,

(4.4.21)

donde hemos empleado la notacin X := trX . La matriz de masas es proporcional a la unidad M = m122 . La masa de los piones se relaciona con las constantes del lagrangiano, B0 y m, a travs de la siguiente relacin, m2 (4.4.22) = 2B0 m . Recordando la denicin de U , podemos realizar la expansin del primer trmino,
U U

1 i 2 2 3 2 = tr i 2 3F F F 2 1 2 i 2 3 i 2 2 F F 3F 2

(4.4.23)
.

Los trminos que nos dan la interaccin a cuatro campos son

L = 4 1 tr 3 + 4 tr 2 2 . 4 3F F
2 4F 4 2B 0 M 2 2 4! F 2 4 F B0 4F b c d tr M a b c d . 3! a

(4.4.24)

Tambin consideramos la contribucin del trmino de masas,

LM = =

(4.4.25)

Las reglas de Feynman para el vrtice de interaccin, que se pueden calcular a partir de las reglas de Feynman generalizadas que vimos en el segundo captulo, son las siguientes,
a c I= i 2 2 2 2 (s m )ab cd + (t m )ab bd + (u m )ad bc . F0

(4.4.26)

4. Teoras efectivas

53

Dado que estamos a nivel rbol, hemos tenido suciente con suponer que los cuatro momento externos 2 estn sobre la capa msica, p2 i = m . La demostracin de estas reglas de Feynman se dejan como ejercicio. Comparando la ecuacin (4.4.12) con nuestras reglas de Feynman, ec. (4.4.26), podemos identicar, nalmente, la amplitud A(s, t, u),
A(s, t, u) = s m2 . 2 F

(4.4.27)

Con este resultado tenemos suciente para calcular todos los procesos de interaccin de cuatro piones a nivel rbol.

Ejercicio 4.4.2 Obtener las reglas de Feynman de la ecuacin (4.4.26) a partir de las recetas generales dadas en el segundo captulo. Orientacin Para facilitar la tarea, vamos a dar el resultado explcito del primero de los dos trminos de cuatro campos,
4 i 4 4 2 4 2 tr 3 2 (s m2 )ab cd + (t m )ab bd + (u m )ad bc 4 3F F0 3 3 3 .

(4.4.28)

54

4.4. Colisin elstica de dos piones a primer orden

Captulo 5
Interacciones electromagnticas y desintegraciones leptnicas dbiles

En este ltimo captulo del curso vamos a estudiar como se introduce las interacciones electrodbiles en el tratamiento. Para hacerlo, comenzaremos construyendo una teora efectiva del electromagnetismo, siguiendo procedimientos similares a los empleados en el captulo anterior. Seguidamente, llevaremos a cabo la misma tarea para las interacciones dbiles, si bien en este caso no daremos todos los detalles. Posteriormente, aplicaremos el lagrangiano efectivo que habremos obtenido para efectuar explcitamente el clculo del proceso de desintegracin del pin. El resultado de este clculo nos dar una pequea sorpresa, ya que comprobaremos que el canal preferente es el munico, si bien a priori por consideraciones de espacio fsico parecera que el canal predominante debera ser el electrnico. Por ltimo, estudiaremos la teora de Fermi-Cabbibo para las interacciones dbiles. Empleando esta teora, realizaremos el clculo del proceso de desintegracin del mun. En primer lugar, realizaremos el clculo para un haz no polarizado de muones. El resultado nos proporcionar una expresin a partir de la cual podemos medir experimentalmente la constante de acoplamiento del modelo. Finalmente, veremos que el clculo del mismo proceso, pero con un haz no polarizado, nos lleva a observa la violacin de la simetra bajo transformaciones de paridad.

5.1.
5.1.1.

Construccin del lagrangiano

Lagrangiano y vrtice efectivo a nivel de quarks

En este captulo aadiremos a nuestro lagrangiano la parte de las interacciones electrodbiles, en el sector de los quarks ligeros,
L = LQCD + q v + 5 a q q s i5 q ,

(5.1.1)

donde:
r = v + a = eQA ,

(5.1.2) (5.1.3)

e W T+ + h.c. . = v a = eQA + 2 sin w

Adems, Q = diag(2, 1, 1) es la matriz de carga y

0 Vud 0 T+ = 0 0 0 Vus 0 . 0

(5.1.4)

El lagrangiano (5.1.1) ostenta la simetra SUL (3) UY (1), que es la responsable de generar los fotones y los tres bosones de gauge de la interaccin nuclear dbil, W y Z . La ruptura espontnea de la simetra, sin embargo, es la responsable de que las partculas W y Z adquieran masa1 .
1 No

es as el caso de los fotones, cuya masa nula est protegida de correcciones cunticas por las identidades de Ward [12].

55

56

5.1. Construccin del lagrangiano

Por lo tanto, las interacciones nucleares dbiles se efectan intercambiando partculas W (corrientes cargadas) y Z (corrientes neutras), y el nico vrtice de la teora corresponde a la interaccin de un portador con dos fermiones. Sin embargo, dado que la masa de los portadores es muy elevada, no se podrn propagar a grandes distancias, y podremos aproximar los vrtices por una interaccin puntual a cuatro fermiones. Vamos a ver esto con un ejemplo, que posteriormente veremos con ms detalle, la desintegracin del pin a un mun, , (5.1.5) que se efecta segn el diagrama
p u d W q . k

(5.1.6)

Dado que la partcula W es mucho mas masiva que el pin, el proceso transcurrir en la aproximacin de bajas energas, por lo que la partcula W tendr una virtualidad muy alta. A causa de ello, no podr recorrer una gran distancia. As, pues, en primera aproximacin podemos considerar que la interaccin es puntual,

u d k

p .

(5.1.7)

Otra forma de ver esto es considerar el propagador de la partcula W , que es el correspondiente a una partcula de spin s = 1,
i 2 q 2 Mw g + q q 2 Mw ig +o 2 Mw p2 2 Mw ,

(5.1.8)

con correcciones del orden de q 2 /m2 W.

5.1.2.

Lagrangiano y vrtice efectivo a nivel de piones

Ahora bien, nuestro deseo es encontrar el lagrangiano efectivo a nivel de piones, y no a nivel de quarks. Para ello, impondremos que el lagrangiano sea invariante ante transformaciones SUL (3) SUR (3) locales. Siguiendo con la misma notacin de los captulos anteriores, tendremos L SUL (3) y R SUR (3). En este caso, tanto L como R sern funciones de la posicin. Las transformaciones de los diferentes elementos de la teora son
qL L(x)qL , qR R(x)qr ,

L(x) L (x) + iL(x) L (x) ,

r R(x)r R (x) + iR(x) R (x) .

(5.1.9a) (5.1.9b) (5.1.9c) (5.1.9d)

Si las fuentes y r transformaran de esa forma, L sera invariante. Por lo tanto, debemos imponer que las U del lagrangiano de piones tambin se transformen de forma adecuada,
U R(x)U L (x) , M R(x)M L (x) .

(5.1.10) (5.1.11)

Finalmente, para acabar de escribir correctamente el lagrangiano, debemos promocionar las derivadas ordinarias de U a derivadas covariantes,
U D U = U ir U + i U , U D U = U + ir U i U .

(5.1.12) (5.1.13)

5. Interacciones electromagnticas y desintegraciones leptnicas dbiles

57

Por lo tanto, a orden dominante, el lagrangiano tendr la forma

L=
2 F0 4

tr D U

D U + 2B0 trM U + U

(5.1.14)

Realizando una expansin en el nmero de campos, de la misma rma que hicimos en el captulo anterior, obtendramos el lagrangiano de interaccin de una partcula escalar acoplada al electromagnetismo.

5.2.

Lagrangiano efectivo para las interacciones nucleares dbiles

m2 w , puede aproximarse por el GF LW = J J , 2

El lagrangiano para las interacciones dbiles, en el lmite m2 lagrangiano de Fermi,

(5.2.1)

donde J es el corriente de Noether, J = Jlep. + Jq , que se puede separar en sus componentes leptnicas y quarkinicas, Jlep. = e 1 5 e + 1 5 + 1 5 ,

(5.2.2) (5.2.3)

Jq = u 1 5 d ,

q donde d = Vud d + Vus s = cos c d + sin c s. El trmino Jq J es subdominante respecto al resto, y por lo tanto lo podemos eliminar de nuestra formulacin, si tan slo estamos interesados en el primer orden signicativo. Con lo cual, podemos escribir el lagrangiano de la forma

GF l + 2J J l . LW = Jl J q 2

(5.2.4)

2 Ntese que GF , llamado constante de acoplamiento de Fermi es proporcional a 1/Mw . Concretamente, tenemos

G g2 F = , 2 8Mw 2

donde g

e . sin w

(5.2.5)

Ejercicio 5.2.1 Demostrar la ecuacin (5.2.5). Para hacerlo, ten en cuenta que la amplitud de probabilidad del lagrangiano de Fermi debe aproximarse al valor real, con correcciones de orden E Mw ,
AEW = AF-C +o
E Mw

+o

E Mw

(5.2.6)

5.3.
5.3.1.

Desintegracin del pin

Clculo del elemento de matriz

Como hemos visto anteriormente, la desintegracin del pin a un mun se efecta, a nivel rbol, segn el siguiente diagrama de quarks,
+ p + d v W q k
+

(5.3.1)

58

5.3. Desintegracin del pin

Por lo tanto, del lagrangiano (5.2.4) tan slo nos interesarn los trminos que contienen muones y quarks. As, pues, el corriente efectivo ser de la forma

GF = 1 5 ) + h.c. . 2

(5.3.2)

Con lo cual, el hamiltoniano efectivo para este proceso toma la forma

GF He = cos c d 1 5 u . 2

(5.3.3)

Este hamiltoniano es a nivel de piones, y no de quarks, por lo que el vrtice pasa a ser puntual,

(5.3.4)

El elemento de matriz del hamiltoniano para este proceso, por lo tanto, toma la forma
GF M := + He + = cos c 0 d 1 5 + (q ) u(k ) 1 r v (p) . 2

(5.3.5)

Vamos a calcularlo paso a paso. En todo momento, sobreentenderemos que los campos se encuentran en el origen del espacio de posiciones. En primer lugar, dada la linealidad del producto de Hilbert, tenemos
0 d 1 5 u + = 0 d u + 0 d 5 u + .

(5.3.6)

El primer elemento de matriz del segundo miembro es nulo por paridad, ya que el pin tiene paridad negativa, mientras que la corriente vectorial tiene paridad positiva. Para verlo, utilizamos la propiedad del operador de paridad de ser su propio inverso, PP = 1,
0 d u + = 0 PP d uPP + = 0 P d uP (1) + = 0 d uPP (1) + = 0 d u + .

(5.3.7)

Nos disponemos ya a evaluar el segundo trmino. Usando factores de estructura, y teniendo en cuenta que el pin tiene spin cero, la nica forma que puede tomar es
0 d 5 u + = i 2f q ,

(5.3.8)

donde f es una constante (con dimensiones de energa), que se ha medido experimentalmente. Su valor aceptado es f = 92,4 0,2 MeV. Juntando todos los resultados obtenidos, el elemento de matriz que nos da la teora efectiva es
GF M = cos c i 2f q u(k ) 1 5 v (p) 2 GF = cos c i 2f k + p u(k ) 1 5 v (p) , 2

(5.3.9)

donde hemos tenido en cuenta que q = p + k , tal y como se puede ver en el diagrama (5.3.1). Llegados a este punto, debemos tener en cuenta que los fermiones cumplen la ecuacin de Dirac. Adems, podemos realizar la aproximacin de que los neutrinos no tienen masa2 . Por lo tanto, tenemos,
u(k )k = 0 , p v (p) = m v (p) .

(5.3.10) (5.3.11)

2 Actualmente, existen experimentos que parecen demostrar que la masa de los neutrinos no es nula, aunque muy pequea. Sin embargo, para nuestros propsitos nos es suciente considerar la aproximacin de neutrinos sin masa.

5. Interacciones electromagnticas y desintegraciones leptnicas dbiles

59

Introduciendo estas igualdades en la expresin del elemento de matriz tenemos

GF M = cos c i 2f u(k ) 1 + 5 m v (p) . 2

(5.3.12)

La amplitud de probabilidad de este proceso vendr dada por el cuadrado (del mdulo) del elemento de matriz M. Para calcular el cuadrado, en primer lugar debemos tener una expresin explcita para M , que se puede obtener trivialmente teniendo en cuenta que,

u 1+ v

= u 0 1 + 5 v = v 1 + 5 0 u = v 1 5 u .

(5.3.13)

Por otra parte, para obtener la seccin ecaz tambin ser necesario sumar sobre todos los estados nales de helicidad. Con lo cual, utilizando en truco de Casimir para convertir las sumas en trazas, tenemos
M
2 2 2 = GF cos2 c f m tr (p m )(1 + 5 )k (1 5 ) .

(5.3.14)

El clculo de las trazas es sencillo,

tr (p m )(1 + 5 )k (1 5 ) = 2tr (p m )(1 + 5 )k = 2tr p k = 8p k ,

(5.3.15)

con lo cual, el resultado nal para |M|2 es

M
2 2 2 = 8GF cos2 c f m p k .

(5.3.16)

para continuar con nuestro tratamiento, debemos especicar la cinemtica del choque para evaluar el producto p k. En el sistema centro de masas, el pin inicial est en reposo; y, adems, el mun y el pin salen despedido con igual momento en direcciones contrarias,
+ p + E .

(5.3.17)

Por lo tanto tenemos

p k = E E E p = E E + |p | .

(5.3.18)

Por conservacin del trimomento tendremos que el mdulo del trimomento de mun ser igual al mdulo del trimomento del neutrino y, por lo tanto, igual a su energa, |p | = E .

5.3.2.

Longitud de desintegracin

Para comparar los resultados de la teora con los experimentales, necesitamos calcular la longitud de desintegracin; que en el centro de masas, se escribe (en forma diferencial) tal que as [6]
d = 1 d3 p d3 k 2 M (2 )4 (4) (q p k ) . 2m (2 )3 2E (2 )3 2E d3 pd3 k (m E E ) (3) (p + k)E (E + En u) E E E 2 (m E E ) dE E 1+ 2 m2 + E m2 1 2 m
2

(5.3.19)

Gracias a la delta de Dirac de conservacin, las integrales vectoriales son triviales. Su resultado es
= cos2 c = cos2 c
2 2 2 GF f m (2 )2 m2 2 2 2 GF f m m2

(5.3.20)

GF 2 = cos c f m m2 4
2

El inverso de la longitud de desintegracin es la vida media, = 1 . Experimentalmente, el valor medido es = 2,6 104 s.

60

5.4. Teora de FermiCabbibo

5.3.3.

Comparacin entre canales de desintegracin

Todo el proceso que hemos realizado para el canal de desintegracin del pin en un mun es igualmente vlido para el canal en que el pin se desintegra en un positrn. En este contexto, pues, es interesante comparar las amplitudes de ambos canales,
( + e+ e = ( + + )
2 me m2 me 2 m m m2 2

(5.3.21)

Substituyendo los valores de las masas, obtenemos que el cociente debe valer 1,2 104 . Esta estimacin es muy buena, ya que el valor que se ha logrado medir experimentalmente es 1,230 104 . Sin embargo, dado que el electrn es mucho menos masivo, la integracin respecto Ee se lleva a cabo en un espacio fsico mucho mayor que la correspondiente al mun. As, pues, resulta sorprendente que el canal mayoritario sea el munico; debe haber algn motivo dinmico que lo explique. El motiva radica en la conservacin de la helicidad (ver, por ejemplo [13]). Para razonarlo, nos ser ms cmodo considerar la desintegracin de un . El clculo que hemos hecho es completamente anlogo al caso de un pin negativo, por lo que nos encontramos con el mismo problema en la integracin. En la desintegracin de un pin negativo, por el canal del electrn, se emite un antineutrino electrnico, con momento contrario al del electrn,
e se s e .

(5.3.22)

Los antineutrinos siempre tienen helicidad positiva, por lo que su spin se dirige en la misma direccin del momento. Por conservacin, dado que el pin no tiene spin, el spin del electrn ha de ser el contrario, es decir, tambin con helicidad positiva. Sin embargo, en el lmite en que la masa del electrn es nula, me = 0, el vrtice de interaccin tan slo es consistente con electrones salientes de helicidad negativa (electrones de la mano izquierda). La nica forma en que podemos mezclar electrones de helicidad positiva es mediante el trmino de masas, L me R L + L R , (5.3.23) por lo que esta interaccin vendr suprimida por la masa del electrn, me , que es mucho ms ligero que el mun. Este es el motivo de que, pese a tener menor espacio fsico, el canal munico salga favorecido.

5.4.
5.4.1.

Teora de FermiCabbibo
Lagrangiano de FermiCabbibo

La teora de FermiCabbibo es una buena aproximacin para estudiar las interaccin nuclear dbil entre leptones. Su lagrangiano se escribe de la forma
L= i + GF lep. e lli L Jlep. J , 2

(5.4.1)

donde Jlep. es la parte leptnica del corriente de Noether, que recordemos se expresa tal que Jlep. = e 1 5 e + 1 5 + 1 5 .

(5.4.2)

As, pues, en este caso tendremos un vrtice de interaccin local de cuatro campos.

5.4.2.

Desintegracin del mun

Para concluir este curso, vamos a considerar la desintegracin del mun, empleando la teora efectiva de Fermi-Cabbibo. El canal que vamos a considerar es
e e .

(5.4.3)

5. Interacciones electromagnticas y desintegraciones leptnicas dbiles

61

En general, este proceso se lleva a cabo a travs de la corriente cargada W , que es emitida por el mun en convertirse en un neutrino (munico). La partcula W se desintegra en un electrn y un antineutrino (electrnico). El diagrama de Feynman es el siguiente,
(k ) (p) W (p k ) e (k )

(5.4.4)
e (p )

En esta situacin, el elemento de matriz es de la forma

M= 1 g u 1 5 2 2 1 2 q2 Mw g ue 1 5 v (k ) 2 .

(5.4.5)

Este es el resultado que se obtiene del modelo estndar. No obstante, nosotros nos situamos en el lmite de bajas energas, en que es vlida la aproximacin de interaccin puntual, y por lo tanto no es necesario considerar la aparicin de la partcula W . As, pues, el diagrama que nosotros consideramos es
(k ) (p) e (p ) e (k )

(5.4.6)

El elemento de matriz invariante para este proceso es

GF M = u(k ) 1 5 u(p) u(p ) 1 5 v (k ) . 2

(5.4.7)

Para calcular el cuadrado del mdulo, en este caso es necesario realizar un promedio sobre los valores de los spines. El resultado que se obtiene, tras aplicar el truco de Casimir y realizar el clculo de las trazas, es el siguiente 2 2 M = 64GF kp k p . (5.4.8) Dado que la masa del electrn es muy pequea, podemos tomar el lmite m me 0. Ahora, los productos escalares se pueden evaluar de forma sencilla en el sistema centro de masas,
kp k p = p k
2 2

k p

= m 2mw )mW ,

(5.4.9)

donde hemos tenido en cuenta que el mun est en reposo, p = (m , 0); y hemos denido W = E (k ). En este caso, la dinmica de la interaccin es del tipo 1 3, donde la longitud de desintegracin se obtiene a partir de
d = 1 2 M dQ , 2E

(5.4.10)

donde dQ es el elemento de espacio fsico, y se escribe de la forma

dQ = d2 p d2 k d2 k (2 )4 (4) (p p k k ) (2 )3 2E (2 )3 2W (2 )3 2W 1 d3 p d3 k = (E E W ) (p p k )2 . (2 )5 2E 2W

(5.4.11)

62 As, pues, recogiendo todos los resultados, obtenemos

d = 1 d3 p d3 k mW m2 2mW 2m 5 2E 2W

5.4. Teora de FermiCabbibo

m2 2mE 2mW + 2EW (1 cos ) ,

(5.4.12)

donde es el ngulo que forman las trayectorias salientes del electrn y el antineutrino electrnico. Por n podemos realizar la integracin. Los elementos de interaccin se pueden reescribir de la guisa
d3 p d3 k = 4E dE 2W dW d(cos ) ,
2 2

(5.4.13)
m E 2

con lo cual nos queda

d = 1 dE dW mW m 2W 2 3 m .W 2 W m E 2 (E ) .

(5.4.14)

En esta expresin, las funciones paso de Heaviside nos dan el lmite en que el momento de una de las partculas sera cero, por lo que el proceso se convertira al tipo 1 2, y los momentos salientes estaran jados por la cinemtica. Dado que experimentalmente es muy difcil medir la energa de los neutrinos, nos conviene integrarla,
m d = dE 2 3
m 2

dW W m 2W )
m 2 E

G2 = F 3 m2 E 12

4E 3 m

(5.4.15)
.

Finalmente, si deseamos obtener la vida media del mun, necesitamos integrar sobre la energa del electrn para obtener la longitud de desintegracin total. El resultado se puede obtener trivialmente,
m 2

=
0

dE

G2 m5 d = F 3 . dE 192

(5.4.16)

Experimentalmente, se mide que la vida media del mun es = 2,2 106 s. Podemos usar la ecuacin (5.4.16) para medir la constante de acoplamiento del lagrangiano de Fermi-Cabbibo. El resultado que se obtiene es, nalmente GF = 1,16632 105 GeV1 . (5.4.17)

5.4.3.

Desintegracin de muones polarizados. Violacin de paridad

En el apartado anterior hemos considerado un haz de muones no polarizados. Esto se reeja en que hemos tomado el promedio sobre los spines. No obstante, en el laboratorio podemos obtener un haz polarizado. En este caso, en calcular el elemento de matriz deberamos tomar la suma de las polarizaciones de las partculas nales, tan solo. Este experimento es til para ver como las interacciones dbiles violan paridad. En la gura 5.1(a) podemos ver la disposicin de los haces original. La polarizacin del mun (echa vertical) y la trayectoria del electrn saliente forman un ngulo . Despus de aplicar la transformacin de paridad, gura 5.1(b), la polarizacin del mun no cambia, dado que el spin no es ms que un momento angular y, por tanto, invariante bajo paridad. Sin embargo, ahora los electrones salen en la direccin diametralmente opuesta, formando un ngulo s = . Por lo tanto, experimentalmente realizar una transformacin de paridad es muy sencillo: tan slo tenemos que girar el detector. Es de suponer que el elemento de matriz en este caso depender de alguna funcin trigonomtrica del ngulo . Estas funciones transforman de la siguiente manera bajo paridad,
cos sin s = sin , cos cos s = cos .

(5.4.18a) (5.4.18b)

Por lo tanto, si el elemento de matriz tan slo depende del seno, tendremos invariancia bajo paridad. Sin embargo, una dependencia del elemento de matriz con el coseno de rompera la simetra bajo paridad. Si se realiza el clculo detallado, el resultado que se obtiene es [13]
1 1 2 2 4Ee d = G m Ee 3 + cos (1 + cos ) dEe d(cos ) (8 )3 3 F m .

(5.4.19)

Como vemos, este resultado depende del coseno del ngulo entre la polarizacin del mun y la trayectoria de los electrones. Por lo tanto, se viola la simetra de paridad. La interaccin nuclear dbil es la nica interaccin de la naturaleza capaz de violar la simetra de paridad.

5. Interacciones electromagnticas y desintegraciones leptnicas dbiles

63

(a) Esquema de la interaccin antes de aplicar una transformacin de paridad.

(b) Esquema de la interaccin despus de aplicar una transformacin de paridad.

Figura 5.1: Transformacin de paridad sobre el proceso de desintegracin de un haz de muones polarizados verticalmente.

64

5.4. Teora de FermiCabbibo

Bibliografa

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]

T. P. D. Group

. The review of particle physics. pgina web: http://pdg.lbl.gov. . Group theory in physics. Academic Press (1984-1989). 3 vols. . Relativitat especial i electrodinmica clssica. Edicions UB, segunda edicin

J. F. Cornwell H. Georgi

. Lie algebra in particle physics. Benjamin-Cumming (1982).

J. Llosa y A. Molina

(1999).

J. D. Jackson Sakurai

. Classical electrodynamics. Wiley, tercera edicin (1999).

. Modern quantum mechanics. Addison-Wesley Pub Co (1994). . Quantum Field Theory. Cambridge University press (1996). . QCD: renormalization for the practitioner. Springer (1984). . Tables of clebsch-gordan coecients of su(3). Rev. Mod. Phys, . Structure of phenomenological lagrangians.i. Phys. Rev., . Structure of phenomenological lagrangians.ii.

L. H. Ryder

P. Pascual y R. Tarrach

36(1964):1005. (1969):2239.

S. J. P. McNamee y F. Chilton

C. Callan, J. Wess, y B. Zumino

C. Callan, S. Coleman, J. Wess, y B. Zumino

Phys. Rev., (1969):2247.

(1995).

M. E. Peskin y D. V. Schroeder

. An Introduction To Quantum Field Theory. Westview Press

W. Greiner y B. Muller

(1996).

. Gauge theory of weak interactions. Springer, cop., segunda edicin

F. J. Yndurin. Quantum chromodynamics : an introduction to the theory of quarks and gluons. Springer, cop. (1983). W. Greiner, S. Schramm, y S. Eckart

(2002).

. Quantum chromodynamics. Springer, segunda edicin

H. Georgi

. Weak Interactions and Modern Particle Theory. The Benjamin/Cummings Publishing Company, inc. (1984).

. Rigorous qcd evaluation of spectrum and ground state properties of heavy qq-bar systems, with a precision determination of mb , m(b ). Phys. Rev. D, 49(1994):6007.
S. Titard y F. J. Yndurin

[18] Lectures in particle phenomenology given at carnegie mellon university. pgina web: http://www. phys.washington.edu/~savage/class_cmu/part_cmu/phen_cmu.html (1993-1995). [19] [20] [21]
F. Halzen y A. D. Martin

physics. Wiley, cop. (1984).

. Quarks and leptons : an introductory course in modern particle

D. Perkins T. Ferbel

. Introduction to high-eneregy physics. Addison Wesley (1987).

(1991).

. Experimental techniques in high-energy, nuclear and particle physics. Word Scientic 65

66 [22] [23] [24] [25] [26] [27]

J. Donoghue, A. Martin, y B. Holdstein

Bibliografa

(1992).

. Dynamics of the Standard Model. Cambridge U.P.

L. B. Okun C. Quigg

. Leptons and quarks. North-Holland (1982).

(1983).

. Gauge theories of the strong, weak and electromagnetic interactions. Benjamin-Cumming . Gauge theories of elementary particle physics. Oxford U. P. (1988). . Weak interactions of leptons and quarks. Cambridge U. P. (1983).

T. Cheng y L. Li G. Sterman

. Quantum Field Theory. Cambridge U. P (1993).

E. Commins y P. Bucksbaum