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 indicadoresGRAMO
está elevado a un subgrupoH
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 enRd− 1×Rtiempo
,ϕ
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 espacioSd− 2
aG / H
. Estos mapas están clasificados porπd− 2( G / H)
.
El ejemplo más simple aparece en el modelo de Abelian Higgs en2 + 1
dimensiones. Tenemos una teoría de norma U(1) con la acción
S= ∫d3X[ -14Fμ νFμ ν+ |Dmϕ|2− V( | ϕ | ) ] ,
con
V( | ϕ | ) =λ4( | ϕ|2−v2)2.
Los mínimos clásicos ocurren para
| ϕ | =v
, y la simetría de norma es completamente Higgsed. El hamiltoniano es
H= ∫d2X [12(mi2+B2) + |Diϕ|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 → ∞vmiyo σ( θ ).
De este modo,
ϕ
define un mapa desde el círculo en el infinito espacial hasta U(1), y así define una clase
[ ϕ ] ∈π1( tú( 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 calibreGRAMO
sobre una variedad de espacio-tiempoMETRO
es descrito matemáticamente por un directorGRAMO
-paquetePAGS
sobreMETRO
,G → P→ M
. Tal paquete se clasifica por clases características en los grupos de cohomología{Hk( M,πk − 1( G ) ) }oscuroMETROk = 1
. Para una variedad de cuatro dimensiones, estos son los grupos
H1( M,π0( G ) )H2( M,π1( G ) )H3( M,π2( G ) )H4( M,π3( G ) ) .
Deje que el grupo de calibre esté conectado, de modo que
π0( GRAMO ) = 0
y
H1( M,π0( GRAMO ) ) = 0
. Para cualquier grupo de mentira
GRAMO
,
π2( GRAMO ) = 0
, asi que
H3( M,π2( G ) )
también es irrelevante. Para todos los grupos de Lie clásicos
π3( G ) = Z
(excepto por
GRAMO = S O ( 4 )
). Entonces la clase en
H4( M, Z )
especifica el número de instante del paquete.
Finalmente, tenemosH2( M,π1( G ) )
. 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 .