2

Im getting crazy trying to derive this simple expression.

Say $f^{abc}$ are structure constants of a Lie algebra of $SU(N)$ with $[T^a, T^b]=i f^{abc}T^c$. Then chosing normalization such that

$$\sum_{c,d}f^{acd}f^{bcd}=N\delta^{ab}$$

Show that for fundamental rep of $SU(N)$: $$tr(T^aT^b)=\frac{1}{2}\delta^{ab}$$

And for adjoint rep: $$tr(T^aT^b)=N\delta^{ab}$$

Let me know if you have any suggestions, all much appreciated.

EDIT: Adjoint representation case is simply a matter of definition $(T_{adj}^a)^{bc}=-if^{abc}$

$$tr(T^aT^b)=-f^{amn}f^{bnm}=f^{amn}f^{bmn}=N\delta^{ab}$$

Qmechanic
  • 201,751
Wint
  • 71
  • 2
    This appears to be a pure math question (and also potentially off-topic by our homework policy), might it be better suited for [math.SE]? – ACuriousMind Jul 12 '17 at 15:12
  • 1
    This comes from Schwartz QFT book (p.487)(Gives me the impression that its 1 line proof). These should be basic things in QFT so I thought that most people should know about, apologies if posting in the wrong section. – Wint Jul 12 '17 at 15:14
  • Dear Cosmas Zachos, than you very much for the reply! Indeed adjoint is clear to me now just by using the definition. Could you elaborate more on the fundamental case? What do you mean about not writing the algebra? – Wint Jul 12 '17 at 15:45

1 Answers1

6

It is a one-line proof, but you are meant to be familiar with the language, or some equivalent thereof. Let's call F the fundamental representation N×N matrices, A the adjoint (N²—1)×(N²—1) ones, and 0 the 1-dim singlet rep ones.

The Kronecker product fundamental-antifundamental (N×N)⊗(N×N) representation matrices are given by the coproduct, $$ F^a\otimes 1\!\!1 + 1\!\!1 \otimes \bar F^a = A^a \oplus 0 = A^a, $$ which you must check satisfies the same Lie algebra!

Now multiply this with its a ⟶ b analog, $$ (F^a\otimes 1\!\!1 + 1\!\!1 \otimes \bar F^a) (F^b\otimes 1\!\!1 + 1\!\!1 \otimes \bar F^b) = A^a A^b= \\ F^a F^b\otimes 1\!\!1 + 1\!\!1 \otimes \bar F^a \bar F^b + F^a\otimes \bar F^b + F^b\otimes \bar F^a, $$ and trace. The trace of the direct product amounts to a plain product of the separate traces of each tensor factor, of course, so the last two terms vanish, as the F s are traceless.

You thus establish in a blink that $$ 2N\operatorname{tr} F^a F^b = \operatorname{tr} A^a A^b . $$ If the trace on the right is N, the trace on the left must be 1/2.

You know the trace of all irreps must be fixed w.r.t. the adjoint normalization, as scaling up the generators of the algebra results in an identical rescaling of the structure constants, which we already fixed.

The reason for these choices, despised by mathematicians (who normalize the linchpin f s with 1), is because we want all SU(N) s to include an isospin SU(2) with its conventional spin 1/2 normalizations... The mayhem started with flavor SU(3) and lives on...

To make sure you are in control of the algorithm, try composing ${\bf 3}\otimes {\bf 3}= {\bf 6}\oplus \bar{\bf 3}$ in SU(3) and compute this trace for the sextet. You should find $3 - 1/2$=5/2. It is half the representation index you find in math texts.

Cosmas Zachos
  • 62,595
  • I do not understand why the $\oplus 0$ can be thrown away. It is not the identity of the direct sum like it is in the tensor product. Plus if you keep around the proof works out the same. – Craig Feb 22 '23 at 05:29
  • That’s the point… check the Lie algebra of the blocks…. To unconfuse yourself, take N =2, and note the reduced 4x4 matrix is really a nontrivial 3x3 block with a null 4th row and 4th column tacked on! If you want to keep those and still call that a 4x4 matrix, all power to you, but you are in for trouble... – Cosmas Zachos Feb 22 '23 at 14:51
  • Right, I can see that the Lie algebra decomposes nicely into the adjoint and trivial reps, but it seems even by simple dimension counting it doesnt make sense to throw the $0$ away until we decide we're going to take traces. Regardless, thank you – Craig Feb 22 '23 at 15:05
  • Welcome. If it helps you keep your bearings, it's quite innocuous, but junking trivial parts is routine in the bonafide metier... Tracing is always in the back of one's mind... It is understood that's what is meant... – Cosmas Zachos Feb 22 '23 at 15:18