Messgruppentopologie

Der grundlegende Unterschied zwischen Spinoren und Tensoren besteht darin, dass Spinoren empfindlich auf die Homotopieklassen von Pfaden durch die Rotationsgruppe reagieren S Ö ( 3 ) :

π 1 ( S Ö ( 3 ) ) = Z 2 ,
und so Drehungen von 2 π , die zur nichttrivialen Homotopieklasse gehören, unterscheiden sich von der Identität durch ein Minuszeichen. In zwei Dimensionen ist die Rotationsgruppe topologisch ein Kreis, und daher gibt es unendlich viele homotopie-inäquivalente Rotationen, die durch die Windungszahl indiziert sind.

Passiert etwas Ähnliches für Gauge-Gruppen?

Zum Beispiel ist die Eichgruppe von QED U ( 1 ) , was topologisch ein Kreis mit ist

π 1 ( U ( 1 ) ) = Z ,
und so gibt es unendlich viele homotopie-inäquivalente Pfade durch die Eichgruppe. Ich weiß, dass Eichinvarianz nicht beobachtbar ist, aber gibt es beobachtbare Konsequenzen der Topologie der Eichgruppe?

Antworten (1)

Unbedingt. Es gibt viele Umstände, unter denen die Topologie wichtige Implikationen für Eichtheorien hat.

Das vielleicht bemerkenswerteste Beispiel betrifft die Klassifizierung von Solitonen in einer Eichtheorie, die dem Higgs-Mechanismus unterzogen wurde. Wenn eine Messgerätegruppe G ist Higgsed zu einer Untergruppe H durch ein Skalarfeld ϕ , kann man versuchen, stabile Feldkonfigurationen zu finden, die nicht kontinuierlich in die Vakuumkonfiguration verformt werden können (ohne unendlichen Energieaufwand). Für eine Feldkonfiguration endlicher Energie in R d 1 × R Zeit , ϕ muss zu einer Nullenergiekonfiguration an der Grenze des Raums asymptotisch werden. Dann ϕ definiert eine Karte von einer unendlich großen Kugel im Weltraum S d 2 zu G / H . Diese Karten sind klassifiziert nach π d 2 ( G / H ) .

Das einfachste Beispiel erscheint im Abelschen Higgs-Modell in 2 + 1 Maße. Wir haben eine U(1)-Eichtheorie mit der Aktion

S = d 3 x [ 1 4 F μ v F μ v + | D μ ϕ | 2 v ( | ϕ | ) ] ,
mit
v ( | ϕ | ) = λ 4 ( | ϕ | 2 v 2 ) 2 .
Die klassischen Minima treten z | ϕ | = v , und die Eichsymmetrie ist vollständig Higgsed. Der Hamiltonian ist
H = d 2 x [ 1 2 ( E 2 + B 2 ) + | D ich ϕ | 2 + v ( | ϕ | ) ] .
Gesucht wird eine Feldkonfiguration, die sich nicht kontinuierlich zur Vakuumlösung verformen lässt. Wenn die Konfiguration endliche Energie haben soll, v ( | ϕ | ) muss im räumlichen Unendlichen auf Null gehen, also | ϕ | herankommen muss v . Die Phase der ϕ ist aber nicht fixiert
ϕ ( r , θ ) r v e ich σ ( θ ) .
Daher, ϕ definiert eine Abbildung vom Kreis im räumlichen Unendlichen zu U(1) und definiert so eine Klasse [ ϕ ] π 1 ( U ( 1 ) ) = Z . Diese Ganzzahl ist die Windungszahl der Karte ϕ . Da sich eine ganze Zahl unter kontinuierlichen Verformungen von nicht kontinuierlich ändern kann ϕ , kann eine Feldkonfiguration mit einer Windungszahl ungleich null nicht kontinuierlich in die Vakuumkonfiguration (die eine Windungszahl null hat) verformt werden. Man muss natürlich auch darauf achten, dass die restlichen Terme im Hamiltonoperator endlich sind. Danach kann man diese topologisch nicht triviale Feldkonfiguration bis zur Minimierung der Energie deformieren und dadurch eine stabile Feldkonfiguration erhalten, die nicht mit dem Vakuum verbunden ist. Dieses Soliton wird Wirbel genannt. Für weitere Details siehe zB Preskill, Lectures on Vortices and Monopoles .

Ich gebe eine andere, etwas abstraktere Beispielanwendung. Eine Eichtheorie mit Eichgruppe G über einer Raumzeit-Mannigfaltigkeit M wird mathematisch durch einen Prinzipal beschrieben G -bündeln P Über M , G P M . Ein solches Bündel wird nach charakteristischen Klassen in die Kohomologiegruppen eingeteilt { H k ( M , π k 1 ( G ) ) } k = 1 schwach M . Für eine vierdimensionale Mannigfaltigkeit sind dies die Gruppen

H 1 ( M , π 0 ( G ) ) H 2 ( M , π 1 ( G ) ) H 3 ( M , π 2 ( G ) ) H 4 ( M , π 3 ( G ) ) .
Lassen Sie die Messgerätgruppe verbunden sein, damit π 0 ( G ) = 0 und H 1 ( M , π 0 ( G ) ) = 0 . Für jede Lie-Gruppe G , π 2 ( G ) = 0 , Also H 3 ( M , π 2 ( G ) ) ist auch egal. Für alle klassischen Lie-Gruppen π 3 ( G ) = Z (ausser für G = S Ö ( 4 ) ). Dann die Klasse rein H 4 ( M , Z ) gibt die Instanton-Nummer des Bündels an.

Endlich haben wir H 2 ( M , π 1 ( G ) ) . Wenn die Messgerätegruppe nicht einfach verbunden ist ( π 1 ( G ) 0 ) liefert eine Klasse in dieser Gruppe zusätzliche topologische Daten, die zur Spezifizierung der Eichtheorie über die übliche Instanton-Zahl hinaus erforderlich sind. Eine charakteristische Klasse in dieser Gruppe wird als diskreter magnetischer Fluss oder 't Hooft-Fluss der Eichtheorie bezeichnet. Für eine weitere Diskussion dieser Art von Ideen siehe z. B. Witten, Supersymmetric Index in Four-Dimensional Gauge Theories .