Grupo de calibre global versus local en sentido matemático: ¿ejemplos de física?

Al leer sobre la imagen principal del paquete de la teoría de campo (cuántica), encontré dos definiciones diferentes del grupo de calibre:

  • Grupo de calibre local GRAMO . Corresponde a las fibras del GRAMO -paquete. Las transformaciones locales de calibre corresponden al cambio de coordenadas en el que los campos y la forma se escriben en trivializaciones. En otras palabras, según tengo entendido, las transformaciones locales de calibre = funciones de transición para trivializaciones del paquete principal y los paquetes asociados.
  • Grupo de indicadores globales GRAMO = A tu t ( PAGS ) . Es el grupo de difeomorfismos de haz principales, y se afirma que es mucho más grande que GRAMO .

Me gustaría entender qué nociones en física corresponden a estas dos nociones aparentemente muy distintas.

Primero, en física, existe la noción de simetría global , hasta donde yo entiendo, esto no tiene nada que ver con calibre/paquetes. Pero, por otro lado, el límite de una simetría de calibre donde el parámetro se vuelve constante es una simetría global. Típico tu ( 1 ) ejemplo: Exp ( i α ( X ) ) = tu ( 1 ) transformación de calibre, pero si α ( X ) = α = C o norte s t . , entonces es una simetría global. ¿Existe alguna conexión más profunda entre la simetría global y la "simetría"/paquetes de indicadores?

En segundo lugar, agradecería algunos ejemplos que aclaren la distinción entre grupos de calibre locales y globales mencionados anteriormente. Si, por ejemplo, tomamos un prototipo S tu ( 2 ) Teoría de calibre de la forma.

L = 1 4 ( F m v a ) 2 + | ( D m ϕ ) a | 2 V ( ϕ )
entonces podemos ponerlo en la imagen del paquete como un S tu ( 2 ) haz principal, los campos A m a viviendo en el paquete asociado
( PAGS × s tu ( 2 ) ) / { ( pags , A ) ( pags gramo , A d gramo 1 A ) }
y el campo doblete ϕ en representación fundamental de S tu ( 2 ) viviendo en el paquete asociado
( PAGS × C 2 ) / { ( pags , ϕ ) ( pags gramo , ρ ( gramo 1 ) ϕ ) } .
Entonces el S tu ( 2 ) grupo al que nos referimos aquí es lo que era el grupo de calibre local GRAMO arriba, es esto correcto? Las transformaciones de calibre se aplican a las versiones de coordenadas de los campos en las trivializaciones de los paquetes asociados para cambiar entre diferentes coordenadas.

Ahora, si este es el caso, ¿cuál es el grupo de calibre global? GRAMO ¿después? En particular, estoy buscando la respuesta a las siguientes preguntas:

  • ¿Se aplican las transformaciones de calibre global al modelo? S tu ( 2 ) teoría anterior?
  • ¿En qué sentido el grupo de calibre global es mucho más grande que el grupo de calibre local?
  • ¿Existe un ejemplo de modelo en el que se pueda anotar claramente el grupo de calibre local y el grupo de calibre global?
  • ¿Hay casos en los que los dos grupos son iguales?
  • ¿Cómo se relaciona esta discusión con la cuantización de los campos clásicos (si es que lo hace)?

Editar

Publicaré aquí respuestas a varias preguntas en los comentarios/respuestas.

Acerca de las definiciones que usé en mi texto. Los tomé de mis notas de clase de un curso sobre teorías matemáticas de calibre impartido por un matemático. Aunque no hay una versión en línea de este curso, puedo proporcionar definiciones más detalladas si es necesario.

Específicamente, con respecto a la distinción de calibre global/local, encontré esta información en nLab, que parece estar de acuerdo con mi definición: http://ncatlab.org/nlab/show/gauge+group . Aunque esta página proporciona algunas explicaciones, utiliza terminología matemática con la que no estoy del todo familiarizado. El problema tanto con la página de nLab como con la conferencia a la que asistí es hacer la conexión con la física (soy físico).

Ok, solo escribiré las definiciones de mis notas de clase.

Calibre local

