Wie hängen Quantenfelder mit Darstellungen der Lorentz-Gruppe zusammen?

In der Quantenfeldtheorie lassen sich Ein-Teilchen-Zustände im Hilbert-Raum, in denen eine gegebene Darstellung der Lorentz-Gruppe wirkt, durch Angabe der Zahlen vollständig charakterisieren | M , P ; S , M S . Dieser Hilbert-Raum hat eine Dimension 2 S + 1 Wenn M 0 und Dimension 2 wenn M = 0 .

Dies wird normalerweise intuitiv wie folgt ausgedrückt:

Massive Teilchen breiten sich aus 2 S + 1 Freiheitsgrade, während sich masselose Teilchen ausbreiten 2 .

Wie kommen Felder hier in die Diskussion? Könnte jemand die mathematische Struktur intuitiv erklären, ohne zu technisch zu werden? Insbesondere,

  1. Warum repräsentieren wir Spin- 0 Teilchen als Skalarfelder, Spin- 1 / 2 Teilchen als Spinoren und Spin- 1 Teilchen als 4-Vektoren? Ich verstehe, dass die Anzahl der Freiheitsgrade in jedem Fall übereinstimmt, aber wie hängen diese Felder mit den Ein-Teilchen-Zuständen des Hilbert-Raums zusammen?
  2. Spinor- und Tensorfelder scheinen mathematisch völlig unterschiedliche Objekte zu sein. Um außerdem einen geladenen Spin- 0 Teilchen brauchen wir ein komplexes Skalarfeld! Wie bestimmen wir, welche Art von Objekt wir verwenden sollten? Geht es nur darum, die Anzahl der Komponenten des Objekts an die Freiheitsgrade des darzustellenden Teilchens anzupassen, oder gibt es eine systematischere Methode? Warum können wir nicht einfach einen Zweikomponentenvektor für einen geladenen Spin verwenden? 0 Teilchen zum Beispiel?
Siehe ausführliche Diskussion in Weinberg I

Antworten (1)

Ich werde versuchen, nur Frage 1 über die Beziehung zwischen den Operatorfeldern und den einzelnen Teilchenzuständen zu beantworten. Ich war hauptsächlich daran interessiert, QED zu verstehen, und habe daher nicht viel über geladene Skalare nachgedacht, sodass ich Frage 2 derzeit nicht beantworten kann.

Warum stellen wir Spin-0-Teilchen als Skalarfelder, Spin-1/2-Teilchen als Spinoren und Spin-1-Teilchen als 4-Vektoren dar?

Die Gesetze der Physik sind in allen Inertialsystemen gleich und daher müssen sich klassische Felder unter der homogenen Lorentz-Gruppe SO(1,3) transformieren. Die einfachsten Körper sollten daher irreduzible Darstellungen von SO(1,3) sein. Es ist sehr chaotisch, die Irreps von SO (1,3) zu finden, aber es ist viel einfacher, die Irreps der doppelten Abdeckung der Lorentz-Gruppe zu erhalten, die die spezielle (Einheitsdeterminante) lineare Gruppe von ist 2 × 2 komplexe Matrizen SL(2,C). Glücklicherweise mag die Natur auch SL(2,C). Die endlichdimensionalen Irreps von SL(2,C) sind vollständig symmetrische Weyl-Spinoren der Form ψ A B C wo die Indizes A , B , , C Werte nehmen 1 , 2 . Die endlichdimensionalen Irreps von SL(2,C) sind ebenfalls komplex konjugierte Felder, die mit gepunkteten Indizes geschrieben werden (Van-der-Waerden-Notation). χ A ˙ B ˙ C ˙ Um uns daran zu erinnern, dass ihre Transformationsmatrizen die komplex konjugierten sind.

Ein vollständig symmetrischer Weyl-Spinor mit M Indizes hat M + 1 unabhängige Komponenten. Also ein Weyl-Spinorfeld ψ A hat zwei Komponenten und repräsentiert einen Spin 1/2, ein symmetrisches Spinorfeld ψ A B hat drei Komponenten und stellt einen Spin 1 dar. Die Weyl-Spinoren sind unter Parität nicht invariant. Um also paritätsinvariante Felder zu machen, benötigt man die direkte Summe eines Felds und eines, das unter der komplexen konjugierten Transformation transformiert wird. Das paritätsinvariante Elektronenfeld hat die Form ψ A χ B ˙ . Diese hat vier unabhängige Komponenten. Wenn es als Spaltenvektor mit vier Komponenten gestapelt wird, ist es ein Dirac-Spinorfeld. Das paritätsinvariante Photonenfeld hat die Form ψ A B ψ A ˙ B ˙ . Die drei unabhängigen Komplexkomponenten von ψ A B stehen in linearem Zusammenhang mit den sechs Komponenten der elektrischen und magnetischen Felder E ich Und B ich .

