¿En la ruptura espontánea de la simetría, la simetría global rota por un subgrupo calibrado?

Mi pregunta es sencilla. dado un grupo GRAMO dividido en un subgrupo H , medir un subgrupo Hg posiblemente diferente rompe explícitamente la simetría global GRAMO , generando lo que se conoce como bosones pseudo-Goldstone. ¿Por qué es esto?

La respuesta habitual que recibo es que la medición determina una dirección específica en el espacio de campo, pero realmente no entiendo esta afirmación, cómo tener un subgrupo H gramo calibrado puede romper el global GRAMO ¿explícitamente?. Lo que tengo en mente es que dentro de las transformaciones de calibre H gramo también se incluyen los globales, así que esto es lo que me confunde.

Respuestas (2)

¿Cómo es posible que medir solo un subgrupo no rompa la simetría? ¿No va a cambiar la acción ningún elemento de grupo que no conserve mi subgrupo de indicador?

vamos a tener un S tu ( 2 ) simetría y algún campo escalar ρ en lo fundamental. Si mido el tu ( 1 ) subgrupo correspondiente a las rotaciones por σ z . tengo un lagrangiano

L = | ( + A σ z ) ψ | 2 + V ( | ψ | 2 )

¿No rompe esto manifiestamente el S tu ( 2 ) ¿simetría? Según su punto sobre las simetrías globales, se deduce que todas las interacciones puntuales deben permanecer invariantes, pero el Lagrangiano en su conjunto no es invariante.

Este ejemplo podría corresponder físicamente a dos campos que tienen cargas opuestas pero por lo demás son simétricos. Las olas en el z corresponden entonces a ondas cargadas como un plasmón, mientras que las rotaciones en el X y plano son transformadas de calibre local. Entonces son claramente diferentes.

Agregado

Todo el mundo parece tener problemas para ver que esto rompe la simetría y quiere decir que la operación ψ tu ψ , A σ z tu A σ z tu , dónde tu es un S tu ( 2 ) matriz, es una "simetría" del Lagrangiano. Permítanme escribir la integral de ruta completa:

D A D ψ Exp { i d d X L }
L = ( m A v v A m ) 2 + | ( m + A m σ z ) ψ | 2 + V ( | ψ | 2 )

La variable A m es un S tu ( 2 ) escalar _ Es solo una forma regular de 1 como en el electromagnetismo. La medida de integración (que también contiene cualquier fijación de calibre sin importancia) es solo una integral regular sobre un campo de 1 forma. Ahora, por ejemplo, para obtener el teorema de Noether necesito tener un cambio de variables que deje mi camino integral invariante. El mapa A σ z tu A σ z tu no es un cambio de variables, no puedo obtenerlo cambiando A , desde A no sabe nada de S tu ( 2 ) . No hay manera de que pueda cambiar X σ z a y σ X haciendo una sustitución y = F ( X ) .

Podrías reescribir todo como

D A ^ D d ( A ^ X , y ) ψ Exp { i d d X L }
L = ( m A v v A ^ m ) 2 + | ( m + A ^ m ) ψ | 2 + V ( | ψ | 2 )

dónde D A ^ es la medida de un S tu ( 2 ) campo. Pero para corresponder a lo que escribí necesitas esa función delta en la medida. De lo contrario, ha medido todo el S tu ( 2 ) simetría que obviamente es invariante. Ahora puedes hacer cambios de variables A tu A ^ tu , pero esto no deja invariable la integral de su ruta debido a esa enorme función delta.

