Circulos de los sembrados

Dos de las diez analogas realizadas por Kar El

Representacin del lmite continuo

En la aproximacin de lmite continuo, una cadena de

tomos en vibracin se modeliza mediante un campo
continuo (x).

Para comprenderlo debemos revisar la definicin de

campo cuntico

Una teora cuntica de campos es el resultado de aplicar las

reglas de cuantizacin al sistema de una teora clsica de
campos.17 Esto permite estudiar los aspectos cunticos de
los campos continuos, como el campo electromagntico. Las
reglas de cuantizacin dictan que un sistema clsico descrito
por coordenadas qi pasa a estar descrito por una funcin de
onda (qi). A cada cantidad observable como las propias
coordenadas qi, los momentos pi, etc. le corresponde
un operador actuando sobre esta funcin de onda.
Esquemticamente:
Cuantizacin de partculas
Teora clsica

Teora cuntica

Estado del
sistema

Coordenadas qi

Funcin de onda (qi)

Cantidades
medibles

qi, pi,
funciones O(qi,pi)

Operadores

Una teora clsica de campos describe un tipo particular de

sistema clsico, cuyas coordenadas son campos: funciones
definidas en cada punto r del espacio y que evolucionan en
el tiempo, (r). Las reglas de cuantizacin dictan que a
cada una de estas coordenadas le corresponde a su vez un
operador.n 5 Sin embargo, la cuantizacin de un campo
presenta aspectos singulares. Las reglas de cuantizacin
aplicadas a un campo continuo revelan que sus posibles
estados se corresponden, no con una funcin de onda (qi),
sino con los de un colectivo de partculas cunticas idnticas
cuyo nmero no es necesariamente constante.
Esquemticamente:
Cuantizacin de campos

Teora clsica
Estado
del
Funciones (r)
sistema

Teora cuntica
Estados con 0 partculas,
1 partcula (q), 2
partculas (q1,q2), etc.

Cantida
(r), derivadas
des
Operadores
(r), funcionales O((r
medible
),(r))
s
Debido a esta propiedad, la teora cuntica de campos es la
herramienta bsica para estudiar sistemas de partculas
cuyo nmero vara que pueden crearse y destruirse,
como las colisiones relativistas o las cuasipartculas en fsica
del estado slido.1

17

Lmite continuo. En la aproximacin de lmite continuo,

una cadena de tomos en vibracin se modeliza mediante
un campo continuo (x).

Modos normales. Los modos normales de un sistema fsico

son sus vibraciones colectivas ms simples, como las de
esta membrana elstica.

Segunda cuantizacin. Un sistema de dos osciladores

cunticos es equivalente a un sistema con un nmero
variable de partculas de dos clases. (Ms informacin)

Representacin de la Teora Gauge

Las teoras gauge son una parte esencial de la

formulacin del modelo estndar de las partculas
fundamentales, que es precisamente una teora
gauge basada en tres grupos de simetra. A nivel
cuntico poseen rasgos nicos que las hacen
interesantes, como el confinamiento y la libertad
asinttica en algunos casos, o la ausencia
de bosones de Goldstone en una ruptura

espontnea de simetra. La relatividad

general puede ser entendida tambin como una
teora gauge, asociada a la conservacin de la
energa y el momento.

Simetras. Ruptura espontnea y anomalas.

Simetras aproximadas: Suponiendo que las masas
de los tres quarks u, d y s son iguales, existe una
simetra de sabor que clasifica (entre otros)
los bariones ligeros el protn, el neutrn y otros,
como el de acuerdo al diagrama superior.
Dichos quarks tienen masas diferentes, luego la
simetra no es perfecta: estos bariones respetan
dicha clasificacin pero presentan tambin
diferencias de masa.

Ampliando:
Teora de campo de gauge

Cromodinmica cuntica como teora gauge, basada en el

grupo SU(3). Cada tipo de quark (u o d en la imagen) posee tres
copias de distinto color. Losgluones actan como bosn
intermediario entre partculas con color (como un fotnentre
partculas con carga elctrica).
En fsica, una teora de campo gauge (o teora de gauge o teora
de "recalibracin") es un tipo de teora cuntica de campos que se
basa en el hecho de que la interaccin entrefermiones puede ser vista

como el resultado de introducir transformaciones "locales"

pertenecientes al grupo de simetra interna en el que se base la teora
gauge. Las teoras de gauge se discuten generalmente en el lenguaje
matemtico de la geometra diferencial e involucran el uso de
transformaciones de gauge. Una transformacin de gauge es una
transformacin de algn grado de libertad interno, que no modifica
ninguna propiedad observable fsica.
Un campo gauge es un campo de Yang-Mills asociado a las
transformaciones de gauge asociadas a la teora y que describe la
interaccin fsica entre diferentes campos ferminicos. Por ejemplo
el campo electromagntico es un campo de gauge que describe el
modo de interactuar de fermiones dotados con carga elctrica.

