Al leer sobre la imagen principal del paquete de la teoría de campo (cuántica), encontré dos definiciones diferentes del grupo de calibre:
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 ejemplo: = transformación de calibre, pero si , 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 Teoría de calibre de la forma.
Ahora, si este es el caso, ¿cuál es el grupo de calibre global? ¿después? En particular, estoy buscando la respuesta a las siguientes preguntas:
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.
Dejar un director -paquete, una forma de conexión 1 en . tal que sobre la cual P es trivial:
Usando estas trivializaciones podemos construir secciones preferidas de la siguiente manera:
En G tenemos la forma canónica de 1 con valores en definido de la siguiente manera:
Mucho sobre la transformación de calibre local.
El grupo de transformación de calibre global. es el conjunto de automorfismos del fibrado principal P:
El grupo de indicadores (global) se puede describir de tres maneras:
Si es una conexión de 1 forma que corresponde a una elección del espacio tangente horizontal en , después es también una forma de conexión 1, que define la conexión pull-back
De la última ecuación anterior concluimos que mapas a , y así mapea , la curvatura de , a , la curvatura de :
Dos conexiones y en P se denominan equivalentes de calibre si hay un con .
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 (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 es la intensidad de campo correspondiente a , y un elemento del grupo calibre entonces
Admito que estoy un poco confundido con su terminología, pero así es como la aprendí: ser un -paquete principal y un espaciotiempo.
Ahora se puede, por la transitividad de la acción del grupo sobre las fibras, definir una función por , y tales funciones a la inversa, definir una transformación de calibre por siempre y cuando cumplan , por lo que tenemos dos caracterizaciones alternativas de las transformaciones de norma locales:
Los difeomorfismos equivalentes de 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 ser una sección del paquete asociado, es decir, un campo. Por un argumento similar al anterior, estos están en biyección a -funciones equivalentes satisfactorio . Esta es esencialmente la razón por la cual, en simetría, una transformación de calibre actúa sobre los campos como .
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 , sin embargo, es sólo , 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 , 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 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. . La acción de una teoría de calibre pura (Yang-Mills) está dada entonces (hasta los prefactores) por
ya que la acción debe ser invariante bajo transformaciones de calibre y la 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.
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 ser un -paquete principal. Después
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 . Si miras esta transformación en una banalización local entonces ves que una transformación de calibre corresponde exactamente a una función que actúan sobre la banalización (y sobre las demás criaturas que viven en 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 sobre trivializar conjuntos satisfacer ciertas relaciones de compatibilidad en las intersecciones dan lugar a una sección global de , que es una transformación de calibre. Entonces, sus "transformaciones de calibre local" son solo "transformaciones globales" en parches de coordenadas.
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 de un (principal) -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 -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.
qmecanico
jamals
qmecanico