Las matemticas del bosn de Higgs, para las abuelas cansadas de chchara (Parte I)

Igor Campillo, fsico y Director de Euskampus en la Universidad del Pas Vasco, Campus de Excelencia Internacional, lo ha dejado ms claro que el agua en La partcula que tu abuela nunca entender por mucho que se lo expliques, Amazings.es, 17 julio 2012. Me temo que todo este esfuerzo resulta vano desde el punto de vista conceptual, al menos si se aspira a explicar el bosn de Higgs hasta a mi abuela Comprender es acostumbrarse. Segn aprendemos, lo que nos haba parecido inescrutable al principio resulta ser trivial, simplemente por el hecho de trabajar en ello. Por eso resulta tan difcil captar lo que es la mecnica cuntica, porque est fuera de nuestra experiencia cotidiana y uno no se puede acostumbrar a ella utilizando ejemplos de nuestro da a da. Slo tras mucho operar y calcular, se empiezan a captar sutilezas, conceptos e implicaciones que de otra forma son inimaginables. Entender y explicar el bosn de Higgs slo puede hacerse dentro del formalismo donde aparece. No podemos hacer un como si. No admite traduccin e interpretacin simultnea. Qu es el bosn de Higgs? La partcula con la que se puede observar el campo de Higgs. Qu es el campo de Higgs? Un campo con el que interaccionan las partculas que tienen masa. Esta interaccin es cuntica, pero podemos hacernos una idea de cmo funciona utilizando la teora clsica de campos. Nos lo cuenta The Unapologetic Mathematician en The Higgs Mechanism part 1: Lagrangians, July 16, The Higgs Mechanism part 2: Examples of Lagrangian Field Equations, July 17, The Higgs Mechanism part 3: Gauge Symmetries, July 18, y The Higgs Mechanism part 4: Symmetry Breaking, July 19. Recomiendo una lectura a estas entradas. He pensado en traducir dichas entradas, pero no tengo tiempo y ya hice algo parecido hace algn tiempo (abril de 1999). Quizs conviene recordarlo.

Figura 1: Potencial V(||) para m>0 (grfica izquierda) y m<0 (grfica derecha).

Generacin de la Masa de las Partculas. I: Bosones Escalares de Goldstone y Higgs

El premio Nobel de Fsica de 1999 fue concedido a los fsicos holandeses Gerard t Hooft y Martinus Veltman por sus contribuciones a la renormalizacin de la teora electrodbil y, con ella, de todo el Modelo Estndar de las partculas elementales. En el Modelo Estndar las masas de las partculas elementales se generan mediante una rotura espontnea de la simetra. La rotura espontnea de la simetra fue descubierta por Heisenberg en 1932 en su estudio de los materiales ferromagnticos, y aplicada por Nambu y Goldstone, a principios de los 1960, a teoras de campos en fsica de la materia condensada (teoras de aforo (gauge) global). En 1964, Higgs (y otros autores) la aplic a teoras de aforo local descubriendo un mecanismo para la generacin de la masa de las partculas elementales. Dicho mecanismo est en la base de la teora electrodbil, desarrollada por Glashow, Weinberg y Salam, premios Nobel de Fsica en 1979. La teora electrodbil es una teora de aforo local que unifica la fuerza electromagntica mediada por el fotn, que no tiene masa, y la fuerza dbil mediada por los bosones vectoriales intermedios y , que tienen masa no nula. En esta teora, se produce una rotura espontnea de la simetra mediante el mecanismo de Higgs, por el cual los bosones vectoriales adquieren masa y queda como remanente una partcula masiva, el bosn escalar de Higgs, que ha sido encontrado experimentalmente el pasado 4 de julio de 2012. t Hooft prob en su tesis doctoral, dirigida por Veltman, que una teora de aforo local con rotura espontnea de la simetra, como la teora electrodbil, es renormalizable. De esta forma se defini un procedimiento consistente para realizar clculos de gran precisin en esta teora y, entre ellos, la prediccin de las masas de las partculas y , descubiertas en el CERN en 1983, y del quark t (top), descubierto en el Fermilab en 1995. En este artculo se estudiar la generacin de masa mediante rotura espontnea de la simetra utilizando una teora clsica de campos. Primero, repasaremos brevemente la notacin tensorial (de ndices) para vectores y covectores, la relatividad especial, la diferencia entre vectores axiales y polares, y la formulacin covariante o relativista de las ecuaciones de Maxwell. Seguidamente, repasaremos la formulacin lagrangiana de campos clsicos y su aplicacin a un campo escalar cargado (complejo) que tiene simetra de aforo global de tipo . Imponiendo la invarianza de las ecuaciones de este campo ante transformaciones de aforo locales se obtiene un campo electromagntico. Finalmente, estudiaremos la aplicacin de la rotura de simetra al campo escalar cargado con simetra de aforo global, el mecanismo de Goldstone, y con simetra de aforo local, el mecanismo de Higgs, que permite al campo electromagntico adquirir masa tragndose una de las componentes del campo escalar y dejando como remanente a la otra, el bosn de Higgs.