En fsica, las teoras extensamente aceptadas del modelo

estndar son teoras de campo de gauge. Esto significa que los
campos en el modelo estndar exhiben alguna simetra interna
abstracta conocida como invariancia de gauge. La invariancia gauge
significa que el lagrangiano que describe el campo es invariante bajo
la accin de un grupo de Lie que se aplica sobre las componentes de
los campos. Cuando se aplica la misma transformacin a todos los
puntos del espacio, se dice que la teora tiene invariancia gauge
global. Las teoras de gauge usan lagrangianos, tales que en cada
punto del espacio es posible aplicar transformaciones o "rotaciones"
ligeramente diferentes en cada punto del espacio y aun as el
lagrangiano es invariante, en ese caso se dice que el lagrangiano
presenta tambin invariancia de gauge local. Es decir, un lagrangiano
con simetra gauge local permite escoger ciertos grados de libertad
internos de una manera en una regin del espacio y de otra en otra
regin del espacio suficientemente alejada sin afectar a la primera
regin. La posibilidad de que un lagrangiano admita esta
transformacin ms general puede ser visto como una versin
generalizada del principio de equivalencia de la teora de
la relatividad general.
Desde el punto de vista fsico, los campos de gauge se manifiestan
fsicamente en forma de partculas bosnicas sin masa (bosones
gauge), por lo que se dice que todos los campos de gauge son
mediados por el grupo de bosones de gauge sin masa de la teora.

Formulacin matemtica
Para formular una teora de campo gauge es necesario que la
dinmica de los campos ferminicos de la teora venga descrita por
un lagrangiano que tenga alguna simetra interna "local" dada por
un grupo de Lie, llamado grupo de transformaciones de gauge.
As pues, al "rotar" algo en cierta regin, no se determina cmo los
objetos rotan en otras regiones (se usa el trmino "rotar" porque los
grupos de gauge ms frecuentes son SU(2) y SU(3) que son
generalizaciones del grupo de rotaciones ordinarias). Fsicamente una
transformacin de gauge es una transformacin de algn grado de
libertad que no modifica ninguna propiedad fsica observable. Las dos
caractersticas formales que hacen de un campo un campo gauge
son:
1. Los campos gauge aparecen en el lagrangiano que rige la
dinmica del campo en forma de conexin, por tanto,
matemticamente estn asociadas a 1-formas que toman
valores sobre una cierta lgebra de Lie.
2. El campo de gauge puede ser visto como el resultado de aplicar
a diferentes puntos del espacio diferentes transformaciones
dentro del grupo de simetra asociado a los campos ferminicos
de la teora.
Mecanismo de Higgs
Aunque en el modelo estndar todas las interacciones o fuerzas
bsicas exhiben algn tipo de simetra de gauge, esta simetra no es
siempre obvia en los estados observados. A veces, especialmente
cuando la temperatura disminuye, la simetra se rompe
espontneamente, es decir, ocurre el fenmeno conocido
como ruptura espontnea de la simetra. Un ejemplo bsico de la
simetra rota que se da a menudo es una de estado slido imn. Se
compone de muchos tomos, cada uno de las cuales tiene
un momento magntico dipolar. Sin embargo, las leyes del
magnetismo son rotacionalmente simtricas, y es as que en las altas
temperaturas, los tomos estarn alineados aleatoriamente, y la
simetra rotatoria ser restaurada. Semejantemente, se puede, con
las condiciones apropiadas, enfriar agua bajo la temperatura de
solidificacin. Cuando un cristal de hielo se tira en el lquido, la
simetra es rota y el agua solidifica inmediatamente.

Para dar cuenta de estos hechos de ruptura de la simetra, se ha

propuesto el mecanismo de Higgs. Si en el lagrangiano de la
interaccin o "campo de fuerzas" concreto que est siendo estudiado
se introducen cierto tipo de campos escalares que interactan consigo
mismo, en el lmite de bajas energas los bosones gauge se
comportan como si estuvieran dotados de masa; este efecto es
precisamente el mecanismo de Higgs. En otras palabras el
mecanismo de Higgs puede ser interpretado pensando que la
interaccin entre el campo escalar introducido o campo de Higgs y los
bosones gauge, hace que estos "adquieran" masa, es decir,
presenten interacciones como las que presentaran genuinas
partculas con masa.
Formulacin matemtica
Artculo principal: Campo de Yang-Mills.
En una teora de campo de gauge, una transformacin de
gauge es una aplicacin diferenciable:
(*)
Donde:
, es espacio-tiempo, o variedad diferenciable, donde aparece
el campo.
, es un grupo de Lie o grupo de simetra del campo, es
decir, es un grupo de transformaciones que dejan invariable
el lagrangiano que define la dinmica del campo. Este grupo se
suele llamar grupo de transformaciones de gauge del
campo.
Matemticamente podemos tratar convenientemente una teora
de gauge como una conexin definida sobre un fibrado
principal definido sobre el espacio-tiempo , ms
precisamente el fibrado puede definirse como el espacio
topolgico cociente de cartas locales:

