Über Itzyksons und Zubers Beweis des Satzes von Goldstone

In Kapitel 11-2-2 diskutieren I&Z den Satz von Goldstone. Sie beginnen mit der Behauptung, dass es sich um einen Operator handelt A existiert, so dass

(11-30) δ A ( T ) 0 | [ Q ( T ) , A ] | 0 0
die Symmetrie wird spontan gebrochen. In Gl. (11-31) fügen sie eine Vollständigkeitsrelation as ein 1 = N | N N | :
(11-31) δ A ( T ) = N D 3 X [ 0 | J 0 ( 0 ) | N N | A | 0 e ich P X C . C . ] = N ( 2 π ) 3 δ 3 ( P ) [ 0 | J 0 ( 0 ) | N N | A | 0 e ich E T C . C . ]
Nach der zeitlichen Ableitung in Gl. (11-33), was a herunterbringt E ( P ) , schließen sie daraus δ 3 ( P ) E ( P ) Null sein muss, was zu masselosen Zuständen führt.

Wenn wir jedoch die folgende Vollständigkeitsrelation verwenden würden,

1 = N D 3 P ( 2 π ) 3 2 E ( P ) | N , P N , P , |
dann würden sich die Energie im Nenner und die Energie aus der zeitlichen Ableitung der Exponentialfunktion aufheben und die Schlussfolgerung von oben würde nicht mehr funktionieren, weil es keine gibt E ( P ) mehr!


Bearbeiten 1: Ich habe festgestellt, dass Ryders QFT-Lehrbuch (S. 292) sowie Nairs QFT-Lehrbuch (S. 246) dieselbe Vollständigkeitsbeziehung verwenden 1 = N | N N | , dh der Beweis geht in die gleiche Richtung wie der in I&Z. Aber warum wählen sie diese Vollständigkeitsrelation?


Edit 2: Vielleicht ist die Antwort, die folgende (off-shell) Vollständigkeitsbeziehung zu nehmen:

1 = N D 4 P ( 2 π ) 4 | P P |
da würde das keiner geben E ( P ) im Nenner...?


Bearbeiten 3: Eine weitere Referenz, die verwendet 1 = N | N N | : arXiv-Link (Seite 5) und einer, der verwendet 1 = D 3 P ( 2 π ) 3 | P P | : arxiv-Link (Seite 19).


Bearbeiten 4: Eine Referenz gefunden (Warnung, große PDF-Dateigröße), die die Vollständigkeitsbeziehung verwendet 1 = N D 3 P ( 2 π ) 3 | P P | in Gl. (3.2) ebenfalls (Danke an @ChiralAnomaly für den Hinweis!).

Antworten (1)

Die Beziehung

(1) 1 = N D 3 P ( 2 π ) 3 2 E ( P ) | N , P N , P |
geht davon aus
(2) N , P | N ' , P ' 2 E ( P ) δ N N ' δ 3 ( P ' P ) .
Mit anderen Worten, es wird davon ausgegangen, dass masselose Null-Impuls-Zustände auf Null normiert sind. Aber um SSB zu haben, die Menge (11-30) = (11-31) soll ungleich Null und zeitunabhängig sein. Um zeitunabhängig zu sein, Terme mit ungleich Null E muss in (11-31) gestrichen werden, was bedeutet, dass die Konstante ungleich Null aus Termen mit stammen muss E = 0 ... und das ist ein Problem, weil diese Terme undefiniert sind, weil bei Verwendung von (1) und (2) Null durch Null geteilt wird, sodass wir keine Schlussfolgerungen darüber ziehen können, was wann passiert E = 0 . Dieses Problem tritt nicht auf, wenn wir verwenden
(3) 1 = N D 3 P ( 2 π ) 3 | N , P N , P |
stattdessen, weil dann
(4) N , P | N ' , P ' δ N N ' δ 3 ( P ' P ) .

Vielen Dank, das macht Sinn. Die meisten QFT-Lehrbücher, die mir einfallen, verwenden die Normalisierung (2), da sie schön Lorentz-invariant ist. Verwenden wir die Normalisierung (4) nur zum Beweis des Goldstone-Theorems und kehren dann zur kovarianten Normalisierung (2) zurück? Mit anderen Worten: Wenn wir später mit NG-Modi arbeiten, verwenden wir (2) oder (4)?
2. Frage: Das von Ihnen erwähnte Thema Null geteilt durch Null ist dies die Energie, die aus der Zeitableitung und der Energie im Nenner Ihrer Gleichung stammt. (1)?
Vielen Dank für die ausführlichen Antworten, das hilft mir sehr! In Bezug auf Ihren dritten Kommentar verwenden I & Z (und andere) daher eine Lautstärkegrenze -> unendlich, wenn sie über das Goldstone-Theorem sprechen. Und nur um sicher zu sein, die Tatsache, dass sie nicht normalisiert werden können, liegt an der δ ( 3 ) ( 0 ) , Rechts?
@ersbygre1 Ja, das ist richtig.