Vectores y covectores
Sea un vector en el espacio vectorial , con componentes y una base de dicho espacio vectorial. Entonces, se puede expresar en coordenadas como

donde en la ltima expresin hemos usado el convenio de suma de ndices repetidos de Einstein, segn el cual los trminos (productos) con ndices repetidos representan la suma de dichos trminos respecto a dichos ndices. Se denomina espacio vectorial dual al espacio de formas lineales (covectores) en . Un covector es una funcin lineal que transforma un vector en un nmero , es decir, tal que

donde y son nmeros (escalares). En funcin de las coordenadas de podemos escribir como (recuerda que esto significa ); gracias a la linealidad . Asociada a la base de vectores , podemos elegir covectores que cumplan

donde es la delta de Krocneker. Estos covectores cumplen que comprueba que forman una base de , lo que permite escribir

, y se , ya que

donde hemos usado que los ndices son mudos. La dimensin de es igual a la dimensin de y, por tanto, son espacios vectoriales isomorfos, luego podemos considerar un vector tanto como vector o como covector . A los vectores y covectores tambin se les denomina vectores contravariantes y covariantes , respectivamente. Para subir y bajar ndices se usa el tensor fundamental , actuando de la forma

El espacio-tiempo eucldeo es el espacio invariante ante transformaciones de Galileo, que son las que dejan invariante el tiempo y la distancia eucldea en el espacio, definida mediante el producto escalar eucldeo

Como y interior

son isomorfos, se puede definir el producto escalar como un producto

Para distancias infinitesimales obtenemos la condicin

Relatividad especial
La relatividad especial se basa en el principio de constancia de la velocidad de la luz ( ) y usa el espacio-tiempo de Minkowski que es invariante ante trasformaciones de Lorentz, que son las que preservan la mtrica pseudo-eucldea

Al contrario que en el espacio-tiempo eucldeo, los vectores contravariantes y los covariantes en el espacio de Minkowski tienen componentes que difieren (aunque solo en su signo), en concreto,

respectivamente. Introduciendo el tensor mtrico fundamental

podemos escribir la mtrica como

Se definen los operadores diferenciales

que conducen al operador de segundo orden

de dAlembert, que es invariante Lorentz.

Vectores polares y axiales

Un vector (o un campo vectorial) se denomina axial (pseudovector) o polar (vector) en funcin de si cambia o no, respectivamente, de signo cuando se realiza una reflexin espacial, . La importancia de esta diferencia se debe a que el producto vectorial de dos vectores polares es un vector axial. Introduciendo el tensor completamente antisimtrico de rango 3 de Levi-Civita definido como

se escribe el producto vectorial en componentes como que hay que sumar respecto a los ndices repetidos, en este caso,

(recuerda ).

Asociado al producto vectorial podemos escribir un tensor anti-simtrico de rango 2 de la forma que permite escribir (suma ndices repetidos)

As, para el rotacional

tenemos

En general, todos los vectores axiales se pueden representar como tensores antisimtricos de rango 2 de la forma , con lo que podemos escribir

Formulacin covariante de las ecuaciones de Maxwell

Las ecuaciones de Maxwell para el campo electromagntico (con unidades en el sistema gaussiano) toman la forma

donde , , , y son el campo elctrico, la intensidad de campo magntico, la densidad de carga, la corriente de carga y la velocidad de la luz, respectivamente. Las ecuaciones corresponden a la Ley de Faraday, un campo magntico variable genera un campo elctrico, y a la ausencia de cargas magnticas (monopolos). Las ecuaciones corresponden a la Ley de Ampre con el trmino aadido por Maxwell que permite la generacin de ondas electromagnticas, y a la ley de Gauss, la carga total en un volumen determina el campo en su superficie. Finalmente, la ecuacin es la ley de conservacin de la carga. Las ecuaciones quedan automticamente satisfechas si se introducen dos potenciales, uno escalar o elctrico, , y otro vectorial o magntico, , de forma que

(ya que

,y

).