Donde:
es una carta local
es otra carta local

es el espacio vectorial que hace de fibra, para las teoras

gauge ms comunes k = 2 3 (y en algunas teoras de gran
unificacin k puede llegar a ser 9 o 10).
son aplicaciones que para cada solape
entre cartas locales dan el cambio de coordenadas sobre las
fibras.
En la construccin anterior de fibrado principal el
espacio base ser el espacio-tiempo ser
y la
"fibra" ser el espacio vectorial . El grupo de
gauge de la teora es un grupo de
Lie

. Hecha esta construccin una

transformacin de gauge es precisamente una

seccin diferenciable del anterior fibrado principal.
Es decir una aplicacin como (*) que a cada punto
del espacio le asigna un elemento del grupo de Lie
que representa la simetra gauge. Una
transformacin de gauge global sera una
aplicacin como esa que a todos los puntos del
espacio-tiempo les asignara la misma
transformacin, mientras que un lagrangiano con
invariancia gauge local es uno tal que si en cada
punto del espacio se elige una transformacin
diferente, y por tanto (*) es lo ms general
posible, entonces el lagrangiano no cambia.
Fsicamente una transformacin de gauge es
una transformacin de algn grado de libertad
interno que no modifica ninguna propiedad
observable fsica. El nmero de grados de libertad
internos es el mismo k que aparece en la
definicin anterior.
Conexiones
Tcnicamente el campo de gauge asociado a una
teora gauge, aparece en el modelo matemtico
como una conexin sobre el fibrado principal
anteriormente definido. Concretamente a partir las
componentes de la 1-forma
que toma valores
en el lgebra de Lie asociada al grupo de gauge,

pueden calcularse el conjunto de componentes

fsicas que caracterizan el campo de gauge.
Propiamente el campo de gauge es un campo de
Yang-Mills obtenido a partir de la 2-forma
dada
por:

Donde d es la derivada exterior y

es producto

exterior (o producto cua).

Transformaciones infinitesimales
Una transformacin de gauge infinitesimal es
similar a una transformacin de gauge ordinaria,
pero en la definicin se substituye el grupo de
gauge por su lgebra de Lie asociada:

Donde:
, es espacio-tiempo, o variedad diferenciable, donde aparece
el campo.
, es el lgebra de Lie correspondiente al grupo de
gauge
. Esta definicin puede extenderse a cualquier
elemento sobre un fibrado tangente al espacio-tiempo, de tal
modo que estn definidas las transformaciones de gauge
infinitesiamales de cualquier tipo de campo
espinorial o tensorial.
Las transformaciones de gauge
inifinitesimales definen el nmero de
campos bosnicos de la teora y la forma en
que estos intereactan. El conjunto de todas
las transformaciones de gauge
infinitesimales forman un lgebra de Lie,
que se caracterizada por
un escalar diferenciable a valores en
un lgebra de Lie, . Bajo tal transformacin
de gauge infinitesimal:

Donde [,] es el corchete de Lie. Estas

tansformaciones infinitesimales tienen
varias propiedades interesantes:

Las transformaciones de gauge

infinitesimales conmutan con la derivada
covariante definida por la
conexin:
,
donde
es la derivada
covariante.

Tambin,
, que significa que
transforma covariantemente.

se

No todas las transformaciones de gauge

pueden ser generadas por
transformaciones infinitesimales de
gauge en general; por ejemplo, cuando
la variedad de base es
una variedad compacta sin borde tal que
la clase de homotopa de funciones de
esa variedad al grupo de Lie es no trivial,
un ejemplo de ello son los instatones.

Lagrangiano de una teora gauge

La integral de accin calculada a partir del
lagrangiano del campo de Yang-Mills est
dada por:

Donde designa el operador dual de

Hodge y la integral se define como la
integral de un n-forma proporcional al
elemento de volumen de la variedad de
Riemann que define el espacio-tiempo.
Bucle de Wilson
Una cantidad que es invariante bajo
transformaciones de gauge es el bucle
de Wilson, que se define sobre cualquier
trayectoria cerrada, , como sigue:

donde es un carcter de
una representacin compleja; y
representa al operador de trayectoria
ordenada. En las teoras de las
interacciones electrodbil y fuerte del mo
delo estndar de la fsica de
partculas, Lagrangianos debosones, que
medan interacciones entre
los fermiones, son invariantes bajo
transformaciones de gauge. Esta es la
razn por la cual estos bosones se
llaman bosones de gauge.