Lehrenfixierung und Freiheitsgrade

Heute hat mein Freund (@ Will ) eine sehr faszinierende Frage gestellt -

Betrachten Sie eine komplexe Skalarfeldtheorie mit a U ( 1 ) Messfeld ( EIN μ , ϕ , ϕ ) . Die Idee der Eichfreiheit besteht darin, dass zwei Lösungen identifiziert werden, die durch eine Eichtransformation verbunden sind (im Gegensatz zu einer globalen Transformation, bei der die Lösungen unterschiedlich sind, aber zu genau denselben Observablen führen), dh

( EIN μ ( x ) , ϕ ( x ) , ϕ ( x ) )     ( EIN μ ( x ) + μ a ( x ) , e ich a ( x ) ϕ , e ich a ( x ) ϕ ( x ) ) .
Der Prozess der "Messgerätefixierung" besteht darin, eine der vielen äquivalenten Lösungen auszuwählen, die über die Messgerätetransformation verbunden sind. Das übliche Verfahren zur Festlegung von Messgeräten besteht darin, eine Bedingung aufzuerlegen EIN μ damit man sich eine der Lösungen aussucht. Seine Frage war folgende:

Anstatt eine Eichbedingung aufzuerlegen EIN μ , warum legen wir keine Eichbedingung fest ϕ ? Würde dies nicht auch eine der vielen gleichwertigen Lösungen heraussuchen? Sollte uns das nicht auch die gleichen Observablen liefern? Wenn ja, warum machen wir das in der Praxis nicht?

Nach kurzer Diskussion kamen wir zu folgendem Ergebnis:

Die Idee der Eichsymmetrie stammt aus der Forderung, dass eine Quantentheorie Felder beinhaltet ( EIN μ , ϕ , ϕ ) haben eine Teilcheninterpretation in Bezug auf masselose Spin-1-Teilchen und 2 Spin-0-Teilchen. Vor der Fixierung des Messgeräts umfassen die Freiheitsgrade auf der Schale jedoch die eines masselosen Spin-1-Partikels und 3 Spin-0-Felder ( EIN μ 1 0 ,   ϕ , ϕ 0 ). Wir möchten nun eine Eichbedingung aufstellen, um einen skalaren Freiheitsgrad loszuwerden. Es gibt zwei Möglichkeiten, dies zu tun -

  1. Messgerätbedingung auferlegen EIN μ so dass EIN μ 1 . Jetzt, EIN μ entspricht einem masselosen Spin-1-Teilchen und der komplexe Skalar entspricht zwei Spin-0-Teilchen. Dies ist, was normalerweise getan wird.

  2. Legen Sie eine Eichbedingung an ϕ . Das kann man zum Beispiel verlangen ϕ = ϕ . Wir haben jetzt ein reales Feld, das einem Spin-0-Teilchen entspricht. Jedoch, EIN μ enthält noch die Freiheitsgrade sowohl eines masselosen Spin-1- als auch eines Spin-0-Teilchens.

Ich habe behauptet, dass das zweite Verfahren zur Befestigung des Messgeräts dem ersten völlig äquivalent ist. Der Operator, der jetzt ein masseloses Spin-1-Teilchen erzeugt, ist jedoch eine böse, möglicherweise nicht-Lorentz-invariante Kombination von EIN 0 , EIN 1 , EIN 2 und EIN 3 . Eine ähnliche Aussage gilt für den Spin-0 dof in EIN μ . Daher sind die Operatoren auf dem Hilbert-Raum, die den interessierenden Teilchen entsprechen, nicht schön. Es ist daher nicht angenehm, mit einem solchen Lehrenbefestigungsverfahren zu arbeiten.

Zusammenfassend funktionieren beide Lehrenbefestigungsverfahren. Das erste ist "nett". Der zweite nicht.

Ist diese Schlussfolgerung richtig?

HINWEIS: Durch die Anweisung EIN μ 1 , Ich meine, dass EIN μ enthält nur einen masselosen Spin-1 dof

