su(1,1)≅su(2)su(1,1)≅su(2)su(1,1) \cong su(2)?

Die drei Generatoren von s u ( 2 ) die Vertauschungsrelationen erfüllen

[ J 0 , J ± ] = J ± , [ J + , J ] = + 2 J 0 .

Die drei Generatoren von s u ( 1 , 1 ) die Vertauschungsrelationen erfüllen

[ K 0 , K ± ] = K ± , [ K + , K ] = 2 K 0 .

Lassen Sie uns nun definieren

K 0 = J 0 , K + = J + , K = J .

Es ist offensichtlich, dass dies so definiert ist K 's befriedigen die s u ( 1 , 1 ) Algebra! Bedeutet dies das s u ( 1 , 1 ) ist eigentlich gleichbedeutend mit s u ( 2 ) ?

Wo ist die Argumentation falsch?

Was genau meinst du mit s u ( 1 , 1 ) ? Ist es dasselbe wie s Ö ( 1 , 1 ) zufällig?
@childofsaturn - nein, SU und SO sind nie gleich. S U ( m , n ) ist pseudounitär, dh komplexe Matrizen mit det M = 1 gehorchen M G M = M wo G ist diagonal mit m mal + 1 und n mal 1 . S U ( 1 , 1 ) endet isomorph zu S L ( 2 , R ) oder auch S Ö ( 2 , 1 ) .

Antworten (2)

Die Leiteroperatoren gehören zu den reellen Lie-Algebren 1

s u ( 1 , 1 )   :=   { m M a t 2 × 2 ( C ) m σ 3 = σ 3 m ,   t r ( m ) = 0 }   =   s p a n R { σ 1 , σ 2 , ich σ 3 }     s l ( 2 , R )   :=   { m M a t 2 × 2 ( R ) t r ( m ) = 0 }   =   s p a n R { σ 1 , ich σ 2 , σ 3 }   =   s p a n R { σ + , σ , σ 3 }     s Ö ( 2 , 1 )   :=   { m M a t 3 × 3 ( R ) m t η = η m } ,
σ ±   :=   σ 1 ± ich σ 2 2 , η   =   d ich a g ( 1 , 1 , 1 ) ,
aber sie gehören nicht zu den echten Lie-Algebren
s u ( 2 )   :=   { m M a t 2 × 2 ( C ) m = m ,   t r ( m ) = 0 }   =   s p a n R { ich σ 1 , ich σ 2 , ich σ 3 }     s Ö ( 3 )   :=   { m M a t 3 × 3 ( R ) m t = m } .
Alle oben genannten 5 reellen Lie-Algebren haben Komplexifizierungen , die isomorph zu sind
s l ( 2 , C )   :=   { m M a t 2 × 2 ( C ) t r ( m ) = 0 }   =   s p a n C { σ 1 , σ 2 , σ 3 } .

--

1 Hier folgen wir der mathematischen Definition einer reellen Lie-Algebra. Beachten Sie, dass in einem Großteil der physikalischen Literatur die Definition einer reellen Lie-Algebra mit einem konventionellen zusätzlichen Faktor der imaginären Einheit multipliziert wird ich , vgl. Fußnote 1 in meiner Phys.SE-Antwort hier .

Was meinst du mit Leiteroperatoren?
J ± und K ± . Beachten Sie insbesondere, dass die erste Gleichung von OP nicht die Generatoren von anzeigt s u ( 2 ) .

Sie können die Generatoren tatsächlich so identifizieren, wie Sie es getan haben. Die Lie-Algebren und Lie-Gruppen sind jedoch unterschiedlich, da – wie von Qmechanic schnell gesagt – Sie unterschiedliche Realitätsbedingungen für die Koeffizienten verwenden müssen.

Eine allgemeine Matrix in der S U ( 2 ) Gruppe wird geschrieben als

M = exp [ ich ( a J + + a ¯ J + γ J 0 ) ]
wo a C und γ R während die allgemeine Matrix in S U ( 1 , 1 ) wird von gegeben
M ' = exp [ ich ( a + J + + a J + β J 0 ]
wo a + , a , β R sind drei verschiedene reelle Zahlen.

Zusammenfassend z S U ( 2 ) , die Koeffizienten vor J ± sind komplexe Zahlen, die zueinander konjugiert sind, während z S U ( 1 , 1 ) , sie sind zwei unabhängige reelle Zahlen. (Und ich entschuldige mich, dass ich nicht sicher bin, ob die ich sollte im Exponenten weggelassen werden S U ( 1 , 1 ) nur nach Ihrer Konvention. Wahrscheinlich.)

Lässt man alle drei Koeffizienten vor J ± , J 0 drei unabhängige komplexe Zahlen zu sein, erhalten Sie die Komplexierung der Gruppe. Und wie Qmechanic auch schrieb, die Komplexisierung von beidem S U ( 2 ) und S U ( 1 , 1 ) ist ja das gleiche, nämlich S L ( 2 , C ) .

so s u ( 2 ) und s u ( 1 , 1 ) werden nicht nur durch ihre Vertauschungsverhältnisse bestimmt? Was sind die zusätzlichen Bedingungen?
@kaiser: Sie werden durch ihre Vertauschungsverhältnisse bestimmt, aber die J ± sind keine Elemente der reellen Lie-Algebra s u ( 2 ) (was offensichtlich ist aus der ich in der Definition J ± = J 1 ± ich J 2 , was Sie also aufgeschrieben haben, sind nicht die Kommutierungsbeziehungen von s u ( 2 ) , sondern seiner Komplexität, wie Qmechanics schreibt.
Ich vermute, dass M ' = exp [ ich ( a + J + + a J + β J 0 ] sollte sein M ' = exp [ ich ( a J + a ¯ J + β J 0 ] mit a Komplex.
Es ist tatsächlich möglich, @kaiser. Könnte bitte jemand diese Frage klären? Zum Beispiel durch eine explizite Form der Matrizen in Form von Pauli-Matrizen usw. Es muss nicht unbedingt erklärt werden, warum die Gruppen unterschiedlich sind, aber es wäre schön, auch Fehler in "redundanten" Formeln zu beheben.