Covarianza en teorías de calibre: ¿por qué el lagrangiano debería ser invariante de calibre?

Estoy siguiendo un curso sobre teorías de calibre en QFT y tengo algunas preguntas sobre el significado físico de lo que estamos haciendo.

Esto es lo que entendí:

Cuando escribimos un Lagrangiano L ( ϕ ) , buscamos sus simetrías. Sus simetrías son la transformación que aplicamos sobre los campos que dejan invariable el Lagrangiano.

Significa que estamos actuando con un operador. tu en el campo ϕ y tendremos: L ( ϕ = tu ϕ ) = L ( ϕ ) .

Y los operadores tu pertenece a un grupo.

Las simetrías son muy importantes porque según el teorema de Noether podemos encontrar la corriente conservada conociendo las simetrías.

En las teorías de calibre, permitimos la transformación tu actuar "diferentemente" en cada punto del espacio. Entonces nosotros tenemos tu ( X ) (x dependencia del elemento del grupo).


Así, en mi clase el profesor hizo lo siguiente:

Comentó que esta cantidad:

m ϕ
no se transforma como:

m ϕ = tu ( X ) m ϕ
(debido a la X dependencia de tu ).

Y luego dijo "tenemos un problema, introduzcamos una derivada covariante D m ϕ que nos permitirá tener:

D m ϕ = tu ( X ) D m ϕ

Mis preguntas son las siguientes:

¿Por qué queremos tener esta "buena" ley de transformación? No estoy seguro en absoluto, pero esto es lo que entendí y me gustaría comprobar.

  • Primera pregunta: por favor dígame si estoy en lo correcto en el siguiente párrafo

Creo que es porque queremos escribir el Lagrangiano como invariante bajo la transformación de norma. Para hacerlo no partimos de cero: partimos de un término que sabemos que debe estar en lagrangiano: m ϕ m ϕ . Vemos que este término no es invariante de calibre, por lo que tratamos de modificarlo "cambiando" las derivadas: m D m . Vemos que si tenemos D m ϕ = tu ( X ) D m ϕ tendremos la buena ley de la transformación. Y finalmente, después de algunos cálculos encontramos el "bueno" D m ese respeto D m ϕ = tu ( X ) D m ϕ .

Entonces: ¿tengo razón en mi explicación?

También:

¿Por qué queremos un invariante lagrangiano bajo transformaciones de norma? ¿Hay una razón detrás de esto o es solo un postulado? Podría entender que queremos una invariante lagrangiana bajo transformación global (si asumimos que el universo es isotrópico y homogéneo, tiene sentido), pero para mí pedir una invariancia local es bastante abstracto. ¿Cuál es la motivación detrás de todo esto?

Sé que si tenemos un invariante lagrangiano en todas las simetrías locales, entonces será invariante en las simetrías globales, pero este "todo" es "problemático" para mí.

  • Siguiente pregunta en las siguientes dos líneas:

¿Por qué el lagrangiano debería ser invariante bajo todas las simetrías locales? Es una suposición muy fuerte desde mi perspectiva.

Me gustaría una respuesta física en lugar de demasiado matemática.

Para la primera parte, creo que tu explicación está bien. En cuanto a por qué necesitamos invariancia de calibre, puede encontrar útil esta pregunta physics.stackexchange.com/q/266992 y este artículo de 't Hooft inspirehep.net/record/144076/files/14321.pdf
Hay una charla interesante de Anthony Zee sobre este tema (exactamente la parte "por qué"): theorie.physik.uni-muenchen.de/lsluest/seminars/asc_kolloquium/… Desafortunadamente, el servidor es muy lento, te aconsejo que guarde el archivo de video en su disco duro y luego mírelo, en lugar de transmitirlo.

Respuestas (3)

