Solving Antisymmetric Part of Grassman Numbers Sum

[LAHLH]

Hey,

If \xi^a and \bar{\xi^a} are some finitie number of complex Grassman variables.

i.e. if \theta, \eta are two real grassman numbers, then \xi^a=\frac{1}{\sqrt{2}} \left( \theta+i\eta \right) and \bar{\xi^a}=\frac{1}{\sqrt{2}} \left( \theta-i\eta \right).We then have the anticommutation relations:

\{ \xi^a,\xi^b \}=0, \{ \bar{\xi^a},\bar{\xi^b} \}=0, \{ \xi^a,\bar{\xi^b} \}=0

Now the question is, if I have the sum (where f is antisym on first two and last two indices: f_{abcd}=-f_{bacd}=-f_{abdc}):

\sum_{abcd} f_{abcd} \xi^a\xi^b\bar{\xi^c}\bar{\xi^d}=\left( \sum_{ab} k_{ab}\bar{\xi^a}\xi^b \right)^2

How does one now go about writing f_{abcd} in terms of k_{ab}? I think I've managed something but I'm not convinced it's correct.

RHS:
\left( \sum_{ab} k_{ab}\bar{\xi^a}\xi^b \right)^2= \left( \sum_{ab} k_{ab}\bar{\xi^a}\xi^b \right)\left( \sum_{cd} k_{cd}\bar{\xi^c}\xi^d \right)<br /> =\left( \sum_{abcd} k_{ab}k_{cd}\bar{\xi^a}\xi^b\bar{\xi^c}\xi^d \right)

Now focussing on LHS to bring the correct ordering of the \xi's:

\sum_{abcd} f_{abcd} \xi^a\xi^b\bar{\xi^c}\bar{\xi^d}=\sum_{abcd} -f_{abcd} \xi^a\bar{\xi^c}\xi^b\bar{\xi^d}=\sum_{abcd} f_{abcd} \bar{\xi^c}\xi^a\xi^b\bar{\xi^d}= \sum_{abcd} -f_{abcd} \bar{\xi^c}\xi^a\bar{\xi^d}\xi^b

Comparing LHS and RHS now, and relabelling dummies from RHS:\sum_{abcd} -f_{abcd} \bar{\xi^c}\xi^a\bar{\xi^d}\xi^b= \sum_{abcd} k_{ca}k_{db}\bar{\xi^c}\xi^a\bar{\xi^d}\xi^b

I'm not sure at this point if we can simply equate -f_{abcd}=k_{ca}k_{db} however. Since the product of \xi\xi\xi\xi is antisymetric on exchange of c and a, and antisymmetric on exchange of any two indices (c and a, d and b, a and d but also c and d, a and b, and c and b). I'm thinking it must be the antisymmetric part of f_{abcd} and k_{ca}k_{db} that we can equate with each other.

I'm not sure how to find the antisymmtric part on all four indices however, if that is indeed the right track.

Appreciate any help at all, thanks a lot

 

[LAHLH]

I think I finally solved this if anyone is interested...

We can express RHS as:

<br /> \left( \sum_{ab} k_{ab}\bar{\xi^a}\xi^b \right)^2= \left( \sum_{ab} k_{ab}\bar{\xi^a}\xi^b \right)\left( \sum_{cd} k_{cd}\bar{\xi^c}\xi^d \right)<br /> =\left( \sum_{abcd} k_{ab}k_{cd}\bar{\xi^a}\xi^b\bar{\xi^c}\xi^d \right)<br /> =\left( \sum_{abcd} k_{ab}k_{cd}\xi^b\bar{\xi^a}\xi^d \bar{\xi^c} \right)<br /> =\left( \sum_{abcd} -k_{ab}k_{cd}\xi^b\xi^d\bar{\xi^a}\bar{\xi^c} \right)<br />
Relabel dummies:
=\left( \sum_{abcd} -k_{ca}k_{db}\xi^a\xi^b\bar{\xi^c}\bar{\xi^d} \right)<br />

and LHS we had:

<br /> \sum_{abcd} f_{abcd} \xi^a\xi^b\bar{\xi^c}\bar{\xi^d}<br />
So now the coefficents are hitting the same components of the tensor. Adopting Einstein convention, we have f_{abcd} \xi^a\xi^b\bar{\xi^c}\bar{\xi^d}=-k_{ca}k_{db}\xi^a\xi^b\bar{\xi^c}\bar{\xi^d}

You can think of the object \xi^a\xi^b\bar{\xi^c}\bar{\xi^d} as a tensor in a way. But the tricky thing is to realize how its symmetry actually works. In a sense it is antisymmetric under every index pair being swapped (due to the anticom of the grassmans). e.g. \xi^a\xi^b\bar{\xi^c}\bar{\xi^d}=-\xi^a\bar{\xi^c} \xi^b\bar{\xi^d}. But then this symmetry isn't just minus the same object (the object being the structure \xi\xi\bar{\xi}\bar{\xi}). Where as swapping on the first two or last two indices does leave this form invariant.
(It's easier to see this by explicitly expanding, e.g. if it was just f_{ab} \xi^a\bar{\xi^b}=g_{ab} \xi^a\bar{\xi^b} and we only let the index run from 1,2. Then f_{12}\xi^1\bar{\xi^2}+f_{21}\xi^2\bar{\xi^1}=g_{12}\xi^1\bar{\xi^2}+g_{21}\xi^2\bar{\xi^1}. The usual trick then would be to use the antisymmetry of the tensor to write: f_{12}\xi^1\bar{\xi^2}-f_{21}\bar{\xi^1}\xi^2=g_{12}\xi^1\bar{\xi^2}-g_{21}\bar{\xi^1}\xi^2. But then if it wasnt for the bars, we would be able to equate the antisymmetric parts of g and f, but the bars means, that if though of variables commute under every pair swap, the "tensor" is only antisymmetric under exchange of first two, or exchange of the second too. So actually in this case, using the arbitrary freedom of the variables, we we would have been able to deduce f=g completely.

Thus returning to the original equation:

f_{abcd} \xi^a\xi^b\bar{\xi^c}\bar{\xi^d}=-k_{ca}k_{db}\xi^a\xi^b\bar{\xi^c}\bar{\xi^d}But as noted in post one f is already antisymmetric under these exchanges, so we can equate the whole of f, with the part of the

-k_{ca}k_{db}, which is anytisymmetrized on swapping a&b, and b&c ( not antisymmetrized on it's own first and last pair, but with the indices in accord with first and last pair of the "tensor" the coeff mutplies. )

Thus we are finally led to: f_{abcd}=-\frac{1}{2^2}\left( k_{ca}k_{db}- k_{cb}k_{da} -k_{da}k_{cb}+k_{db}k_{ca} \right)

f_{abcd}=\frac{1}{2}\left(k_{cb}k_{da} -k_{db}k_{ca} \right)