¿Qué es una teoría de calibre?

Tenga en cuenta que acabo de leer alrededor de 20 debates en foros, ninguno de los cuales respondió a mi pregunta. Esta pregunta está relacionada con mi pregunta anterior . ¿ Es la simetría del espacio-tiempo una simetría de calibre? .

Estoy buscando una definición de "Teoría de calibre" en términos puramente formales. ¿Qué es una teoría gauge en el contexto de la teoría clásica de campos?

Supongamos que le dan una serie de campos { ϕ i } , i = 1 , , norte en R 4 , que se definen para transformar de alguna manera (y quizás mezclar) bajo Transformaciones de Poincaré, una densidad de Lagrange L (que depende de los valores de los campos y sus derivadas) y una acción (integral de L evaluados en campos evaluados en puntos). Además, suponga que para todos los campos ϕ = ( ϕ i ) y transformaciones de Poincaré PAG

S [ ϕ ] = S [ PAG ϕ ] .
Creo que la mayoría de la gente estará de acuerdo en que estos datos especifican una teoría de campo relativista especial clásica. ¿Es una pregunta significativa preguntar: "¿Cuáles son las simetrías de calibre de esta teoría?" ? En otras palabras: ¿Es esta una noción bien definida con solo los datos proporcionados anteriormente? Dada alguna transformación ϕ ϕ , ¿tiene sentido preguntar "¿Es esta una transformación de calibre?"?

Parece haber cierta controversia "si GR es una teoría de calibre" y "en qué sentido GR es una teoría de calibre", por lo que asumo que la respuesta a la pregunta anterior es no, pero quería estar seguro. Estoy al tanto de un artículo de Terence Tao también llamado ¿Qué es un indicador? donde, en su opinión, la elección de coordenadas es un caso especial de fijación de calibre.

Para volver a la pregunta anterior y hacerla más interesante que pedir un "No" como respuesta, considere lo siguiente: Hasta donde yo sé, la teoría libre de Klein Gordon de un campo escalar real en 3 + 1 las dimensiones no tienen simetrías de calibre (lo que sea que eso signifique). ¿Cómo construiría una teoría de campo clásica que sea "físicamente equivalente" a la teoría de Klein Gordon después de eliminar los grados de libertad de calibre? Estoy pidiendo un ejemplo si esto es razonablemente simple.

Otra versión de la primera pregunta es la siguiente: ¿Se puede tener el mismo Lagrangiano con dos grupos de calibre diferentes que hacen dos teorías diferentes? Supuestamente el hecho de que el momento canónico asociado a A 0 en Maxwell, la teoría no es dinámica (sino más bien restringida) de alguna manera implica que está presente una simetría de calibre. Sin embargo, si uno no puede determinar las transformaciones de norma mediante un procedimiento bien definido, ¿podría uno construir una teoría autoconsistente (quizás físicamente sin sentido), donde todos los componentes de A se consideran "observables"? Supongo que no, ya que la evolución temporal de tales configuraciones de campo resultaría no ser única.

Por otro lado, en la teoría de un campo escalar complejo, todos los momentos son dinámicos y la ecuación de movimiento fija todo el campo para todo el tiempo dadas condiciones iniciales razonables. ¿Es posible en este caso considerar algo más como "la simetría de calibre" de la teoría, tal vez nada, en lugar de tu ( 1 ) ?

Intente leer esto , especialmente la Sección 1.2.
Relacionado: physics.stackexchange.com/q/266992/2451 y enlaces allí.

Respuestas (1)

  1. Una simetría de calibre es simplemente una transformación de simetría de la acción que depende de manera no trivial del espacio-tiempo. Puede preguntar por todas las teorías físicas si existen tales transformaciones. Para el caso de la mecánica de partículas de un número finito de grados de libertad (donde la simetría de norma solo depende del tiempo), se sabe que la existencia de una simetría de norma es equivalente a una restricción en la formulación hamiltoniana. Tales restricciones surgen de que la transformación de Legendre del Lagrangiano no es invertible, por lo tanto, la condición

    det ( L ( q , q ˙ ) q ˙ q ˙ ) = 0 ,
    con L el lagrangiano y q , q ˙ las coordenadas generalizadas detectan la presencia de simetrías de norma. Una muy buena referencia para la visión hamiltoniana restringida de las teorías de calibre y su cuantificación mediante el procedimiento BRST es el libro de Henneaux y Teitelboim "Cuantización de sistemas de calibre" .

  2. Cuando un físico habla de una "teoría de calibre", por lo general no se refiere al caso muy genérico de una "teoría con simetría de calibre" del punto 1 (pero a veces se refieren a esto, ¡preste atención al contexto!). A menudo se refieren a una teoría con un campo de calibre , como la teoría de Yang-Mills (ver también esta respuesta mía ) o la teoría de Chern-Simons . La "controversia" sobre si "GR es una teoría de calibre" se deriva del hecho de que el "campo de calibre" de GR son los símbolos de Christoffel, que se consideran campos no dinámicos derivados de la métrica a menos que esté utilizando el formalismo de Palatini . tu ( 1 ) .

  3. Es un resultado bastante profundo de la teoría cuántica de campos que cada campo vectorial sin masa es un campo de calibre, para obtener una breve descripción general del razonamiento, consulte la última parte de esta respuesta mía . la restricción π 0 0 para el momento canónico asociado a A 0 no es una característica de la teoría de calibre, es simplemente una característica de todos los campos vectoriales, incluso un campo vectorial masivo "sufre" de esta restricción. Esta restricción, por supuesto, también genera formalmente cierta simetría de calibre en el sentido del punto 1, pero esta simetría se elimina fácilmente mediante la fijación de calibre. La restricción que hace que el electromagnetismo sea una "teoría de calibre" es la restricción secundaria en la que se incurre a partir de la condición de consistencia π ˙ 0 0 , cuyos rendimientos i π i 0 , que es la ley de Gauss! 1 Junto con la fijación de calibre para la primera transformación, la teoría medio fija de un campo vectorial sin masa tiene la familiar simetría de calibre residual A i A i + i ϵ para cualquier función ϵ . Una vez más, si desea estudiar esto en detalle formal, le recomiendo el libro de Henneaux/Teitelboim, en el que el ejemplo de la teoría de Maxwell se encuentra en el capítulo 19.

  4. Es "fácil" introducir artificialmente grados de libertad adicionales en un hamiltoniano que son redundantes, lo que lleva a que la teoría hamiltoniana se vea restringida y, por lo tanto, la acción desarrolle simetrías de calibre, consulte esta respuesta mía . También es "fácil" introducir campos de calibre en un lagrangiano simplemente declarando que todos los campos están descargados en cualquier grupo de calibre que desee y agregando el término de Yang-Mills correspondiente a la acción. Por supuesto, esto es completamente inútil, ya que estos campos no interactúan con nada y puedes omitirlos.


