Por lo general, se definen las transformaciones de calibre grande como aquellos elementos de que no se puede transformar sin problemas en la transformación de identidad. El grupo simplemente está conectado y, por lo tanto, me pregunto por qué hay transformaciones que no están conectadas con la identidad. (Otra forma de enmarcar esto es decir que las transformaciones de gran calibre no se pueden construir a partir de las infinitesimales).
Un ejemplo explícito de una transformación de calibre grande es
¿Cómo puedo ver explícitamente que es imposible transformar esta transformación en la transformación de la identidad?
puedo definir
y ciertamente
Así he encontrado un mapa suave que transforma en la transformación de la identidad. Entonces, ¿en qué sentido no está conectado con la transformación de la identidad?
Enmarcado de otra manera: ¿en qué sentido es cierto que y no son homotópicos, aunque el mapa existe? Supongo que a medida que variamos de a , de alguna manera dejamos el espacio de destino , pero no estoy seguro de cómo puedo ver esto.
Además, si podemos escribir la transformación de calibre grande como exponencial, ¿no significa esto explícitamente que obtenemos una transformación finita de calibre grande, a partir de las infinitesimales?
Según este artículo , la característica definitoria de las transformaciones de calibre grande es que la función en el exponente es singular en algún punto. ¿Es esta singularidad la razón por la que no podemos transformar transformaciones de gran calibre "en todas partes" en transformaciones de identidad? Y si es así, ¿cómo podemos ver esto?
Editar: Tengo otra idea de este documento . Allí, los autores afirman que no basta con que encontremos un mapa , con las propiedades mencionadas anteriormente, pero adicionalmente este mapa debe tener el siguiente límite
Edición 2: como se mencionó anteriormente, solo no existe un mapa suave entre y , si nos restringimos a aquellas transformaciones de calibre que satisfacen
Por lo tanto, el misterio es por qué hacemos esto. Parece que no soy el único desconcertado por esto , porque Itzykson y Zuber escriben en su libro QFT :
"en realidad no hay ningún argumento muy convincente para justificar esta restricción".
Una teoría de calibre no se puede ver de forma puramente local, tiene características inherentemente globales que no se pueden ver localmente. La formalización matemática adecuada de una teoría de calibre de Yang-Mills es que el campo de calibre es una conexión en un paquete principal sobre el espacio-tiempo . Sin embargo, en la práctica, resulta que los físicos en realidad no quieren ser el espacio-tiempo mismo, pero el espacio-tiempo compactado .
Podemos ver esto más claramente en la construcción del instanton BPST en Euclidean : La traza invariante de calibre de la intensidad de campo en sí es como y está bien definido en todas partes, cayendo hacia el infinito. Pero si consideramos el potencial de calibre asociado , uno encuentra que no está bien definido en todas partes, va como , que es singular para , pero bien definido para como , donde es esencialmente la transformación de calibre que anotó en su pregunta.
Entonces queremos como una fuerza de campo físicamente permitida, sin embargo, su correspondiente no está bien definido en . El punto de vista del paquete no puede ayudarnos porque todos los paquetes en el espacio euclidiano son triviales, lo que significa siempre debe definirse globalmente . Sin embargo, si pasamos a como la compactación conforme de e identificamos uno de los polos con "infinito" y el otro con cero, entonces se hacen posibles paquetes no triviales, y obtenemos dos descripciones locales en los "hemisferios" norte y sur que generalmente podemos extender sobre toda la esfera excepto una sola punto _ Si la descripción local de se extiende sobre toda la esfera, entonces el haz principal de la teoría gauge es trivial.
Pero ya vimos que lo específico elegimos no se extiende a , y de hecho la invariante topológica es distinto de cero, lo que significa que el paquete no es trivial, lo que significa no puede extenderse sobre toda la esfera. En particular, es inherentemente imposible encontrar un que está bien definido en cada y tiene un límite bien definido hacia el infinito que nos da la solución instantánea BPST .
Así que tienes exactamente dos opciones: O debemos considerar la teoría de calibre en En vez de , o los instantes BPST - todos los instantes , de hecho - no son en realidad soluciones permitidas de la teoría de calibre. La física estándar opta por lo primero, a la luz de las contribuciones instantáneas a cosas detectables como la anomalía axial.
Ahora que sabemos que estamos viendo un paquete principal , una transformación de calibre es un automorfismo que conserva la fibra , y puede suceder que estos no sean homotópicos al mapa de identidad . Como ejemplo de un juguete, considere el -paquete , que es el toro, y la transformación de calibre , que toma la incrustación canónica y lo enrolla una vez alrededor del círculo . Dado que el número de bobinado es un invariante de homotopía, la imagen del , como camino, no es homotópica a la fuente y por lo tanto esta transformación no es homotópica a la identidad. Esta es una transformación de calibre grande en el sentido matemático apropiado, como se define en el artículo de Wikipedia y se analiza, por ejemplo, en esta respuesta de David Bar Moshe . En realidad, no estoy seguro de si hay transformaciones de gran calibre "verdaderas" en en este sentido, pero creo que no los hay.
Al carecer de la maquinaria formal de los haces principales, el físico a menudo confunde dos objetos diferentes: las transformaciones de norma. , que descienden a funciones en la descripción local, y la función de transición , que son funciones similares a la transformación de calibre que definen el paquete en la descripción local y no existen globalmente. Ambos y el cumplen ciertas condiciones de compatibilidad para estar globalmente bien definidos.
Ahora, si el físico hace una transformación de calibre, por lo general solo consideran , lo que significa que establecen implícitamente la transformación de calibre en la otra descripción local: el conjunto abierto alrededor - Ser banal. La condición de compatibilidad dice entonces que en . En la descripción local del físico, esta superposición es la esfera en el infinito , es decir, el comportamiento de la transformación de calibre como . Entonces la condición de que que te confunde a ti, a Itzykon, a Zuber y probablemente a muchos otros no es más que la condición de que el , dado en esta descripción local, en realidad eleva a una transformación de calibre adecuada en el paquete .
A que no hace esto o necesita ser complementado por su correspondiente transformación en la otra descripción local, o cambia el paquete , es decir, el físico ha declarado que cambió la función de transición, y por lo tanto (probablemente) el paquete. Él paquetes más se clasifican por mapas "en el ecuador", en perfecta analogía con -paquetes en como se describe en esta respuesta mía . Y como , su se convierte en una función
demosteno