Pregunta: ¿Cuáles son las grandes transformaciones de calibre para un campo de calibre de forma p más alto en un toro espacial d-dimensional? o un colector genérico (compacto) ? para p=1,2,3, etc. o cualquier otro número entero. ¿Hay un grupo de homotopía para etiquetar distintas clases de transformaciones de calibre grande para el campo de calibre de forma p en -toro dimensional o cualquier múltiple? (¿Debemos suponer que la teoría es una teoría de campo topológica, o no es necesaria?) Las referencias son bienvenidas.
Antecedentes: La transformación de gran calibre ha sido de ciertos intereses. El Wiki lo presenta como
Dado un espacio topológico M, un grupo topológico G y un paquete G principal sobre M, una sección global de ese paquete principal es una fijación de calibre y el proceso de reemplazar una sección por otra es una transformación de calibre. Si una transformación de calibre no es homotópica con respecto a la identidad, se denomina transformación de calibre grande. En física teórica, M suele ser una variedad y G es un grupo de Lie.
1-forma: El ejemplo bien conocido es una conexión como valor de álgebra de Lie de 1 forma. Tenemos la transformación de calibre finito.
Esto parece los dos índices enteros recuérdame el grupo de homotopía: .
2-form: Si consideramos un 2-form campo para un TQFT de tipo Schwarz, ¿tenemos la identificación por sobre el como la variedad basada? (Tenga en cuenta que - pd. del hecho matemático de que para cualquier grupo de Lie conectado compacto .) ¿Es esta la descripción correcta del grupo de homotopía? ¿Cómo funciona la transformación de calibre grande en o ?
Forma 3: ¿hay una descripción del grupo de homotopía en la transformación de calibre grande? ¿Cómo se transforma su gran calibre en o ?
El marco matemático con el que estoy familiarizado para la teoría de calibre abeliana en forma de p (la promovida por Freed, Moore y otros) es el de las formas diferenciales de Cheeger-Simons. En este marco, el espacio de campos de calibre topológicamente triviales en forma de p sobre una variedad (el análogo de los campos de calibre de 1 forma en el trivial paquete) se identifican con el cociente de por el grupo de transformación de calibre . denota el conjunto de -formas con valores enteros cuando se integran a lo largo de cualquier cerrado subvariedad dimensional . En el caso, es precisamente el espacio de todo cerrado -formas de la forma para alguna transformación de calibre . Para más detalles, recomiendo este artículo de Belov y Moore, particularmente p. 17-19.
En este marco, existe una noción de grandes transformaciones de calibre para campos de calibre en forma de p. En el caso de 1 forma, las transformaciones de calibre que no están conectados con la identidad son precisamente aquellos tal que tiene un valor distinto de cero cuando se integra alrededor de un circuito cerrado no contráctil . En el lenguaje anterior, podemos decir que los componentes conectados del espacio corresponden a las (a través del mapa que envía el -formas a su clase de-Rham) y que las grandes transformaciones de calibre se encuentran en los componentes que no se envían a por este mapa.