Es ist sehr einfach, die Bewegungsgleichungen für diese klassischen Felder aufzustellen – es gibt wirklich keinen Platz für Vermutungen. Der Operator von 4-Impuls ist P ^ μ = ich X μ . Der 4-Impuls-Operator in Weyl-Spinor-Notation ist P ^ B A ˙ = P ^ μ [ σ μ ] B A ˙ wo die vier 2 × 2 Matrizen σ μ sind die Pauli-Matrizen. Die Dirac-Gleichung für das Elektronenfeld lautet:

P ^ B A ˙ ψ B = M χ A ˙ P ^ B ˙ A χ B ˙ = M ψ A
Die Maxwell-Gleichungen für das Photonenfeld lauten:
P ^ B A ˙ ψ B C = 0
Der Zweck der Dirac-Gleichung besteht darin, den Impuls auf die Schale zu zwingen P μ P μ = M 2 . Der Zweck der Maxwellschen Gleichungen besteht darin, die sechs reellen Freiheitsgrade des Photonenfeldes zu reduzieren ψ A B zu den beiden Helizitätsfreiheitsgraden eines Photons.

Die kurze Antwort auf die Frage lautet, dass die Felder aus irreduziblen Darstellungen der doppelten Überdeckung der homogenen Lorentzgruppe SL(2,C) bestehen müssen.

Wie hängen diese Felder mit den Ein-Teilchen-Zuständen des Hilbert-Raums zusammen?

Schreiben wir die einzelnen Teilchenzustände als | P , λ Wo P ist Schwung und λ ist Helizität. Für ein massives Teilchen Helizität λ ist die entlang des 3-Impulsvektors des Teilchens gemessene Spinkomponente. Für ein massives Teilchen mit Spin 1/2 nimmt die Helizität Werte an λ = 1 / 2 , + 1 / 2 . Für ein massives Teilchen mit Spin 1 nimmt die Helizität Werte an λ = 1 , 0 , + 1 . Mit der Helizität lässt es sich besser arbeiten als mit der z-Komponente des Spins im Ruhesystem des Teilchens, da die Helizität bei einer Drehung des Teilchens invariant ist und auch die Helizität bei einem Schub entlang der Richtung des 3-Impulses des Teilchens invariant ist.

Ich habe über diese Frage für Elektronen nachgedacht, also werde ich diesen Fall in Betracht ziehen. Das klassische Elektronenfeld ist ein Dirac-Spinor ψ A ( X μ ) wo der index A = 1 , 2 , 3 , 4 bezeichnet die vier Komponenten des Dirac-Spinors. Wenn wir zur Quantentheorie übergehen, wird dieses Feld zu einem Operatorfeld ψ ^ A ( X μ ) . Dieses Operatorfeld hat eine Erweiterung in Bezug auf Emissions- und Absorptionsoperatoren für Elektronen und Positronen,

ψ ^ A ( X μ ) = D 3 P ( 2 π ) 3 / 2 M 2 ω ( ϕ λ A ( P ) η ^ P λ ( 0 ) e ich ω T +  Positronenemissionsbedingungen ) e ich P R X R
bei dem die η ^ P λ ( 0 ) sind Absorptionsoperatoren für Elektronen mit 3-Impuls P und Helizität λ in der Schrödinger-Darstellung (zeitunabhängige Operatoren) und ϕ λ A ( P ) ist eine ebene Wellenlösung der Dirac-Gleichung und ω = P 0 (Energie). Wir können die einzelnen Teilchenzustände einbringen, indem wir den Operator lassen ψ ^ ( X ) wirken auf den Vakuumzustand | S .
ψ ^ A ( X μ ) | S = D 3 P ( 2 π ) 3 / 2 M 2 ω ϕ λ A ( P ) | P , λ e ich P μ X μ
Nehmen Sie der Einfachheit halber das hermitesche Konjugat, um zum Elektronenfeld zurückzukehren.
S | ψ ^ A ( X μ ) = D 3 P ( 2 π ) 3 / 2 M 2 ω ϕ λ A ( P ) e ich P μ X μ P , λ |
Führen Sie die Basiszustände ein S | ψ ^ A ( X μ ) = X μ , A | . Die obige Gleichung ist eine Koordinatentransformation zwischen den Einzelteilchen-Basiszuständen P , λ | und die neuen Basiszustände X μ , A | beschriftet durch den Raumzeitpunkt X μ und der Dirac-Spinor-Index A . Die Koordinatentransformation kann transparenter geschrieben werden als:
X , A | = [ T 1 ]           ( P , λ ) ( X , A ) P , λ |
Wo ( X , A ) Und ( P , λ ) sind zusammengesetzte Etiketten und T 1 ist die Transformationsmatrix von der Einzelteilchenzustandsbasis zur Spinorfeldbasis. Die Matrixelemente der Transformation sind
X , A | P , λ = [ T 1 ]           ( P , λ ) ( X , A ) = M ( 2 π ) 3 / 2 ϕ λ A ( P ) e ich P μ X μ
Bei der Transformation verwendet die Summe über die Impulsbeschriftungen das Maß der Lorentz-Invariante D 3 P / ( 2 P 0 ) .

