Quadratischer Casimir-Operator höherdimensionaler su(3)su(3)\mathfrak{su}(3)-Darstellungen

In höherdimensionalen Darstellungen von S u ( 3 ) , was wird der quadratische Casimir-Operator sein? Ist es dasselbe wie in niedrigeren Dimensionen oder anders?

Was meinst du mit "gleich"? Unterschiedliche Darstellungen wirken auf unterschiedliche Räume, und es gibt keinen (offensichtlichen) Begriff der Gleichheit für Operatoren, die auf unterschiedliche Räume wirken.

Antworten (2)

Ich vermute, Sie haben nicht gefragt, was Sie wollten. Die Operatorform aller Casimir-Operatoren ist dieselbe, wie Lionelbrits betont, und SU(3) hat zwei unabhängige Operatoren , im Gegensatz zu SU(2), die nur eine hat, die quadratische. Die beiden sind eine quadratische und eine kubische, die hier der Vollständigkeit halber enthalten sind.

Die Eigenwerte dieser Operatoren variieren jedoch mit der (irreduziblen) Darstellung und dienen tatsächlich dazu, zwischen ihnen zu unterscheiden und sie zu kennzeichnen/charakterisieren, vgl. Pais (1966) .

Alle Zustände in einer gegebenen irreduziblen Darstellung nehmen denselben Wert für jeden Casimir-Operator an, der als Identität in einem Raum mit der Dimension dieser Darstellung dient. Dies liegt daran, dass Zustände in einer gegebenen Darstellung durch die Wirkung der Generatoren der Lie-Algebra verbunden sind und alle Generatoren mit den Casimir-Operatoren kommutieren.

Für SU(3) ist der quadratische Casimir C 2 ^ = k F k ^ F k ^ , und die kubische ist C 3 ^ = J k l D J k l F J ^ F k ^ F l ^ . Die F̂s sind die 8 normalisierten Generatoren dieser Lie-Algebra.

Die irreduziblen Darstellungen von SU(3) werden in der Dynkin-Basis mit bezeichnet D ( P , Q ) , bestehend aus P Quarks und Q Antiquarks (in Young-Tableaus, P ist die Anzahl der Single-Box-Spalten und Q die Anzahl der Double-Box-Spalten): Sie haben eine Dimension D ( P , Q ) = 1 2 ( P + 1 ) ( Q + 1 ) ( P + Q + 2 ) .

Zum Beispiel für die Triplettdarstellung D ( 1 , 0 ) , der Eigenwert von C ^ 2 ist 4/3, und von C ^ 3 , 10/9.

Allgemeiner gesagt, für generische irrep D ( P , Q ) , der Eigenwert von C ^ 2 Ist ( P 2 + Q 2 + 3 P + 3 Q + P Q ) / 3 , was ich vermute, war das, was Sie oben wirklich gefragt haben.

NB Nebenbei, streng genommen: Der Eigenwert ("Anomaliekoeffizient") der kubischen, C ^ 3 , Ist ( P Q ) ( 3 + P + 2 Q ) ( 3 + Q + 2 P ) / 18 , eine ungerade Funktion unter dem Austausch p↔q . Folglich verschwindet es für reelle Darstellungen, p = q , wie die Adjungierte, D ( 1 , 1 ) , dh sowohl dieser kubische Casimir als auch Anomalien verschwinden für das Oktett, die 27 , die 64 , etc..

Wie kann ich den quadratischen Casimir für berechnen u ( N ) Und u ( M | N ) (unitäre Lie- und SuperLie-Algebren)? Wie kann ich höchstgewichtige Zustände dieser Algebren kennzeichnen?
@QGravity: Einfache, aber lange Antwort: Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2. Aufl.), Springer, ISBN 978-3319134666
Wäre nicht der Eigenwert von C ^ 2 für S U ( 3 ) Sei ( P 2 + Q 2 + 3 P + 3 Q + P Q ) / 3 ?
@Urb , sicher, danke!, behoben; all die Jahre unentdeckt! .....

Die algebraische Form des quadratischen Kasimirs T 2 hängt nur von den Strukturkonstanten ab und ist daher in jeder Darstellung gleich. Wie in S U ( 2 ) , seine Matrixform ist natürlich darstellungsabhängig.

Bearbeiten: Um zu sehen, warum dies der Fall ist, nehmen Sie an, Sie haben konstruiert T 2 aus anderen Elementen der Algebra, und Sie haben dies zum Beispiel für die fundamentale Darstellung getan. Das musstest du dann zeigen [ T 2 , T ich ] = 0 für alle T ich . Natürlich können Sie nur die Strukturkonstanten verwenden, dh [ T ich , T J ] = ich F ich J k T k Und { T ich , T J } = 1 N δ ich J + D ich J k T k um dies zu zeigen. Diese hängen aber nicht von der Darstellung ab. Sie definieren die Algebra, dh sie machen sie aus S u ( N ) .

können Sie mir Material zum Beweis Ihrer Aussage vorschlagen: "Die algebraische Form des quadratischen T2-Casimirs hängt nur von den Strukturkonstanten ab und ist daher in jeder Darstellung gleich."
Ähm, die Lie-Algebra hängt nicht von der Darstellung ab, aber der Antikommutator tut es ... Tatsächlich gilt der Antikommutator-Ausdruck, den Sie geschrieben haben, nur für die Grundwelle.