Dejar PAGS METRO un director GRAMO -paquete, ω una forma de conexión 1 en PAGS . tu i , tu j METRO tal que tu i tu j sobre la cual P es trivial:

ψ i : π 1 ( tu i ) tu i × GRAMO ψ j : π 1 ( tu j ) tu j × GRAMO
con funciones de transición
ψ i ψ j 1 : ( tu i tu j ) × GRAMO ( tu i tu j ) × GRAMO ψ i ψ j 1 : X X X ( metro , gramo ) ( metro , ψ i j ( metro ) gramo )
dónde ψ i j : tu i tu j GRAMO .

Usando estas trivializaciones podemos construir secciones preferidas de la siguiente manera:

σ i : tu i π 1 ( tu i ) σ i : X metro ψ i 1 ( metro , mi ) .
Definir
ω i := σ i ω ,
el cual es un gramo -valorado 1-formulario en tu i . Cambiar entre coordenadas en tu i y tu j es lo que se denomina elección de calibre local. Nos gustaría escribir una receta de transformación para ω i / j .

En G tenemos la forma canónica de 1 θ con valores en gramo definido de la siguiente manera:

θ gramo ( X gramo ) = A gramo si  ( A ) gramo = X gramo
por donde A nos referimos al campo vectorial fundamental en GRAMO correspondiente a A . Se puede demostrar que las formas 1 se transforman de la siguiente manera:
ω j = A d ψ i j 1 ω i + ψ i j θ .
Esto me parece una transformación de calibre de campos de calibre A = A m d X m en física donde escribimos
A = gramo A gramo 1 + gramo d gramo 1
e incluso creo que la transformación anterior para ω j se puede reescribir como algo como esto
ω j = A d ψ i j 1 ω i + ψ i j 1 d ψ i j ,
Entonces parece que la transformación para A con gramo = ψ i j 1 .

Mucho sobre la transformación de calibre local.

Grupo de indicadores globales

El grupo de transformación de calibre global. GRAMO es el conjunto de automorfismos del fibrado principal P:

GRAMO = A tu t ( PAGS ) .
Esto no debe confundirse con el grupo de estructura. GRAMO , que a veces se denomina grupo calibre en la literatura, pero es mucho más pequeño.

El grupo de indicadores (global) se puede describir de tres maneras:

  1. GRAMO = { ϕ : PAGS PAGS | ϕ  es un difeo.,  π ϕ = π , ϕ ( pags gramo ) = ϕ ( pags ) gramo gramo GRAMO }
  2. GRAMO = { tu : PAGS GRAMO | tu  punto liso  tu ( pags gramo ) = gramo 1 tu ( pags ) gramo gramo GRAMO } . Tenga en cuenta que ϕ ( pags ) = pags tu ( pags ) .
  3. GRAMO = { secciones  s : METRO F } , dónde F = ( PAGS × GRAMO ) / con ( pags , h ) ( pags gramo , gramo 1 pags gramo ) gramo GRAMO .

Si ω es una conexión de 1 forma que corresponde a una elección del espacio tangente horizontal H en PAGS , después ϕ ω es también una forma de conexión 1, que define la conexión pull-back

( ϕ H ) pags := ( D pags ϕ ) 1 H ϕ ( pags ) D pags ϕ ( ( ϕ H ) pags ) := H ϕ ( pags )
Concluimos que GRAMO actúa sobre las conexiones, pero la forma explícita de esta acción es bastante complicada. En cambio, la acción de GRAMO en la curvatura es fácil de entender.

De la última ecuación anterior concluimos que ϕ mapas ϕ H a H , y así mapea Ω ~ , la curvatura de ϕ H , a Ω , la curvatura de H :

ϕ ( Ω ~ ( X , Y ) ) = Ω ( X , Y ) X , Y T metro METRO .
Se puede demostrar que se cumple la siguiente relación de transformación:
Ω ~ = A d tu 1 Ω .
dónde tu : PAGS GRAMO es el mapa de la segunda definición de GRAMO anterior correspondiente a ϕ .

