Invariant symbol with four spinor indices

[torus]

Hi,
from Srednickis QFT textbook, we know the following coupling of Lorentz group representations: (2,1)\otimes (2,1) = (1,1)_A \oplus (3,1)_S, which yields \epsilon_{a b} as an invariant symbol. Generalising, we can look at (2,1)\otimes (2,1) \otimes (2,1) \otimes (2,1) = (1,1) \oplus (1,1)\oplus ...
which implies the existence of two invariant symbols with four spinor indices. One is just the trivial coupling \epsilon_{a b}\epsilon_{c d}, but what is the other one? It should be symmetric in the first two indices, and in the last two, and (I think) be further symmetric under the exchange of the two pairs. Could someone please confirm that it is just (S_L^{\mu\nu})_{a b} (S_L^{\rho\sigma})_{c d} \epsilon_{\mu\nu\rho\sigma}?
(or in a different notation
(\sigma^{\mu\nu})_{a b} (\sigma_{\mu\nu})_{c d}.)

Thanks,
torus

 

[fzero]

The 2nd singlet here comes from reducing the symmetric tensor (in vector indices) into its trace and traceless part. The invariant symbol we use to do this is the Minkowski metric $\eta_{\mu\nu}$.

 

[torus]

Hm, yes, but I am looking for a representation with spinor indices, i.e. the invariant symbol x_{a b c d}
corresponding to this singlet.

 

[Bill_K]

The 2nd singlet here comes from reducing the symmetric tensor (in vector indices) into its trace and traceless part. The invariant symbol we use to do this is the Minkowski metric ημν.

He's taking the product of four undotted spinors. Don't you need to use dotted spinors also to form a vector/tensor quantity?

 

[fzero]

I would try to express it as

\sigma^{\mu})_{a b} (\sigma_{\mu})_{c d}.

I'm guessing that this can be reduced into some expression with $\epsilon$s, but I don't have a good reference to steal standard results from at the moment.

 

[Bill_K]

(2,1) ⊗ (2,1) = (3,1)_S ⊕ (1,1)_A. In terms of spinors this is φ_A χ_B reduced to tyhe symmetric part φ_(A χ_B) and the trace φ_A χ_B ε^AB.

Now take the product of two of these things, in each way:

(3,1)_S ⊗ (3,1)_S = (5,1)_S ⊕ (3,1) ⊕ (1,1)_A
(1,1)_S ⊗ (3,1)_A = (3,1)_S
(3,1)_S ⊗ (1,1)_A = (3,1)_S
(1,1)_S ⊗ (1,1)_S = (1,1)_S

(Total of 16 components)

In spinor language, the first line:

φ_(A χ_B) ψ_(C ω_D) reduces to the totally symmetric part φ_(A χ_B ψ_C ω_D), a partial trace φ_(A χ_X) ψ_(Y ω_D) ε^XY ε_BC and a full trace φ_(W χ_X) ψ_(Y ω_Z) ε^XY ε^WZε_BC ε_AD.

The remaining three are φ_X χ_Y ψ_C ω_D ε^XY ε_AB, φ_A χ_B ψ_X ω_Y ε^XY ε_CD and φ_X χ_Y ψ_W ω_Z ε^XY ε^WZ ε_AB ε_CD.

 

[fzero]

He's taking the product of four undotted spinors. Don't you need to use dotted spinors also to form a vector/tensor quantity?

Ah, you're right that we need both left and right-handed spinors to get a Minkowski vector index. What confused me is that you can still view the $\mathbf{3}$ as an $SO(3)$ vector, in which case there is an invariant $\delta_{ij}$. But it is not what I wrote down.

 

[torus]

@Bill_K: Thanks a lot, but isn't the singlet in 3x3 symmetric? Then you end up with the symmetry properties I proposed in the first post.

 

[lpetrich]

Interesting problem. I used my semisimple-Lie-algebra package (My Science and Math Stuff) on it.

I first created the algebra D2 ~ SO(4), and I then took a plethysm (power of rep with some symmetry) of various reps.

torus, what you're working with is a Majorana spinor, (2,1) in multiplicity notation, (1,0) in highest-weight notation, and (1/2,0) in angular-momentum notation.

It turns out that there are 2 mixed-symmetry combinations of 4 Majorana spinors (all nondotted or all dotted). Taking permutations of indices in torus's OP's one gives 3 possibilities. Only 2 of them are linearly independent, as I verified with a brute-force evaluation using Mathematica:
\epsilon_{ab}\epsilon_{cd} - \epsilon_{ac}\epsilon_{bd} + \epsilon_{ad}\epsilon_{bc} = 0

Evaluating fzero's one with signature +---, I find
(\sigma^\mu)_{ab}(\sigma_\mu)_{cd} = 2\epsilon_{ac}\epsilon_{bd}

These looks like some Fierz identities (Wikipedia)

I also tried it with a Dirac spinor, (2,1) + (1,2) / (1,0) + (0,1) / (1/2,0) + (0,1/2). For a square, the scalar products are all antisymmetric, and there are 2 of them. For a fourth power, the scalar products are 6 mixed-symmetry ones, with the same mixed symmetry as the Majorana one, and 1 completely antisymmetric one.

 

[torus]

Thanks for all the replies. I found a very nice reference:
http://arxiv.org/abs/arXiv:0812.1594
Eq. (2.95) together with (2.64) gives
z_1 \sigma^{\mu\nu} z_2 z_3 \sigma_{\mu\nu} z_4 = - (z_1 z_4) (z_2 z_3) - (z_1 z_3) (z_4 z_2) ,
valid for both commuting and anticommuting spinors z_i, which has the symmetry properties proposed in the initial post.

Regards,
torus