EM clásico: vínculo claro entre la simetría de calibre y la conservación de la carga

En el caso de la teoría clásica de campos , el teorema de Noether asegura que para una acción dada

S = d d X L ( ϕ m , v ϕ m , X i )
que permanece invariante bajo la transformación { X i X i + d X i ; ϕ m ϕ m + d ϕ m } , es decir una simetría local , entonces existen cantidades conservadas llamadas corrientes .

Si existe un conjunto de variables { ϵ r , X r i , Φ r m } (dónde ϵ r 0 ) tal que d X i = ϵ r X r i y d ϕ m = ϵ r Φ r m , entonces estas corrientes son las cantidades:

j r v = L ( v ϕ m ) Φ r m + [ L d σ v L ( v ϕ m ) σ ϕ m ] X r σ .
Estos se conservan en el sentido de que v j r v = 0 , lo cual es verdadero en el caparazón, es decir, siempre que se verifiquen las ecuaciones de movimiento.

Ahora estoy tratando de aplicar este resultado en el caso de la teoría de campo EM clásica . Considere el lagrangiano asociado:

L mi METRO = 1 4 F m v F m v + A m j m
dónde A m = ( ϕ , A ) es el potencial 4 y j m = ( ρ , j ) es la corriente 4, que describe las fuentes de carga clásicas . F m v es el tensor EM .

En ese caso, las ecuaciones de movimiento son:

v F v m = j m .

Teniendo en cuenta la simetría de calibre global de la teoría de campo EM clásica

A m A m + ϵ m x
dónde x es una función de calibre arbitraria, me gustaría aplicar el teorema de Noether en el caso en que X r i = 0 . En referencia a esta publicación de Phys.SE , la corriente conservada asociada dice:
j m = F m v v x con m j m = 0.
Bien, ahora tengo algunas preguntas:

  • ¿Es realmente legítimo aplicar el teorema de Noether a la simetría de calibre global ? Quiero decir, ¿sigue siendo válido el teorema de Noether incluso si tengo un conjunto { ϵ r , X r i = 0 , Φ r m } , es decir, no hay transformación en las coordenadas?

Relacionado: ¿La simetría de calibre no es una simetría? .

  • En ese caso, ¿qué significa el j m cantidad físicamente significa? Uno puede calcular, usando ecuaciones de movimiento y la antisimetría de F m v :

    m j m = m F m v v x + F m v m v x = j v v x + 0.
    Prefiero esperar algo como
    m j m = m j m = 0 , x .
    En ese caso, podría entender que la conservación de la carga proviene directamente de la simetría de calibre global . Hay algo que claramente me estoy perdiendo. ¿O debería engañar computando? d X m j m y realizar una integración por partes?

  • No puedo ver en ninguna parte que aparezca claramente el hecho de que la física de la teoría EM clásica es invariante bajo la transformación de Lorentz . Esperaría que tal invariancia fuera una simetría realmente fuerte del sistema.

Estrictamente hablando, el teorema de Noether se aplica solo a simetrías globales, y lo que escribiste allí no es una simetría global ya que x depende del espacio-tiempo. No entiendo su última pregunta: el Yang-Mills Lagrangian es manifiestamente invariante de Lorentz, y la cantidad asociada con la simetría de Lorentz es, como siempre, el tensor de energía de estrés.
Gracias por tu comentario. Hay algo que no entiendo: así que si aquí A m A m + m x no es una simetría global, entonces por qué la transformación X i X i + d X i , ϕ m ϕ m + d ϕ m debería llamarse simetría global ya que también depende de las coordenadas? ¿La diferencia entre la simetría local y global tiene algo que ver con el hecho de que las leyes de conservación se pueden derivar dentro o fuera del caparazón?
Para la última pregunta, solo sentía que la invariancia de Lorentz se "mezclaría" con la invariancia de calibre para garantizar la conservación de la carga, pero seguramente me estaba equivocando.

Respuestas (2)

El (primer) teorema de Noether no es aplicable a las simetrías locales, como las simetrías de calibre. Para las simetrías locales, se debe usar el segundo teorema de Noether , menos conocido . En general, uno puede enunciar su primer y segundo teorema de la siguiente manera:

Dejar L ( ϕ ) := L ϕ m L ( m ϕ ) denote la expresión de Lagrange para el campo ϕ . Dejar ϕ i ser los campos de nuestra teoría. Entonces, para cualquier variación de los campos ( d ϕ i = d 0 ϕ i + m ϕ i d X m ) y coordenadas

i L ( ϕ i ) d 0 ϕ + i m ( L d X m + L ( m ϕ i ) d 0 ϕ i ) = 0
se mantiene si d S = 0 .

A partir de esto, se sigue el primer teorema de Noether con la corriente conservada usual tomando la variación de los campos como una transformación de simetría global, es decir d ϕ i = a d ϕ i ϵ a ϵ a para el parámetro continuo ϵ R norte del grupo de simetría, y reconociendo que, en el caparazón, L ( ϕ i ) = 0 .

El segundo teorema de Noether es lo que se obtiene cuando el ϵ a se les permite depender del espacio-tiempo. Si permitimos tales transformaciones locales , entonces tenemos d ϕ i = C a i ϵ a + d a i m m ϵ a para algunas constantes C , d . (En general, también se puede permitir que la transformación local dependa de derivadas superiores, pero en el contexto de las teorías de calibre no lo hará (e incluso allí, la única transformación dependiente de la derivada es la del propio campo de calibre)) Entonces , el enunciado del segundo teorema de Noether es

i L ( ϕ i ) C a i i m ( L ( ϕ i ) d a i m ) = 0

En el caso del electromagnetismo, tiene (al menos) dos formas de usar estas variaciones en el teorema de Noether para obtener la conservación de la carga: puede usar la simetría de calibre global junto con las ecuaciones de Euler-Lagrange del campo de materia , o puede usar el calibre local simetría junto con las ecuaciones EL del campo de calibre (tienes que ser un poco complicado para hacerlo de la última manera - mira la referencia al final).

Los ingenuos conservaron corriente de la pregunta, j m = F m v v x , no tiene significado físico, ya que no es invariante de calibre y, por lo tanto, no es observable.

Un recorrido maravillosamente conciso de las diferentes versiones del teorema de Noether en el contexto de las teorías de calibre se da en "Teoremas de Noether y simetrías de calibre" por K. Brading y HR Brown .

I) modelo de OP

S [ A ]   =   d 4 X   ( 1 4 F m v F m v + j m A m ) ,
se menciona como el punto 4 en mi respuesta Phys.SE aquí . Repitamos (para ser autónomos): j m se tratan como fuentes de materia de fondo clásicas no dinámicas pasivas. En otras palabras, solo los campos de indicador A m son variables dinámicas en este modelo. Antes incluso de comenzar, tenemos que asegurarnos de que la acción sea simétrica del calibre local (fuera de la carcasa). S [ A ] hasta los términos de frontera. Esto implica que las fuentes de fondo clásicas j m debe satisfacer la ecuación de continuidad d m j m = 0 fuera de la cáscara. Por lo tanto, se nos impone una ley de conservación incluso antes de que apliquemos los teoremas de Noether. Tenga en cuenta que la simetría de calibre global es una declaración vacía en este modelo.

II) Parece que el problema de OP al aplicar el primer teorema de simetría global de Noether está relacionado con el hecho de que no incluye la teoría de la materia en su acción. Uno debe considerar la acción completa S [ A , Ψ ] de los campos de norma y de materia.

La conservación de la carga eléctrica se sigue de la simetría de calibre global de la acción completa S [ A , Ψ ] , cf. por ejemplo , este y este Phys.SE publicaciones.

III) Dado que la simetría de calibre global es un subconjunto de la simetría de calibre local, la conservación de la carga en principio también se deriva de la simetría de calibre local. Pero desde un punto de vista purista/minimalista, es excesivo utilizar la simetría de calibre local para probar la conservación de la carga.

La simetría de calibre local es el ámbito del segundo teorema de Noether, cf. por ejemplo , esta publicación de Phys.SE. La ley de conservación fuera del caparazón asociada con la segunda corriente de Noether es una trivialidad para la electrodinámica.

Gracias por tu respuesta. Entonces, técnicamente hablando, si entiendo bien: si quiero probar la conservación de la carga, tengo que incluir el campo de materia Ψ en el modelo, ¿verdad? En realidad, las fuentes de fondo j m satisfacen tautológicamente la ecuación de continuidad solo porque son fuentes. ¿Está bien?
Sí.