Nicht reduzierbare Darstellungen der Lorentz-Gruppe

In Weinbergs The Theory of Quantum Fields, Band 1, betrachtet er die Klassifizierung von Ein-Teilchen-Zuständen unter der inhomogenen Lorentz-Gruppe. Meine Frage bezieht sich nur auf die Seiten 62-64.

Er definiert Staaten als P μ | p , σ = p μ | p , σ , wo σ ist irgendein anderes Etikett. Dann zeigt er das für eine Lorentz-Transformation:

P μ U ( Λ ) | p , σ = Λ ρ μ p ρ U ( Λ ) | p , σ
Deswegen:
U ( Λ ) | p , σ = σ ' C σ ' σ ( Λ , p ) | Λ p , σ ' .
Dann will er finden C in irreduziblen Darstellungen der inhomogenen Lorentzgruppe. Für alle m er wählt a k so dass k μ k μ = m 2 . Dann definiert express p 's mit Masse m, gem p μ = L v μ ( p ) k v .

Dann definiert er

| p , σ = N ( p ) U ( L ( p ) ) | k , σ
(wo N ( p ) sind Normalisierungskonstanten). Diese letzte Aussage habe ich nicht verstanden. Ist σ ein Eigenwert des entsprechenden Operators oder nur ein Label? Ich meine, wenn J | k , σ = σ | k , σ dann ist es wahr, J | p , σ = σ | p , σ . Wenn ja, wie können wir das sagen, wenn
U ( Λ ) | k , σ = σ ' C σ ' σ ( Λ , k ) | Λ k = p , σ '

Danke für jede Hilfe. Die ersten Seiten dieser Anmerkungen zur Allgemeinen Relativitätstheorie aus der Lorentz-Invarianz sind Weinbergs Buch sehr ähnlich.

Antworten (2)

Für die Poincaré-Algebra gibt es (soweit ich weiß) zwei verschiedene Ansätze, um ihre Darstellungen zu finden. Beim ersten Ansatz geht man von einer endlichdimensionalen Darstellung der (komplexisierten) Lorentz-Algebra aus und konstruiert mit ihrer Hilfe eine räumliche Darstellung einiger Körper im Minkowski-Raum. Die so erhaltene Darstellung ist normalerweise nicht irreduzibel, und eine irreduzible Darstellung wird daraus durch eine Differentialgleichung erhalten. ZB der Raum massiver Dirac-Felder, der die Dirac-Gleichung erfüllt, bildet eine irreduzible Darstellung der Poincaré-Gruppe (später hinzugefügt: letzte Aussage ist nicht ganz korrekt).

Ein anderer Ansatz besteht darin, eine (irreduzible, unitäre) Hilbert-Raum-Darstellung der Identitätskomponente der Poincaré-Algebra durch die sogenannte "Little-Group-Methode" zu finden. Dies tut Weinberg auf den Seiten 62-64 in Band 1 seines QFT-Buches. Die Idee dieses Ansatzes ist folgende --

Fixieren Sie im Impulsraum ein Hyperboloid S m = { p | p 2 = m 2 , p 0 0 } entsprechend einer gegebenen (nichtnegativen) Masse m . (Anmerkung: Hier verwende ich Signatur ( 1 , 1 , 1 , 1 ) )

Wählen Sie ein 4-Impuls k an S m . Lassen G k sei die maximale Untergruppe von (der Identitätskomponente) der Lorentz-Gruppe, so dass G k behebt k . dh für jede Lorentz-Transformation Λ G k wir haben Λ k = k . G k heißt kleine Gruppe entsprechend 4-Impuls k .

Lassen v k sei eine feste endlichdimensionale irreduzible Darstellung von G k (oder doppelte Abdeckung von G k ) . Legen Sie eine Basis dieses Vektorraums fest | k , 1 , | k , 2 , , | k , n wo n ist (komplexe) Dimension von v k {beachten Sie, dass k ist ein fester Vektor und keine Variable.}

Jetzt für jeden anderen p S m einen Vektorraum einführen v p die von der Basis aufgespannt wird | p , 1 , | p , 2 , , | p , n .

Die Hilbert-Raum-Darstellung (der Identitätskomponente von) der Poincaré-Gruppe wird nun durch Kleben dieser Vektorräume konstruiert v p ist zusammen. Dies geschieht wie folgt: -