No partimos del supuesto de que el lagrangiano "debería" ser invariante bajo transformaciones de norma. Esta suposición a menudo se hace porque las simetrías globales se consideran más naturales que las simetrías locales y, por lo tanto, los escritores intentan motivar la teoría de calibre "haciendo que la simetría global sea local", pero esto en realidad no tiene sentido. ¿Por qué querríamos una simetría local solo porque hay una global? ¿Tenemos algún fetiche por las simetrías como para querer hacer posible la teoría más simétrica? Uno puede derivar la teoría de calibre de esta manera, pero como motivación física, esto es una pista falsa.

El punto real no es que "queremos" simetría de calibre, sino que se nos impone cuando queremos describir bosones vectoriales sin masa en la teoría cuántica de campos. Como también aludo en esta respuesta mía , cada bosón vectorial sin masa se describe necesariamente mediante un campo de calibre. Una teoría de calibre lagrangiana es equivalente a una teoría restringida hamiltoniana: de cualquier manera, el número de grados de libertad independientes que son físicamente significativos es menor que el recuento ingenuo, ya que identificamos estados físicos relacionados por transformaciones de calibre.

La verdadera motivación física para las teorías de calibre no es "queremos simetrías locales porque las simetrías son claras". Es "queremos describir un mundo con fotones y eso solo se puede hacer covariantemente con una teoría de calibre".

También se puede dar una motivación no cuántica de la teoría de calibre: si escribe el Lagrangiano del electromagnetismo libre, motivado porque sus ecuaciones de movimiento son las ecuaciones de Maxwell , no porque nos guste la simetría de calibre, entonces encontrará que viene naturalmente con un tu ( 1 ) simetría de calibre, que corresponde al hecho bien conocido de que agregar un gradiente al potencial del vector 4 es físicamente irrelevante. Ahora, si desea acoplar otros campos a este electromagnetismo libre, debe hacer que los términos adicionales también sean invariantes, de lo contrario, la teoría ya no es "electromagnetismo acoplado a otra cosa" en ningún sentido significativo, ya que agregar gradientes repentinamente puede cambiar el física. Una vez más, la simetría de calibre es algo que uno descubre después de motivar físicamente al Lagrangiano de otra cosa, no algún tipo de suposición a priori que incluimos.

Entonces, ¿está diciendo que la motivación empírica para la invariancia de calibre local es la falta de masa del fotón? Escuché que esa invariancia de calibre local es la razón por la que sabemos que el fotón es exactamente sin masa (y no solo muy, muy ligero), pero parece que estás diciendo que la explicación es al revés. ¿Te entiendo bien?
muy bien escrito, particularmente el último ejemplo

Una de las ideas subyacentes en la invariancia de la medida es que la física existe independientemente de la parametrización de coordenadas (y, por lo tanto, de la medida) que aplicamos al sistema.

Para cambios en las coordenadas que conservan la unidad, el lagrangiano (como una medida de la "energía" en el sistema) debería tener un valor independiente de las coordenadas que elijamos.

La motivación para las derivadas covariantes, etc., es entonces dar cuenta de los desacuerdos entre los sistemas de coordenadas (y la variedad física subyacente) de lo que hace una "línea recta" o un "ángulo recto".

El lagrangiano libre es invariante bajo simetrías de calibre global. Para esto no necesitamos introducir derivadas covariantes o campos de calibre.

Luego imponemos artificialmente la condición de que incluso los cambios de calibre locales son simetrías. Pero esto es sólo un truco matemático. Una redundancia en nuestra descripción. Por lo tanto, el Lagrangiano y las ecuaciones de movimiento no deberían depender de nuestra elección de calibre, porque un cambio de calibre local no es "físicamente real". Por lo tanto, usamos la derivada covariante para asegurarnos de que el Lagrangiano permanezca independiente del calibre.

Por ejemplo en el caso de U(1). Supongamos que hacemos un cambio de fase local del campo de fermiones. Pero este cambio no es real. Entonces debemos tener un término correspondiente que también cambie de tal manera que cancele el efecto de este cambio de fase local artificial. Esto lo hace el campo de calibre. A m ( X ) .

Si desea una buena comprensión intuitiva de la teoría de calibre, le sugiero encarecidamente el libro " Un manual básico para la teoría de calibre " de K. Moriyasu.