Fijación de calibres y grados de libertad.

Hoy, mi amigo (@ Will ) planteó una pregunta muy intrigante:

Considere una teoría de campo escalar compleja con un tu ( 1 ) campo de medida ( A m , ϕ , ϕ ) . La idea de la libertad de calibre es que se identifican dos soluciones relacionadas por una transformación de calibre (a diferencia de una transformación global donde las soluciones son diferentes pero dan lugar a exactamente los mismos observables), es decir

( A m ( X ) , ϕ ( X ) , ϕ ( X ) )     ( A m ( X ) + m α ( X ) , mi i α ( X ) ϕ , mi i α ( X ) ϕ ( X ) ) .
El proceso de "fijación de calibre" es elegir una de las muchas soluciones equivalentes relacionadas a través de la transformación de calibre. El procedimiento habitual de fijación de calibre es imponer una condición a A m para que uno escoja una de las soluciones. Su pregunta fue la siguiente:

En lugar de imponer una condición de calibre en A m , ¿por qué no imponemos una condición de calibre en ϕ ? ¿No seleccionaría esto también una de las muchas soluciones equivalentes? ¿No debería esto también darnos los mismos observables? Si es así, ¿por qué no hacemos esto en la práctica?

Después de un poco de discusión, llegamos a la siguiente conclusión:

La idea de la simetría de calibre proviene del requisito de que una teoría cuántica que involucre campos ( A m , ϕ , ϕ ) tener una interpretación de partículas en términos de partículas de espín-1 sin masa y 2 partículas de espín-0. Sin embargo, antes de la fijación del calibre, los grados de libertad en el caparazón incluyen los de una partícula de espín 1 sin masa y 3 campos de espín 0 ( A m 1 0 ,   ϕ , ϕ 0 ). Ahora nos gustaría imponer una condición de calibre para eliminar un grado de libertad escalar. Hay dos maneras de hacer esto -

  1. Imponer condición de calibre en A m de modo que A m 1 . Ahora, A m corresponde a una partícula de espín-1 sin masa y el escalar complejo corresponde a dos partículas de espín-0. Esto es lo que se suele hacer.

  2. Imponer una condición de calibre en ϕ . Por ejemplo, se puede exigir que ϕ = ϕ . Ahora tenemos un campo real correspondiente a una partícula de spin-0. Sin embargo, A m todavía contiene los grados de libertad de una partícula sin masa de espín-1 y de espín-0.

Afirmé que el procedimiento de fijación del segundo calibre es completamente EQUIVALENTE al primero. Sin embargo, el operador que ahora crea una partícula de espín 1 sin masa es una combinación desagradable, posiblemente no invariante de Lorentz, de A 0 , A 1 , A 2 y A 3 . Una afirmación similar se cumple para el dof de spin-0 en A m . Por lo tanto, los operadores en el espacio de Hilbert correspondientes a las partículas de interés no son agradables. Por lo tanto, no es agradable trabajar con un procedimiento de fijación de calibre de este tipo.

En resumen, ambos procedimientos de fijación de calibres funcionan. El primero es "bonito". El segundo no lo es.

¿Es correcta esta conclusión?

NOTA: Por la declaración A m 1 , Quiero decir que A m contiene solo un dof de espín-1 sin masa

No tiene ningún sentido hablar de partículas masivas o sin masa creadas por A . Tienes que especificar una acción para saber qué irreps de Lorentz ocurren. Sin una acción, solo puedes contar el número de grados de libertad.
Además, desde A y ϕ están mezclados por la simetría de calibre, realmente no tiene sentido pensar en sus partículas por separado. Desea considerar observables invariantes de calibre como las líneas de Wilson que conectan ϕ y ϕ ¯ .
Definitivamente veo que solo contar los grados de libertad fue demasiado ingenuo. También debería pensar en cómo se transforman bajo la transformación de Lorentz.

Respuestas (1)

Si ϕ es distinto de cero, fijando la fase de ϕ es una condición de calibre perfectamente válida. Se usa con frecuencia en los cálculos del modelo estándar que involucran el campo de Higgs, donde se conoce con el nombre de indicador de unidad . Este es un buen indicador en algunos aspectos, porque pone de manifiesto el hecho de que hay un campo vectorial masivo en el sistema.

Editar: se requiere cierta precaución con el calibre unitario. Es un indicador completo cuando se puede tratar razonablemente ϕ como distinto de cero, porque utiliza todos los grados de libertad en la transformación de norma. Esto significa, por ejemplo, que está bien usarlo en cálculos perturbativos alrededor de un condensado de Higgs. Pero cuando ϕ puede desaparecer, la función de fase no está definida de forma única, lo que significa que la transformación de calibre no es invertible. Este indicador no es exactamente un indicador.

Aunque no creo que sea eso de lo que estoy hablando. En ese caso, no estamos arreglando ningún calibre. Estamos rompiendo explícitamente una simetría interna global. Además, en ese caso, un dof del campo de Higgs ahora se convierte en el modo longitudinal de un fotón para transformarlo en un bosón vectorial masivo, cambiando así el contenido de partículas de la teoría. Sin embargo, la "fijación de calibre" de la que estoy hablando no cambia el contenido de partículas de la teoría del campo. Simplemente incorpora un spin-1 sin masa y un dof de spin-0 en uno A m .
¿eh? No. El indicador unitario es en realidad un indicador. Es el que describiste en 2, fijando la fase del campo escalar en 0. (Esto usa el valor de dof de una función, mucho más que fijar una simetría global).
ESTÁ BIEN. Lo siento. Creo que ahora estoy de acuerdo contigo. Aquí está mi comprensión actual: calibre que fija la fase de ϕ , naturalmente te da el dof de una partícula masiva de spin-1 y un campo escalar. Entonces, mi pregunta es: ¿podemos descomponer una representación masiva de espín 1 del grupo de Poincaré en una representación de espín 1 sin masa y una representación de espín 0?
Si es así, entonces, en principio, deberíamos ser capaces de encontrar alguna combinación de los A m 's que se transforma como un campo spin-1 sin masa. Entonces tenemos un operador (llámalo O ) que crea un bosón de norma. Entonces la teoría donde A m es calibre fijo con A m que representa la partícula spin-1 sin masa es EQUIVALENTE a la teoría donde ϕ es calibre fijo y O representa la partícula de espín-1 sin masa (por equivalente quiero decir que darán los mismos observables bajo la identificación del operador mencionada anteriormente). ¿Está bien?
Puede descomponer el espacio vectorial subyacente, pero las representaciones no se descompondrán. Sin embargo, el desajuste desaparecerá con la masa.