En realidad parece que no rompe el global S tu ( 2 ) simetría. Deja el tu ( 1 ) derivada covariante ser D m = m + A m σ z . bajo un mundial S tu ( 2 ) transformación ψ tu ψ y A m σ z tu A m σ z tu , tenemos la transformación D m ψ tu D m ψ . De este modo ( D m ψ ) D m ψ parecen ser invariantes bajo global S tu ( 2 ) y locales tu ( 1 ) transformaciones, a menos que haya hecho algo mal aquí.
@Heidar: ¿Cómo te estás transformando? A ? no es un S tu ( 2 ) forma. Creo que lo que has demostrado es que si rotas ψ y gire la matriz de Pauli y luego recuperará la acción, pero eso no es una simetría, es solo un vestigio de la simetría original.
Como tenemos un nuevo campo en la teoría, A ^ = A σ z , lo hice transformar bajo el global S tu ( 2 ) simetría. Lo más natural fue usar la transformación adjunta, A ^ tu A ^ tu , que es bajo lo que los campos de calibre generalmente se transforman. Bajo esta transformación hay claramente un global S tu ( 2 ) simetría, sin embargo, no estoy seguro de que tenga sentido pensar en ello como el original S tu ( 2 ) O no.
Por cierto, bajo esta transformación el tu ( 1 ) subálgebra se rota en otra tu ( 1 ) subálgebra. Si se combina un global S tu ( 2 ) y un local tu ( 1 ) , que parece corresponder a un local tu ( 1 ) , solo uno girado. Parece consistente. Sin embargo, no estoy seguro de si está permitido rotar la subálgebra calibrada. Si uno supone que A ^ sólo puede tomar valores en el tu ( 1 ) subálgebra que calibramos y no el todo S tu ( 2 ) Lie álgebra, entonces mi ley de transformación no tiene sentido.
@Heidar: Esto es lo mismo que tomar un imán con hamiltoniano metro 2 + h metro , dónde metro es la magnetización y h es un campo externo fijo, ambos vectores. Es cierto que si giras h y metro conservas el hamiltoniano. Sin embargo, esto no corresponde a ninguna simetría, ya que no integramos sobre el campo h (o variar h en el caso clásico). Del mismo modo, no integramos A ^ por completo S tu ( 2 ) espacio.
@Heidar: Busque un ejemplo muy estúpido, el lagrangiano de una sola partícula k V ( X ) rompe claramente la simetría de traducción. Pero sigue siendo invariante bajo el mapa. X X + X 0 , V ( X ) V ( X ) = V ( X X 0 ) .
Sí, hay ciertas sutilezas asociadas con esto. Para mí, sin embargo, parece que es posible salvar la construcción. Pero no estoy seguro ya que no he pensado demasiado en ello, podría ser interesante averiguarlo.
Lo siento, es un poco temprano en la mañana para mí aquí. No estoy seguro de entender tu ejemplo, ¿qué quieres decir con que has roto la simetría traslacional pero el potencial es invariable?
@Heider: el potencial no es invariable. Estoy diciendo que lo que estás haciendo es lo mismo que tomar el oscilador armónico clásico de una sola partícula V = ( X X 0 ) 2 y decir que la teoría resultante es traduccionalmente invariante porque V no cambia debajo del mapa X X + a , X 0 X 0 + a . El punto es que no se le permite cambiar el valor de X 0 en una simetría. Del mismo modo, no se le permite cambiar el tu ( 1 ) subálgebra en una simetría.
Oh sí, ahora veo tu punto. Como también dije antes, podría no tener sentido rotar la subálgebra y, por lo tanto, mi ley de transformación podría no tener sentido. Simplemente no me he dejado completamente claro a mí mismo, cómo ver que hay algo inconsistente. por ejemplo hace S tu ( 2 ) existen o no corrientes conservadas.
@BebopButUnsteady: ¿Significa eso que la transformación es D m ψ ( tu m + tu A m tu σ z tu ) Ψ
@Trimok: puedes escribir eso si quieres, pero solo estás reemplazando σ z con una matriz de Pauli diferente. A m es solo un S tu ( 2 ) escalar en la expresión que anoté. ( σ z es un S tu ( 2 ) matriz)
@BebopButUnsteady: OK, entonces la transformación es D m ψ ( tu m + A m σ z tu ) Ψ , que es diferente de tu D m ψ . Así que hay ruptura de la S tu ( 2 ) simetría global. ¿Es correcto?
Habiendo tomado una taza de café, mi cerebro funciona un poco mejor. ahora estoy de acuerdo en que S tu ( 2 ) se rompe en este caso particular. Una forma de ver esto es que los dos componentes ψ = ( ψ 1 , ψ 2 ) tienen diferentes cargos bajo el tu ( 1 ) . Por lo tanto, no se nos permite hacer una S tu ( 2 ) rotación tu ψ , ya que eso se mezclaría ψ 1 y ψ 2 y que no se transformaría covariantemente bajo el tu ( 1 ) parte que hemos medido. Esta es solo otra forma de decir que hemos medido un tu ( 1 ) incrustación de S tu ( 2 ) y no puede rotarlo como lo hice arriba.
Sin embargo, todavía parece posible medir un subgrupo. Creo que es posible si para una teoría de calibre GRAMO , calibramos un subgrupo normal H GRAMO . Esto significa que gramo H gramo 1 = H , para todos gramo GRAMO . Es fácil demostrar que el álgebra de Lie correspondiente a H también se conserva. Por lo tanto, dadas las leyes de transformación que mencioné anteriormente, todo debería funcionar. En este ejemplo particular, el tu ( 1 ) claramente no es un subgrupo normal de S tu ( 2 ) y por lo tanto no funcionará. Si en cambio tomas GRAMO = tu ( 2 ) , hay un particular tu ( 1 ) subgrupo que puede medir y mantener global tu ( 2 ) simetría, eso es mi i ϕ I .
Acabo de notar que mencionas eso ψ 1 y ψ 2 tienen carga opuesta, no lo noté por alguna razón. Entonces parece que tenías razón todo el tiempo, no funciona para este ejemplo.
@Heidar: definitivamente puedes medir un subgrupo H GRAMO cuando GRAMO isomorfo a H × norte sin romper nada. En cuanto a un subgrupo normal general, debería estar bien a menos que ocurra algo con los automorfismos externos de las teorías de calibre.
Oh, entiendo, esto tiene sentido, estaba confundido acerca de cómo transformar el campo A. Pero ahora está claro, gracias. Tengo que pensar en los subgrupos normales, pero tiene sentido pensar en simetrías realizadas lineales/no lineales.
Hola @Heidar, estaba confundido exactamente por la misma pregunta. Después de pensarlo un poco, creo que la declaración más general sobre medir un subgrupo (no necesariamente normal) H de alguna simetría global GRAMO , es que una vez que calibramos H , todos los elementos en GRAMO que no mapea H a H ya no sigue siendo una simetría. De manera equivalente, la simetría global sobrante es norte GRAMO ( H ) = { gramo GRAMO | gramo H gramo 1 = H } , el normalizador de H en GRAMO (que es un subgrupo de GRAMO ). Entonces la teoría se convierte en un H -teoría de calibre con simetría global norte GRAMO ( H ) / H .
Esto podría ser útil cuando un estudio H Teorías calibre con algo de simetría global. GRAMO , o fases topológicas enriquecidas por simetría para el caso. Implica que cuando uno trata de "descalibrar" la simetría H , es decir, encontrar alguna teoría madre con simetría global GRAMO ~ con H siendo un subgrupo de GRAMO ~ , que después de medir H se convierte en un H -teoría de calibre con simetría global GRAMO . Basta considerar todos GRAMO ~ que son extensiones de GRAMO por H . Solo hay un número finito de posibilidades para cada acción de grupo posible. ρ de GRAMO en H , clasificado por H ρ 2 ( GRAMO , H ) .