Dos conexiones H 1 y H 2 en P se denominan equivalentes de calibre si hay un ϕ GRAMO con ϕ H 2 = H 1 .


Una de las cosas que me interesan es que, a partir de las transformaciones de calibre local, la ley de transformación para la forma 1 ω parece ser lo que llamamos la transformación de calibre de los campos de calibre A (ver arriba), pero a partir de la transformación del grupo de calibre global, la transformación de la curvatura es lo que vemos en la física, es decir, si F es la intensidad de campo correspondiente a A , y gramo un elemento del grupo calibre entonces

F F = gramo F gramo 1 .
Además, como dije al principio, me gustaría precisar a qué corresponden estas definiciones matemáticas en lo que aprendemos en física. En física, cuando discutimos cierta teoría de calibre, existe EL grupo de calibre, como tu ( 1 ) , S tu ( 2 ) , etc. bajo los cuales los campos se transforman en determinadas representaciones, así como los propios campos de calibre, que se transforman en la representación adjunta. Ahora, en matemáticas, veo la distinción de grupo de calibre local/global. La esencia de mi pregunta es entender esta distinción y relacionarla con la física.

Comentario a la pregunta (v2): considere proporcionar una referencia a la definición anterior de grupo de calibre global, porque la definición tradicional en física es diferente. Más sobre global vs local: physics.stackexchange.com/q/48188/2451
En nuestro lenguaje, una simetría de calibre implica invariancia bajo transformaciones continuas locales. Por lo tanto, decir 'calibre global' es una especie de oxímoron; 'global' solo es suficiente.
Tenga en cuenta que, por ejemplo, en QED, una transformación de calibre global es un tipo especial de transformación de calibre , y también un tipo especial de transformación global .

Respuestas (3)

Admito que estoy un poco confundido con su terminología, pero así es como la aprendí: PAGS ser un GRAMO -paquete principal y Σ un espaciotiempo.

  • grupo calibre : Las fibras del GRAMO -haz principal sobre el espacio-tiempo, es decir, el grupo GRAMO .
  • Grupo (local) de transformaciones de calibre : el grupo de difeomorfismos t : PAGS PAGS , que conservan la fibra y GRAMO -equivariante, es decir, si π : PAGS Σ es la proyección entonces π t = π , y t conmutar con la acción del grupo en PAGS .

Ahora se puede, por la transitividad de la acción del grupo sobre las fibras, definir una función gramo t : PAGS GRAMO por t ( pags ) = pags gramo t ( pags ) pags PAGS , y tales funciones gramo : PAGS GRAMO a la inversa, definir una transformación de calibre por t gramo ( pags ) = pags gramo ( pags ) siempre y cuando cumplan gramo t ( pags h ) = h 1 gramo t ( pags ) h h GRAMO , por lo que tenemos dos caracterizaciones alternativas de las transformaciones de norma locales:

GRAMO = { t | t D i F F ( PAGS ) π t = t t ( pags h ) = t ( pags ) h h GRAMO } = { gramo | gramo METRO a pags s ( PAGS , GRAMO ) gramo ( pags h ) = h 1 gramo ( pags ) h h GRAMO }

Los difeomorfismos equivalentes de PAGS se denominan locales, ya que aplican un elemento de grupo diferente a cada punto del espacio-tiempo.

Ahora, los paquetes asociados se ven afectados de la siguiente manera: Sea ϕ : Σ PAGS × GRAMO V ser una sección del paquete asociado, es decir, un campo. Por un argumento similar al anterior, estos están en biyección a GRAMO -funciones equivalentes F ϕ : PAGS V satisfactorio F ϕ ( pags gramo ) = ρ ( gramo 1 ) F ϕ ( pags ) . Esta es esencialmente la razón por la cual, en tu ( 1 ) simetría, una transformación de calibre mi i α ( X ) actúa sobre los campos como ϕ ( X ) mi i α ( X ) ϕ ( X ) .