Es macht keinen Sinn, von masselosen oder massiven Teilchen zu sprechen, die von erzeugt wurden EIN . Sie müssen eine Aktion angeben, um zu wissen, welche Lorentz-Irreps auftreten. Ohne eine Aktion können Sie nur die Anzahl der dofs zählen.
Außerdem seit EIN und ϕ durch die Eichsymmetrie gemischt werden, macht es keinen Sinn, ihre Teilchen separat zu betrachten. Sie möchten eichinvariante Observablen wie die Verbindung von Wilson-Linien betrachten ϕ und ϕ ¯ .
Ich sehe definitiv ein, dass das bloße Zählen von Freiheitsgraden zu naiv war. Ich sollte auch darüber nachdenken, wie sie sich unter der Lorentz-Transformation transformieren.

Antworten (1)

Wenn ϕ nicht Null ist, wodurch die Phase von festgelegt wird ϕ ist eine vollkommen gültige Eichbedingung. Es wird häufig in Berechnungen des Standardmodells mit dem Higgs-Feld verwendet, wo es unter dem Namen Unitarity Gauge bekannt ist . Dies ist in gewisser Weise ein nettes Maß, weil es die Tatsache deutlich macht, dass es ein massives Vektorfeld im System gibt.

Bearbeiten: Bei einheitlichen Messgeräten ist Vorsicht geboten. Es ist ein vollständiges Messgerät, wenn Sie vernünftig behandeln können ϕ als nicht Null, weil es jeden Freiheitsgrad in der Eichtransformation nutzt. Dies bedeutet zum Beispiel, dass es in Ordnung ist, in Störungsrechnungen um ein Higgs-Kondensat herum zu verwenden. Aber wenn ϕ verschwinden kann, ist die Phasenfunktion nicht eindeutig definiert, was bedeutet, dass die Eichtransformation nicht invertierbar ist. Dieses Messgerät ist nicht ganz ein Messgerät.

Ich glaube aber nicht, dass ich das meine. In diesem Fall fixieren wir kein Messgerät. Wir brechen explizit eine globale interne Symmetrie. Außerdem wird in diesem Fall ein dof aus dem Higgs-Feld nun zur Longitudinalmode eines Photons, um es in ein massives Vektorboson umzuwandeln, wodurch sich der Teilcheninhalt der Theorie ändert. Die „Pegelfixierung“, von der ich spreche, ändert jedoch nichts am Teilchengehalt der Feldtheorie. Es bettet einfach einen masselosen Spin-1 und einen Spin-0 dof in einen ein EIN μ .
Eh? Nein. Das einheitliche Messgerät ist eigentlich ein Messgerät. Es ist dasjenige, das Sie in 2 beschrieben haben und das die Phase des Skalarfelds auf 0 festlegt. (Dies verwendet den dof-Wert einer Funktion, viel mehr als das Festnageln einer globalen Symmetrie.)
OK. Es tut uns leid. Ich glaube, ich stimme dir jetzt zu. Hier ist mein aktuelles Verständnis - Messgerät, das die Phase von festlegt ϕ , gibt Ihnen natürlich den DOF eines massiven Spin-1-Teilchens und eines Skalarfelds. Meine Frage an Sie lautet dann: Können wir eine massive Spin-1-Darstellung der Poincare-Gruppe in eine masselose Spin-1-Darstellung und eine Spin-0-Darstellung zerlegen?
Wenn ja, dann sollten wir im Prinzip in der Lage sein, eine Kombination der zu finden EIN μ , das sich wie ein masseloses Spin-1-Feld umwandelt. Wir haben dann einen Operator (nenn es Ö ), das ein Eichboson erzeugt. Dann die Theorie wo EIN μ wird mit Lehre fixiert EIN μ die Darstellung des masselosen Spin-1-Teilchens entspricht der Theorie wo ϕ ist spurfest und Ö stellt das masselose Spin-1-Teilchen dar (mit Äquivalent meine ich, dass sie unter der oben erwähnten Operatoridentifikation die gleichen Observablen liefern). Ist das richtig?
Sie können den zugrunde liegenden Vektorraum zerlegen, aber die Darstellungen werden nicht zerlegt. Die Fehlanpassung wird jedoch mit der Masse verschwinden.