Wie erhält man das Ergebnis 3⊗3=6⊕3¯3⊗3=6⊕3¯3 \otimes 3 = 6 \oplus \bar{3} für SU(3)SU(3)SU(3) irreduzible Darstellungen?

Lass uns S U ( 3 ) irreduzible Darstellungen 3 , 3 ¯ . Wie man das Ergebnis bekommt

3 3 = 6 3 ¯   ?
Ich bin interessiert an 3 ¯ Teil. Es ist klar, dass für 3 3 Wir können Tensorregeln verwenden, indem wir die entsprechende Matrix auf symmetrisch erweitern 6 und antisymmetrische Teile. Aber warum haben wir 3 ¯ , nicht 3 , für antisymmetrischen Anteil?

Kennen Sie Young Tableux?
Verwandt S U ( 3 ) post: physical.stackexchange.com/q/10403/2451 und Links darin; insbesondere die Antwort physical.stackexchange.com/a/14586/2451 .
@Innisfree: Ja, ich weiß etwas darüber. Qmechaniker, danke. Ich werde es überprüfen.

Antworten (1)

Abschnitt A: Die Verbindung der Transformationen des Komplexes 3 × 3 Antisymmetrische Tensoren und ihr repräsentativer Komplex 3 -Vektoren.


Lassen U sei eine spezielle unitäre Transformation in S U ( 3 ) vertreten durch die 3 × 3 komplexe Matrix

(A-01) U = [ u 11 u 12 u 13 u 21 u 22 u 23 u 31 u 32 u 33 ]
Seit U U = ICH wir haben U = U 1 , So
(A-02) U = ( U ¯ ) T = U T ¯ [ u ¯ 11 u ¯ 21 u ¯ 31 u ¯ 12 u ¯ 22 u ¯ 32 u ¯ 13 u ¯ 23 u ¯ 33 ] = U 1
Wo u ¯ = das komplexe Konjugat von u Und U T die transponierte Matrix von U . Von det ( U ) = 1 wir haben
(A-03) U 1 = [ ( u 22 u 33 u 23 u 32 ) ( u 13 u 32 u 12 u 33 ) ( u 12 u 23 u 13 u 22 ) ( u 23 u 31 u 21 u 33 ) ( u 11 u 33 u 13 u 31 ) ( u 13 u 21 u 11 u 23 ) ( u 21 u 32 u 22 u 31 ) ( u 12 u 31 u 11 u 32 ) ( u 11 u 22 u 12 u 21 ) ]