Entonces, verá, el grupo local de transformaciones de calibre es mucho más grande que el grupo de calibre global, ya que permite muchas más funciones además de las constantes. Siempre puede escribir claramente el grupo de calibre global (¡define su teoría!), pero escribir el local más explícito que lo que hice anteriormente es difícil. Para tu ( 1 ) , sin embargo, es sólo { X mi i α ( X ) X | α : PAGS tu ( 1 ) es suave (suficiente) } , Pienso. Los casos en los que los dos grupos coinciden exigen un espacio-tiempo que es un punto, supongo, pero no estoy del todo seguro de eso.

Además, todo esto se puede hacer de forma clásica, nada sobre las teorías de calibre es inherentemente cuántico.

EDITAR :

Muy bien, tu edición fue muy útil para discernir lo que realmente está sucediendo aquí.

Su grupo de calibre global es lo que los físicos llaman el grupo de transformaciones de calibre. El grupo de indicadores de una teoría de indicadores es lo que usted llama un grupo de indicadores locales (y lo que el nLab también llama el grupo de indicadores locales). Cuando los físicos dicen que el grupo calibre S tu ( norte ) , quieren decir que es lo que llamas el grupo de calibre local.

El grupo de calibre global del nLab es solo el grupo de transformaciones (no necesariamente transformaciones de calibre, la terminología es terrible aquí, lo sé) que deja todos los observables invariantes, es decir, es el grupo de simetrías de la teoría ( no el grupo de simetrías de el lagrangiano), el grupo de transformaciones de calibre es naturalmente un subgrupo de este. La diferencia es que este grupo de indicador global puede contener transformaciones que realmente no tienen nada que ver con la estructura del grupo de indicador local, y puede contener cosas que no son transformaciones de indicador. Este grupo de indicador global puede incluso existir si no tiene una teoría de indicador explícita, y es inherentemente un concepto QFT.

En otras noticias, tienes razón, tu forma de conexión ω es el campo de calibre A de una teoría de medida física, y se transforma exactamente como escribiste. Ahora, el problema con el campo de calibre es exactamente esa fea transformación, por lo que construimos la transformación de la curvatura en el representante adjunto y lo llamamos la intensidad del campo. F . La acción de una teoría de calibre pura (Yang-Mills) está dada entonces (hasta los prefactores) por

Σ T r a d ( F F )

ya que la acción debe ser invariante bajo transformaciones de calibre y la T r a d ( F F ) es prácticamente el único objeto que podemos construir a partir de los campos de calibre que es invariable y puede integrarse en el espacio-tiempo.

Hola ACuriousMind, ¡gracias por las explicaciones! Creo que ahora puedo entender mejor lo que está pasando. Especialmente fue muy útil su comentario de que el grupo de calibre global en realidad no necesariamente debe tener que ver con una teoría de calibre, sino que expresa todas las simetrías posibles de la teoría. A escribió algunos comentarios a la respuesta de Christoph, si quieres, puedes echarles un vistazo y podemos discutir más.

Los nombres de estas criaturas son un verdadero lío y existen principalmente dos esquemas de notación independientes: el matemático y el físico.

Dejar PAGS METRO ser un GRAMO -paquete principal. Después

  • GRAMO Los matemáticos lo llaman grupo estructural y los médicos lo llaman grupo calibre.
  • El grupo (de dimensión infinita) de automorfismos de PAGS , o de manera equivalente el grupo de secciones de A d ( PAGS ) , se llama el grupo de calibre (matemáticas) o el grupo de transformación de calibre (física)
  • Si tienes un paquete trivial PAGS = METRO × GRAMO , el grupo de automorfismos se puede identificar con mapas de METRO a GRAMO (ya que A d ( PAGS ) = METRO × GRAMO en este caso). Por lo tanto, tiene sentido hablar de transformaciones de calibre constantes, que a menudo se denominan transformaciones de calibre global.