i) Definiere H direkte Summe von sein v p 's.

ii) Für jeden p S m Korrigieren Sie eine Lorentz-Transformation L p das nimmt dich ab k zu p , dh L p ( k ) = p . Legen Sie auch eine Nummer fest N ( p ) (Dies wird verwendet, um eine geeignete Normierung für die Basiszustände festzulegen). Nehmen Sie insbesondere L k = ich .

iii) Operator definieren U ( L p ) korrespondierend zu L p an v k wie :-

(1) U ( L p ) | k , σ = N ( p ) 1 | p , σ , σ = 1 , , n

Dies definiert nur die Aktion von L p ist auf Subraum v k von H . Tatsächlich erstreckt sich diese Definition jedoch ausschließlich auf die Wirkung der gesamten (Identitätskomponente der) Poincaré-Gruppe auf die Gesamtheit H folgendermaßen --

Vermuten Λ JEDE Lorentz-Transformation in der Identitätskomponente der Lorentz-Gruppe sein, und | p , σ beliebiger Basiszustand sein. Dann (alle folgenden Schritte stammen aus Weinbergs Buch):

U ( Λ ) | p , σ = N ( p ) U ( Λ ) U ( L p ) | k , σ mit def. (1) = N ( p ) U ( Λ . L p ) | k , σ (vom verlangen U ( Λ ) U ( L p ) = U ( Λ . L p ) ) = N ( p ) U ( L Λ p . L Λ p 1 . Λ . L p ) | k , σ = N ( p ) U ( L Λ p ) U ( L Λ p 1 . Λ . L p ) | k , σ .

Nun beachte das L Λ p 1 . Λ . L p ist ein Element von G k {check it} und v k ist irreduzible Darstellung von G k . So U ( L Λ p 1 . Λ . L p ) | k , σ ist wieder drin v k ; und aus (1) wissen wir wie U ( L Λ p ) wirkt auf v k ; also wissen wir, was ist U ( Λ ) | p , σ .

Zusammenfassend besteht die Idee der Kleingruppenmethode darin, irreduzible Hilbert-Raumdarstellungen der Identitätskomponente der Poincare-Gruppe ausgehend von endlichdimensionalen irreduziblen Darstellungen der Kleingruppe zu konstruieren, die festen vier Impulsen entsprechen.


Wenn v k ist keine richtige Darstellung von G k sondern ist eine Darstellung des Doppeldeckels G k von G k dann müssen wir auch einen Abschnitt angeben G k G k der Deckkarte, damit wir wissen wie G k wirkt auf v k .

Kommentare sind nicht für längere Diskussionen gedacht; Diese Konversation wurde in den Chat verschoben .

Bezüglich der Diskussion von Impuls-Eigenzuständen und der folgenden Herleitung in Weinbergs Buch, σ ist nur ein Etikett, das jeden Freiheitsgrad bezeichnet, der kein Impuls ist. Obwohl es mit Spin identifiziert werden kann, ist seine Natur für die vorliegende Diskussion nicht relevant.

Danke für deinen Kommentar, ich weiß, dass er verwendet σ Für alles andere als Schwung, aber meine Frage hat nichts mit Spin zu tun, ich habe verwendet J | p , σ = σ | p , σ für alle beobachtbaren. Ich frage, ob diese Beziehung nach der Definition von wahr ist | p , σ = N ( p ) U ( L ( p ) ) | k , σ .
Ja, es ist wahr. Das σ sind Eigenwerte einiger Operatoren, die mit kommutieren P Betreiber. Es würde keinen Sinn machen, sie zu verwenden, um eigenkets anders zu kennzeichnen.
@ user1504 Aber in diesem Notizen- Link sagt er das (auf Seite 2 zwischen (7) und (8) ) σ kein Eigenwert von ist J z zum p 0 .
Das widerspricht nichts, was ich gesagt habe. Es muss nicht der Eigenwert von sein J z .
Aber es ist ein Eigenwert von J z zum | k , σ > . Ich meine, der Operator ist hier nicht wichtig, im Link steht das für einige Operatoren J J | k , σ = σ | k , σ aber J | p k , σ σ | p k , σ .