Referencia principal Zee (Mecánica cuántica en pocas palabras).

1) simetría global

Una simetría global significa que el Lagrangiano es invariante por una transformación cuyos parámetros son constantes.

Para una simetría global continua, si la simetría del Lagrangiano es el grupo GRAMO , y si la simetría del vacío es el grupo H , un subgrupo de GRAMO , tienes ( d i metro GRAMO d i metro H ) Bosones de Goldstone.

Por ejemplo, tome un campo escalar complejo Φ con potencial de sombrero mexicano, de modo que la densidad lagrangiana total es L = ϕ ϕ + m 2 ϕ ϕ λ ( ϕ ϕ ) 2 .

La simetría del grupo está aquí. GRAMO = O ( 2 )

Definir ϕ = ρ mi i θ

Romper la simetría significa elegir para el vacío los mínimos para el potencial y un ángulo particular, es decir:

ρ V = v , θ V = θ 0

El grupo H es trivial aquí.

Definir : ρ = v + x , dónde v = m 2 2 λ

Desarrollando el Lagrangiano, obtienes un término v 2 ( θ ) 2 , que es la parte dinámica de un campo sin masa θ , entonces θ es nuestro bosón de Goldstone (Hay uno porque d i metro GRAMO d i metro H = 1 0 = 1 ).

