Factorización de exponencial de generadores rotos en parametrización de multiplete escalar en SSB no abeliana

Al describir la ruptura de la simetría abeliana en su libro sobre teorías gauge, después de favorecer un vacío (cuyo valor esperado es v ) del continuo simétrico, Quigg parametriza el escalar complejo como

(1) ϕ = mi i ζ v v + η 2

Luego procede a usar la libertad de calibre para eliminar el Goldstone (el bosón de calibre es irrelevante para mi duda aquí) con una transformación cuyo parámetro de calibre es α = ζ v .

Mi problema es el caso no abeliano. Supongamos que un S tu ( 2 ) modelo en el que los subgrupos abelianos correspondientes a los dos primeros generadores T 1 y T 2 estaban rotos. Entonces, análogamente a (1), lo que se hace es escribir el campo como

(2) ϕ = mi i v ( ζ 1 T 1 + ζ 2 T 2 ) ( 0 0 v + η )

después de lo cual pasamos al ancho de vía U por medio de una transformación de ancho con parámetro ζ = 1 v ( ζ 1 , ζ 2 , 0 ) .

No entiendo la ecuación (2). Está claro que lo que hacemos después de cambiar el componente de vacío alrededor de su valor esperado es escribir el campo como el vector resultante sobre el que actúa la exponencial de una combinación lineal arbitraria de los generadores rotos, pero no sé por qué ese es el caso. Al principio, la ecuación (1) me pareció que simplemente escribía el campo en forma polar, por conveniencia, ya que es absoluta y obviamente general. Entonces esperaría que (2) sea nuevamente solo una forma general de expresar un vector arbitrario complejo de 3 componentes , pero no puedo ver por qué esto es un hecho general. Es decir, el tercer componente es atendido por el 'arbitrario' η , pero no sé si los dos primeros son atendidos por la exponencial.

Por supuesto, mi forma de pensar y de interpretar (1) podría estar simplemente equivocada. Entonces, ¿por qué la exponencial en (2) lleva solo los generadores rotos?

(Editar) Ejemplo: En su libro, Frampton trata con un S O ( norte ) modelo: rompiendo el (subespacio asociado de) primero norte 1 generadores, elige el vacío

ϕ 0 = ( 0 0 . . . v + η )

y usando los generadores explícitos ( L i j ) k yo = i ( d i k d j yo d i yo d j k ) muestra que podemos parametrizar

ϕ = Exp ( i v i = 1 norte 1 ξ i T i ) ( 0 0 . . . v + η ) = ( ξ 1 . . . ξ norte 1 v + η )

dónde T i L i norte . Después de esto, pasa al ancho de vía en U por el procedimiento estándar. El punto es que en este ejemplo lo que sucede es exactamente lo que yo tenía la impresión de ser el caso: el (argumento imaginario) exponencial de una combinación lineal de los generadores rotos sucede, cuando actúa sobre el vacío, genera un general ( módulo el hecho de que el ξ i parecen ser fases) vector en el norte 1 primeras entradas. ¿Qué tan general es esto y por qué?

(Edit2): Hace mucho tiempo acepté la respuesta a continuación (que es muy reflexiva y muy apreciada), pero al volver a leerla ahora me doy cuenta de que en realidad nunca la entendí. Intentaré identificar algunas confusiones específicas mías al respecto (por supuesto, también puede ignorar esta parte de la pregunta y responder su núcleo, arriba, si cree que la respuesta a continuación es inadecuada).

(i) Tome el pasaje " Los campos que se transforman bajo G proporcionan una representación y son elementos de G. Luego, puede hacer la identificación ϕ=g y aplicar la descomposición Eq. (1). ": ¿Cómo se transforman los campos bajo alguna representación? identificable con los elementos de la representación misma (hasta el punto de equipararse formalmente a la forma de las transformaciones)?

(ii) La ecuación (1) parece ser un resultado bastante general y poderoso. ¿Cuál es su validez (es decir, existen otras condiciones además de las establecidas para que funcione) y cómo se probaría?