En relatividad especial podemos definir un cuadrivector potencial y los campos elctrico y magntico se escriben

Definiendo el tensor covariante antisimtrico

obtenemos que, de lo dicho anteriormente,

Definiendo un cuadritensor completamente antisimtrico de cuarto rango (igual a para permutaciones pares de , a para permutaciones impares y a en otro caso), las ecuaciones se pueden escribir como

donde

es el tensor dual de

. , podemos escribir las

Introduciendo un cuadrivector corriente ecuaciones como

Adems, se cumple automticamente la ecuacin de continuidad

, ya que

A partir del tensor del campo

podemos definir dos invariantes

que indican que la energa se conserva y el campo electromagntico es transversal, respectivamente. El campo electromagntico es invariante ante transformaciones de aforo (gauge) de tipo , donde es una funcin escalar arbitraria, ya que (los campos y ) no cambian ante dicha transformacin.

Teora clsica de campos

En teora de campos relativistas se especifican las ecuaciones para los campos mediante un principio de mnima accin: la accin ,

donde es la densidad lagrangiana, debe ser estacionaria obtendremos las ecuaciones de Euler-Lagrange

. Operando

e integrando por partes usando obtenemos

y que

en el contorno,

que conduce a las ecuaciones de Euler-Lagrange

para cada campo

Campo escalar complejo con potencial no lineal curtico

Consideremos un campo escalar complejo con una auto-interaccin no lineal curtica,

donde

,y se pueden considerar como dos campos independientes. El parmetro , en la versin cuntica de este campo se convertir en la masa de las partculas. El parmetro representa la constante de auto-interaccin de las partculas del campo consigo mismas. Las ecuaciones de Euler-Lagrange dan

y como

, obtenemos

para las ecuaciones de este campo relativista. En la versin cuntica de esta teora estas ecuaciones representan una partcula ( ) y su antipartcula ( ) de espn 0 (bosn escalar) de masa . Tanto la lagrangiana como las ecuaciones de campo son invariantes ante transformaciones de aforo globales,

es decir, transformaciones de fase o de tipo . La invarianza conduce a la conservacin de la carga elctrica. Calculando la 4-divergencia de la densidad de corriente

obtenemos aplicando las ecuaciones del campo

con lo que la carga elctrica

se conserva . Es necesario recurrir a la versin cuntica de la teora para que en la definicin de aparezcan , la carga del electrn, y , la constante de Planck, as como para obtener que la carga elctrica est cuantizada . Ntese que un campo escalar real ( ) representa partculas neutras .

Teora de aforo local para el campo escalar complejo

La invarianza global del campo escalar complejo indica que podemos seleccionar la fase del campo arbitrariamente, pero si cambiamos la fase en un punto del espacio debemos hacerlo simultneamente en todos los puntos. Sin embargo, esto es incompatible con la relatividad especial, ya que implica que una seal (el cambio de fase en un punto) ha de propagarse a una velocidad infinita. Para restaurar la causalidad fsica debemos considerar cambios de fase locales, es decir, la teora con invarianza de aforo local,

Considerando un cambio infinitesimal

, se obtiene

con lo que y no se transforma covariantemente, es decir, como lo hace . Por ello, la lagrangiana tampoco es invariante

ya que

. (con las

Para restaurar la invarianza de aforo hay que introducir un campo vectorial mismas unidades que ) acoplado a la corriente , y que se transforme adecuadamente. Debemos aadir

con lo que obtenemos el trmino requerido

pero a costa de introducir un nuevo trmino a cancelar

lo que nos obliga a introducir otro trmino

De esta forma El campo vectorial Definiendo

es invariante ante transformaciones

locales.

tambin puede interactuar consigo mismo de forma invariante.

podemos aadir a la lagrangiana

y obtener como lagrangiana total

donde hemos introducido la derivada covariante

que se transforma como ,

En la lagrangiana total , ha sido necesario introducir de forma natural un campo electromagntico con objeto de garantizar la invarianza local de la lagrangiana original. Las ecuaciones de Maxwell se satisfacen automticamente para de Euler-Lagrange para el campo . Las ecuaciones

conducen a las ecuaciones

utilizando como corriente la versin covariante

que tambin se conserva

. ), ya que el

