¿Los campos de norma posibles en una teoría lagrangiana están siempre determinados por la estructura de los grados de libertad cargados?

Un ejemplo elemental para explicar lo que quiero decir. Considere introducir una partícula puntual clásica con un Lagrangiano L ( q , q ˙ , t ) . La transformación de calibre más general es L L + d d t Λ ( q , t ) lo que implica las transformaciones habituales del momento canónico pags pags + q Λ . La generalización de esta derivada como una extendida da la conexión del electromagnetismo. Una vez que se cuantifica el movimiento de la partícula, lo reconocemos como un movimiento local. tu ( 1 ) simetría "interna" de la fase mecánica cuántica.

¿Es esta una propiedad fundamental de las simetrías de calibres, implícita en las simetrías no dinámicas de la acción? Por "simetrías no dinámicas" me refiero a aquellas que provienen de la estructura y la libertad de etiquetado de los grados de libertad en consideración.

EDITAR : después de reflexionar sobre los comentarios a continuación, reformularía la pregunta como:

¿Las simetrías no dinámicas de un hamiltoniano local agotan todos los tipos posibles de campos de calibre a los que se puede acoplar de una manera invariante de calibre?

EDIT-2 : La razón por la que pregunto es que parece que la posibilidad misma de que una partícula se acople al electromagnetismo y la gravedad proviene de la aplicabilidad del formalismo de acción y ya está incorporada como la simetría bajo la adición de un tiempo total derivado (que, según entiendo, es una de las posibles definiciones generales de simetría de calibre).

Algunos comentarios sugieren que la respuesta es un sí trivial, presumiblemente porque las simetrías no dinámicas son simetrías de calibre por definición. Una respuesta experta concisa sería útil para cerrar la pregunta.

¿Quizás está solicitando la definición completamente general de las simetrías de calibre de una función de acción local determinada? La referencia canónica que analiza esto con gran detalle es Henneaux-Teitelboim ncatlab.org/nlab/show/Quantization+of+Gauge+Systems .
@Urs: Gracias, este libro es una gran fuente detallada, intentaré encontrar una respuesta que estoy buscando.
Aún así, agradecería una respuesta concisa de un experto en vivo.
Habría dado una respuesta más directa si hubiera entendido lo que estás preguntando. ¿Puedes tratar de aclarar? ¿Parece haber preguntado "toda simetría de calibre es inducida por una simetría no dinámica"? Por el único sentido que parezco poder darle a esta frase, es trivialmente cierta. ¿Puedes ser más específico, tal vez?
Gracias por su aporte, he editado la pregunta en respuesta. Mi sensación de que pertenece más a Physics.SE parece haber sido reivindicada, pero esperemos una respuesta definitiva.
@Urs Schreiber: ¿ayudó mi reformulación? Si la respuesta es de hecho trivialmente cierta, ¿podría publicarla para que se pueda aceptar la pregunta?
Puedes tomarlo como una definición: una transformación T es una simetría si y solo si el lagrangiano es invariante hasta una derivada total. Siempre puede permitir una derivada total ya que no cambia las ecuaciones de movimiento (con las condiciones de contorno apropiadas). Una simetría debería actuar sobre campos/coordenadas. Si entiendo su definición de "simetría no dinámica", es solo agregar una derivada total a mano y no definir ninguna transformación. Yo no lo llamaría una simetría. Puede introducir campos de calibre sin tener ninguna otra partícula a la que acoplarse. Solo imagine una teoría del fotón de Maxwell solamente.
@Yegor: claro, los campos de calibre pueden vivir su propia vida (como el fotón Maxwell gratuito que mencionas), pero en mi pregunta me importan esos campos de calibre que pueden acoplarse a una partícula/campo dado, y no me importa el carácter o existencia de la acción dinámica de los campos de calibre por sí mismos.

Respuestas (1)

He estado tratando de entender lo que posiblemente quiere decir con una "simetría no dinámica" (que seguramente no es un término que normalmente se usa en artículos de autores "de la corriente principal", por decirlo cortésmente) y me convencí de que no puede significa cualquier cosa

El problema surge en la tercera oración cuando escribe que la "transformación de calibre más general" es

L L + d Λ d t .
Pero esto no es una "transformación" en ningún sentido sensato que se me ocurra. Este es un resultado que le dice cómo el Lagrangiano se transforma debajo de algo: se transforma en sí mismo hasta un derivado total. Pero para definir una transformación, en realidad tienes que decir cómo los campos fundamentales q , pags transformarse realmente, y no sólo cómo se transforma el lagrangiano.

Si un lagrangiano se transforma a sí mismo hasta una derivada total, significa que la acción

S = d t L
puede permanecer invariable dadas algunas condiciones iniciales favorables en ± . Entonces, en general, está permitido si las simetrías transforman el Lagrangiano (o la densidad de Lagrangiano) hasta sí mismo más una derivada total, o hasta la divergencia m V m en el caso de la teoría de campos (multidimensional). En el formalismo de componentes (no en el superespacio), esta adición de derivadas/divergencias totales es inevitable, por ejemplo, para transformaciones de supersimetría.

Pero este resultado, cómo se transforma el Lagrangiano en sí mismo, es una parte extremadamente pequeña de la información que necesita para definir realmente una transformación o una simetría. Entonces, no creo que hayas definido ninguna simetría al decir cómo se transforma el Lagrangiano debajo de ella. Hay infinitas transformaciones que tienen esta propiedad.

La posibilidad de agregar una derivada total al Lagrangiano es completamente general, pero las simetrías de calibre específicas, como la simetría de Yang-Mills, los difeomorfismos o SUSY local, son mucho más particulares.

Creo que la razón por la que crees que estás "derivando" una simetría U(1) de la derivada total se reduce a tu símbolo confuso Λ cuya derivada total se suma al lagrangiano. pero la cosa Θ cuya derivada se suma al lagrangiano no es a priori lo mismo que el parámetro de una transformación U(1). En cambio, Θ puede ser una función complicada arbitraria de los campos (grados de libertad), así como los parámetros de todas las transformaciones de calibre y quizás derivados de todo.

Para una colección simple de partículas clásicas y una simetría electromagnética U(1), Θ puede ser una función simple de Λ solamente (en realidad es la suma de Λ ( X i ) evaluado en las posiciones de todas las partículas, y sumado sobre estas partículas, por lo que la relación no es tan trivial como sugieres); para otras simetrías, es una función más complicada. Pero en realidad necesita estudiar cómo se transforman los grados de libertad bajo una supuesta simetría de calibre para determinar si está allí o no; no puedes simplemente mirar cómo debería transformarse el Lagrangiano. Cuando lo hace, descubre simetrías de Yang-Mills, difeomorfismos, SUSY local y algunos otros como simetrías locales sensibles. Pero este trabajo no se puede hacer simplemente observando las derivadas totales.

Gracias, @Luboš, tu respuesta es rica y útil (como siempre). La esencia de mi observación es que agregar la derivada total a un Lagrangiano agrega un gradiente al momento canónico, que es una de las formas posibles de acoplarse a un archivo de calibre. Tendré que explicar explícitamente el caso del electromagnetismo. Lo publicaré si queda parte de mi pregunta o aceptaré su respuesta.