Zusammenfassend ist das Elektronenoperatorfeld im Wesentlichen eine Basis von Zuständen, die durch eine Koordinatentransformation mit den Einzelteilchen-Basiszuständen in Beziehung stehen. Mit anderen Worten, das Elektronenoperatorfeld und die Einzelteilchenzustände sind äquivalente Darstellungen der Poincare-Gruppe. Ich habe dieses Zeug aus Abschnitt 10.5.3, Seite 207 von "Group Theory in Physics" von Wu-Ki Tung gelernt.

Nach der Quantisierung werden Felder zu Operatoren und der Vektorraum, in dem sie agieren, besteht nun aus den Ein-Teilchen-Zuständen?

Julian Rey hat die obige Frage im Kommentarbereich gestellt. Ich habe mich entschieden, meine Antwort zu erweitern, da es schwierig ist, diesen zusätzlichen Punkt in einem Kommentar zu beantworten.

Der Emissionsoperator für ein Elektron im Impulszustand P und Helizität λ Ist η ^ P , λ . Mit anderen Worten, wenn der Bediener auf das Vakuum einwirkt | S wir erhalten den Einteilchenzustand | P , λ = η ^ P , λ | S . Diese Emissionsoperatoren tun nichts anderes, als auf das Vakuum einzuwirken, also können wir genauso gut den Vakuumzustand fallen lassen und einfach die Äquivalenz registrieren η ^ P , λ | P , λ . Die Elektronenemissionsoperatoren sind gleichbedeutend mit den Einzelteilchen-Elektronenzuständen. Folglich ist die zuvor angegebene Erweiterung des Elektronenoperatorfeldes in Bezug auf die Emissions- und Absorptionsoperatoren

ψ ^ A ( X μ ) = D 3 P ( 2 π ) 3 / 2 M 2 ω ( ϕ λ A ( P ) η ^ P λ ( 0 ) e ich ω T +  Positronenemissionsbedingungen ) e ich P R X R
bedeutet wirklich, dass das Elektron-Operatorfeld eine lineare Kombination von Einzelteilchenzuständen ist. Das Elektronenoperatorfeld ψ ^ A ( X ) ist wirklich eine unendliche Menge von Basisvektoren ψ ^ A ( X ) | X , A (Ignorieren von Positronen zur Vereinfachung des Arguments), die denselben Raum überspannen wie die Einzelteilchenzustände. Die Antwort auf die Frage ist negativ; das Operatorfeld wirkt nicht auf die einzelnen Teilchenzustände, das Operatorfeld ist nur ein weiterer Satz von Basisvektoren, die den Raum der einzelnen Teilchenzustände überspannen.

Die Operatorfelder spielen in der Theorie eine weitere Rolle – sie können miteinander multipliziert werden, um Polynome zu bilden, die Mehrteilchenzustände erzeugen.

Vielen Dank, Ihre Antwort ist sehr klar. Es gibt aber noch etwas, was ich klarstellen möchte. Vor der Quantisierung bilden Felder die Grundlage eines unendlichdimensionalen Vektorraums, in dem eine Darstellung der Lorentz-Gruppe agiert. Nach der Quantisierung werden Felder zu Operatoren und der Vektorraum, in dem sie wirken, besteht nun aus den Ein-Teilchen-Zuständen. Das erscheint mir sehr seltsam, da es so aussieht, als ob Felder von einer Basis zu einer Repräsentation geworden sind, die auf eine andere wirkt Basis agiert! Ist das richtig?
@JuliánRey: Ich habe meine Antwort erweitert, um zu versuchen, Ihre Frage zu beantworten.