Grandes transformaciones de calibre para campos de calibre de forma p más altos

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? T d o un colector genérico (compacto) METRO ? 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 d -toro dimensional T d o cualquier METRO 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 A como valor de álgebra de Lie de 1 forma. Tenemos la transformación de calibre finito.

A gramo ( A + d ) gramo 1
Un ejemplo de una transformación de gran calibre de una teoría de Chern-Simons de tipo Schwarz, A d A , en 2 dimensiones T 2 toro del tamaño L 1 × L 2 con coordenadas espaciales ( X 1 , X 2 ) puede ser gramo = Exp [ i 2 π ( norte 1 X 1 L 1 + norte 2 X 2 L 2 ) ] . De esta forma, para el perfil de ancho constante ( a 1 ( t ) , a 2 ( t ) ) (respeto constante al espacio, satisfaciendo EOM d A = 0 ), la transformación de calibre grande identifica:
( a 1 , a 2 ) ( a 1 , a 2 ) + 2 π ( norte 1 L 1 , norte 2 L 2 )

Esto parece los dos Z 2 índices enteros ( norte 1 , norte 2 ) recuérdame el grupo de homotopía: π 1 ( T 2 ) = π 1 ( S 1 × S 1 ) = Z 2 .

2-form: Si consideramos un 2-form B campo para un TQFT de tipo Schwarz, ¿tenemos la identificación por π 2 ( METRO ) sobre el METRO como la variedad basada? (Tenga en cuenta que π 2 ( T d ) = 0 - pd. del hecho matemático de que π 2 ( GRAMO ) = 0 para cualquier grupo de Lie conectado compacto GRAMO .) ¿Es esta la descripción correcta del grupo de homotopía? ¿Cómo funciona la transformación de calibre grande en T d o METRO ?

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 T d o METRO ?

Respuestas (1)

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 X (el análogo de los campos de calibre de 1 forma en el trivial tu ( 1 ) paquete) se identifican con el cociente de Ω pag ( X ) por el grupo de transformación de calibre Ω Z pag ( X ) . Ω Z pag ( X ) denota el conjunto de pag -formas con valores enteros cuando se integran a lo largo de cualquier cerrado pag subvariedad dimensional Σ METRO . En el pag = 1 caso, Ω Z 1 ( X ) es precisamente el espacio de todo cerrado 1 -formas de la forma d gramo gramo 1 para alguna transformación de calibre gramo : X tu ( 1 ) . 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 gramo ( X ) que no están conectados con la identidad son precisamente aquellos gramo ( X ) tal que d gramo gramo 1 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 Ω Z pag ( X ) corresponden a las H pag ( X ; Z ) / torsión (a través del mapa que envía el pag -formas a su clase de-Rham) y que las grandes transformaciones de calibre se encuentran en los componentes que no se envían a 0 por este mapa.