Topología de grupo de indicadores

La diferencia fundamental entre espinores y tensores es que los espinores son sensibles a las clases de homotopía de caminos a través del grupo de rotación. S O ( 3 ) :

π 1 ( S O ( 3 ) ) = Z 2 ,
y así rotaciones de 2 π , que pertenecen a la clase de homotopía no trivial, difieren de la identidad por un signo menos. En dos dimensiones, el grupo de rotación es topológicamente un círculo, por lo que hay infinitas rotaciones de homotopía desigual indexadas por número de devanado.

¿Ocurre algo similar con los grupos de indicadores?

Por ejemplo, el grupo de indicadores de QED es tu ( 1 ) , que es topológicamente un círculo con

π 1 ( tu ( 1 ) ) = Z ,
y, por lo tanto, hay infinitos caminos homotópicos no equivalentes a través del grupo de calibre. Sé que la invariancia de calibre no es observable, pero ¿hay consecuencias observables de la topología del grupo de calibre?

Respuestas (1)

Absolutamente. Hay muchas circunstancias en las que la topología tiene implicaciones importantes para las teorías de calibre.

Quizás el ejemplo más notable se refiere a la clasificación de solitones en una teoría de medida que se ha sometido al mecanismo de Higgs. Si un grupo de indicadores GRAMO está elevado a un subgrupo H por un campo escalar ϕ , uno puede intentar encontrar configuraciones de campo estables que no se puedan deformar continuamente a la configuración de vacío (sin un costo infinito en energía). Para una configuración de campo de energía finita en R d 1 × R tiempo , ϕ debe asíntota a una configuración de energía cero en el límite del espacio. Después ϕ define un mapa de una esfera infinitamente grande en el espacio S d 2 a GRAMO / H . Estos mapas están clasificados por π d 2 ( GRAMO / H ) .

El ejemplo más simple aparece en el modelo de Abelian Higgs en 2 + 1 dimensiones. Tenemos una teoría de norma U(1) con la acción

S = d 3 X [ 1 4 F m v F m v + | D m ϕ | 2 V ( | ϕ | ) ] ,
con
V ( | ϕ | ) = λ 4 ( | ϕ | 2 v 2 ) 2 .
Los mínimos clásicos ocurren para | ϕ | = v , y la simetría de norma es completamente Higgsed. El hamiltoniano es
H = d 2 X [ 1 2 ( mi 2 + B 2 ) + | D i ϕ | 2 + V ( | ϕ | ) ] .
Buscamos una configuración de campo que no se pueda deformar continuamente a la solución de vacío. Si la configuración debe tener energía finita, V ( | ϕ | ) debe ir a cero en el infinito espacial, por lo que | ϕ | debe acercarse v . la fase de ϕ no es fijo, sin embargo,
ϕ ( r , θ ) r v mi i σ ( θ ) .
De este modo, ϕ define un mapa desde el círculo en el infinito espacial hasta U(1), y así define una clase [ ϕ ] π 1 ( tu ( 1 ) ) = Z . Este entero es el número sinuoso del mapa. ϕ . Como un entero no puede cambiar continuamente bajo deformaciones continuas de ϕ , una configuración de campo con número de devanado distinto de cero no puede deformarse continuamente a la configuración de vacío (que tiene número de devanado cero). Por supuesto, también se debe tener cuidado de ver que los términos restantes en el hamiltoniano son finitos. Una vez hecho esto, se puede deformar esta configuración de campo topológicamente no trivial hasta que se minimice la energía y obtener así una configuración de campo estable que no esté conectada al vacío. Este solitón se llama vórtice. Para obtener más detalles, consulte, por ejemplo , Preskill, Lectures on Vortices and Monopoles .

Daré otra aplicación de ejemplo, algo más abstracta. Una teoría de calibre con grupo de calibre GRAMO sobre una variedad de espacio-tiempo METRO es descrito matemáticamente por un director GRAMO -paquete PAGS sobre METRO , GRAMO PAGS METRO . Tal paquete se clasifica por clases características en los grupos de cohomología { H k ( METRO , π k 1 ( GRAMO ) ) } k = 1 oscuro METRO . Para una variedad de cuatro dimensiones, estos son los grupos

H 1 ( METRO , π 0 ( GRAMO ) ) H 2 ( METRO , π 1 ( GRAMO ) ) H 3 ( METRO , π 2 ( GRAMO ) ) H 4 ( METRO , π 3 ( GRAMO ) ) .
Deje que el grupo de calibre esté conectado, de modo que π 0 ( GRAMO ) = 0 y H 1 ( METRO , π 0 ( GRAMO ) ) = 0 . Para cualquier grupo de mentira GRAMO , π 2 ( GRAMO ) = 0 , asi que H 3 ( METRO , π 2 ( GRAMO ) ) también es irrelevante. Para todos los grupos de Lie clásicos π 3 ( GRAMO ) = Z (excepto por GRAMO = S O ( 4 ) ). Entonces la clase en H 4 ( METRO , Z ) especifica el número de instante del paquete.

Finalmente, tenemos H 2 ( METRO , π 1 ( GRAMO ) ) . Si el grupo de calibres no está simplemente conectado ( π 1 ( GRAMO ) 0 ), una clase de este grupo proporciona datos topológicos adicionales necesarios para especificar la teoría de calibre más allá del número de instanten habitual. Una clase característica en este grupo se denomina flujo magnético discreto o flujo de 't Hooft de la teoría de calibre. Para más información sobre este tipo de ideas, véase, por ejemplo , Witten, Supersimetric Index in Four-Dimensional Gauge Theories .