Die Transformationen lassen sich im Wesentlichen aus Darstellungen von Lie-Algebren ableiten. Für den von Ihnen geschriebenen Lagrange beschreiben wir aU( 1 )
Eichtheorie. Nicht reduzierbare Darstellungen vonU( 1 )
sind eindimensional und haben immer die Formeich qa
WoQ∈R _
. Per Definition ist dies eine Repräsentation und wirkt daher auf einem eindimensionalen Vektorraum als
ϕ →eich qaϕ
Wir können dieses Prinzip jetzt in der Physik anwenden, wo alles eine Funktion der Raumzeit ist,
ϕ → ϕ ( x )
,
α → α ( x )
. Sie können diese Schrift überprüfen
ϕ =12√(ϕ1+ ichϕ2)
reproduziert genau die Transformationen, die Sie geschrieben haben.
Die Verwandlung vonAμ
kann dann aus geometrischen Überlegungen abgeleitet werden. Lassen Sie uns dazu versuchen, einen Lagrange-Operator zu konstruieren, der unter den lokalen Eichtransformationen invariant ist
ϕ ( x ) →eich qα ( x )ϕ ( x )
Das Erste, was zu tun ist, ist zu versuchen, einen kinetischen Term für den Skalar aufzuschreiben. Allerdings das Übliche, nämlich
∂μϕ∂μϕ
funktioniert nicht mehr, da es sich seltsamerweise unter Gauge-Transformationen transformiert. Der Grund ist natürlich, dass die Ableitung eines Feldes definiert ist als
Nμ∂μϕ ( x ) =limϵ → 0ϕ ( x + ϵ n ) − ϕ ( x )ϵ
Das Problem ist eindeutig, dass wir in der Ableitung eine Differenz von Feldern an verschiedenen Raum-Zeit-Punkten nehmen ! Da die Eichtransformation lokal ist, wirkt sie unterschiedlich auf die Felder an verschiedenen Raumzeitpunkten. Dies ist im Grunde das Problem. Um dem abzuhelfen, führen wir ein anderes Feld ein
W( x , y)
so dass
W( x , x ) = 1
und unter Messgerät Transformationen transformiert als
W( x , y) →eich qα ( x )W( x , y)e− ich qα ( J)
Wir können ein "neues Derivat" definieren als
NμDμϕ ( x ) =limϵ → 0W( x , x + ϵ n ) ϕ ( x + ϵ n ) − ϕ ( x )ϵ
Nehmen Sie die oben beschriebene Grenze und Sie werden genau die kovariante Ableitung reproduzieren, die Sie in Ihrem Lagrange haben wo
W( x , x + ϵ n ) = 1 − ich ϵNμAμ+ O (ϵ2)
Sie können auch weiter überprüfen, ob die Spurumwandlung von
W
impliziert die spezifische Eichtransformation von
Aμ
die du aufgeschrieben hast.
Somit können alle Eichtransformationen aus Argumenten wie oben "abgeleitet" werden. Beachten Sie auch, dass diese Diskussion leicht auf nicht-abelsche Eichtheorien verallgemeinert werden kann.
HAFTUNGSAUSSCHLUSS: ICH HABE DIE FAKTOREN VON NICHT VERFOLGTe
UND ZEICHEN. BITTE BEHEBEN SIE SIE SELBST.
LOQ
Prahar