Es importante notar que el campo electromagntico no tiene masa ( trmino de masa

no es invariante ante transformaciones . Por ello, las partculas del campo electromagntico, los fotones, han de viajar a la velocidad de la luz. Finalmente, debemos notar que , la constante de acoplamiento entre el campo electromagntico y el campo escalar , juega un papel doble. Por un lado, es la carga elctrica, una cantidad que se conserva , y por otro lado, mide la fuerza con la que la partcula interacta con el campo electromagntico .

Rotura espontnea de la simetra

La rotura espontnea de la simetra la descubri Heisenberg trabajando con materiales ferromagnticos, imanes naturales. A baja temperatura, todos los espines, pequeos dipolos magnticos asociados a los tomos del material, estn alineados en una determinada direccin, la de norte-sur del imn, y el material no es simtrico cuando lo rotamos (de ah que las brjulas siempre apunten al norte aunque las giremos). A alta temperatura, la magnetizacin desaparece, los espines se alinean en direcciones aleatorias y el material se vuelve simtrico, no cambia cuando lo rotamos. Existe una temperatura crtica a la que se produce la rotura espontnea de la simetra. El estado fsico, o de mnima energa, para es simtrico, pero para es asimtrico y est infinitamente degenerado ya que la direccin en la que se alinean los espines se elige prcticamente al azar, si se repite el experimento de calentar y enfriar muchas veces en todas las ocasiones se obtienen direcciones norte-sur completamente distintas.

Bosn de Goldstone
Estudiaremos ahora, la aplicacin de la ruptura espontnea de la simetra al campo escalar complejo presentado ms arriba. El estado de mnima energa para este campo se determina minimizando el potencial , en concreto,

Cuando , mximo local en

tiene un mnimo para e infinitos mnimos para

. Pero para

tiene un

Todos los mnimos se encuentra en , un crculo en el plano como se muestra en la figura que aparece ms arriba.

, donde

En una teora cuntica, es un operador y la condicin de mnima energa determina el valor esperado del campo en el vaco, es decir, cuando no hay ninguna partcula

Los estados con una, dos o partculas se obtienen aadiendo estas partculas una a una al vaco, que puede no coincidir con . Tomando coordenadas polares,

obtenemos para el estado del vaco

Este campo tiene las mismas caractersticas que el ejemplo del ferromagnetismo: tenemos infinitos estados de vaco degenerados que estn conectados por la simetra de la teora, cambiar la fase, de tal forma que la eleccin de un vaco concreto (como la direccin de magnetizacin) rompe la simetra, fija una fase dada. Podemos considerar a y como los campos fsicos, con los que expresaremos el lagrangiano . Operando

donde se ha usado la ec.

, y para el otro trmino

El lagrangiano tiene un trmino en

, por lo que el campo $\rho$ tiene una masa dada

por , mientras que la ausencia de trmino en indica que es un campo sin masa. Como resultado de una ruptura espontnea de la simetra dos campos escalares con masa ( y ) se han convertido en un campo con masa y otro sin ella. La Figura de ms arriba muestra que, para pequeo, mover el vaco desde el origen hasta el punto cuesta energa, que se convierte en la masa del campo para . Mover alrededor del crculo de degeneracin del vaci no cuesta energa, por lo que este campo permanece sin masa. La partcula se denomina bosn de Goldstone. El teorema de Goldstone dice que toda ruptura de simetra de un teora cuntica de campos global genera una partcula de espn cero sin masa.

Bosn de Higgs
El mecanismo de Higgs consiste en aplicar una rotura de simetra a un campo con simetra de aforo local. Consideremos el campo escalar complejo acoplado a un campo electromagntico, presentado ms arriba. Tomando, con , el campo en forma exponencial alrededor del estado de mnima energa , obtenemos fcilmente como nueva lagrangiana

donde hemos eliminado trminos de orden superior; la nueva densidad lagrangiana muestra que el campo vectorial , que representaba al fotn, ha adquirido masa ( ) comindose al bosn escalar , el bosn de Goldstone, que no tiene existencia fsica gracias a la simetra local, mientras que el bosn escalar , bosn de Higgs, sigue siendo masivo. A partir de dos bosones escalares con masa y un bosn vectorial sin masa hemos obtenido, gracias a la rotura espontnea de la simetra, un bosn vectorial y un bosn escalar ambos con masa. En la parte II de este artculo abordaremos el mecanismo de Higgs en teoras de aforo no abelianas con grupos de simetra y , lo que nos anticipar su aplicaciin a la teora electrodbil.

Bibliografa
L.H. Ryder, Quantum Field Theory, (2nd. ed.), Cambridge University Press (1996). A.A. Sokolov et al., Electrodinmica Cuntica, Editorial Mir, Mosc (1989). N. Nlipa, Physique des Particules lmentaires, Editorial Mir, Mosc (1981).