1 Tenga en cuenta que esto rompe una simetría percibida entre las ecuaciones de campo eléctrico y magnético: en el formalismo de acción con el vector potencial como variable dinámica, la ley de Gauss no es una ecuación de movimiento, ¡se cumple antes de resolver las ecuaciones de movimiento! Véase también esta respuesta mía .

Muchas gracias por su respuesta. El libro de Henneaux y Teitelboim ha estado en mi radar por un tiempo, probablemente sea hora de leerlo. Lo que creo haber aprendido de su respuesta, así como del enlace proporcionado por Qmechanic en su segundo comentario a la pregunta, es que una teoría de calibre en la terminología estándar puede significar cosas diferentes y que alguna teoría sea una teoría de calibre no es equivalente. que tiene transformaciones de calibre. Según entiendo más, de acuerdo con su definición, cada teoría de campo tiene simetrías de calibre. Aunque no estoy seguro de entender el criterio.
Si uno tiene una función del espacio de campos a sí mismo, ϕ ϕ , ¿cómo se decide si depende no trivialmente del espacio-tiempo? Claramente el requisito " ϕ ( X ) solo debe depender de ϕ ( X ) " (equivalentemente, dada la transformación y el valor del campo en un solo punto X se puede calcular el valor del campo transformado en X ) no es lo que se quiere definir como dependencia trivial. La transformación de Poincare no satisface el requisito anterior. ¿Se debe decir que "existe y tal que ϕ ( X ) depende solo de ϕ ( X ) dónde y se puede deducir del mapa de transformación?
@AdomasBaliuka Una transformación de campo genérica (infinitesimal) que depende de una función de parámetro ϵ ( X ) parece d ϕ = ϵ ( Δ ϕ ) + ( m ϵ ) ( Δ ϕ ) m + ( m v ϵ ) ( Δ ϕ ) m v + , donde el Δ ϕ m 1 m norte son algunas expresiones (polinomios) en los campos. Una transformación de norma es aquella en la que ϵ no es constante
¿Es esa la transformación más general a primer orden? No sé cómo escribirías transformaciones no locales (que no sé cómo definir, solo ejemplos) en esa forma. Di por ejemplo ϕ Transformada de Fourier de ϕ , o alguna otra transformada integral, tal vez no lineal. Por lo general, uno no considera tales transformaciones, pero creo que eso no viene al caso, o alternativamente me gustaría una definición de qué tipos de transformaciones son útiles para considerar y POR QUÉ.
@AdomasBaliuka Tenga en cuenta que escribí infinitesimal . Algo así como una transformada de Fourier no tiene una versión infinitesimal, es una transformación discreta, no continua. A menudo solo estamos considerando transformaciones/simetrías continuas en física porque el primer y segundo teorema de Noether requieren tales simetrías continuas.
Entonces, ¿qué hay de convolución con un gaussiano de ancho ϵ ? Esta operación actúa como identidad para ϵ 0 y por lo tanto debe tener una versión infinitesimal?! Básicamente estoy desconcertado por qué d ϕ ( X ) sólo depende de los valores y derivadas de ϵ y los valores de ϕ EN EL MISMO PUNTO X . ¿Puede señalar fuentes que cubran tales transformaciones en alguna generalidad? Solo he visto ejemplos.
@AdomasBaliuka Parece que estás usando "local"/"no local" de una manera diferente a la de los físicos: una transformación local en el sentido de la física es aquella en la que ϵ no es constante (Nadie llama a los demás "no locales", en su lugar son "globales"). Sus "transformaciones no locales" como circunvoluciones con un gaussiano simplemente no son lo que los físicos consideran cuando piensan en "simetrías de la acción". Si quiere saber por qué no, entonces esa es una pregunta completamente diferente y debe hacerla por separado.