Calibre la simetría del campo vectorial masivo

Considere un campo vectorial masivo real con densidad lagrangiana

L = 1 4 ( m A v v A m ) ( m A v v A m ) + 1 2 metro 2 A m A m (1) = 1 2 ( m A v v A m ) m A v + 1 2 metro 2 A m A m .

Bajo una transformación de calibre local A m A m + m F la densidad lagrangiana no es invariante

(2) L   L + 1 2 metro 2 ( 2 A m + m F ) m F = L 1 2 metro 2 F ( 2 m A m + F )

a menos que tomemos un F que satisface

(3) F = 2 m A m .


Las ecuaciones de movimiento para el campo vectorial son

(4) ( + metro 2 ) A m m v A v = 0 ,
y tomando su divergencia m obtenemos
(5) m A m = 0 .

Esta identidad es el calibre de Lorenz, pero se satisface automáticamente. Entonces, desde ( 3 ) , A m A m + m F es una simetría de la teoría siempre que F = 0 . ¿Se puede considerar esto como una especie de simetría de calibre "parcial" o "reducida"?

Editar: Me di cuenta de una cosa.

Con ( 5 ) , el eom ( 4 ) se convierte

(6) ( + metro 2 ) A m = 0 ,
pero esta ecuación no es invariante bajo la transformación A m A m + m F incluso si F = 0 . ¿Por qué esta ecuación no es invariante pero la densidad lagrangiana sí lo es?

Respuestas (1)

  1. Las simetrías de la acción deben ser consideradas sin el uso de las ecuaciones de movimiento . Una simetría en el caparazón es una noción vacía: si usa las ecuaciones de movimiento, como lo hace cuando usa la ecuación. (5) para concluir que F = 0 debe ser una simetría, entonces cualquier transformación infinitesimal de la acción dejará la acción invariante, precisamente porque las ecuaciones de movimiento marcan un punto estacionario de la acción, y la definición de un punto estacionario es más o menos que todas las variaciones infinitesimales desaparecen. Consulte también esta respuesta y sus respuestas vinculadas por Qmechanic.

  2. Precisamente porque las simetrías deben considerarse fuera de la cáscara, su eq. (3) es inconsistente. Como estamos fuera de la cáscara, A m es un campo arbitrario que no toma ningún valor específico, pero F tiene que ser una función fija. Dado que la ec. (3) no se puede cumplir fuera de la cáscara para arbitraria A m , no hay invariancia de medida de la acción de un campo vectorial masivo .

  3. Como se discutió en esta respuesta mía , la teoría hamiltoniana del campo vectorial masivo tiene dos restricciones:

    π 0 0 i π i + metro 2 A 0 0
    El corchete de Poisson de estas restricciones no se desvanece, por lo que ambas son restricciones de segunda clase , pero solo las restricciones de primera clase pueden generar transformaciones de calibre, vea los puntos 4. y 5. en esta respuesta mía . Por lo tanto, la teoría del campo vectorial masivo está restringida , pero no es una teoría de calibre .