¿Es el impulso galileano en realidad una transformación de calibre?

En física elemental, es bien sabido que la ley de Newton

F = metro a

es invariante bajo transformaciones de Galileo. Sin embargo, la relatividad galileana no se presenta en detalle en los libros de texto ordinarios sobre Mecánica Cuántica y Mecánica Clásica. Ingenuamente, uno suele tratar al grupo de Galileo como una simetría del espacio-tiempo (es decir, simetría global y física), al igual que la simetría de Lorentz en QFT.

En QFT relativista, generalmente se aplica el teorema de Noether para encontrar cantidades conservadas asociadas con estas simetrías globales, como la energía, el momento y el momento angular, etc., porque las transformaciones de Lorentz son rígidas.

Sin embargo, no es el caso en una transformación galileana genérica, que se muestra a continuación.

t = t + a , r = R r + v t + b ,

dónde a R , v , b R 3 , y R O ( 3 ) .

En las ecuaciones anteriores, un impulso galileano puro depende claramente del parámetro de tiempo. En otras palabras, la transformación de una trayectoria clásica en el Lagrangiano L ( r ˙ ) depende explícitamente de t , por lo que esta es una transformación local (es decir, calibre).

Para ser específico, estoy hablando de la siguiente transformación de una trayectoria de una partícula clásica (no estoy hablando de la teoría de campos)

r ( t ) r ( t ) + v t ,

que claramente depende del parámetro t . Para ser aún más específicos, esta transformación toma la forma

r ( t ) r ( t ) + F ( t ) ,

dónde F ( t ) = v t es una función lineal de t . En otras palabras, esta transformación en Mecánica Clásica no es rígida.

Para evitar más información irrelevante en la sección de comentarios, tenga en cuenta que el C límite del grupo de Lorentz no es el grupo de Galilei. Esto fue aclarado por David Bar Moshe y Qmechanic ♦ aquí . A diferencia del grupo de Lorentz, el grupo de Galilei tiene una extensión central no trivial , parametrizada por la masa de la partícula newtoniana libre. Cuando se levanta su representación proyectiva , se llega a la representación lineal de su extensión central universal .

Sin embargo, a diferencia de las transformaciones de calibre en QED que dejan invariable la densidad lagrangiana, un impulso galileano cambia el lagrangiano de una partícula libre no relativista por una derivada total.

En QFT, hay una gran diferencia entre una simetría física (global) y una redundancia de calibre (local). Las simetrías físicas están en representaciones unitarias irreducibles que asignan estados a otros estados, mientras que las redundancias de calibre están en representaciones triviales que dejan los estados cuánticos invariantes. Entonces, ¿qué está pasando aquí con las transformaciones galileanas? Su subgrupo euclíeo es claramente físico, pero su impulso puro parece casi una transformación de indicador.

Los comentarios no son para una discusión extensa; esta conversación se ha movido a chat .

Respuestas (1)

El espacio-tiempo de Galileo es R × R 3 . El grupo galileano es el grupo de todas las transformaciones galileanas ( R , v , a , s ) dónde R S O ( 3 ) , v , a R 3 y s R , con la propiedad de que un evento ( t , X ) se transforma en

(1) ( R , v , a , s ) ( t , X ) = ( R X + v t + a , t + s ) .

Ahora, la distinción entre simetrías locales y globales radica en si los parámetros que especifican la transformación son constantes o funciones. En otras palabras: ¿la transformación actúa de la misma manera en todas partes o actúa de manera diferente en cada punto?

Como puede ver en (1), los parámetros de transformación, R , v , a y s están todos arreglados. No varían de un punto a otro. Esta no es una transformación local de ninguna manera.

Por supuesto t aparece en el lado derecho de (1), pero es porque t forma parte de los datos que especifican el punto sobre el que actúa la transformación. Una simetría global tiene parámetros que no dependen del punto , pero por supuesto el resultado de una aplicación particular a un punto particular dependerá del punto.

Compare esto con las transformaciones de calibre de QED. Pensando en la acción sobre el potencial de calibre A m ( X ) es

(2) A m ( X ) A m ( X ) + m λ ( X ) .

El parámetro que especifica la transformación es λ ( X ) y varía de un punto a otro. (2) es local, (1) no lo es.

¿Puedes escribir un impulso galileano puro y mostrarme que no depende de t ?
Partamos de una trayectoria clásica. X ( t ) . Un impulso galileano puro lo transforma en X ( t ) X ( t ) + v t . ¿Puedes mostrarme que esta transformación no es t -¿dependiente?
Una transformación se especifica mediante un elemento de grupo y es local cuando el elemento de grupo depende del punto en el que se aplica la transformación. Aquí el elemento de grupo se especifica mediante v y v no depende de t .
Para comparar con QED considere el global tu ( 1 ) actuando sobre el fermión: ψ ( X ) mi i λ ψ ( X ) . Infinitamente es ψ ( X ) ψ ( X ) + i λ ψ ( X ) . es mundial tu ( 1 ) porque λ λ ( X ) . Aún, ψ ( X ) depende de X . estas diciendo eso X ( t ) X ( t ) + v t es una transformación local porque el cambio es v t Dependiendo de t es como decir que la transformación del fermión aquí es local porque el cambio es i λ ψ ( X ) Dependiendo de X a través de ψ .
Un impulso galileano infinito no depende de t . Este impulso galileano es una gran transformación.
Tu ejemplo anterior es muy incómodo. Una simetría global no te permite tener una transformación infinitesimal. Una transformación infinitesimal, por definición, se define solo cuando tiene una familia continua de transformaciones de un parámetro, lo que implica que se trata de transformaciones no rígidas. Claramente no se puede comparar con mi Galilean Boost.
Lo siento, pero tengo que estar en desacuerdo. Creo que debe asegurarse de tener las definiciones correctas de simetrías locales/globales. No hay absolutamente ningún problema en considerar una familia de transformaciones globales de un solo parámetro. Global simplemente significa que el parámetro de simetría, es decir, el elemento del grupo, no depende del punto particular del espacio-tiempo. Considerando mi i λ ψ ( X ) con m λ = 0 y expandiendo para infinitesimales λ no tiene absolutamente nada de malo.
He encontrado varios artículos y libros sobre teoría de grupos que hablan de este problema. Los leeré y publicaré la respuesta. Por el momento lo que puedo decir es que tu ejemplo no tiene sentido para mí. Asumamos λ es muy pequeño, luego escribirlo como ψ + i λ ψ es solo una forma elegante de escribir la misma ecuación. No es comparable con un impulso galileano, que es una traducción dependiente del tiempo.
La diferencia es que en tu ecuación, el ( X , t ) -la dependencia solo viene de ϕ ( X ) sí mismo, pero en un impulso galileano, solo proviene de la traducción lineal v t .