Entonces, vemos que la ruptura espontánea de la simetría podría surgir en una simetría continua global.

2) simetría local

Una simetría local significa que el Lagrangiano es invariante por una transformación cuyos parámetros son funciones del espacio-tiempo.

"Gauging" significa simetría local (continua). Por lo tanto, no necesita "calibrar" para tener una ruptura de simetría espontánea.

Con una simetría local, algunos de los bosones de Goldstone son "comidos" por el campo Gauge ( A m ), de modo que estos campos de calibre (que no tienen masa) se vuelven masivos. En una dimensión de espacio-tiempo 4d, un campo Gauge sin masa tiene 2 grados de libertad, mientras que un campo de calibre masivo tiene 3 grados de libertad. Para hacer eso, el campo Gauge tiene que "comerse" un grado de libertad (un bosón de Goldstone)

3) La simetría global como caso especial de simetría local

En el conjunto de simetría local, la simetría global es un caso muy especial (un subconjunto muy especial), donde los parámetros de transformación son constantes. Entonces, si lo desea, puede considerar que la simetría global está "incluida" en la simetría local.

Gracias, pero esto sin embargo no me da ninguna respuesta, sé lo que son las simetrías, globales y locales, y sus diferencias. Sin embargo, es el caso específico del que estoy hablando. Para los bosones de pseudogoldstone, por ejemplo: Higgs compuesto SO(5)/SO(4) donde se mide un subgrupo del SO(4) restante (que será la parte electrodébil de SM) que hace que el higgs NG adquiera una masa, que usted puede ver a partir de la renormalización de la función de onda (diagramas con bucles de los bosones de calibre).
Entonces, si entiendo correctamente (con algo de retraso...), tienes una simetría global GRAMO , con ruptura de simetría espontánea con un grupo H , entonces tomas un subgrupo H gramo de H y lo mides. Y luego habría una ruptura explícita de la simetría global G. Y te preguntas cómo podría ser esto posible. Bien ?
Tal vez sea un problema de definición. Los Pseudo-Bosones de Goldstone están asociados a simetrías aproximadas GRAMO . Por ejemplo, considerando las masas de los quarks tu y d siendo cero, tienes una simetría aproximada GRAMO = S tu ( 2 ) L S tu 2 ( R ) . La ruptura espontánea de la simetría da GRAMO = S tu ( 2 ) L S tu 2 ( R ) S tu 2 ( I ) = H .si la simetría fuera exacta, tendría bosones de Goldstone sin masa, pero de hecho, la simetría GRAMO no es exacta (porque la masa de los quarks tu y d es distinto de cero), por lo que tiene bosones pseudo-Goldstone que son ligeros, pero no sin masa. GRAMO no es una simetría exacta.
Lo siento, no respondí antes. Sí, esta es mi pregunta. En el caso que escribió (QCD simple) está claro porque la simetría se rompe explícitamente por los términos de masa. Mi problema surge cuando la ruptura de simetría explícita debe provenir de una medición de un subgrupo. Como no veo. En la respuesta a continuación, puede ver que existe una pequeña controversia sobre cómo transformar correctamente el lagrangiano después de medir un subgrupo, y esto es lo que estoy tratando de resolver.