(A-03 ' ) U 1 = [ + | u 22 u 23 u 32 u 33 | | u 12 u 13 u 32 u 33 | + | u 12 u 13 u 22 u 23 | | u 21 u 23 u 31 u 33 | + | u 11 u 13 u 31 u 33 | | u 11 u 13 u 21 u 23 | + | u 21 u 22 u 31 u 32 | | u 11 u 12 u 31 u 32 | + | u 11 u 12 u 21 u 22 | ]

Durch die Gleichungen (A-02) und (A-03) die komplexe Konjugierte der Elemente U werden durch die Elemente selbst ausgedrückt

(A-04) [ u ¯ 11 u ¯ 21 u ¯ 31 u ¯ 12 u ¯ 22 u ¯ 32 u ¯ 13 u ¯ 23 u ¯ 33 ] = [ ( u 22 u 33 u 23 u 32 ) ( u 32 u 13 u 33 u 12 ) ( u 12 u 23 u 13 u 22 ) ( u 23 u 31 u 21 u 33 ) ( u 33 u 11 u 31 u 13 ) ( u 13 u 21 u 11 u 23 ) ( u 21 u 32 u 22 u 31 ) ( u 31 u 12 u 32 u 11 ) ( u 11 u 22 u 12 u 21 ) ]
das ist u ¯ 11 = u 22 u 33 u 23 u 32 , u ¯ 21 = u 32 u 13 u 33 u 12 ... usw.

Nun lass ω = ( ω 1 , ω 2 , ω 3 ) ein Komplex 3 -Vektor ein C 3 Und Ω die antisymmetrische Matrix, die die Operation darstellt ω ×

(A-05) Ω = [ 0 ω 3 ω 2 ω 3 0 ω 1 ω 2 ω 1 0 ] = ω ×
Nehme an, dass ω umgewandelt wird ω ' unter einer speziellen einheitlichen Transformation U S U ( 3 )
(A-06) ω ' = U ω
Und Ω ' die antisymmetrische Matrix, die die Operation darstellt ω ' ×
(A-07) Ω ' = [ 0 ω 3 ' ω 2 ' ω 3 ' 0 ω 1 ' ω 2 ' ω 1 ' 0 ] = ω ' ×
Wir bestimmen jetzt die Beziehung zwischen den antisymmetrischen Matrizen Ω ' Und Ω . Für alle z C 3
(A-08) Ω ' z = ω ' × z = U ω × z = U ω × U U z = [ det ( U ) ( U 1 ) T ] ( ω × U z )
Für die letzte nach rechts Gleichheit in (A-08) verwenden wir die Identität

(B-02) M A × M B = [ det ( M ) ( M 1 ) T ] ( A × B )
freigelegt und bewiesen in Abschnitt B.

Seit det ( U ) = 1 Und U 1 = U

[ det ( U ) ( U 1 ) T ] ( ω × U z ) = [ ( U ) T ( ω × ) U ] z = [ ( U ) T Ω U ] z = [ U ¯ Ω ( U ¯ ) T ] z
also endlich
(A-09) ω ' = U ω Ω ' = ( U ) T Ω U = U ¯ Ω ( U ¯ ) T
Seit U ¯ ist auch eine spezielle unitäre Transformation, U ¯ S U ( 3 ) , ersetzen U von U ¯ in obiger Gleichung (A-09) haben wir

(A-10) ω ' = U ¯ ω Ω ' = U Ω U T
Beachten Sie, dass die beiden Gleichungen in (A-10) im folgenden Sinne äquivalent sind: Wenn Ω ist ein 3 × 3 antisymmetrische Matrix, die das Produkt darstellt ω × Wo ω C 3 , Und Ω ' = U Ω U T ,Wo U S U ( 3 ) , Dann Ω ' ist auch ein 3 × 3 Antisymmetrische Matrix

Nachweisen :  ( Ω ' ) T = ( U Ω U T ) T = ( U T ) T Ω T U T = U ( Ω ) U T = U Ω U T = Ω '
und stellt das Produkt dar ω ' × , Wo ω ' = U ¯ ω .

(A-10 ' ) Ω ' = U Ω U T ω ' = U ¯ ω
Dies wird auch durch die Gleichsetzung durch Elemente in der Gleichung bestätigt
[ 0 ω 3 ' ω 2 ' ω 3 ' 0 ω 1 ' ω 2 ' ω 1 ' 0 ] = [ u 11 u 12 u 13 u 21 u 22 u 23 u 31 u 32 u 33 ] [ 0 ω 3 ω 2 ω 3 0 ω 1 ω 2 ω 1 0 ] [ u 11 u 21 u 31 u 12 u 22 u 32 u 13 u 23 u 33 ]
nachgeben
[ ω 1 ' ω 2 ' ω 3 ' ] = [ ( u 22 u 33 u 23 u 32 ) ( u 23 u 31 u 21 u 33 ) ( u 21 u 32 u 22 u 31 ) ( u 32 u 13 u 33 u 12 ( u 33 u 11 u 31 u 13 ) ( u 31 u 12 u 32 u 11 ) ( u 12 u 23 u 13 u 22 ( u 13 u 21 u 11 u 23 ) ( u 11 u 22 u 12 u 21 ) ] [ ω 1 ω 2 ω 3 ]
und so durch (A-04)
(A-11) ω ' = U ¯ ω

Hinweis: Dieses Ergebnis hat mit einem ersten Schritt zum Aufbau von Baryonen aus 3 Quarks zu tun

(A-12) 3 3 = 6 3 ¯

Die Invarianz von ( dem Komplex 3 × 3 Tensor ) Antisymmetrie unter U S U ( 3 ) ist die Invarianz des Komplexes 3 -dimensionalen Raum ihres Vertreters 3 -Vektoren ω , die transformiert werden unter U ¯ und nicht darunter U . Dies erklärt warum 3 ¯ und nicht 3 .

Wenn U = U ¯ = M , das ist U real ist, dann stellt es eine reine Rotation dar R 3 , M T = M 1 und (A-10 ' ) ergibt

(A-13) Ω ' = M Ω M 1 ω ' = M ω


Abschnitt B : Eine nützliche Identität, die in Abschnitt A erforderlich ist


Wenn A = ( A 1 , A 2 , A 3 ) , B = ( B 1 , B 2 , B 3 ) sind komplex 3 -Vektoren ein C 3 Und M eine umkehrbare lineare Transformation in diesem Raum dargestellt durch die 3 × 3 komplexe Matrix

(B-01) M = [ M 11 M 12 M 13 M 21 M 22 M 23 M 31 M 32 M 33 ] = [ ρ 1 ρ 2 ρ 3 ]
Wo ρ ich ( ich = 1 , 2 , 3 ) bezeichne seinen Zeilenkomplex 3 -Vektoren, dann
(B-02) M A × M B = [ det ( M ) ( M 1 ) T ] ( A × B )
Wo
(B-03) det ( M ) = die Determinante von  M = ρ 1 ( ρ 2 × ρ 3 )

(B-04) ( M 1 ) T = die transponierte Umkehrung von M = 1 det ( M ) [ ( ρ 2 × ρ 3 ) ( ρ 3 × ρ 1 ) ( ρ 1 × ρ 2 ) ]
Der Ausdruck A B ist definiert durch
(B-05) A B = A 1 B 1 + A 2 B 2 + A 3 B 3
nicht zu verwechseln mit dem üblichen Innenprodukt in C 3
(B-06) A , B = A 1 B ¯ 1 + A 2 B ¯ 2 + A 3 B ¯ 3
Beweis: Let
H = M A × M B
Wenn { e 1 , e 2 , e 3 } ist eine orthonormale Basis von C 3 dann kann man formal für zwei beliebige Zeilenvektoren schreiben
ρ × σ = | e 1 e 2 e 3 ρ 1 ρ 2 ρ 3 σ 1 σ 2 σ 3 |
("formal", weil eine Determinante Zahl ist, hier die e ich sind Vektoren). Somit
H = | e 1 e 2 e 3 ( M 11 A 1 + M 12 A 2 + M 13 A 3 ) ( M 21 A 1 + M 22 A 2 + M 23 A 3 ) ( M 31 A 1 + M 32 A 2 + M 33 A 3 ) ( M 11 B 1 + M 12 B 2 + M 13 B 3 ) ( M 21 B 1 + M 22 B 2 + M 23 B 3 ) ( M 31 B 1 + M 32 B 2 + M 33 B 3 ) |
oder in kompakterer Form
H = | e 1 e 2 e 3 ( ρ 1 A ) ( ρ 2 A ) ( ρ 3 A ) ( ρ 1 B ) ( ρ 2 B ) ( ρ 3 B ) |
So
H 1 = ( ρ 2 A ) ( ρ 3 B ) ( ρ 2 B ) ( ρ 3 A ) = ρ 2 [ ( ρ 3 B ) A ( ρ 3 A ) B ] ρ 3 × ( A × B ) = ρ 2 [ ρ 3 × ( A × B ) ] = ( ρ 2 × ρ 3 ) ( A × B )
das ist
H 1 = ( ρ 2 × ρ 3 ) ( A × B )
und durch zyklische Permutation der Indizes 1,2,3 haben wir für die anderen beiden Komponenten
H 2 = ( ρ 3 × ρ 1 ) ( A × B )
H 3 = ( ρ 1 × ρ 2 ) ( A × B )
und schlussendlich
H = M A × M B = [ ( ρ 2 × ρ 3 ) ( ρ 3 × ρ 1 ) ( ρ 1 × ρ 2 ) ] ( A × B ) = [ det ( M ) ( M 1 ) T ] ( A × B )
Beachten Sie das für M eine reelle orthonormale Matrix
M M T = ICH M 1 = M T  Und  det ( M ) = ± 1
und Gleichung (B-02) liefert wie erwartet
( M A × M B ) = ± M ( A × B )
Das '+'-Zeichen gilt für M eine reine Drehung ist, während das '-'-Zeichen gültig ist M eine Drehung plus eine Spiegelung.

Ich bin wirklich beeindruckt von der Detailgenauigkeit Ihrer Notizen (ich persönlich schreibe auch Notizen mit dem Ziel, etwas "so klar zu schreiben, dass es unmöglich ist, es nicht zu verstehen", aber ich muss sagen, dass ich manchmal Dinge überspringe). Lassen Sie mich hier einen Hinweis auf einen direkten Beweis von (A-9), (A-10) geben: Ω J ich = ϵ J k ich ω k , ω ' k = u l k ω l Ω J ' ich = ϵ J k ich u l k ω l . Der Trick liegt in der folgenden Formel basierend auf dem expliziten Ausdruck der Determinante: ϵ ich J k = ϵ A B C u ich A u J B u k C . "Multiplizieren" Sie beide Seiten mit u P k ...
Ich habe in der Formel etwas geschummelt, was zB in math.stackexchange.com/questions/815278/… erwähnt wird . habe ich schon benutzt D e T ( u ) = 1 oder genauer D e T ( u T ) = 1 , also ja, nennen wir das einen vagen Hinweis.
Ich schaue mir gerade chat.stackexchange.com/rooms an an, damit wir diskutieren können (ich habe sie nie benutzt). Ich denke, sie ist angemessener als lange Kommentare. Ja, ich will auch beides, sehr detailliertes Kalkül, aber auch das Abstrakte. für den "glücklichen" Teil, ich weiß nicht ... "das ist nicht immer möglich" verstehe ich nicht?
@diracpaul Beachten Sie, dass Sie die Syntax verwenden können , um Formel- \tag{text here}Tags zu erstellen.