Wie findet man Symmetrietransformationen?

Für eine gegebene Lagrange-Funktion

L = 1 4 F μ v F μ v + | D μ ϕ | 2 v ( ϕ )

mit ϕ = 1 2 ( ϕ 1 + ich ϕ 2 ) , gibt es die infinitesimalen lokalen Symmetrietransformationen

δ ϕ 1 = a ( X ) ϕ 2 δ ϕ 2 = a ( X ) ϕ 1 δ A μ = 1 e μ a
Ich kann sie anschließen und zeigen, dass die Lagrange-Funktion unveränderlich ist. Aber wo kommen sie her? Ist es nur Erfahrung oder ergibt sich die Struktur der Transformationen aus der Lie-Algebra oder anderen Einschränkungen?

Im Allgemeinen sehen die Transformationen so aus, als wären sie für mich von Gott gegeben, auch wenn sie für verschiedene Arten von Feldern in ähnlicher Weise wiederkehren. Mit anderen Worten, warum tun δ ϕ 1 Und δ ϕ 2 mischen?

Wie erkenne ich die Struktur der Transformation für ein Feld? Ist es nur Versuch und Irrtum?

Antworten (1)

Die Transformationen lassen sich im Wesentlichen aus Darstellungen von Lie-Algebren ableiten. Für den von Ihnen geschriebenen Lagrange beschreiben wir a U ( 1 ) Eichtheorie. Nicht reduzierbare Darstellungen von U ( 1 ) sind eindimensional und haben immer die Form e ich Q a Wo Q R . Per Definition ist dies eine Repräsentation und wirkt daher auf einem eindimensionalen Vektorraum als

ϕ e ich Q a ϕ
Wir können dieses Prinzip jetzt in der Physik anwenden, wo alles eine Funktion der Raumzeit ist, ϕ ϕ ( X ) , a a ( X ) . Sie können diese Schrift überprüfen ϕ = 1 2 ( ϕ 1 + ich ϕ 2 ) reproduziert genau die Transformationen, die Sie geschrieben haben.

Die Verwandlung von A μ 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 ) e ich Q a ( 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 , j ) so dass W ( X , X ) = 1 und unter Messgerät Transformationen transformiert als
W ( X , j ) e ich Q a ( X ) W ( X , j ) e ich Q a ( j )
Wir können ein "neues Derivat" definieren als
N μ D μ ϕ ( X ) = lim ϵ 0 W ( 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 μ + Ö ( ϵ 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 VERFOLGT e UND ZEICHEN. BITTE BEHEBEN SIE SIE SELBST.

Alle Transformationen konnten nach Ihren Anweisungen reproduziert werden. Können Sie weitere Hinweise zum Verständnis Ihres vorgestellten Fachgebiets geben? W ( X , j ) . Warum transformiert es sich wie die adjungierte Darstellung? Und warum plötzlich das Spurweitenfeld A μ taucht in der Taylor-Erweiterung auf? (
W ( X , X + ϵ N ) ( X + ϵ N ) A T ϵ = 0 = ich A μ
W ( X , j ) ist eine Wilson-Linie, definiert als W ( X , j ) = exp [ Q C D X μ A μ ] Wo C ist ein verbindender Weg X Und j . Es ist nicht in der adjungierten Darstellung. Sie können die Wilson-Linie in jeder beliebigen Darstellung definieren. Für die Zwecke dieser Diskussion ist es die Repräsentation des Feldes, auf dem es handelt.