Tenga en cuenta que no hay diferencia entre lo que llama transformaciones de indicador locales y globales. Son lo mismo visto desde diferentes puntos de vista. Una transformación de calibre es, por definición, un automorfismo de su paquete PAGS . Si miras esta transformación en una banalización local ( tu , τ ) entonces ves que una transformación de calibre corresponde exactamente a una función tu GRAMO que actúan sobre la banalización (y sobre las demás criaturas que viven en tu como conexiones, formas de curvatura y secciones locales). Por lo tanto, una transformación de calibre puede interpretarse como un cambio de trivialización (con la misma cubierta abierta) o, en la jerga de la física, como un cambio de coordenadas. Por el contrario, una familia de mapas tu i GRAMO sobre trivializar conjuntos tu i METRO satisfacer ciertas relaciones de compatibilidad en las intersecciones dan lugar a una sección global de A d ( PAGS ) , que es una transformación de calibre. Entonces, sus "transformaciones de calibre local" son solo "transformaciones globales" en parches de coordenadas.

Hola, Tobias, veo que tu punto sobre la transformación de calibre local y global es, en principio, lo mismo, en realidad sospechaba lo mismo. Sin embargo, ¿qué hay de la afirmación de que el grupo de transformaciones de calibre global es mucho más grande que el grupo de transformaciones de calibre local?
OK, lo entiendo, lo que significa es que el grupo de transformaciones de calibre es mucho más grande que el grupo de estructura, pero eso es obvio.

Esta no es una respuesta completa, sino más bien un comentario demasiado grande sobre la terminología.

Las definiciones de nLab no concuerdan con Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashvily: Advanced Classical Field Theory , que resumiré brevemente:

Los autores llaman al grupo GRAMO de un (principal) GRAMO -agrupar el grupo de estructura . Esta es una terminología estándar que también se puede encontrar en Kobayashi, Nomizu u otros libros de texto sobre geometría diferencial. La literatura de física puede llamar a este grupo el 'grupo calibre'.

El grupo de transformaciones de calibre es el grupo de automorfismos de haz equivariantes y el grupo de calibre es el grupo de automorfismos de haz equivariantes verticales (es decir, que cubre la identidad en el espacio base). Este último es lo que llamaste 'grupo de calibre global'. Hacer esta distinción puede no ser estándar; creo que la mayoría de los autores requieren que las transformaciones de calibre sean verticales. Como el grupo de calibre produce las simetrías de calibre de la teoría del campo de Lagrange correspondiente, esta parece una definición razonable.

Como dijiste correctamente, el grupo de indicadores es isomorfo al grupo de secciones globales del GRAMO -paquete asociado al paquete principal por conjugación. Ahora bien, los mapas de transición entre banalizaciones locales también vienen dados por secciones del mismo paquete, pero locales. Esto podría motivar el término 'grupo de calibre local', que sería distinto del grupo de estructura (normalmente de dimensión finita).

A nivel local, una 'transformación de calibre global', por supuesto, debe expresarse como una familia de 'transformaciones de calibre locales'. Si la teoría física es invariante de calibre, realmente no importa si se trata de una transformación de calibre 'local' o 'global'. Por la misma razón, la covarianza general de la relatividad general significa que no sucederá nada malo si combinamos las transformaciones de coordenadas y los difeomorfismos.

Gracias por la respuesta. Es compatible con los pensamientos que tenía sobre eso. Así, suponiendo que un físico trabaja casi siempre con coordenadas, para él ambas transformaciones parecen realmente iguales, ya que ambas equivalen a una transformación de secciones preferidas y, por lo tanto, a un cambio de componentes de campo que no son más que coordenadas con respecto a estas secciones preferidas. .
Dado que la única razón de la distinción que veo es que una transformación de calibre global es realmente algo así como un lujo que podemos permitirnos y simplemente refleja la libertad de elección de coordenadas. Esto también se puede hacer en un paquete trivial / con funciones ordinarias y no dice nada sobre la "torsión" de las fibras. Las transformaciones de calibre local, en cambio, expresan la imposibilidad de encontrar coordenadas globales en sistemas torcidos, son funciones de transición. La colección de todas las transformaciones de calibre locales contiene la información sobre el giro (teorema de reconstrucción). ¿Correcto?
Otro pensamiento que se me acaba de ocurrir: las transformaciones de calibre global son solo simetrías generales de la teoría, PERO con la restricción de que conservan la estructura de calibre local. Esto es precisamente lo que asegura la condición para que los automorfismos de haz sean equivariantes.