TL; DR Pregunta: Para plantear brevemente la pregunta: la belleza operativa con el formalismo de Higgs es que es fácil ir al calibre unitario donde los Goldstones manifiestamente se desacoplan por medio de una transformación de calibre, pero ¿cómo y por qué uno siempre puede parametrizar un expansión general del campo alrededor del vacío favorecido como algo así como

Exp { i roto ξ i T i } ( . . . v + H ) ,

dónde T i son los generadores y H es el 'Higgs', por lo que una transformación de calibre puede cancelar el exponencial y el espectro es obvio.

Respuestas (1)

Considere un grupo de mentiras GRAMO se rompe espontáneamente en H . Luego, utilizando las relaciones de conmutación entre generadores rotos y no rotos, puede demostrar que cualquier elemento de gramo GRAMO se puede descomponer de la siguiente manera

gramo = GRAMO h Exp ( i ξ a T ^ a ) Exp ( i x a T a ) , ( 1 )

dónde T ^ a y T a son los generadores rotos e ininterrumpidos respectivamente.

Campos que se transforman bajo GRAMO proporcionan una representación y son elementos de GRAMO . A continuación, puede realizar la identificación. ϕ = gramo y aplicar la descomposición Eq. (1). En este caso, los parámetros ξ a , x a tiene una dependencia de coordenadas espacio-temporales.

El elemento h ( X ) ahora parametriza tu aspiradora. Sin embargo, a medida que realiza una transformación a lo largo de los generadores rotos, termina en un nuevo vacío. Puede interpretar los bosones de Goldstone como "coordenadas" en una variedad de vacío.

En particular, para el elemento h ( X ) puede elegir una representación no lineal o lineal, que se relacionan a través de redefiniciones de campo. Por lo general, la descomposición se toma como

ϕ ( X ) = Exp ( i ξ a ( X )   T ^ a ) Exp ( i x a ( X ) T a ) = Exp ( i ξ a ( X )   T ^ a ) ( ϕ ( X ) + φ ( X ) )
dónde φ ( X ) y x a ( X ) están relacionados por una redefinición de campo no lineal.

En el caso de Electrodébil S tu ( 2 ) L , tu puedes elegir φ ( X ) = ( 0 , h ( X ) ) T dónde h ( X ) es el campo físico de Higgs.

Este es un caso muy específico de construcción CCWZ. Ver las referencias para más detalles.

Referencias

G. Panico y A. Wulzer, https://arxiv.org/abs/1506.01961

¡Muchas gracias, fue muy útil! Todavía tengo algunas dudas: (i) Para mostrar la ecuación (1) ¿usaría solo la fórmula CBH (además de las relaciones com.)? Y (ii): aunque es intuitivo, nunca pude captar completamente el concepto de cómo vemos el espacio donde alguna representación del grupo actúa como una representación en sí misma, que es el argumento principal de su respuesta (en el segundo párrafo). ¿Puedes darme una dirección?
(I) necesitas usar CBH con seguridad. Sin embargo, debe mostrar que la solución de la descomposición existe y es única. (ii) esto es solo terminología. En física de partículas, identificamos los dos conceptos teniendo en cuenta su significado matemático no equivalente. Rigurosamente, la representación es un mapa del grupo a un espacio vectorial. Aquí, el campo es un elemento del grupo y le das a este elemento una representación. ¿Es más claro?
Todavía estoy un poco confundido. ¿No es una representación un mapa del grupo al espacio de transformaciones lineales en el espacio vectorial (donde vive el campo)? ¿Cómo es el campo un elemento del grupo?
Lo siento, no fui claro. Por espacio vectorial me refiero a GL(V), que tiene una estructura de espacio vectorial. Entonces, una representación de G en el espacio vectorial V es el mapa R: G -> GL(V). El campo es un elemento del grupo que puedes escribir como exponencial de los generadores. Las propiedades de transformación del campo bajo la acción del grupo G, dependen de la representación de los generadores. Sé que la respuesta no es satisfactoria. Necesitaría más espacio, por lo que le sugiero que abra otra pregunta sobre representaciones y campos.