Generalize the pion self-interaction term in (3.84) to the case of four distinct types of pions, πAi≡Ai, πBi≡Bi, πCi≡Ci, πDi≡Di, each transforming as an adjoint under SU(2). In general, there are cubic and quartic interactions such as
LI=−cijklAiBjCkDl−dijkAiBjCk.
(There are also other possible terms, such as A2BC or ABD, which we will not consider.) However, LI is only SU(2) invariant for the combinations
LI=−cαTr(AB)Tr(CD)−cβTr(AC)Tr(BD)−cγTr(AD)Tr(BC)−dTr(ABC),
where A=A⋅τ/2, etc., so that Tr(AB)=A⋅B. (If A, B, and C are all pseudoscalars, then reflection invariance would require d=0.)
(a) Show explicitly that invariants like Tr(ABCD) are not independent.
(b) The existence of only 3 quartic invariants can be justified as follows: A, B, C, and D are all isospin-1 operators. Thus, the product AB is a direct sum of operators OABIAB with isospin IAB=0,1, or 2, and similarly for CD. However, the only overall singlets involve the pairing with IAB=ICD. Applying similar reasoning to the cubic term,
LI=−I=0∑2cIOABIOCDI−d1OAB1C.
Construct these invariants explicitly, and relate the coefficients cI and d1 to cα,β,γ and d.
(c) Show why there is only a single invariant in (3.84).