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 en , que se definen para transformar de alguna manera (y quizás mezclar) bajo Transformaciones de Poincaré, una densidad de Lagrange (que depende de los valores de los campos y sus derivadas) y una acción (integral de evaluados en campos evaluados en puntos). Además, suponga que para todos los campos y transformaciones de Poincaré
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 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 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 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 ?
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
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 . .
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 para el momento canónico asociado a 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 , cuyos rendimientos , 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 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.
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 .
mavzolej
qmecanico